[论文解读] Projecting Fanos in the mirror

Alexander Kasprzyk, Ludmil Katzarkov+2 more|arXiv (Cornell University)|Apr 3, 2019

Algebraic Geometry and Number Theory参考文献 50被引用 6

一句话总结

本文建立了一个系统性框架，通过F-投影（从切空间投影至光滑点、cDV点或光滑直线）和变异（mutations）实现所有光滑Fano三复形之间的塔立（toric degenerations）。证明了所有此类Fano三复形均可通过这些操作序列实现Gorenstein塔立，并且整个系统通过15个根复形相连，完整构建了这些连接的图谱，通过塔立Landau–Ginzburg模型和镜像对称性实现该结构。

ABSTRACT

In the paper "Birational geometry via moduli spaces" by I. Cheltsov, L. Katzarkov, and V. Przyjalkowski a new structure connecting toric degenerations of smooth Fano threefolds by projections was introduced; using Mirror Symmetry these connections were transferred to the side of Landau--Ginzburg models. In the paper mentioned above a nice way to connect of Picard rank one Fano threefolds was found. We apply this approach to all smooth Fano threefolds, connecting their degenerations by toric basic links. In particular, we find a lot of Gorenstein toric degenerations of smooth Fano threefolds we need. We implement mutations in the picture as well. It turns out that appropriate chosen toric degenerations of the Fanos are given by toric basic links from a few roots. We interpret the relations we found in terms of Mirror Symmetry.

研究动机与目标

• 建立一个统一的组合框架，通过塔立退化连接所有光滑Fano三复形。
• 将塔立基本链接的概念扩展至所有光滑Fano三复形，而不仅限于Picard数为1的情况。
• 在投影框架内将变异实现为塔立退化之间的形变。
• 通过塔立Landau–Ginzburg模型和镜像对称性实现Fano三复形之间的连接。
• 构建一个投影与变异的有向图，连接所有具有非常 ample 反 canonical 线丛的光滑Fano三复形。

提出的方法

• 将F-投影定义为从Fano三复形的反 canonical 嵌入中，从切空间投影至光滑点、cDV点或光滑直线。
• 使用生成多面体（spanning polytopes）通过塔立代数簇组合实现投影。
• 将变异引入为保持Gorenstein和塔立结构的塔立退化之间的双有理变换。
• 利用15个根Fano三复形构建投影与变异的有向图，每个根对应一个退化树。
• 为每个塔立退化配备一个塔立Landau–Ginzburg模型，以实现镜像对称对应。
• 通过显式计算Gorenstein塔立Fano三复形的Hilbert概形分量维数和切空间维数验证连通性。

实验结果

研究问题

• RQ1 是否所有光滑Fano三复形均可通过有限个根复形的F-投影与变异序列相互连接？
• RQ2 通过F-投影与变异生成所有光滑Fano三复形所需的最小根Fano三复形集合是什么？
• RQ3 如何一致地为Fano三复形的塔立退化分配塔立Landau–Ginzburg模型，以实现镜像对称性？
• RQ4 这些退化对应的反射多面体图谱的结构是什么？
• RQ5 整个光滑Fano三复形族是否可通过具有塔立中心（光滑点、cDV点、直线、圆锥）的投影相互连接？

主要发现

• 所有具有非常 ample 反 canonical 线丛的光滑Fano三复形均可通过从15个根Fano三复形之一出发的F-投影与变异序列，实现Gorenstein塔立退化。
• 此类退化的有向图可构造为15棵树的并集，每棵树以指定的15个Fano三复形为根，所有105个族均连通。
• 连接所有光滑Fano三复形的投影与变异图谱仅需五个根即可实现：$\mathbb{P}^3$、$\mathbb{P}(\mathcal{O}_{\mathbb{P}^2} \oplus \mathcal{O}_{\mathbb{P}^2}(2))$、二次曲面三复形，以及另外两个。
• 每个塔立退化均配备一个塔立Landau–Ginzburg模型，整个系统与镜像对称性相容。
• 本文提供了明确的表格（附录B），列出了所有105个族的光滑Fano三复形及其通过F-投影与变异的连接关系。
• 通过计算检查Gorenstein塔立Fano三复形的Hilbert概形分量维数和切空间维数（附录C与D）验证了该结构。