[论文解读] Gromov-Witten theory of elliptic orbifold P^1 and quasi-modular forms

Todor Milanov, Yongbin Ruan|arXiv (Cornell University)|Jun 12, 2011

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

一句话总结

本文建立了三类椭圆轨道 $\mathbb{P}^1$（权重为 (3,3,3)、(2,4,4) 和 (2,3,6)）的 Gromov-Witten 不变量的模形式性，表明其生成函数在特定模变换下收敛为拟模形式。通过 Givental 的高亏格理论与反全纯完成，作者证明这些不变量在 $SL_2(\mathbb{Z})$ 的有限指数子群下变换，其中 $q = e^{2\pi i\tau/N}$，将模形式性结果扩展至非 Calabi-Yau 目标。

ABSTRACT

In this paper we prove that the GW invariants of the elliptic orbifold lines with weights (3,3,3), (4,4,2), and (6,3,2) are quasi-modular forms. Our method is based on Givental's higher genus reconstruction formalism applied to the settings of Saito's Frobenius structures for simple elliptic singularities. Our results are part of a larger project whose goal is to prove the Landau-Ginzburg/Calabi-Yau correspondence for simple elliptic singularities. The correspondence describes a relation between Gromov-Witten theory (of a certain hypersurface) and Fan-Jarvis-Ruan-Witten theory (of a certain Landau-Ginzburg potential). Roughly, the main statement is that the Saito's Frobenius manifold for simple elliptic singularities has some special points such that locally near these points the Frobenius structure governs one of the two theories. The local part of the correspondence is established in a companion article by M. Krawitz and Y. Shen, while here we describe the global picture.

研究动机与目标

• 建立椭圆轨道 $\mathbb{P}^1$ 的 Gromov-Witten 不变量模形式性，其权重为 (3,3,3)、(2,4,4) 和 (2,3,6)。
• 将 Givental 的高亏格势能框架扩展至非半单 Frobenius 结构与非紧致目标。
• 证明这些轨道的总祖先势能在此类适当模变换下为拟模形式。
• 通过 Milnor 环与初等形式，将这些轨道的 Gromov-Witten 理论与奇点理论联系起来。
• 提出一种不同于 Okounkov-Pandharipande 方法的新方法，利用反全纯完成与 Frobenius 结构证明模形式性。

提出的方法

• 在每个轨道 $\mathbb{P}^1$ 对应的简单椭圆奇点的最小普遍形变上构造全局 Frobenius 结构。
• 利用振荡积分与 Gelfand-Leray 周期，在奇点理论背景下定义初等形式。
• 应用 Givental 的形式化方法定义总祖先势能 $\mathcal{A}_t$，并将其扩展至非半单区域。
• 对祖先势能执行反全纯完成，以建立其与拟模形式的联系。
• 分析平坦坐标的模变换与边际方向的 Gauss-Manin 连接，推导不变性性质。
• 依赖于 Satake-Takahashi 建立的轨道量子上同调与简单椭圆奇点 Milnor 环之间的同构。

实验结果

研究问题

• RQ1 椭圆轨道 $\mathbb{P}^1$（权重为 (3,3,3)、(2,4,4) 和 (2,3,6)）的 Gromov-Witten 不变量在参数 $q = e^{2\pi i\tau/N}$ 的适当变换下是否表现出模形式性？
• RQ2 能否通过反全纯完成与 Frobenius 结构技术，证明这些轨道的总祖先势能为拟模形式？
• RQ3 这些不变量的模形式性质如何与大复结构极限下同调与 Gauss-Manin 连接相关联？
• RQ4 初等形式与振荡积分在构造非半单 Frobenius 结构的祖先势能中起何作用？
• RQ5 能否独立于 Okounkov-Pandharipande 方法，利用奇点理论与辛技术推导模形式性结果？

主要发现

• 对于权重为 (3,3,3)、(2,4,4) 和 (2,3,6) 的三类椭圆轨道 $\mathbb{P}^1$，其 Gromov-Witten 不变量的生成函数分别在 $q = e^{2\pi i\tau/3}$、$e^{2\pi i\tau/4}$ 和 $e^{2\pi i\tau/6}$ 下收敛为拟模形式。
• 这些不变量在 $SL_2(\mathbb{Z})$ 的有限指数子群 $\Gamma$ 下变换，具有特定权值，证实了其模形式性超越 Calabi-Yau 情形。
• 通过反全纯完成，证明总祖先势能 $\mathcal{A}_t$ 为拟模形式，建立了其与高亏格 Gromov-Witten 理论中模形式的联系。
• 初等形式通过振荡积分的 Gelfand-Leray 周期构造，其解空间由参数 $\sigma = s_{-1}$ 的二阶微分方程控制。
• 在边际方向的 Gauss-Manin 连接被用于推导 Frobenius 结构的模行为，尤其在大复结构极限下。
• 该方法通过直接处理祖先势能避免了稀释移位，其结果与 Krawitz-Shen 在配套工作中所得一致。