[论文解读] Semi-global Kuranishi charts and the definition of contact homology

Erkao Bao, Ko Honda|arXiv (Cornell University)|Dec 2, 2015

Geometric and Algebraic Topology参考文献 22被引用 17

一句话总结

本文通过一种新颖的半全局 Kuranishi 图册框架（Kuranishi 摄动理论的简化版本），为任意接触流形建立了明确定义的、不变的接触同调代数。作者证明了该代数与辅助选择无关，为接触拓扑与辛几何中的接触同调提供了严格的理论基础。

ABSTRACT

We define the contact homology algebra for any contact manifold and show that it is an invariant of the contact manifold. More precisely, given a contact manifold $(M,ξ)$ and some auxiliary data $\mathcal{D}$, we define an algebra $HC(\mathcal{D})$. If $\mathcal{D}_1$ and $\mathcal{D}_2$ are two choices of auxiliary data for $(M,ξ)$, then $HC(\mathcal{D}_1)$ and $HC(\mathcal{D}_2)$ are isomorphic. We use a simplified version of Kuranishi perturbation theory, consisting of semi-global Kuranishi charts.

研究动机与目标

• 为任意接触流形提供一个严格且不变的接触同调定义。
• 克服因存在多个全纯曲线而导致的分析与几何障碍，从而在定义接触同调时解决基础性难题。
• 开发一种适合接触同调计算的简化 Kuranishi 风格摄动框架。
• 证明所得代数与辅助数据的选择无关，确保在不同数据选择下保持不变性。

提出的方法

• 引入半全局 Kuranishi 图册作为完整 Kuranishi 理论的简化替代方案，专为接触同调设计。
• 构建接触流形的辛化空间中全纯曲线模空间的局部模型。
• 通过这些图册之间的拼接过程，定义编码 Reeb 动力学的全局代数结构。
• 通过证明不同辅助数据选择下所得代数的同构性，确保在不同选择下的结果一致性。
• 将所得形式化体系应用于在接触同调代数上定义微分分次代数结构。
• 利用图册的半全局性质，避免完整全局 Kuranishi 空间带来的复杂性，同时保持不变性。

实验结果

研究问题

• RQ1 在存在多个全纯曲线的情况下，是否可以以与辅助数据选择无关的方式定义接触同调？
• RQ2 如何简化 Kuranishi 理论，以使接触同调的构造变得可行且严格？
• RQ3 所得代数结构是否在用于定义它的辅助数据改变时保持稳定？
• RQ4 能否从辛化空间中全纯曲线的模空间构造出一致的微分分次代数？
• RQ5 定义接触同调作为不变量所需的最小几何与分析框架是什么？

主要发现

• 对于任意接触流形 $ (M,\xi) $ 和辅助数据 $ \mathcal{D} $，接触同调代数 $ HC(\nolcal{D}) $ 均有良好定义，解决了该领域中的基础性问题。
• 该构造具有不变性：对任意两组辅助数据 $ \mathcal{D}_1, \mathcal{D}_2 $，均有 $ HC(\mathcal{D}_1) \cong HC(\mathcal{D}_2) $，确保该代数是接触结构的真实不变量。
• 使用半全局 Kuranishi 图册提供了一种实用且简化的完整 Kuranishi 理论替代方案，使构造更具可操作性。
• 所得代数携带与接触流形 Reeb 动力学相容的微分分次代数结构。
• 该框架为接触同调建立了严格的理论基础，使其未来在辛几何与接触拓扑中的应用成为可能。
• 该方法避免了对全局 Kuranishi 空间的依赖，降低了技术复杂度，同时保持了不变性与正确性。