[论文解读] Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: II

Kenji Fukaya, Yong‐Geun Oh+2 more|arXiv (Cornell University)|Aug 18, 2018

Advanced Algebra and Geometry被引用 4

一句话总结

本文通过逐盘面障碍丛数据，在伪全纯盘的模空间上构建了相容的 Kuranishi 结构系统，确保在边界和角点处的相容性。它证明了此类系统的存在性与唯一性（模 pseudo-isotopy），为拉格朗日子流形 Floer 理论中 $A_\infty$ 结构的定义提供了系统性框架。

ABSTRACT

This is the second of a series of two articles in which we provide detailed and self-contained account of the construction of a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks. Using the notion of obstruction bundle data introduced in [FOOO8], we give a systematic way of constructing a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks which are compatible at the boundary and corners. More specifically, it defines a tree like K-system in the sense of [FOOO6, Definition 21.9]. The method given in this paper does not only simplify the description of the constructions in the earlier literature, but also is designed to provide a systematic utility tool for the construction of a system of Kuranishi structures in the future research. We also establish its uniqueness.

研究动机与目标

• 在伪全纯盘的模空间上构建一个在边界和角点处相容的 Kuranishi 结构系统。
• 提出一种系统化、可复用的方法，利用障碍丛数据构建此类系统，简化先前的构造。
• 建立逐盘面障碍丛数据系统的存在性与唯一性（模 pseudo-isotopy）。
• 确保与模空间边界作为低维模空间的纤维积的分解相容。
• 通过解决开情形下的相容性问题，支持拉格朗日子流形 Floer 同调中定义良好 $A_\infty$ 结构。

提出的方法

• 引入了盘组件-wise 障碍丛数据系统概念，为每个模空间 $\mathcal{M}_{k+1}(X,L;\beta)$ 分配障碍数据，并满足特定相容性条件。
• 通过内部标记点的稳定化来控制几何结构，从而实现障碍丛数据的迭代构造。
• 使用拟分裂序列及其等价类来定义障碍丛数据的局部模型。
• 定义了空间 $\widehat{\mathscr{QC}}_{k+1,\ell}(X,L,\mathcal{J};\beta)$ 的拟分量，并赋予其豪斯多夫拓扑以确保结构的正确性。
• 在拟分量上构造障碍丛的有限并集，以定义盘组件-wise 障碍丛数据系统。
• 应用 pseudo-isotopy 理论，通过带边结构的粘合，证明所得 Kuranishi 结构模等价关系下的唯一性。

实验结果

研究问题

• RQ1 如何系统性地在伪全洁盘的模空间上构建相容的 Kuranishi 结构系统，特别是在边界和角点处？
• RQ2 何种条件可确保单个模空间上的障碍丛数据能被组合成一个全局、一致的系统？
• RQ3 所得的 Kuranishi 结构是否模 pseudo-isotopy 唯一？该唯一性如何支持 $A_\infty$ 结构的构造？
• RQ4 该构造能否独立于几乎复结构的选择？
• RQ5 拟分裂序列与拟分量在组织模空间不同层面上的障碍数据中起什么作用？

主要发现

• 整个模空间族 $\mathcal{M}_{k+1}(X,L;\beta)$ 上存在盘组件-wise 障碍丛数据系统，且与边界分解相容。
• 此类系统导出一个树状 K-系统 Kuranishi 结构，其与方程 (1.1) 所述的边界纤维积分解相容。
• 该构造模 pseudo-isotopy 独立于几乎复结构的选择，确保所得 $A_\infty$ 结构的鲁棒性。
• 所得 Kuranishi 结构模 pseudo-isotopy 唯一，这是通过不同障碍丛数据构造的系统之间存在 pseudo-isotopy 而确立的。
• 该方法提供了一个系统化、模块化的框架，可在未来其他模空间上 Kuranishi 结构的构造中重复使用。
• 当几乎复结构为带边形式时，该构造显式具有带边结构，从而在开 Gromov-Witten 理论等应用中支持平滑粘合。