[论文解读] Genus one GW invariants of quintic threefolds via MSP localization

Huai-Liang Chang, Shuai Guo+2 more|arXiv (Cornell University)|Nov 28, 2017

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

一句话总结

该论文利用混合旋涡P-场（MSP）和等变局部化方法计算了五次三复叠的亏格一格罗莫-威滕不变量，通过FJRW不变量替代了泽inger方法中的详细模空间分析。论文推导出新的超几何恒等式，并建立了I-函数之间的微分多项式关系，从而实现通过MSP局部化系统计算高亏格不变量的算法。

ABSTRACT

The moduli stack of Mixed Spin P-fields (MSP) provides an effective algorithm to evaluate all genus Gromov-Witten invariants of quintic Calabi-Yau threefolds. This paper is to apply the algorithm in genus one case. We use the localization formula, the proposed algorithm in [CLLL1, CLLL2], and Zinger's packaging technique to compute the genus one Gromov-Witten invariants of quintic Calabi-Yau threefolds. New hypergeometric series identities are also discovered in the process.

研究动机与目标

• 通过MSP框架计算五次卡勒-贝亚蒂三复叠的亏格一格罗莫-威滕不变量。
• 通过MSP理论，用FJRW不变量替代对稳定映射模空间的复杂分析。
• 利用MSP局部化开发计算高亏格格罗莫-威滕不变量的系统性算法。
• 在环型（B）图的背景下发现新的超几何级数恒等式。
• 通过包装技术验证MSP局部化方法与Zinger的亏格一不变量之间的一致性。

提出的方法

• 对虚拟维数为 $ d_0 + d_\nu - g + 1 $ 的混合旋涡P-场（MSP）模堆栈应用等变局部化。
• 使用Zinger的包装技术简化涉及 $ I $-函数及其导数的积分。
• 使用 $ \beta $-扭曲微分算子 $ \tilde{D}_i $ 和 $ \tilde{D}_j $ 处理由 $ \beta $-依赖性引起的 $ \beta $-扭曲 $ \tilde{D} $-系统。
• 从局部化恒等式 $ \int [\mathcal{W}_{1,(0,n)}^{\text{vir}}] \mathfrak{t} \cdot c_{\text{top}-1}(R\pi_*\mathcal{L}_\mathcal{W} \otimes \mathcal{N}_\mathcal{W}) = 0 $ 推导出生成元 $ A, B, C $ 的微分多项式恒等式。
• 通过分部积分并应用引理C.1与C.3，将积分约化为 $ I_0, I_1, I_2, I_3 $ 及其导数的表达式。
• 利用 $ \mathbb{C}^* $-作用将图分类为A–D型，其中A型贡献亏格一格罗莫-威滕不变量，D型贡献FJRW不变量。

实验结果

研究问题

• RQ1 MSP局部化框架是否能在无需详细模空间分析的情况下有效计算五次三复叠的亏格一格罗莫-威滕不变量？
• RQ2 在MSP局部化中计算环型（B）图时，会涌现出哪些新的超几何恒等式？
• RQ3 $ \beta $-扭曲微分算子 $ \tilde{D}_i $ 和 $ \tilde{D}_j $ 在亏格一情形下与 $ I $-函数及其导数之间有何关系？
• RQ4 能否利用 $ A, B, C $ 中的微分多项式恒等式推导出亏格一不变量的闭式表达？
• RQ5 当通过 $ I $-函数形式化方法进行包装时，MSP方法是否与Zinger的亏格一不变量保持一致？

主要发现

• 论文推导出一个涉及 $ A, B, C $ 的微分多项式恒等式，其与恒等式右侧的 $ \partial_t LHS = \partial_t RHS $ 一致，确认了结果的一致性。
• 在计算B型（环）图时发现了新的超几何级数恒等式，扩展了格罗莫-威滕理论中已知的恒等式。
• 该方法成功通过MSP局部化计算了费马五次三复叠的亏格一格罗莫-威滕不变量，避免了对亏格零两点函数的需求。
• 虚拟周期恒等式 $ \int [\mathcal{W}_{1,(0,n)}^{\text{vir}}] \mathfrak{t} \cdot c_{\text{top}-1}(R\pi_*\mathcal{L}_\mathcal{W} \otimes \mathcal{N}_\mathcal{W}) = 0 $ 导出一组方程，用于确定亏格一不变量。
• $ \beta $-扭曲 $ \tilde{D} $-系统以及 $ I $-函数中的 $ \beta $-依赖性对于捕捉正确不变量并确保一致性至关重要。
• 最终恒等式 $ \partial_t LHS = \partial_t RHS $ 通过将两边匹配至 $ -\frac{1}{5}C $ 得到验证，确认了微分多项式关系的正确性。