[論文レビュー] The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions II

Vincent Colin, Paolo Ghiggini+1 more|arXiv (Cornell University)|Aug 6, 2012

Geometric and Algebraic Topology参考文献 6被引用数 47

ひとこと要約

この論文は、閉じた向き付け可能な3次元多様体について、開本分解を介してヘーガードフロアーhomologyと埋め込み接触ホモロジーの同型を確立する。技術的条件のもとで、写像ΦとΨが準同型であることを証明する。主な結果は、埋め込み接触ホモロジー群の直接極限が、多様体の負のヘーガードフロアーhomologyに同型であることを示す安定化定理である。

ABSTRACT

This paper is the sequel to "The equivalence of Heegaard Floer homology and embedded contact homology via open book decompositions I" and is devoted to proving some of the technical parts of the HF=ECH isomorphism.

研究の動機と目的

• シリーズの第1部で確立された枠組みに基づき、ヘーガードフロアーhomologyと埋め込み接触ホモロジーの同型を完成させること。
• 特に、擬補間曲線とコボルディズムの崩壊に関連する、チェーン写像のホモトピー構成における技術的課題を解決すること。
• 安定化定理を証明し、埋め込み接触ホモロジー群の直接極限が、多様体の負のヘーガードフロアーhomologyに収束することを示すこと。
• 表面の内部で周期≤2gの楕円型周期的点をもたないモノドロミーの条件下で、チェーン写像ΦとΨが準同型であることを確認すること。
• Gromov-Witten型不変量とMorse-Bott理論を用いて、崩壊するほぼ複素構造における擬補間曲線の構造的収束性とコンパクト性を確立すること。

提案手法

• シンプレクティックコボルディズムにおける擬補間曲線の挙動を制御し、交差数を計算するために相対的Gromov-Witten不変量を用いる。
• ほぼ複素構造の系列におけるGromovのコンパクト性および収束定理を適用し、コボルディズムの±∞および中央部での崩壊を分析する。
• 合成写像Ψ∘ΦおよびΦ∘Ψのための明示的コボルディズムのホモトピーを構成し、それらが恒等写像とチェーンホモトピックであることを証明する。
• 擬補間曲線が崩壊するほぼ複素構造付近での挙動を解析し、モジュライ空間を制御するためにMorse-Bott理論を用いる。
• Hutchingsの擬補間曲線性質を用いて、極限におけるECHコボルディズム写像に寄与するのは、唯一の自明なシリンダーであることを示す。
• 安定化写像f_jによる直接極限構成を用いて、ECH群がヘーガードフロアーhomologyに収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 ヘーガードフロアーhomologyと埋め込み接触ホモロジーの間のチェーン写像ΦとΨが、どのような条件下で準同型となるか？
• RQ2 シンプレクティックコボルディズムにおけるほぼ複素構造の崩壊下で、擬補間曲線はどのように振る舞うか？
• RQ3 モノドロミーの楕円型周期的点が、チェーンホモトピーの構成において果たす役割は何か？
• RQ4 安定化プロセスは、ECHコボルディズム写像およびそのホモロジーへの誘導写像にどのように影響を与えるか？
• RQ5 増加する安定化レベルにおけるECH群の直接極限が、多様体の負のヘーガードフロアーhomologyに同型であることを示せるか？

主な発見

• モノドロミー写像が表面の内部に周期≤2gの楕円型周期的点をもたない限り、チェーン写像ΦとΨは準同型である。
• 十分に大きなkに対して、ECHコボルディズム写像𝔐″_jは生成子上で恒等写像であり、自明なシリンダー寄与の支配によりホモロジー上で同型を誘導する。
• 極限における擬補間曲線の構造は、J_j-擬補間曲線に収束し、kが十分に大きいとき、非自明な成分はすべて自明なシリンダーに由来する。
• 安定化列におけるECH群の直接極限は、多様体の負のヘーガードフロアーhomologyに同型であり、すなわち ECH(M) ≃ HF̂(−M) が成り立つ。
• 2j ≥ 2g ならば、安定化写像f_j: ECC_j(N, f_j α) → ECC_j(N, f_{j+2} α) は準同型であり、これにより安定化定理が導かれる。
• Gromovのコンパクト性および切り詰めた領域におけるオイラー特性の有界性により、崩壊するほぼ複素構造下での擬補間曲線の収束が保証される。