[论文解读] Gromov-Witten theory and cycle-valued modular forms

Todor Milanov, Yongbin Ruan+1 more|arXiv (Cornell University)|Jun 18, 2012

Algebraic Geometry and Number Theory参考文献 15被引用 4

一句话总结

该论文通过证明祖先 Gromov-Witten 不变量在镜像对称下收敛为循环值的准模形式，建立了具有例外奇点的椭圆轨道 $\mathbb{P}^1$ 的 A-模型 Gromov-Witten 理论的模性。利用全局 B-模型 CohFT 和反全纯完成，作者表明生成函数在模群作用下可全纯延拓并变换为准模形式，从而在这些情形下完成了对 BCOV 猜想的严格数学实现。

ABSTRACT

In this paper, we proved generating functions of Gromov-Witten cycles of the elliptic orbifold lines with weights (3,3,3), (4,4,2), and (6,3,2) are cycle-valued quasi-modular forms. This is a generalization of Milanov and Ruan's work on cycle-valued level. First we construct a global cohomology field theory (CohFT) for simple elliptic singularities (modulo an extension problem) and prove its modularity. Then, we apply Teleman's reconstruction theorem to prove mirror theorems on cycled-valued level and match it with a CohFT from Gromov-Witten theory of a corresponding orbifold.This solves the extension property as well as inducing the modularity for a Gromov-Witten CohFT.

研究动机与目标

• 严格建立具有例外奇点 $ (3,3,3), (2,4,4), (2,3,6) $ 的椭圆轨道 $\mathbb{P}^1$ 的 A-模型 Gromov-Witten 理论的模性，扩展先前的物理和部分数学结果。
• 证明在镜像映射下，祖先 Gromov-Witten 不变量收敛为循环值的准模形式，解决全纯异常和延拓问题。
• 表明通过 Givental 形式化和反全纯完成构造的全局 B-模型 CohFT，其模变换与 A-模型理论相容。
• 在尖点 $ q = 0 $ 处建立 Gromov-Witten 潜力的全纯延拓，确保模紧凑化。
• 通过精确的镜像映射统一 A-模型与 B-模型视角，证明 A-模型生成函数与 B-模型中模形式对象的等价性。

提出的方法

• 使用 Saito 理论和简单椭圆奇点的初等形式，在 B-模型上构造全局 Frobenius 流形结构。
• 通过应用于 Frobenius 流形的 Givental 量化形式化，定义全局 B-模型 CohFT $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $。
• 对 $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $ 应用反全纯完成，引入由全纯异常方程控制的非全纯依赖。
• 利用镜像映射 $ q = e^{2\pi i \tau / N} $，将 A-模型生成函数 $ \Lambda_{g,n}^{\mathcal{X}}(q) $ 与 B-模型 $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $ 关联，其中 $ \mathbf{t}^B $ 属于多圆盘 $ D^{B}_\epsilon $。
• 应用 Teleman 重构定理，表明 A-模型 CohFT $ {}_{\mathbf{t}}\Lambda^{\mathcal{X}} $ 在半单区域与 B-模型 $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $ 一致。
• 利用 Coates–Iritani 引理，证明生成函数在收敛幂级数环中的收敛性与全纯延拓，确保解析性与模行为。

实验结果

研究问题

• RQ1 能否证明具有例外奇点的椭圆轨道 $ \mathbb{P}^1 $ 的 A-模型 Gromov-Witten 不变量作为循环值的准模形式变换？
• RQ2 由 Frobenius 流形结构构造的全局 B-模型 CohFT 如何通过镜像对称与 A-模型关联？
• RQ3 反全纯完成在实现非全纯 Gromov-Witten 生成函数的模不变性中起什么作用？
• RQ4 祖先 Gromov-Witten 潜力是否可在尖点 $ q = 0 $ 处全纯延拓，这与模紧凑化有何关系？
• RQ5 在循环值模形式的框架下，A-模型生成函数的收敛性与解析性能否被严格建立？

主要发现

• 对于具有例外奇点的三个椭圆轨道 $ \mathbb{P}^1 $，A-模型祖先 Gromov-Witten 不变量 $ \Lambda_{g,n}^{\mathcal{X}}(q) $ 收敛为循环值的准模形式。
• 生成函数 $ \Lambda_{g,n}^{\mathcal{X}}(q) $ 在尖点 $ q = 0 $ 处可全纯延拓，确保模紧凑化并兼容模群作用。
• A-模型 CohFT $ {}_{\mathbf{t}}\Lambda^{\mathcal{X}} $ 在所有 $ \mathbf{t} \in D_\epsilon $ 上与 B-模型 CohFT $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $ 一致，从而在同调类层面确立了镜像对称。
• B-模型 CohFT $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $ 在整个定义域 $ D^{B}_\epsilon $ 上为全纯函数，其极点仅出现在余维数为一的 $ \mathbb{C}^* $-不变解析子集上，该情况由横截性及 $ \mathbb{H} \times \{0\} $ 不包含于奇点集所排除。
• $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $ 在模群 $ \Gamma \subset SL_2(\mathbb{Z}) $ 作用下的变换被证明为适当权的准模形式，其中 $ q = e^{2\pi i \tau / N} $，$ N = 3,4,6 $ 分别对应。
• 通过 Hartogs 定理和 $ \mathbb{C}^* $-不变性建立延拓性质，表明 $ \Lambda_{g,n}^{W}(\mathbf{t}^B) $ 的系数在整个模空间 $ \mathcal{M} $ 上可全纯延拓，从而消除了潜在奇点。