[论文解读] A mirror theorem for genus two Gromov-Witten invariants of quintic threefolds

Shuai Guo, Felix Janda+1 more|arXiv (Cornell University)|Sep 21, 2017

Algebraic Geometry and Number Theory参考文献 33被引用 30

一句话总结

本文通过使用局部化和扭曲Gromov-Witten理论，推导出五次三复叠的全息生成函数的闭式公式，从而证明了五次三复叠的亏格二镜像对称猜想。作者通过将不变量用从I-函数导出的基本生成元和额外生成元表示，验证了BCOV猜想，确认了镜像对称中长期存在的预测，给出了展开式中具有整数系数的显式有理函数表达式。

ABSTRACT

We derive a closed formula for the generating function of genus two Gromov-Witten invariants of quintic 3-folds and verify the corresponding mirror symmetry conjecture of Bershadsky, Cecotti, Ooguri and Vafa.

研究动机与目标

• 证明Bershadsky、Cecotti、Ooguri和Vafa（BCOV）关于五次三复叠的亏格二镜像对称猜想。
• 为五次三复叠的亏格二Gromov-Witten不变量的生成函数推导出闭式表达式。
• 通过扭曲Gromov-Witten理论和局部化技术，建立数学计算与物理学家猜想公式的等价性。
• 通过涉及从I-函数导出的基本和额外生成元的显式公式，验证不变量的整数性和有理性。

提出的方法

• 作者在稳定映射的模空间上使用等变局部化，计算五次三复叠的亏格二Gromov-Witten不变量。
• 他们在$\mathbb{P}^4$上应用扭曲理论，将不变量与I-函数及其导数联系起来。
• 该方法涉及将局部化图贡献分解为平凡图、单边图、双边图和三边图，每类均通过留数计算。
• 关键组成部分包括$S$-矩阵、$\Psi$-矩阵和$R$-矩阵结构，用于计算量子乘积关系和I-函数恒等式。
• 作者为每类局部化图（特别是$\Gamma^2_5$、$\Gamma^2_6$和$\Gamma^2_7$）推导出闭式表达式，使用基本和额外生成元的非齐次多项式。
• 他们引入一个多项式$\mathcal{E}$和关于$L = (1 - 5^5 q)^{-1/5}$的有理函数，以表达不变量，确保展开式中具有多项式性和整性。

实验结果

研究问题

• RQ1 五次三复叠的亏格二Gromov-Witten不变量的生成函数是否与BCOV猜想一致？
• RQ2 能否通过局部化和扭曲Gromov-Witten理论推导出亏格二不变量的闭式公式？
• RQ3 这些不变量在基本和额外生成元（从I-函数导出）下的精确代数结构是什么？
• RQ4 不同局部化图（平凡、单边、双边、三边）的贡献如何组合以得到完整的亏格二不变量？
• RQ5 最终公式在镜像映射变量$Q$下是否为有理函数且具有整数系数？

主要发现

• 本文推导出亏格二Gromov-Witten生成函数$F^{GW}_2(Q)$的闭式公式，其以基本生成元$\mathcal{X}_k$、$\mathcal{Y}_k$、$\mathcal{Z}_k$和额外生成元$\mathcal{Z}_k$表示，从而确认了BCOV猜想。
• $F^{GW}_2(Q)$的首项为$-\frac{5}{144} + \frac{575}{48}Q + \frac{5125}{2}Q^2 + \frac{7930375}{6}Q^3 + O(Q^4)$，所有系数均为有理数，常数项为负。
• 局部化图$\Gamma^2_5$、$\Gamma^2_6$和$\Gamma^2_7$的贡献以生成元的有理函数形式表达，其显式多项式表达式涉及$\mathcal{E}$和$L$。
• 非齐次多项式$\mathcal{E}$确保了$\mathrm{Cont}'_{\Gamma^2_5}$、$\mathrm{Cont}'_{\Gamma^2_6}$和$\mathrm{Cont}'_{\Gamma^2_7}$展开式的系数为整数，且$\frac{\mathcal{E}}{L^5 - 1}$展开为$45q + 227400q^2 + \cdots$，具有整数系数。
• 通过生成元及其导数的结构精确匹配，证明了$F^{GW}_2(Q)$公式与物理学家猜想公式的等价性。
• 该证明确立了不变量的多项式性和有理性，解决了关于紧致Calabi–Yau三复叠在高亏格镜像对称中的长期开放问题。