[论文解读] Smooth Kuranishi atlases with trivial isotropy

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

Geometry and complex manifolds被引用 13

一句话总结

本文提出了一套简化版的Kuranishi概形框架，适用于平凡同构群的情况，将辛拓扑中的分析性问题与拓扑性问题分离开来。该框架为全纯球面模空间上的虚拟基本链的构造提供了基础理论，使得在不依赖几何障碍的光滑Kuranishi结构下，能够通过同调不变量实现构造。

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.

研究动机与目标

• 为解决辛拓扑中全holomorphic映射模空间上虚拟基本链构造的基础性挑战。
• 分离并解决Kuranishi结构中的拓扑问题，特别是在非平凡同构群和节点曲线缺失的情况下。
• 为Kuranishi概形提供一个清晰、抽象的框架，以解耦分析与拓扑分量。
• 为适用于全纯球面模空间的虚拟横截技术建立严格的理论基础。
• 更新并推广早期关于Kuranishi概形的研究成果，特别是针对平凡同构群的情形。

提出的方法

• 构建一个抽象的Kuranishi概形框架，将分析数据与拓扑数据分离开来。
• 将虚拟横截技术应用于无节点和非平凡同构群的全纯球面模空间。
• 利用广义的Kuranishi概形拓扑理论，在无同构群的情况下定义基本类。
• 依赖Joyce引入的精细Kuranishi结构形式化方法，以确保一致性和连贯性。
• 提出一种避免非平凡同构群引起的奇点的光滑Kuranishi概形构造方法。
• 基于arXiv:1508.01560和arXiv:1508.01844中的前期工作，将拓扑理论扩展至具有平凡同构群的光滑概形。

实验结果

研究问题

• RQ1 如何对Kuranishi概形进行形式化，以清晰地分离模空间正则化中的分析与拓扑方面？
• RQ2 在缺乏非平凡同构群的情况下，定义虚拟基本类所需的最小拓扑条件是什么？
• RQ3 虚拟横截能否系统性地应用于无节点的全纯球面模空间？
• RQ4 广义的Kuranishi概形拓扑理论如何支持在光滑情形下构造基本类？
• RQ5 平凡同构群对虚拟链的全局结构和不变性有何影响？

主要发现

• 本文建立了具有平凡同构群的光滑Kuranishi概形的明确定义框架，使得虚拟基本链的构造得以一致实现。
• 研究证明，在缺乏非平凡同构群和节点曲线的情况下，虚拟横截技术可直接应用于全纯球面模空间。
• Kuranishi概形的拓扑理论被广义化，以支持在平凡同构群情形下的光滑结构与基本类。
• 该框架成功地将分析障碍与拓扑数据解耦，简化了不变量的构造过程。
• 研究结果与arXiv:1508.01560和arXiv:1508.01844中的更新理论一致，并进一步扩展了其在光滑情形下基本类的应用。
• 该方法为Gromov–Witten理论及相关不变量的未来应用提供了稳健的理论基础。