[論文レビュー] An absolute grading on Heegaard Floer homology by homotopy classes of oriented 2-plane fields

Vinicius G. B. Ramos, Yang Huang|arXiv (Cornell University)|Dec 1, 2011

Geometric and Algebraic Topology参考文献 13被引用数 17

ひとこと要約

この論文は、向き付けられた2平面場のホモトピー型を用いて、閉じた向き付けられた3次元多様体のヘーガードフライトホモロジーに絶対的グレーディングを導入する。これは相対的グレーディングを精査する、ヘーガード移動に関して不変で、cobordism写像と整合する、標準的なグレーディングをチェーン複体に構成する。主な結果は、接触不変量 $ c(\xi) \in \widehat{HF}(-Y) $ が、接触構造 $ \xi $ のホモトピー型に等しいグレーディングを持つことである。これにより、ヘーガードフライトホモロジーにおける絶対的グレーディング構造の長年の欠落が解消される。

ABSTRACT

For a closed oriented 3-manifold Y, we define an absolute grading on the Heegaard Floer homology groups of Y by homotopy classes of oriented 2-plane fields. We show that this absolute grading refines the relative one and that it is compatible with the maps induced by cobordisms. We also prove that if ξ is a contact structure on Y, then the grading of the contact invariant c(ξ) is the homotopy class of ξ.

研究の動機と目的

• ヘーガード図の選択に依存しないヘーガードフライトホモロジーへの絶対的グレーディングの定義。
• 埋め込み接触ホモロジーとセイバーグ・ワインベルグ・フライトホモロジーといった同型理論では存在するが、ヘーガードフライトホモロジーには絶対的グレーディングが存在しなかったという欠落を解消すること。
• cobordism写像と接触不変量の構成と整合すること。
• 接触不変量 $ c(\xi) $ のグレーディングが接触構造 $ \xi $ のホモトピー型に等しいことを確立すること。

提案手法

• 集合 $ \mathcal{P}(Y) $、すなわち $ Y $ 上の向き付けられた2平面場のホモトピー型の集合である、標準的な関数 $ \widetilde{\text{gr}}: \mathbb{T}_\alpha \cap \mathbb{T}_\beta \to \mathcal{P}(Y) $ を構成する。
• ヘーガード図におけるフロー線および基点の近傍での勾配的ベクトル場の変更を用いてグレーディングを定義する。
• 対応するcobordism上でのベクトル場の明示的ホモトピーを構成することで、グレーディングがヘーガード移動に関して不変であることを示す。
• 自明なcobordism上でのほぼ複素構造を構成し、それによって指の移動とハンドルスライドに関してグレーディングが保存されることを証明する。
• ヘーガード図の安定化を用いて、グレーディングを完全なチェーン複体へ拡張し、$ S^3 $ の和分に於けるベクトル場のホモトピーにより不変性を示す。
• cobordism写像のグレーディングの整合性を検証する。これには、cobordism $ W $ 上のほぼ複素構造を用い、誘導される写像が関係 $ \widetilde{\text{gr}}(\mathbf{x}) \sim_W \widetilde{\text{gr}}(\mathbf{y}) $ を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 向き付けられた2平面場のホモトピー型を用いて、ヘーガードフライトホモロジーに絶対的グレーディングを定義できるか。これは相対的グレーディングと整合するか。
• RQ2 この絶対的グレーディングはヘーガード移動に関して不変であり、$ \widehat{HF}(Y) $ 上に一意に定義された不変量として下降するか。
• RQ3 接触不変量 $ c(\xi) \in \widehat{HF}(-Y) $ のグレーディングは、接触構造 $ \xi $ のホモトピー型と一致するか。
• RQ4 絶対的グレーディングは、4次元cobordismによって誘導されるcobordism写像 $ F_{W,\mathfrak{t}} $ と整合するか。
• RQ5 安定化、指の移動、ハンドルスライドといった標準的移動に関して、すべてのヘーガード図上で一様にグレーディングを構成でき、保存されるか。

主な発見

• 絶対的グレーディング $ \widetilde{\text{gr}} $ は $ \widehat{CF}(Y, \mathfrak{s}) $ 上に適切に定義され、$ \mathcal{P}(Y, \mathfrak{s}) $、つまりスピン^c構造 $ \mathfrak{s} $ における向き付けられた2平面場のホモトピー型の集合に値をとる。
• グレーディングは相対的グレーディングを精査する：$ \mathbf{x}, \mathbf{y} $ が同じスピン^c構造にあるとき、$ \widetilde{\text{gr}}(\mathbf{x}) - \widetilde{\text{gr}}(\mathbf{y}) = \text{gr}(\mathbf{x}, \mathbf{y}) \in \mathbb{Z}/d(c_1(\mathfrak{s})) $ が成り立つ。
• 接触不変量 $ c(\xi) \in \widehat{HF}(-Y) $ はグレーディング $ \widetilde{\text{gr}}(c(\xi)) = [\xi] $ を持ち、これは接触構造 $ \xi $ のホモトピー型に等しい。
• グレーディングはヘーガード移動に関して不変であるため、$ \widehat{HF}(Y) $ 上に一意に定義された絶対的グレーディングに下降する。これはヘーガード図の選択に依存しない。
• cobordism写像 $ F_{W,\mathfrak{t}} $ は、$ \mathbf{y} $ が $ F_{W,\mathfrak{t}}(\mathbf{x}) $ の像にあるとき、$ \widetilde{\text{gr}}(\mathbf{x}) \sim_W \widetilde{\text{gr}}(\mathbf{y}) $ を満たすという意味でグレーディングを保存する。これは、$ W $ 上のほぼ複素構造によって実現される。
• グレーディングは安定化、指の移動、ハンドルスライドに関して保存され、対応するcobordism上での勾配的ベクトル場の明示的ホモトピーを構成することで示された。