[論文レビュー] Cobordism maps in embedded contact homology

Jacob Hunter Rooney|arXiv (Cornell University)|Dec 2, 2019

Geometric and Algebraic Topology参考文献 20被引用数 4

ひとこと要約

本稿は、接触3次元多様体の埋め込み接触ホモロジー（ECH）複体の間のチェーン写像を、穿孔付き擬複素曲線と、完全なシンプレクティックコーボリズムの完成における、新しいクラスの対象であるインデックス0 ECHビルディングを用いて構成する。与えられた作用までに楕円型リーブ軌道が存在しないという条件下で、写像は適切に定義され、補助的選択に依存せず、ECH微分と可換となり、ホロモーフィック曲線の数え上げによるコーボリズム誘導写像の幾何的実現を提供する。

ABSTRACT

Given an exact symplectic cobordism $(X, λ)$ between contact $3$-manifolds $(Y_+, λ_+)$ and $(Y_-, λ_-)$ with no elliptic Reeb orbits up to a certain action, we define a chain map from the embedded contact homology (ECH) chain complex of $(Y_+, λ_+)$ to that of $(Y_-, λ_-)$, both taken with coefficients in $\mathbb Z / 2 \mathbb Z$. The map is defined by counting punctured holomorphic curves with ECH index $0$ in the completion of the cobordism and new objects that we call ECH buildings, answering a question of Hutchings.

研究の動機と目的

• 接触3次元多様体の埋め込み接触ホモロジー複体の間の幾何的チェーン写像を、完全なシンプレクティックコーボリズム内のホロモーフィック曲線を用いて定義すること。
• ハッチングズが提起した、ECHにおけるホロモーフィック曲線の数え上げによるコーボリズム写像の構成という基礎的問題を解決すること。
• ECH分割条件が満たされない場合のホロモーフィック曲線のモジュライ空間における分岐を扱うために、新しいクラスの対象「インデックス0 ECHビルディング」を導入し、厳密に定義すること。
• 補助データの選択に依存しない不変性と、フィルター付き ECH 設定におけるチェーン写像の性質を確立すること。
• 既存の ECH、ヘーゲン＝フラワー・フローリングホモロジー、およびサイバーグ＝ウィッテン・フローリングホモロジー間の同型と整合性を持つように、フレームワークを $L$-スーパーシンプル設定に拡張すること。

提案手法

• 構成は、接触3次元多様体 $(Y_{+},\lambda_{+})$ と $(Y_{-},\lambda_{-})$ 間の完全なシンプレクティックコーボリズム $(X,\lambda)$ の完成 $\widehat{X}$ 内の穿孔付き擬複素曲線を用いる。
• ECH分割条件が満たされない場合のホロモーフィック曲線のモジュライ空間における分岐を扱うために、新しいクラスの対象「インデックス0 ECHビルディング」が導入される。
• 写像 $\Phi_{X,\lambda,J,\mathbf{c}}$ は、ECH インデックス0のホロモーフィック曲線と ECH ビルディングの数え上げによって定義され、$\widehat{X}$ 上の一般な almost complex 構造 $J$ を用い、端点における $J_{\pm}$ と整合する。
• バオ＝ホンダの評価写像が、曲線の位相的性質を解析し、1次元モジュライ空間において ECH インデックス不等式が等式に成ることを証明するために用いられる。
• 障害バンドルの接合技術が、モジュライ空間のコンパクト化を扱い、$L$-スーパーシンプル設定における正則性を保証するために適用される。
• チェーン写像の性質の証明は、インデックス計算、分岐解析、および $L$-スーパーシンプル条件の下での行列式計算の文脈に依存する。

実験結果

リサーチクエスチョン

• RQ1 完全なシンプレクティックコーボリズム内のホロモーフィック曲線を用いて、埋め込み接触ホモロジー複体の間のチェーン写像をどのように定義できるか。
• RQ2 ECH 分割条件がモジュライ空間におけるホロモーフィック曲線で満たされない場合に、分岐を補うために必要な新しい幾何的対象は何か。
• RQ3 $L$-スーパーシンプル条件がこのような写像を定義するためになぜ本質的であり、リーブ軌道とホロモーフィック曲線の解析をどのように簡素化するか。
• RQ4 フィルター付き ECH 設定において、補助的選択に依存しない写像の不変性をどのように確立できるか。
• RQ5 $L$-スーパーシンプル設定において、ECH インデックス不等式を改善して、1次元モジュライ空間で等式が成り立つようにできるか。

主な発見

• $L$-スーパーシンプル条件の下で、チェーン写像 $\Phi_{X,\lambda,J,\mathbf{c}}$ はフィルター付き ECH 複体 $ECC^L(Y_{+},\lambda_{+},J_{+})$ から $ECC^L(Y_{-},\lambda_{-},J_{-})$ に適切に定義される。
• 写像は補助的データ $\mathbf{c}$ の選択に依存せず、幾何的不変性が保証される。
• 写像はチェーン写像である。つまり、ECH 微分と可換であり、インデックス計算と接合技術による証明で示される。
• 1次元モジュライ空間では、ECH インデックス不等式が等式に成り、関係するホロモーフィック曲線に位相的制約を与える。
• インデックス0 ECH ビルディングの導入により、モジュライ空間の完全なコンパクト化が可能になり、接合プロセスにおける障害が解消される。
• この構成は、ECH とサイバーグ＝ウィッテン・フローリング（コ）ホモロジー間の同型と整合性があり、コーボリズム写像のホロモーフィック曲線に基づく実現を提供する。