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

Kenji Fukaya, Yong‐Geun Oh+2 more|arXiv (Cornell University)|Mar 26, 2015

Algebraic Geometry and Number Theory参考文献 27被引用 22

一句话总结

本文通过Kuranishi结构与多重截面扰动，为辛拓扑中的虚拟基本链（VFC）技术建立了严格的理论基础。它引入了基于R系数的de Rham型构造，以及针对1维情形的自包含Q系数版本，为具有Kuranishi结构的空间提供了系统化的VFC构造框架，并将其应用于伪全纯曲线模空间。

ABSTRACT

This is the first part of the article we promised at the end of [FOOO13, Section 1]. We discuss the foundation of the virtual fundamental chain and cycle technique, especially its version appeared in [FOn] and also in [FOOO4, Section A1, Section 7.5], [FOOO7, Section 12], [Fu2]. In Part 1, we focus on the construction of the virtual fundamental chain on a single space with Kuranishi structure. We mainly discuss the de Rham version and so work over $\mathbb R$-coefficients, but we also include a self-contained account of the way how to work over $\mathbb Q$-coefficients in case the dimension of the space with Kuranishi structure is $\le 1$. Part 1 of this document is independent of our earlier writing [FOOO13]. We also do not assume the reader have any knowledge on the pseudo-holomorphic curve, in Part 1. Part 2 (resp. Part 3), which will appear in the near future, discusses the case of a system of Kuranishi structures and its simultaneous perturbations (resp. the way to implement the abstract story in the study of moduli spaces of pseudo-holomorphic curves).

研究动机与目标

• 为辛拓扑中的虚拟基本链（VFC）技术，特别是伪全纯曲线模空间，提供完整且自包含的理论基础。
• 形式化基于R系数的VFC构造的de Rham版本，确保其与微分几何和积分理论相容。
• 将该框架扩展至1维情形下的Q系数，支持有理数交比理论与循环层面上的构造。
• 确立VFC在扰动与纤维积下的一致性和良定义性，这对Gromov-Witten理论的应用至关重要。
• 将拓扑-代数结构与分析构造分离，从而实现对Kuranishi空间系统上代数运算的严格表述。

提出的方法

• 引入Kuranishi结构作为轨道丛的推广，用于描述伪全纯曲线模空间的奇异空间。
• 定义良好坐标系作为Kuranishi结构的改进形式，使其支持一致的扰动理论与纤维积构造。
• 发展Kuranishi结构的加粗化概念，以支持扰动与嵌入技术。
• 引入多重截面与CF-扰动（上同调扰动）作为在奇点存在下通过横截性定义虚拟循环的方法。
• 为Kuranishi结构与良好坐标系构造纤维上的积分（推出），这对通过纤维积分定义不变量至关重要。
• 证明良好坐标系与Kuranishi结构上的Stokes公式，确保VFC在边界运算下闭合且良定义。

实验结果

研究问题

• RQ1 如何在配备Kuranishi结构的单一空间上严格构造虚拟基本链？
• RQ2 在存在轨道丛奇点与障碍丛的情况下，定义与操作虚拟循环的正确框架是什么？
• RQ3 如何确保虚拟基本链在扰动与纤维积下的良定义性与不变性？
• RQ4 多重截面与CF-扰动在de Rham或有理系数上同调设定下实现VFC为循环的角色是什么？
• RQ5 如何在伪全纯曲线模空间的研究中具体实现抽象的VFC机制？

主要发现

• 基于CF-扰动与纤维上积分，使用R系数构造了VFC的de Rham版本，确保其与微分形式相容。
• 通过多重截面与轨道丛上的Morse理论，实现了1维Kuranishi空间上Q系数的自包含VFC构造。
• 证明了虚拟基本循环在Stokes公式下是良定义且闭合的，确认其具有拓扑不变性。
• 通过正规化丛上的延拓定理与同伦论证，确立了相容扰动与多重截面的存在性。
• 该框架支持在Kuranishi空间系统上构造代数结构（如复合公式），从而实现Gromov-Witten不变量的定义。
• 本文证明虚拟基本链在同伦与嵌入下不变，且扰动可在图册间一致延拓。