[论文解读] The Gromov-Witten invariants of symplectic manifolds

Holger Spielberg|arXiv (Cornell University)|Jun 21, 2000

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

一句话总结

本文通过在稳定映射模空间上的等变局部化，推导出辛toric流形的Gromov–Witten不变量的显式公式。它计算了Fano流形 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(2)\oplus 1)$ 的所有亏格0三点多不变量，并证明对于非Fano流形 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(3)\oplus 1)$，由Gromov–Witten不变量导出的量子上同调环与Batyrev的代数构造不一致，揭示了非Fano情形下的差异。

ABSTRACT

We study the fix point components of the big torus action on the moduli space of stable maps into a smooth projective toric variety, and apply Graber and Pandharipande's localization formula for the virtual fundamental class to obtain an explicit formula for the Gromov-Witten invariants of toric varieties. Using this formula we compute all genus-0 3-point invariants of the Fano manifold $¶(Ø_{¶^2}(2) \oplus 1)$, and we show for the (non-Fano) manifold $¶(Ø_{¶^2}(3) \oplus 1)$ that its quantum cohomology ring does not correspond to Batyrev's ring defined in \cite{bat93}.

研究动机与目标

• 通过局部化技术推导辛toric流形的Gromov–Witten不变量的显式公式。
• 计算Fano流形 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(2)\oplus 1)$ 的所有亏格0三点多不变量。
• 研究通过Gromov–Witten不变量定义的量子上同调环是否与非Fano toric流形的Batyrev代数构造一致。
• 确定稳定映射模空间的边界分量对量子上同调结构常数的影响。

提出的方法

• 将Grabers和Pandharipande的等变局部化公式应用于稳定映射模空间的虚拟基本类。
• 分析稳定映射模空间上大torus作用的不动点分支。
• 利用局部化公式将Gromov–Witten不变量表示为不动点贡献之和，从而得到显式的计算公式。
• 使用推导出的公式计算 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(2)\oplus 1)$ 的亏格0三点多不变量。
• 通过分析结构常数和单项式关系，将 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(3)\oplus 1)$ 的结果量子上同调环与Batyrev的环进行比较。
• 利用关系式 $\Phi^{(p+1)\lambda_2}(Z_3,Z_3,Z_3) = \Phi^{p\lambda_2}(Z_2,Z_2,Z_2)$ 检验与Batyrev环的一致性，发现在 $p=0,1$ 时失败。

实验结果

研究问题

• RQ1 通过Gromov–Witten不变量获得的量子上同调环是否与非Fano toric流形的Batyrev代数构造一致？
• RQ2 使用局部化方法，能否得到辛toric流形的亏格0 Gromov–Witten不变量的显式公式？
• RQ3 稳定映射模空间的边界分量如何影响量子上同调结构常数？
• RQ4 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(3)\oplus 1)$ 的Gromov–Witten不变量是否与Batyrev的量子上同调环一致？
• RQ5 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(2)\oplus 1)$ 的亏格0三点多Gromov–Witten不变量的值是多少？

主要发现

• 通过局部化公式计算得出 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(2)\oplus 1)$ 的亏格0三点多Gromov–Witten不变量为 $1215$。
• $\mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(3)\oplus 1)$ 的量子上同调环与Batyrev的环不一致，因为由Gromov–Witten不变量导出的结构常数违反了Batyrev构造中的单项式关系。
• 这种差异源于稳定映射模空间的边界分量对量子乘积有非平凡贡献，从而否定了Batyrev假设的紧化中性性。
• 对于 $\mathbb{P}(\mathcal{O}_{\mathbb{P}^2}(3)\oplus 1)$，关系式 $\Phi^{(p+1)\lambda_2}(Z_3,Z_3,Z_3) = \Phi^{p\lambda_2}(Z_2,Z_2,Z_2)$ 在 $p=0$ 和 $p=1$ 时均不成立，证明其与Batyrev环不一致。
• 结果表明，尽管Givental已证明Batyrev的量子上同调构造在Fano情形下成立，但该构造在非Fano toric流形中并非普遍有效。
• 本文建立了一种通用方法，通过局部化计算辛toric流形的亏格0 Gromov–Witten不变量，为后续研究提供了计算工具。