[论文解读] Virtual moduli cycles and Gromov-Witten invariants of general symplectic manifolds

Jun Li, Gang Tian|ArXiv.org|Aug 26, 1996

Geometric and Algebraic Topology参考文献 10被引用 320

一句话总结

本文通过弗雷德霍姆理论与广义欧拉类，建立了一个严格的分析框架，用于在一般辛流形中构造虚拟基本周期与格罗莫夫-威滕不变量。通过定义广义弗雷德霍姆丛并证明欧拉类在同伦下的不变性，作者在有理数上构造了辛不变量，利用分析方法将先前在代数或半正定情形下的构造推广至任意辛流形。

ABSTRACT

We construct Gromov-Witten invariants of general symplectic manifolds.

研究动机与目标

• 通过分析工具（特别是弗雷德霍姆理论）发展微分几何中模问题的交比理论。
• 为具有非光滑或非紧零点集的广义弗雷德霍姆丛定义并构造欧拉类。
• 将格罗莫夫-威滕不变量的构造扩展至任意辛流形，而不仅限于半正定或代数情形。
• 通过虚拟基本周期提供一个辛不变的、取值于有理数的格罗莫夫-威滕理论。

提出的方法

• 在具有紧致零点集和弱光滑结构的拓扑空间上引入广义弗雷德霍姆丛。
• 通过光滑逼近与同伦不变性，为这类丛定义广义欧拉类。
• 将该理论应用于辛流形中稳定映射的模空间，证明相关丛为指标为 $ r $ 的弗雷德霍姆丛。
• 利用行列线丛与可定向性，在同调中定义一个代表虚拟基本类的欧拉类。
• 将该构造应用于稳定映射空间，证明 $(0,1)$-形式丛的零点集是紧致的，且截面为弗雷德霍姆型。
• 建立欧拉类在同伦下的不变性，确保格罗莫夫-威滕不变量定义良好且辛不变。

实验结果

研究问题

• RQ1 能否使用分析方法而非代数几何，为一般辛流形构造格罗莫夫-威滕不变量？
• RQ2 当稳定映射的模空间不光滑或不紧致时，如何定义虚拟基本类？
• RQ3 在微分范畴中，何种条件可保证弗雷德霍姆截面的欧拉类在同伦下保持不变？
• RQ4 能否将格罗莫夫-威滕不变量的构造从半正定辛流形推广至所有辛流形？
• RQ5 该分析方法与代数或规范理论构造的不变量（如唐纳森或赛伯格-威滕不变量）相比有何异同？

主要发现

• 作者为具有紧致零点集与弱光滑结构的广义弗雷德霍姆丛构造了一个定义良好的欧拉类，且该类在同伦下不变。
• 利用该欧拉类，作者在有理数上为一般辛流形构造了格罗莫夫-威滕不变量，扩展了先前在整数上或代数几何中的构造。
• 稳定映射到辛流形的模空间在 $(0,1)$-形式丛上具有弗雷德霍姆结构，从而可定义虚拟基本类。
• 当 $ b_2^+ > 1 $ 时，赛伯格-威滕不变量被证明是定义良好的，方法是将问题约化为在 $ S^1 $-作用不动点集之外的光滑商空间。
• 当固定点限制的弗雷德霍姆指标为负时，该构造在同伦下具有鲁棒性，并产生一个定义良好的余 bordism 类。
• 该方法为通过类似分析虚拟周期技术构造规范理论不变量（如唐纳森不变量）提供了基础。