[论文解读] A topological view of Gromov-Witten theory

Davesh Maulik, Rahul Pandharipande|ArXiv.org|Dec 27, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 9

一句话总结

本文通过证明配对 $(V,W)$ 的相对不变量完全由 $V$、$W$ 的绝对 Gromov-Witten 理论以及上同调上的限制映射决定，建立了 Gromov-Witten 理论的拓扑框架。利用退化、局部化和普遍关系，证明了相对理论可从绝对数据中重构，从而实现了对 $mathbb{P}^4$ 中 Calabi-Yau 五次三fold 的 Gromov-Witten 不变量的完全数学确定。其关键贡献是上同调中 Leray-Hirsch 与 Mayer-Vietoris 定理在 Gromov-Witten 理论中的类比。

ABSTRACT

We study relative Gromov-Witten theory via universal relations provided by the interaction of degeneration and localization. We find relative Gromov-Witten theory is completely determined by absolute Gromov-Witten theory. The relationship between the relative and absolute theories is guided by a strong analogy to classical topology. As an outcome, we present a mathematical determination of the Gromov-Witten invariants (in all genera) of the Calabi-Yau quintic 3-fold in terms of known theories.

研究动机与目标

• 通过与经典上同调长正合序列的类比，建立相对 Gromov-Witten 理论的拓扑框架。
• 证明配对 $(V,W)$ 的相对 Gromov-Witten 不变量完全由 $V$ 和 $W$ 的绝对不变量以及上同调限制映射 $H^*(V,\mathbb{Q}) \to H^*(W,\mathbb{Q})$ 唯一确定。
• 在基 $X$ 和 $c_1(L)$ 的基础上，为 $Y = \mathbb{P}(L \oplus \mathcal{O}_X)$ 的 Gromov-Witten 理论建立重构定理。
• 将上述结果应用于计算 $mathbb{P}^4$ 中 Calabi-Yau 五次三fold 在所有亏格下的完整 Gromov-Witten 理论。

提出的方法

• 在射影丛上使用等变局部化来计算相对不变量并推导递归关系。
• 应用退化公式，将 $V$ 的绝对不变量与 $(V,W)$ 及 $(\mathbb{P}(N \oplus \mathcal{O}_W), W)$ 的相对不变量联系起来。
• 反转退化公式，从绝对数据重构相对不变量，建立 Gromov-Witten 理论中类似 Mayer-Vietoris 序列的结构。
• 通过模空间几何（包括对称积的爆破和 $C^4$ 中的退化点集计算）显式计算相对不变量。
• 在 $mathbb{P}^1$-丛上使用相对局部化，将等变相对不变量表示为递归关系中的常数。
• 通过直接局部化计算 $mathbb{P}^2$-丛上的绝对不变量，特别是对亏格 3 和 4 的不变量。

实验结果

研究问题

• RQ1 配对 $(V,W)$ 的相对 Gromov-Witten 理论能否从 $V$ 和 $W$ 的绝对理论以及上同调限制映射中重构？
• RQ2 相对不变量在多大程度上提供了超越绝对理论的新信息？
• RQ3 能否使用拓扑与递归方法完全确定 Calabi-Yau 五次三fold 的 Gromov-Witten 理论？
• RQ4 退化与局部化技术如何统一描述绝对与相对 Gromov-Witten 不变量？
• RQ5 相对不变量与除子 $W$ 的上同调之间在加权分拆意义下的精确关系为何？

主要发现

• 配对 $(V,W)$ 的相对 Gromov-Witten 理论完全由 $V$ 的绝对 Gromov-Witten 理论、$W$ 的绝对理论以及限制映射 $H^*(V,\mathbb{Q}) \to H^*(W,\mathbb{Q})$ 决定，证明了定理 2。
• 对于 K3 曲面 $S_4$，由于凯勒形变中无嵌入曲线，所有绝对 Gromov-Witten 不变量为零，但相对不变量非平凡，可通过局部化计算得出。
• $(S_4/C_4)$ 的亏格 3 相对不变量为 $\langle 1|\mu_1\rangle^{S_4/C_4}_{3,H} = -1$，$\langle 1|\mu_2\rangle^{S_4/C_4}_{3,H} = 1$，$\langle 1|\mu_3\rangle^{S_4/C_4}_{3,H} = -1$。
• $(P/D_0)$ 在亏格 3 的相对不变量为 $\langle 1|\mu_1\rangle^{P/D_0}_{3,[D_0]} = 7$，$\langle 1|\mu_2\rangle^{P/D_0}_{3,[D_0]} = -3$，$\langle 1|\mu_3\rangle^{P/D_0}_{3,[D_0]} = 1$，通过直接局部化计算得出。
• 亏格 6 的绝对不变量 $\langle 1\rangle^{S_5}_{6,K} = -1$ 通过结合 $(S_4/C_4)$、$(B/C_4)$ 和 $(P/D_0)$ 的相对不变量贡献计算得出，退化方程的项通过相减实现抵消。
• $B$ 的绝对不变量 $\langle 1\rangle^{B}_{6,\beta} = 1$ 通过 $mathbb{P}^2$ 中四次与五次曲线的 20 个交点唯一确定一条五次曲线的唯一性计算得出。