[论文解读] Explicit equations for mirror families to log Calabi-Yau surfaces

Lawrence Jack Barrott|arXiv (Cornell University)|Oct 19, 2018

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

一句话总结

本文通过格罗布-西伯特定理与热带几何，为对数卡拉比-丘表面（特别是度数至少为二的光滑德尔佩佐表面，其反Canonical除子为有理曲线构成的环）构建了镜像朗道-金兹堡模型的显式代数方程。利用格罗布-西伯特程序，将形式镜像族提升为已知基上的代数族，并通过雅可比环维数检验与枚举一致性验证其正确性。

ABSTRACT

Mirror symmetry for del Pezzo surfaces was studied by Auroux, Katzarkov and Orlov who suggested that the mirror should take the form of a Landau-Ginzburg model with a particular type of elliptic fibration. This problem was then considered again but from an algebro-geometric perspective by Gross, Hacking and Keel. Their construction allows one to construct a formal mirror family to a pair $(S,D)$ where $S$ is a smooth rational projective surface and $D$ a certain type of Weil divisor supporting an ample or anti-ample class. In the case of $S$ a Fano surface they proved that this family may be lifted to an algebraic family over an affine base. In this paper we perform this construction for all smooth del Pezzo surfaces of degree at least two and obtain explicit equations for the mirror families and explain some of the motivation for their construction. We also provide an implementation of the Kontsevich Soibelman lemma in Sage.

研究动机与目标

• 为对数卡拉比-丘表面 (S,D) 的镜像朗道-金兹堡模型构造显式代数方程，其中 S 为度数 ≥2 的光滑德尔佩佐表面，D 为有理曲线构成的环。
• 将格罗布、哈金和基尔的形式镜像族构造方法扩展至当 D 的自交矩阵非负半定时，于 Spec k[NE(S)] 上构造代数族。
• 使用格罗布-西伯特定理与热带化方法，为所有度数 ≥2 的德尔佩佐表面提供镜像族的显式方程。
• 通过雅可比环维数检验，验证所构造镜像族的正确性，特别是超势能的雅可比环维数。

提出的方法

• 采用格罗布-西伯特定理，该理论将 SYZ 猜想热带化，并通过基 B 上的分段线性函数与规范散射图构造镜像。
• 对 n 个顶点（即平面环）在 Spec k[[NE(S)]]) 上进行形式光滑化，并在 D 的自交矩阵非负半定时，将其提升为 Spec k[NE(S)] 上的代数族。
• 将镜像构造为仿射空间中由显式多项式方程定义的代数簇族，其超势能为对应于 торic 除子的坐标之和。
• 利用热带曲线与断裂线建模 Maslov 指数为零的圆盘，并控制散射图中的拼接数据。
• 使用 Sage 求解偏导数 3×4 矩阵的奇异子式，以计算超势能的雅可比环。
• 通过检验雅可比环维数是否与量子上同调的预期秩（度数 d 的德尔佩佐表面为 12−d）匹配，验证镜像的正确性。

实验结果

研究问题

• RQ1 当 D 的自交矩阵非负半定时，格罗布、哈金与基尔为 Looijenga 对 (S,D) 构造的形式镜像族能否被提升为 Spec k[NE(S)] 上的代数族？
• RQ2 对于每个度数至少为二、其反Canonical 除子为有理曲线环的光滑德尔佩佐表面，其镜像朗道-金兹堡模型的显式代数方程是什么？
• RQ3 镜像族上超势能的雅可比环维数是否与原始德尔佩佐表面的量子上同调秩一致？
• RQ4 如何通过雅可比环维数等枚举数据系统性地验证镜像构造？

主要发现

• 度数为 2 的德尔佩佐表面（dP₂）的镜像族在 A⁴ 中显式构造，其超势能的雅可比环维数为 10，与预期的 12−2=10 秩一致。
• 该构造证实，当 D 的自交矩阵满足非负半定条件时，所有度数 ≥2 的德尔佩佐表面的镜像族在 Spec k[NE(S)] 上均为代数族。
• 对于 dP₂，定义超势能临界点集的方程组所生成的商环维数为 10，与量子上同调秩一致。
• 该方法成功地将形式镜像提升为代数族，为对数卡拉比-丘表面的格罗布-西伯特镜像对称程序提供了具体实现。
• 通过 Sage 计算的雅可比环维数验证了 dP₂ 情况下镜像族的正确性，支持了该构造可生成所需镜像族的普遍结论。