[论文解读] Kuranishi atlases with trivial isotropy - the 2013 state of affairs

Dusa McDuff, Katrin Wehrheim|arXiv (Cornell University)|Aug 7, 2012

Geometric and Algebraic Topology参考文献 13被引用 4

一句话总结

本文通过使用具有平凡自旋子群的 Kuranishi 框图，为辛拓扑中的虚拟基本类构建了一个严格的框架，解决了全纯球面模空间中关键的可微性与拓扑问题。通过引入拟紧、加法型弱 Kuranishi 框图，并构造一个仿紧 Hausdorff 虚拟邻域，作者证明了在 cobordism 下虚拟基本链是良定义且唯一的，从而在 Gromov–Witten 理论中实现了虚拟基本类的一致计算。

ABSTRACT

Kuranishi structures were introduced to symplectic topology by Fukaya and Ono and recently refined by Joyce, in order to extract homological data from compactified moduli spaces of holomorphic maps in cases where geometric regularization approaches such as perturbations of the almost complex structure do not yield a smooth structure on the moduli space. We give a general survey of regularization techniques in symplectic topology, pointing to some general analytic issues, and discussing some specific topological issues of the Kuranishi approach. In the main body of the paper we provide an abstract framework of Kuranishi atlases which separates the analytic and topological issues. Throughout, we focus on the most fundamental issues, which are already present in applying virtual transversality techniques to moduli spaces of holomorphic spheres without nodes or nontrivial isotropy. This is the reinstated 2013 version of this survey and sample construction. A generalized version of the topological theory is now available under 'The topology of Kuranishi atlases' arxiv:1508.01844, with the survey parts and VMC construction updated in 'The fundamental class of smooth Kuranishi atlases with trivial isotropy' arxiv:1508.01560.

研究动机与目标

• 为解决全纯曲线模空间抽象正则化中持续存在的可微性与拓扑问题，特别是存在重参数化作用时的问题。
• 为模空间构造一个良定义的、仿紧 Hausdorff 的虚拟邻域，确保扰动零集为闭子集。
• 证明虚拟基本类独立于构造中的选择，确立在 cobordism 下的唯一性。
• 在无非平凡自旋子群的情况下，提供构建相容横截扰动与虚拟模空间链的框架。
• 澄清并解决 Kuranishi 结构理论中的代数与拓扑障碍，特别是关于芽与过渡映射的问题。

提出的方法

• 引入具有平凡自旋子群的 Kuranishi 框图，作为满足强上链条件的基图族及其过渡数据的覆盖族。
• 在足迹重叠区域构造和图，使用乘积障碍空间，通过坐标变换确保可加性与相容性。
• 应用收缩操作，将弱 Kuranishi 框图转化为满足坐标变换中定义域集合相等的拟紧 Kuranishi 框图。
• 利用 Čech 上同调中扰动零集的逆极限来定义虚拟模空间链，确保不同扰动之间的相容性。
• 采用 cobordism 技术与强可接受扰动，证明虚拟基本类在 cobordism 下的不变性。
• 依赖于虚拟邻域与原始模空间之间的同胚，以转移上同调类并验证一致性。

实验结果

研究问题

• RQ1 对于具有平凡自旋子群的全纯球面模空间，尽管存在重参数化中的可微性问题，是否可以构建一个一致的虚拟基本类？
• RQ2 如何构造一个仿紧 Hausdorff 的虚拟邻域，以确保扰动零集为闭子集？
• RQ3 何种条件可确保虚拟基本链独立于框图构造中的选择？
• RQ4 在加法型弱 Kuranishi 框图的背景下，能否证明虚拟基本类在 cobordism 下的唯一性？
• RQ5 收缩与拟紧性属性如何解决过渡映射中弱上链条件的问题？

主要发现

• 在具有拟紧几乎复结构的辛流形中，若模空间为紧致，则存在具有平凡自旋子群的光滑 Kuranishi 框图，适用于简单 J-全纯球面的模空间。
• 对于任意满足横截性条件的基本图元组，可在其公共足迹上构造一个具有乘积障碍空间与相容坐标变换的和图。
• 对弱 Kuranishi 框图进行收缩可诱导出满足强上链条件且坐标变换中定义域集合相等的拟紧 Kuranishi 框图。
• 虚拟模空间链作为扰动零集的 Čech 上同调类的逆极限而良定义，确保了拓扑一致性。
• 虚拟基本类在 cobordism 下唯一：对于同痕的 Kuranishi 框图 K^0 与 K^1，有 [X]^{vir}_{K^0} = [X]^{vir}_{K^1}。
• 该构造产生虚拟邻域与原始模空间之间的同胚，从而可转移上同调类并验证不变性。