[論文レビュー] 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

ひとこと要約

本稿は、次元3における力学的に分離された接触形式のクラスにおいて、円柱型接触ホモロジーの不変性を確立し、このクラス内での直接的証明を提供する。さらに、正則性結果が幾何的計算手法と整合することを確認し、次元3におけるプリプレポシェンダブルのエリアシュバーコンジェクチャを証明する。

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.

研究の動機と目的

• 次元3における力学的に分離された接触形式のクラス内で、円柱型接触ホモロジーの不変性を確立すること。
• 先行研究[Ne15]の正則性条件が、幾何的計算技術と整合することを示すこと。
• 次元3におけるプリプレポシェンダブルの接触ホモロジーの計算に関して、エリアシュバーコンジェクチャ[El07]を検証すること。
• 指定された接触形式のクラスにおいて、接触ホモロジーの理論的基盤を強化し、その頑健性を保証すること。
• 間接的または間接的な幾何的議論に依存せずに、不変性の直接的証明を提供すること。

提案手法

• 力学的に分離された接触形式において、自由ホモトピー類内でのコンリ・ゼンダー指数の均一な成長条件を、主要な構造的制約として用いる。
• 力学的に分離された状態を保つホモトピーの下で、円柱型接触ホモロジーの不変性を直接的解析的手法により証明する。
• [Ne15]の正則性結果と幾何的手法を組み合わせ、プリプレポシェンダブルの接触ホモロジーを計算する。
• 摂動に対して不変性を保証するために、ノヴィコフ環を係数に持つ円柱型接触ホモロジー枠組みを用いる。
• リーブ軌道の振る舞いとその微分への寄与を制御するために、動的分離条件に依存する。
• プリプレポシェンダブルの構造を用いて、ホモロジーの幾何的実現を通じて予想された計算を検証する。

実験結果

リサーチクエスチョン

• RQ1 力学的に分離された接触形式のクラス内でのホモトピーに関して、円柱型接触ホモロジーは不変か？
• RQ2 [Ne15]の正則性結果は、プリプレポシェンダブルの幾何的計算に一貫して適用可能か？
• RQ3 プリプレポシェンダブルの接触ホモロジーの幾何的計算は、エリアシュバーコンジェクチャ[El07]の予測と一致するか？
• RQ4 コンリ・ゼンダー指数の成長条件は、リーブ軌道の力学的構造とホモロジー的構造にどのように制約を加えるか？
• RQ5 接触ホモロジーにおいて、解析的正則性結果と幾何的計算技法の間で、どの程度まで調和が図れるか？

主な発見

• 本稿は、次元3における力学的に分離された接触形式のクラスに対して、円柱型接触ホモロジーの不変性に関する直接的証明を提供する。
• [Ne15]の正則性結果が、プリプレポシェンダブルの接触ホモロジー計算における幾何的手法と整合することを示した。
• エリアシュバーコンジェクチャ[El07]が、次元3におけるプリプレポシェンダブルの接触ホモロジーの計算に関して予想された内容を確認した。
• 動的分離条件により、リーブ軌道の成長に対する十分な制御が得られ、明確なホモロジー的計算が可能になる。
• 動的分離条件を保つホモトピーの下でも、不変性結果が成立し、理論的枠組みが強化された。
• 解析的および幾何的アプローチの整合性を通じて、プリプレポシェンダブルの接触ホモロジーの幾何的計算が検証された。