[論文レビュー] Vanishing of the contact homology of overtwisted contact 3--manifolds

Mei-Lin Yau|ArXiv.org|Oct 31, 2004

Geometric and Algebraic Topology参考文献 11被引用数 25

ひとこと要約

この論文は、任意のオーバートゥィステッド接触3次元多様体がグローバル接触1形式によって定義される場合、その接触ホモロジーが消えることを証明する。オープンブック分解、ドーンの手術、擬全純曲線の技法を用いて、境界作用素が ±1 として作用する可縮的リーブ軌道を構成し、接触ホモロジー全体が消えることを示した。エリャシブの予想を、新しい幾何的解析的アプローチによって確認した。

ABSTRACT

We give a proof of, for the case of contact structures defined by global contact 1-forms, a Theorem stated by Eliashberg that for any overtwisted contact structure on a closed 3-manifold, its contact homology is 0. A different proof is also outlined in the appendix by Yakov Eliashberg.

研究の動機と目的

• グローバル接触1形式によって定義されるオーバートゥィステッド接触3次元多様体に対して、接触ホモロジーが消えることを証明すること。
• オープンブックとドーンの手術を用いて、オーバートゥィステッド構造内に特別な可縮的リーブ軌道を幾何的に構成すること。
• このリーブ軌道上で境界作用素が ±1 を与えることを示し、接触ホモロジーが自明であることを示すこと。
• エリャシブの予想に対する、従来の証明とは異なる新しい幾何的解析的証明を提供すること。

提案手法

• モノドロミー写像を用いて、3次元多様体のオープンブック分解から接触1形式を構成する。
• 可縮的リーブ軌道に沿った自明なドーンの手術を実行し、元の接触構造とホモトープな新たなオーバートゥィステッド接触構造を生成する。
• シンプレクティゼーションにおけるS¹-不変な擬全純曲線を用いて、リーブ軌道付近の漸近的挙動を分析する。
• リーブ軌道に正の無限大で漸近する有限エネルギーの擬全純平面のモジュライ空間が有限であり、代数的数え上げが ±1 に等しいことを証明する。
• 分岐被覆技法と摂動論法を用いて、R作用に関して同一視された場合、このような擬全純平面が唯一つしか存在しないことを示す。
• 接触ホモロジーが接触ホモトピーおよび接触形式の選択に依存しないことを利用し、ホモロジーが自明であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 グローバル接触1形式によって定義されるオーバートゥィステッド接触3次元多様体に対して、接触ホモロジーは消えるか？
• RQ2 オープンブックとドーンの手術の技法を用いて、オーバートゥィステッド接触構造内に可縮的リーブ軌道を構成できるか？
• RQ3 オーバートゥィステッド接触多様体内の特別なリーブ軌道に漸近する擬全純平面の代数的数え上げは何か？
• RQ4 エネルギーとホモトピー的制約は、シンプレクティゼーション内のリーブ軌道付近の擬全純曲線の種類をどのように制限するか？
• RQ5 リーブ軌道上の境界作用素が ±1 を与えることを示すことができれば、接触ホモロジーは自明になるか？

主な発見

• グローバル接触1形式によって定義される任意のオーバートゥィステッド接触3次元多様体の接触ホモロジーは自明である。すなわち、HΘ(ξ) = 0 である。
• 構成されたオーバートゥィステッド構造内に可縮的リーブ軌道 tₓ が存在し、その境界作用素は ∂tₓ = ±1 を満たす。
• 正の無限大で tₓ に漸近する有限エネルギーの擬全純平面のモジュライ空間は有限であり、代数的数え上げが ±1 に等しい。
• ∂tₓ = ±1 を満たすようなこのようなリーブ軌道の存在は、接触ホモロジー複体全体がゼロに収縮することを示唆する。
• S¹-不変なほぼ複素構造と分岐被覆論法を用いて、追加の擬全純曲線が存在しないことを裏付ける。
• 本結果は、グローバル接触1形式の場合にエリャシブの予想を、新しい幾何的解析的メソッドを用いて確認した。