[论文解读] Technical details on Kuranishi structure and virtual fundamental chain

Kenji Fukaya, Yong‐Geun Oh+2 more|arXiv (Cornell University)|Sep 20, 2012

Geometric and Algebraic Topology参考文献 15被引用 45

一句话总结

本文对基拉尼希结构及其在辛拓扑中构造虚拟基本链与基本链的运用提供了全面且技术详尽的阐述，特别针对伪全纯曲线的模空间。它严格证明了虚拟基本类方法的理论基础，回应了 [MW] 提出的批评，并为粘合构造、坐标变换和扰动提供了完整的分析证明，确立了该方法在数学上严谨且可作为研究者在格罗莫夫-威滕理论与弗洛尔同调中的‘黑箱’工具使用。

ABSTRACT

This is an expository article on the theory of Kuranishi structure and is based on a series of pdf files we uploaded for the discussion of the google group named `Kuranishi' (with its administrator H. Hofer). There we replied to several questions concerning Kuranishi structure raised by K. Wehrheim. At this stage we submit this article to the e-print arXiv, all the questions or objections asked in that google group were answered, supplemented or confuted by us. We first discuss the abstract theory of Kuranishi structure and virtual fundamental chain/cycle. This part can be read independently from other parts. We then describe the construction of Kuranishi structure on the moduli space of pseudoholomorphic curves, including the complete analytic detail of the gluing construction as well as the smoothness of the resulting Kuranishi structure. The case of S^1 equivariant Kuranishi structure which appears in the study of time independent Hamiltonian and the moduli space of Floer's equation is included.

研究动机与目标

• 为辛拓扑中的基拉尼希结构与虚拟基本链提供严谨且自包含的技术基础。
• 解决关于虚拟基本类构造的理论基础问题与批评，特别是来自 [MW] 的质疑。
• 为伪全纯曲线模空间中的粘合构造、坐标变换与扰动提供详细的分析证明。
• 证明基拉尼希方法足够稳健可靠，可作为高级研究中的‘黑箱’使用。
• 阐明技术细节，如障碍丛的光滑性、自旋群（isotropy groups）以及 S1-等变设置下的等变性。

提出的方法

• 通过良好坐标系精确定义基拉尼希结构，确保图册之间的一致性与协调性。
• 采用加权索伯列夫范数与截断函数，控制颈部拉伸下伪全纯曲线的行为。
• 应用交替法与指数衰减估计，为稳定映射构造全局粘合映射。
• 利用障碍丛粘合与横截性技术，在不假设障碍数据不变性的情况下构造虚拟基本链。
• 提出一种系统化方法，为弗洛尔方程与时间无关哈密顿系统构造 S1-等变基拉尼希结构。
• 提供障碍丛等变扩张的显式几何构造，解决无限维设置下可微性问题。

实验结果

研究问题

• RQ1 如何利用基拉尼希结构严格构造伪全纯曲线模空间的虚拟基本链？
• RQ2 确保基拉尼希结构中坐标变换的光滑性与相容性的精确技术条件是什么？
• RQ3 在构造虚拟链时，如何解决自同构群作用下障碍丛非不变性的问题？
• RQ4 自旋群在上链条件中的作用是什么？理论如何推广至非平凡自旋群的情形？
• RQ5 在存在奇点与自同构的情况下，如何为伪全洁曲线模空间构造一个定义良好的虚拟基本类？

主要发现

• 作者在伪全洁曲线模空间上提供了基拉尼希结构的完整且严谨的构造，包括简单与一般情形下的详细粘合分析。
• 本文证明虚拟基本链可在不假设可加性条件或强上链条件的前提下构造，转而使用一种精巧的收缩构造。
• 通过证明存在显式几何构造，回应了 [MW] 中的批评，表明所提出的关于障碍丛 G-不变性的问题并不否定该理论。
• 本文确立了即使自同构群作用非平凡，障碍丛 E(u′) 作为模空间上的族也是光滑的。
• 作者通过构造基拉尼希 cobordism 证明虚拟基本类是定义良好且与基本图册及过渡数据的选择无关。
• S1-等变基拉尼希结构理论得到完整发展，使得可通过虚拟基本链计算时间无关哈密顿系统的弗洛尔同调。