[论文解读] Toric Degenerations of Fano Varieties and Constructing Mirror Manifolds

Victor V. Batyrev|arXiv (Cornell University)|Dec 30, 1997

Algebraic Geometry and Number Theory参考文献 21被引用 38

一句话总结

本文通过小的toric退化，提出了一种在非toric Fano代数簇中的Calabi-Yau完全交的广义镜像对称构造。利用典范子代数基和初始理想，该方法通过广义的单项式-除子对应关系构造镜像，成功通过GKZ超几何级数再现了已知的Gromov-Witten不变量，并验证了该构造与射影空间中超曲面的已知镜像构造的一致性。

ABSTRACT

For an arbitrary smooth n-dimensional Fano variety $X$ we introduce the notion of a small toric degeneration. Using small toric degenerations of Fano n-folds $X$, we propose a general method for constructing mirrors of Calabi-Yau complete intersections in $X$. Our mirror construction is based on a generalized monomial-divisor mirror correspondence which can be used for computing Gromov-Witten invariants of rational curves via specializations of GKZ-hypergeometric series.

研究动机与目标

• 通过toric退化将镜像对称构造从toric Fano代数簇推广到一般的Fano代数簇。
• 为非toric Fano代数簇中的Calabi-Yau完全交开发一种系统化的镜像构造方法。
• 通过退化方法将单项式-除子镜像对应关系推广到非toric情形。
• 通过Gromov-Witten不变量和Picard-Fuchs方程验证新镜像构造与已知结果的一致性。

提出的方法

• 利用由权向量定义的典范子代数基，从多项式子代数构造初始代数。
• 通过加权单项式初始项，定义一个参数为1的代数族，其退化为一个toric代数簇。
• 通过识别小的toric退化，其中退化是平坦的，且中心纤维为Gorenstein且toric，将该构造应用于Fano代数簇。
• 将镜像构造为代数环中的仿射超曲面，其方程由初始理想导出的1参数族定义。
• 使用Cauchy留数公式计算镜像族的主要周期，并与已知构造中的Picard-Fuchs级数匹配。
• 利用广义的单项式-除子对应关系，将镜像上的除子类与初始代数中的单项式关联起来。

实验结果

研究问题

• RQ1 能否通过toric退化将镜像对称推广到非toric Fano代数簇中的Calabi-Yau完全交？
• RQ2 广义的单项式-除子对应关系是否在Fano流形的小toric退化中成立？
• RQ3 在此广义设定下，Gromov-Witten不变量能否通过GKZ超几何级数计算？
• RQ4 通过该方法构造的镜像是否与已知情况（如射影空间中的完全交）的现有镜像构造一致？
• RQ5 能否验证这些非正则、非退化的仿射超曲面的镜像E函数对偶性？

主要发现

• 该方法通过小的toric退化成功构造了Fano代数簇中Calabi-Yau完全交的镜像，推广了已知结果。
• 镜像族的主要周期与Picard-Fuchs级数Φ₀(z) = ∑ (dm!)²/(m!)²d zᵐ 匹配，证实了与已建立的镜像对称的一致性。
• 当d=3时，镜像被描述为在4维torus中由含参数t₁,t₂,u₁,u₂和z的1参数方程定义的超曲面的紧化。
• 广义镜像构造通过留数公式再现了正确的Gromov-Witten不变量，得到系数am = (dm!)²/(m!)²d。
• 该构造被证明在特定情况下（如ℙ⁵中两个三次曲面的完全交）与已知的toric镜像构造等价。
• 该方法表明，退化toric代数簇的小量子上同调编码了原始Fano代数簇的量子上同调中除子子环。