[论文解读] A Comparison Theorem for Gromov-Witten Invariants in the Symplectic Category

Aleksey Zinger|arXiv (Cornell University)|Jul 4, 2008

Geometric and Algebraic Topology参考文献 30被引用 6

一句话总结

本文在辛几何中建立了格罗莫夫-威滕不变量的比较定理，证明当所有受限的 J-全纯映射到全空间流形在第一阶意义上都位于子流形内时，流形与子流形的不变量一致。通过柯西-黎曼算子的形变和卡列曼相似性原理，作者证实了六维辛流形中戈帕库马尔-瓦法预测的法诺情形。

ABSTRACT

In this paper we exploit the geometric approach to the virtual fundamental class, due to Fukaya-Ono and Li-Tian, to compare the virtual fundamental classes of stable maps to a symplectic manifold and a symplectic submanifold whenever all constrained stable maps to the former are contained in the latter to first order. This extends versions of a statement well-known in the algebraic category to the symplectic category, where it appears to be less familiar. The latter's inherent flexibility then leads to a confirmation of Pandharipande's Gopakumar-Vafa prediction for GW-invariants of Fano classes in 6-dimensional symplectic manifolds. In a forthcoming paper, we use a similar approach to relative Gromov-Witten invariants and the absolute/relative correspondence in genus~0.

研究动机与目标

• 在特定几何约束下，建立辛流形与其辛子流形之间格罗莫夫-威滕不变量的一般比较定理。
• 通过虚拟基本类的几何方法，将代数几何中的已知结果推广至辛范畴。
• 利用主定理确认六维辛流形中格罗莫夫-威滕不变量的戈帕库马尔-瓦法预测的法诺情形。
• 为未来关于相对格罗莫夫-威滕不变量及亏格 0 下的绝对/相对对应关系的研究奠定基础。

提出的方法

• 利用福克亚-奥诺与李-田发展的虚拟基本类的几何方法，定义并比较格罗莫夫-威滕不变量。
• 采用两阶段的柯西-黎曼方程形变，使子流形结构在第一阶段得以保持。
• 应用卡列曼相似性原理分析扰动柯西-黎曼方程的解，保持关键的解析性质。
• 为稳定映射的模空间构建相容的图册与扰动数据，以确保横截性与虚拟基本类的良定义性。
• 依赖于子流形与全空间流形上线性化算子余丛丛之间的同构，以等价化不变量。
• 利用零维轨道丛的带符号基数与虚拟基本类上欧拉类的取值来计算不变量。

实验结果

研究问题

• RQ1 在何种条件下，辛流形的格罗莫夫-威滕不变量与其辛子流形的不变量一致？
• RQ2 能否在辛范畴中，利用虚拟基本类确认戈帕库马尔-瓦法预测的法诺情形？
• RQ3 柯西-黎曼算子的形变如何保持子流形的包含性，并实现不变量的比较？
• RQ4 卡列曼相似性原理在何种程度上确保了在此背景下扰动柯西-黎曼方程解的解析控制？
• RQ5 在受限映射条件下，全空间模空间的虚拟基本类与子流形的虚拟基本类一致的条件是什么？

主要发现

• 主定理（定理 1.2）表明，当所有受限的 $J$-全纯映射到 $X$ 在第一阶意义下都位于 $Y$ 内时，辛流形 $X$ 与其子流形 $Y$ 的格罗莫夫-威滕不变量一致。
• 推论 1.3 对文献中已知结果 [17] 的主要结论进行了简洁重述，将其与比较定理联系起来。
• 定理 1.4 确认了六维辛流形中格罗莫夫-威滕不变量的戈帕库马尔-瓦法预测的法诺情形。
• 证明依赖于子流形与全空间流形上线性化 $\bar{\nabla}_J$-算子余丛丛之间的同构，从而确保虚拟基本类的等价性。
• 零维轨道丛 $\bar{\frak{M}}_{g,\textbf{f}}^{\nu}(Y,\beta_Y;J,\nu_Y) \times \text{pt}$ 的带符号基数等于余丛丛的欧拉类，与全空间不变量一致。
• 该结果在扰动 $\nu_X$ 为通用且微小，且余丛丛包含映射为同构的假设下成立，该同构性通过维数计数与横截性得以验证。