feat: references for K-stability results

pbelmans · Jul 19, 2024 · 8042c0d · 8042c0d
1 parent a3fdc46
commit 8042c0d
Show file tree

Hide file tree

Showing 3 changed files with 66 additions and 27 deletions.
diff --git a/fanography/application.py b/fanography/application.py
@@ -192,6 +192,12 @@ def __init__(self, rho, ID, yaml):
                   3: "general member is K-{}stable",
                   4: "every member is K-{}stable"}
 
+      # TODO implement bibliography management...
+      self.Kref = [("the book", "https://mathscinet.ams.org/mathscinet/relay-station?mr=MR4590444")]
+      # they are all arXiv links for now
+      if "Kref" in yaml:
+          self.Kref = self.Kref + [(ref, "https://arxiv.org/abs/{}".format(ref)) for ref in yaml["Kref"]]
+
       self.Kps = encoding[yaml["Kps"]].format("poly")
       self.Kps_open = yaml["Kps"] == 3
       self.Kss = encoding[yaml["Kss"]].format("semi")

diff --git a/fanography/data.yml b/fanography/data.yml
@@ -388,7 +388,8 @@
     unirational: "?"
     blowdown: ["1-11"]
 
-    # https://arxiv.org/abs/2210.14770
+    Kref:
+      - "2210.14770"
     Ks: 4
     Kps: 4
     Kss: 4
@@ -404,7 +405,8 @@
 
     unirational: yes
 
-    # https://arxiv.org/abs/2210.14770
+    Kref:
+      - "2210.14770"
     Ks: 4
     Kps: 4
     Kss: 4
@@ -421,7 +423,8 @@
     unirational: yes
     blowdown: ["1-12"]
 
-    # https://arxiv.org/abs/2210.14770
+    Kref:
+      - "2210.14770"
     Ks: 4
     Kps: 4
     Kss: 4
@@ -440,7 +443,8 @@
     rational: yes
     blowdown: ["1-17"]
 
-    # https://arxiv.org/abs/2210.14770
+    Kref:
+      - "2210.14770"
     Ks: 4
     Kps: 4
     Kss: 4
@@ -463,9 +467,11 @@
     unirational: yes
     blowdown: ["1-13"]
 
-    Ks: 3 # https://arxiv.org/abs/2210.14770
-    Kps: 3 # book
-    Kss: 3 # book
+    Kref:
+      - "2210.14770"
+    Ks: 3
+    Kps: 3
+    Kss: 3
 
     period: 158, 34
     method:
@@ -487,7 +493,8 @@
 
     unirational: yes
 
-    # https://arxiv.org/abs/2210.14770
+    Kref:
+      - "2210.14770"
     Ks: 4
     Kps: 4
     Kss: 4
@@ -512,7 +519,8 @@
     rational: yes
     blowdown: ["1-16"]
 
-    # https://arxiv.org/abs/2210.14770
+    Kref:
+      - "2210.14770"
     Ks: 4
     Kps: 4
     Kss: 4
@@ -536,7 +544,8 @@
 
     unirational: yes
 
-    # book, and https://arxiv.org/abs/2204.06709
+    Kref:
+      - "2204.06709"
     Kps: 4
     Kss: 4
 
@@ -625,7 +634,8 @@
     rational: yes
     blowdown: ["1-17"]
 
-    # https://arxiv.org/abs/2304.11334
+    Kref:
+      - "2304.11334"
     Kps: 3
     Kss: 3
 
@@ -693,8 +703,9 @@
 
     rational: yes
 
-    # https://arxiv.org/abs/2403.16747
-    # https://arxiv.org/abs/2304.11420
+    Kref:
+      - "2403.16747"
+      - "2304.11420"
     Kps: 4
     Kss: 4
 
@@ -755,7 +766,8 @@
 
     rational: yes
 
-    # https://arxiv.org/abs/2304.11334
+    Kref:
+      - "2304.11334"
     Ks: 4
     Kps: 4
     Kss: 4
@@ -818,7 +830,8 @@
     rational: yes
     blowdown: ["1-16", "1-16"]
 
-    # https://arxiv.org/abs/2304.12295
+    Kref:
+      - "2304.12295"
     Kps: 2
     Kss: 3
 
@@ -845,9 +858,11 @@
     rational: yes
     blowdown: ["1-15", "1-17"]
 
-    Ks: 2 # https://arxiv.org/abs/2110.14762
-    Kps: 2 # book
-    Kss: 4 # book
+    Kref:
+      - "2110.14762"
+    Ks: 2
+    Kps: 2
+    Kss: 4
 
     Aut: [["\\mathbb{G}_{\\mathrm{m}}", 0, 1]]
 
@@ -1258,9 +1273,11 @@
     rational: yes
     blowdown: ["2-34", "2-34"]
 
-    Ks: 4 # https://arxiv.org/abs/2206.08539
-    Kps: 4 # book
-    Kss: 4 # book
+    Kref:
+      - "2206.08539"
+    Ks: 4
+    Kps: 4
+    Kss: 4
 
     period: 135, 31
     method:
@@ -1280,7 +1297,8 @@
     rational: yes
     blowdown: ["2-18"]
 
-    # https://arxiv.org/abs/2304.11334
+    Kref:
+      - "2304.11334"
     Ks: 4
     Kps: 4
     Kss: 4
@@ -1303,9 +1321,11 @@
     rational: yes
     blowdown: ["2-34"]
 
-    Ks: 2 # https://arxiv.org/abs/2403.09002
-    Kps: 2 # book
-    Kss: 3 # book
+    Kref:
+      - "2403.09002"
+    Ks: 2
+    Kps: 2
+    Kss: 3
 
     Aut: [["\\mathbb{G}_{\\mathrm{m}}", 0, 1]]
 
@@ -1329,7 +1349,8 @@
     rational: yes
     blowdown: ["2-25", "2-33"]
 
-    # https://arxiv.org/abs/2401.02818
+    Kref:
+      - "2401.02818"
     Ks: 3
     Kps: 3
     Kss: 3
@@ -1465,7 +1486,9 @@
     rational: yes
     blowdown: ["2-27", "2-33", "2-34"]
 
-    Kps: 2 # https://arxiv.org/abs/2210.14770
+    Kref:
+      - "2210.14770"
+    Kps: 2
     Kss: 4
 
     Aut: [["\\mathbb{G}_{\\mathrm{m}}", 0, 1]]

diff --git a/fanography/templates/table.kstability.html b/fanography/templates/table.kstability.html
@@ -27,6 +27,8 @@
       <th scope="col" class="text-center">K&#8209;polystability</th>
 
       <th scope="col" class="text-center">K&#8209;semistability</th>
+
+      <th scope="col" class="text-center">references</th>
     </tr>
   </thead>
   {% for rho in fanos %}
@@ -94,6 +96,14 @@
         <td class="align-middle">
           {{ fano["Kss"] }}
         </td>
+
+        <td class="align-middle">
+          <ul>
+          {% for ref in fano["Kref"] %}
+            <li><a href="{{ ref[1] }}">{{ ref[0] }}</a>
+          {% endfor %}
+          </ul>
+        </td>
       </tr>
     {% endfor %}
   </tbody>