[论文解读] Automatic transversality in contact homology II: invariance and computations

J. M. Nelson|arXiv (Cornell University)|Aug 24, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 35被引用 4

一句话总结

本文建立了三维空间中动态分离接触形式的柱面接触同调的不变性，给出了该类中的直接证明。此外，确认了正则性结果与几何计算方法的兼容性，证明了埃利亚什伯格在三维预李群丛上的猜想。

ABSTRACT

This paper is the sequel to the previous paper [Ne15] which showed that sufficient regularity exists to define cylindrical contact homology in dimension 3 for dynamically separated contact forms, a large subclass of nondegenerate dynamically convex contact forms. The Reeb orbits of these so-called dynamically separated contact forms satisfy a uniform growth condition on their Conley-Zehnder indices with respect to a free homotopy class; see Definition 1.10. In this paper, we give a direct proof of invariance of cylindrical contact homology within the class of dynamically separated contact forms. We also show that these regularity results are compatible with geometric methods of computing cylindrical contact homology of prequantization bundles, proving a conjecture of Eliashberg [El07] in dimension 3.

研究动机与目标

• 在三维空间中，为动态分离接触形式类建立柱面接触同调的不变性。
• 证明先前工作[Ne15]中的正则性条件与几何计算技术兼容。
• 验证埃利亚什伯格[El07]关于三维预李群丛接触同调计算的猜想。
• 通过确保在指定接触形式类下具有鲁棒性，拓展接触同调的理论基础。
• 提供不依赖间接或间接几何论证的不变性直接证明。

提出的方法

• 将自由同伦类中Conley-Zehnder指标的统一增长条件作为动态分离接触形式的关键结构约束。
• 应用直接分析技术，证明在保持动态分离条件的同痕下，柱面接触同调的不变性。
• 将[Ne15]中的正则性结果与几何方法结合，计算预李群丛的接触同调。
• 在Novikov环系数下使用柱面接触同调框架，以确保在扰动下的不变性。
• 依赖动态分离条件来控制Reeb轨道的行为及其对微分的贡献。
• 利用预李群丛的结构，通过几何实现同调验证猜想的计算结果。

实验结果

研究问题

• RQ1 柱面接触同调在动态分离接触形式类的同痕下是否具有不变性？
• RQ2 [Ne15]中的正则性结果能否在预李群丛的几何计算中一致应用？
• RQ3 预李群丛的接触同调几何计算是否与埃利亚什伯格猜想[El07]的预测一致？
• RQ4 Conley-Zehnder指标增长条件如何约束Reeb轨道的动力学与同调结构？
• RQ5 分析正则性结果在多大程度上可与接触同调中的几何计算技术相协调？

主要发现

• 本文为三维空间中动态分离接触形式的柱面接触同调提供了直接证明。
• 证明了[Ne15]中的正则性结果与预李群丛接触同调几何计算方法兼容。
• 验证了埃利亚什伯格[El07]关于预李群丛接触同调的猜想在三维空间中成立。
• 动态分离条件确保对Reeb轨道增长的充分控制，从而实现定义良好的同调计算。
• 在保持动态分离条件的同痕下，不变性结果成立，从而加强了理论框架。
• 通过分析与几何方法的兼容性，验证了预李群丛接触同调的几何计算。