[论文解读] All Genus Open-Closed Mirror Symmetry for Affine Toric Calabi-Yau 3-Orbifolds

Bohan Fang, Chiu-Chu Melissa Liu+1 more|arXiv (Cornell University)|Oct 17, 2013

Algebraic Geometry and Number Theory参考文献 77被引用 27

一句话总结

本文证明了关于仿射环面卡勒-丘3-轨道丛相对于框架化的阿加纳季克-法瓦拉拉格朗日子流形的全亏格开-闭格罗莫夫-威滕不变量的重装猜想，通过镜曲线上的埃纳尔德-奥兰廷拓扑递归建立了全亏格开-闭镜像对称性。关键结果确认了通过拓扑递归得到的B模型不变量与A模型开-闭不变量仅相差一个符号因子，将该猜想在具有完整数学严谨性的轨道丛设定下推广。

ABSTRACT

The Remodeling Conjecture proposed by Bouchard-Klemm-Marino-Pasquetti [arXiv:0709.1453, arXiv:0807.0597] relates all genus open and closed Gromov-Witten invariants of a semi-projective toric Calabi-Yau 3-manifolds/3-orbifolds to the Eynard-Orantin invariants of the mirror curve of the toric Calabi-Yau 3-fold. In this paper, we present a proof of the Remodeling Conjecture for open-closed orbifold Gromov-Witten invariants of an arbitrary affine toric Calabi-Yau 3-orbifold relative to a framed Aganagic-Vafa Lagrangian brane. This can be viewed as an all genus open-closed mirror symmetry for affine toric Calabi-Yau 3-orbifolds.

研究动机与目标

• 将重装猜想推广至具有框架化阿加纳季克-法瓦拉拉格朗日子流形的仿射环面卡勒-丘3-轨道丛设定。
• 在A模型开-闭格罗莫夫-威滕不变量与通过埃纳尔德-奥兰廷拓扑递归计算的B模型不变量之间建立完整的数学对应关系。
• 验证在所有亏格下，开和闭不变量的生成函数在镜像对称下匹配，包括符号修正。
• 在轨道丛情况下提供重装猜想的严格证明，推广先前关于光滑卡勒-丘3-流形的结果。

提出的方法

• 作者在仿射环面卡勒-丘3-轨道丛的镜曲线之上使用埃纳尔德-奥兰廷拓扑递归形式化方法计算B模型不变量。
• 通过从轨道丛的格罗莫夫-威滕理论导出的递归核与谱曲线数据，定义并计算B模型图和 $\check{F}_{g,n}$。
• A模型侧通过相对拉格朗日子流形的轨道丛格罗莫夫-威滕不变量构建，使用虚拟局部化与拓扑顶点。
• 证明依赖于对 $\mathcal{L}^\bullet$ 与 $\check{h}^\bullet$ 算子的详细分析，验证其在所有亏格与极点上的相容性。
• 通过轨道丛上同调 $H^*_{\mathrm{CR}}(\mathcal{B}\boldsymbol{\mu}_m;\mathbb{C})$ 的结构常数生成函数与弗罗贝尼乌斯代数数据，推导出关键恒等式，特别是通过 $R$-矩阵与 $f^\alpha_\gamma$ 函数。
• 最终通过符号修正实现匹配：$\check{F}_{g,n}(\boldsymbol{\tau};X_1,\ldots,X_n) = (-1)^{g-1+n} F_{g,n}^{\mathcal{X},(\mathcal{L},f)}(\boldsymbol{\tau};X_1,\ldots,X_n)$，从而证明了完整的镜像对称对应关系。

实验结果

研究问题

• RQ1 对于具有框架化阿加纳季克-法瓦拉拉格朗日子流形的仿射环面卡勒-丘3-轨道丛，重装猜想是否对所有亏格的开-闭格罗莫夫-威滕不变量成立？
• RQ2 在镜曲线上应用埃纳尔德-奥兰廷拓扑递归能否在所有亏格下重现A模型开和闭不变量的完整生成系列？
• RQ3 在轨道丛设定下，B模型不变量与A模型不变量之间的精确符号因子是什么？
• RQ4 轨道丛结构与扭变扇区与光滑情形相比，如何影响镜像对称对应关系？
• RQ5 生成系列 $F_{g,n}^{\mathcal{X},(\mathcal{L},f)}$ 在 $\mathbb{C}^p \times \mathbb{C}^n$ 的原点邻域内是否保证收敛？

主要发现

• 重装猜想已对任意仿射环面卡勒-丘3-轨道丛相对于框架化阿加纳季克-法瓦拉拉格朗日子流形的所有亏格开-闭格罗莫夫-威滕不变量完全证明。
• 通过埃纳尔德-奥兰廷拓扑递归计算的B模型不变量与A模型不变量仅相差符号因子 $(-1)^{g-1+n}$，从而确立了全亏格开-闭镜像对称性。
• 生成系列 $F_{g,n}^{\mathcal{X},(\mathcal{L},f)}$ 在 $\mathbb{C}^p \times \mathbb{C}^n$ 的原点开邻域内收敛，确保形式幂级数定义良好。
• 证明依赖于通过 $\mathcal{L}^\bullet$ 与 $\check{h}^\bullet$ 算子精确匹配A模型与B模型图和，经由生成函数与弗罗贝尼乌斯代数数据验证。
• 轨道丛情形引入了镜映射中的符号修正，该修正在最终恒等式中由 $(-1)^{g-1+n}$ 因子完全体现。
• 该结果将先前对 $\mathbb{C}^3$ 与光滑环面卡勒-丘3-流形的证明推广至整个仿射环面卡勒-丘3-轨道丛类，完成了该设定下的猜想。