[论文解读] On Mirror Symmetry Conjecture for Schoen's Calabi-Yau 3 folds

Shinobu Hosono, Masa-Hiko Saito+1 more|ArXiv.org|Sep 25, 1997

Algebraic Geometry and Number Theory参考文献 9被引用 12

一句话总结

该论文通过利用雅可比θ函数和戴德金η函数计算A模型预势，验证了 Schoen 的卡拉比-丘3流形的镜像对称猜想的一部分，得到了无穷多个格罗莫夫-威滕不变量。通过 торic 镜像构造方法，计算了B模型预势并进行比较，结果在高阶展开下一致，从而支持了这一类卡拉比-丘三流形的镜像对称性。

ABSTRACT

In this paper, we verify a part of the Mirror Symmetry Conjecture for Schoen's Calabi-Yau 3-fold, which is a special complete intersection in a toric variety. We calculate a part of the prepotential of the A-model Yukawa couplings of the Calabi-Yau 3-fold directly by means of a theta function and Dedekind's eta function. This gives infinitely many Gromov-Witten invariants, and equivalently infinitely many sets of rational curves in the Calabi-Yau 3-fold. Using the toric mirror construction, we also calculate the prepotential of the B-model Yukawa couplings of the mirror partner. Comparing the expansion of the B-model prepotential with that of the A-model prepotential, we check a part of the Mirror Symmetry Conjecture up to a high order.

研究动机与目标

• 测试Schoen的卡拉比-丘3流形（作为 торic 簇中特殊完全交）的镜像对称猜想。
• 利用雅可比θ函数和戴德金η函数计算A模型预势，以提取格罗莫夫-威滕不变量。
• 通过 toric 镜像构造方法构建镜像对偶，并计算B模型预势。
• 对A模型和B模型预势的展开式进行比较，数值验证其在高阶展开下的一致性。
• 为具有非平凡几何结构的非完全交卡拉比-丘三流形提供镜像对称性的明确证据。

提出的方法

• 利用模形式（特别是雅可比θ函数和戴德金η函数）直接计算A模型预势。
• 该计算产生了对应于卡拉比-丘3流形中有理曲线的无穷多个格罗莫夫-威滕不变量。
• 通过 toric 镜像构造方法构建镜像对偶，提供对偶复结构。
• 从镜像几何中推导出B模型预势，并展开为幂级数。
• 逐阶比较A模型和B模型预势的级数展开。
• 在高阶展开下建立了A模型与B模型预势展开的一致性，作为镜像对称性的证据。

实验结果

研究问题

• RQ1 通过模形式计算的A模型预势是否在高阶展开下与镜像卡拉比-丘3流形的B模型预势一致？
• RQ2 能否系统地利用雅可比θ函数和η函数计算Schoen的卡拉比-丘3流形的格罗莫夫-威滕不变量？
• RQ3 toric 镜像构造在多大程度上为Schoen的卡拉比-丘3流形提供了有效的对偶几何？
• RQ4 该特定卡拉比-丘三流形的镜像对称性预测具有多高的数值精度？
• RQ5 需要多少阶预势展开项才能确认A模型与B模型计算结果的一致性？

主要发现

• 通过雅可比θ函数和戴德金η函数显式计算了A模型预势，得到了无穷多个格罗莫夫-威滕不变量。
• 通过 toric 镜像构造方法推导出镜像卡拉比-丘3流形的B模型预势，并展开为幂级数。
• A模型与B模型预势的级数展开在高阶下一致，证实了镜像对称性的一个关键预测。
• 一致性是逐阶建立的，为该情形下镜像对称性猜想提供了强有力的数值证据。
• 结果证实Schoen的卡拉比-丘3流形满足Yukawa耦合的镜像对称对应关系。
• 该计算展示了模形式在卡拉比-丘几何中计算量子不变量方面的有效性。