[论文解读] Kuranishi structure, Pseudo-holomorphic curve, and virtual fundamental chain: Part 2

Kenji Fukaya, Yong‐Geun Oh+2 more|arXiv (Cornell University)|Apr 6, 2017

Advanced Algebra and Geometry被引用 11

一句话总结

本文利用Kuranishi结构，为辛几何中的虚拟基本链与链技术建立了严格的理论基础，聚焦于K-system的同步扰动，以定义伪全纯曲线的不变量。该研究提供了一个独立于先前工作的自完备框架，使得即使在模空间奇异或非紧致的情况下，也能构造出明确定义的枚举不变量。

ABSTRACT

This article is the second part of the article we promised to write at the end of Section 1 of [FOOO15] (arXiv:1209.4410). (Part I appeared in [Part I] (arXiv:1503.07631).) We discuss the foundation of the virtual fundamental chain and cycle technique, especially its version that appeared in [FOn] and also in Section A1, Section 7.5 [FOOO4], Section 12 [FOOO7], [Fu2]. This article is independent of our earlier writing [FOOO15]. We also do not assume that the readers have any knowledge on the pseudo-holomorphic curve. In this second part, we consider a system of spaces with Kuranishi structures (abbreviated as a K-system) and its simultaneous perturbations.

研究动机与目标

• 为辛拓扑中的虚拟基本链与链技术提供全面且独立的理论基础。
• 以一种无需预先掌握伪全纯曲线知识的方式，形式化Kuranishi结构及其同步扰动的理论。
• 在模空间奇异或非紧致的情况下，构造伪全纯曲线的明确定义不变量。
• 将[FOn]、[FOOO4]、[FOOO7]和[Fu2]中早期的方法统一并推广为一个连贯的理论框架。
• 为格罗莫夫-威滕理论及相关领域中的枚举不变量建立严格的理论基础。

提出的方法

• 引入具有Kuranishi结构的空间系统（K-systems），作为处理辛几何中奇异模空间的一般性框架。
• 发展K-system同步扰动的概念，以在不改变底层几何的前提下实现横截性。
• 利用Kuranishi图表与胶合数据的拼接构造，确保模空间不同层之间的协调性。
• 在Kuranishi图表上使用单位分解论证，构造保持虚拟维数的全局扰动。
• 通过Kuranishi图表的一致系统与统一有界性，确保虚拟基本链的存在性与唯一性。
• 通过扰动截面及其零点集，实现虚拟基本链的链层构造。

实验结果

研究问题

• RQ1 当模空间奇异或非紧致时，如何为伪全纯曲线的模空间定义虚拟基本链？
• RQ2 在几乎复结构的扰动下，虚拟基本链的存在性与不变性由何种条件保证？
• RQ3 如何构造K-system的同步扰动，以实现横截性同时保持虚拟维数？
• RQ4 Kuranishi结构在实现虚拟不变量的一致且明确定义的构造中起到何种精确作用？
• RQ5 该框架如何统一并推广[FOn]、[FOOO4]、[FOOO7]和[Fu2]中的早期构造？

主要发现

• 本文利用Kuranishi结构与同步扰动，为伪全纯曲线的模空间构造了明确定义的虚拟基本链。
• 证明了虚拟基本链在几乎复结构及扰动数据的小扰动下保持不变。
• 该框架自完备，无需预先掌握伪全洁曲线知识，因而对更广泛的受众更具可及性。
• 该构造产生了一个明确定义的虚拟基本链，可用于格罗莫夫-威滕理论中枚举不变量的定义。
• 该方法确保了所得到的不变量与扰动的选择无关，只要扰动足够通用且与Kuranishi结构兼容即可。
• 该理论被证明与[FOn]、[FOOO4]、[FOOO7]和[Fu2]中的早期结果保持一致，并实现了一般化。