[论文解读] The equivariant Gromov-Witten theory of P^1

Andreĭ Okounkov, Rahul Pandharipande|ArXiv.org|Jul 25, 2002

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

一句话总结

本文通过结合等变局部化与无限楔空间技巧，为 $\mathbf{P}^1$ 的等变 Gromov-Witten 理论建立了显式的算子形式体系，证明了整个理论由 2-Toda 层次控制。关键贡献在于：所有等变 Gromov-Witten 不变量被完整、有理且可积地描述为显式算子的真空矩阵元，解决了 GW/H 对应关系，并为高亏格目标曲线上的 Virasoro 约束提供了基础框架。

ABSTRACT

We express all equivariant Gromov-Witten invariants of the projective line as matrix elements of explicit operators acting in the Fock space. As a consequence, we prove the equivariant theory is governed by the 2-Toda hierarchy of Ueno and Takasaki. This is the second in a sequence of three papers devoted to the Gromov-Witten theory of nonsingular target curves (the first paper of the series is math.AG/0204305).

研究动机与目标

• 通过等变局部化与 Fock 空间技巧，为 $\mathbf{P}^1$ 的等变 Gromov-Witten 理论发展出完整且显式的算子形式体系。
• 确立 $\mathbf{P}^1$ 的完整等变 Gromov-Witten 理论由 2-Toda 层次控制，包括弦方程与除子方程。
• 通过取等变理论的极限，完成对绝对静止非等变情形下 Gromov-Witten/Hurwitz 对应关系的证明。
• 为后续工作中证明非奇异目标曲线 Gromov-Witten 理论中的 Virasoro 约束提供基础框架。

提出的方法

• 应用等变局部化，将 Gromov-Witten 不变量约化为涉及 Hodge 积分的顶点贡献。
• 利用 Ekedahl-Lando-Shapiro-Vainstein 公式，将 Hurwitz 数表示为 Hodge 积分，从而实现算子形式体系。
• 通过无限楔构造实现 Fock 空间，并定义作用于其上的算子 $\mathcal{A}$，以表示 Hodge 积分。
• 证明算子 $\mathcal{A}$ 的矩阵元的收敛性与有理性，确保形式体系的良定义性。
• 从算子结构推导出 2-Toda 层次，表明其控制完整的等变 Gromov-Witten 生成函数。
• 利用解析延拓与超几何函数恒等式，证明算子形式体系中关键函数的对称性与正则性。

实验结果

研究问题

• RQ1 能否通过 Fock 空间中的算子形式体系显式描述 $\mathbf{P}^1$ 的完整等变 Gromov-Witten 理论？
• RQ2 2-Toda 层次是否为控制 $\mathbf{P}^1$ 的等变 Gromov-Witten 不变量的正确可积结构？
• RQ3 算子形式体系是否解决了绝对静止非等变情形下的 Gromov-Witten/Hurwitz 对应关系？
• RQ4 如何理解 $\mathbf{P}^1$ 的等变理论与非等变理论以及点的 Gromov-Witten 理论之间的关系？
• RQ5 该算子形式体系能否推广以证明一般目标曲线的 Virasoro 约束？

主要发现

• 所有 $\mathbf{P}^1$ 的等变 Gromov-Witten 不变量均显式计算为 Fock 空间中算子的真空矩阵元，提供了完整且有理的描述。
• 2-Toda 层次控制 $\mathbf{P}^1$ 的完整等变 Gromov-Witten 理论，弦方程与除子方程唯一确定了该理论。
• 算子形式体系证明了在绝对静止非等变情形下 Gromov-Witten/Hurwitz 对应关系作为等变理论的极限成立。
• $f_{s,u}(\mu,\nu)$ 与 $g_{s,u}(\mu,\nu)$ 在原点附近解析且对称，在 $\mu + \nu = 0$ 处具有可去奇点，确保了形式体系的一致性。
• $\mathbf{P}^1$ 的理论比点的 Gromov-Witten 理论更基础，后者可作为前者的高次极限得到。
• 本研究结果为后续工作 [23] 中证明非奇异目标曲线 Gromov-Witten 理论中的 Virasoro 约束提供了关键基础。