[論文レビュー] Heegaard Floer homology for manifolds with torus boundary: properties and examples

Jonathan Hanselman, Jacob Rasmussen+1 more|arXiv (Cornell University)|Oct 22, 2018

Geometric and Algebraic Topology被引用数 5

ひとこと要約

本稿は、穴あきトーラスにおける自己同型曲線と局所系を用いて、境界がトーラスである3次元多様体のヘーガードフローリングホモロジーを幾何的・曲線ベースの記述で定式化する。この記述は、Spin^c共役に関する主要な不変性を示し、この不変量とねじれフローリングホモロジー、サーストンノルム、およびボーダーヘーガードフローリングホモロジーにおけるグレーディングの幾何的解釈を結びつける。さらに、生成数1の変形不変性およびスプライシング構成への応用が得られる。

ABSTRACT

This is a companion paper to earlier work of the authors, which interprets the Heegaard Floer homology for a manifold with torus boundary in terms of immersed curves in a punctured torus. We prove a variety of properties of this invariant, paying particular attention to its relation to knot Floer homology, the Thurston norm, and the Turaev torsion. We also give a geometric description of the gradings package from bordered Heegaard Floer homology and establish a symmetry under spin$^c$ conjugation; this symmetry gives rise to genus one mutation invariance in Heegaard Floer homology for closed three-manifolds. Finally, we include more speculative discussions on relationships with Seiberg-Witten theory, Khovanov homology, and $HF^\pm$. Many examples are included.

研究の動機と目的

• 境界がトーラスである3次元多様体に対して、穴あきトーラスにおける自己同型曲線と局所系を用いた幾何的・曲線ベースの不変量を定義すること。
• この不変量と、サーストンノルム、ねじれフローリングホモロジー、トゥラエフ torsion などの古典的不変量との関係を確立すること。
• ボーダーヘーガードフローリングホモロジーにおけるグレーディングの幾何的解釈を提示し、Spin^c共役に関する対称性を証明すること。
• この枠組みを用いて、閉じた3次元多様体における生成数1の変形不変性を示すこと。
• シブーラ・ウィッテン理論、コホマロフホモロジー、およびHF^+との間の予想的な関係を、曲線不変量を通じて探求すること。

提案手法

• ボーダーヘーガードフローリングホモロジーの枠組みを用い、$\widehat{\mathit{HF}}(M)$ を $\partial M \setminus \{z\}$ 内の自己同型曲線と局所系の集合として定義し、正則ホモトピーおよび同型の類において不変である。
• タイプD構造の構造定理を適用し、$\widehat{\mathit{HF}}(M)$ を幾何的対象として実現する。この際、計算的に実装可能な構成的アルゴリズムを用いる。
• 閉じた3次元多様体 $Y = M_0 \cup_h M_1$ に対して、$\widehat{\mathit{HF}}(M_0)$ と $h(\widehat{\mathit{HF}}(M_1))$ の境界トーラスにおけるラグランジュ交叉フローリングホモロジーにより $\widehat{\mathit{HF}}(Y)$ を計算する。
• 写像類群の曲線配置への作用を通じて、Spin^cグレーディングパッケージの幾何的解釈を行う。
• 曲線不変量を用いて、マッピングコーン構成により $\mathit{HF}^+$ を計算し、交差複体内のビゴンと局所系を分析する。
• スプライスド・トレフォイルや有理数ホモロジー球面などの例を解析し、不変性をテストし、$\mathit{HF}^+$ の再構成が $\widehat{\mathit{HF}}$ のみから可能でない障害を特定する。

実験結果

リサーチクエスチョン

• RQ1 境界がトーラスである3次元多様体のヘーガードフローリングホモロジーは、曲線と局所系を用いてどのように幾何的に記述できるか？
• RQ2 この曲線不変量と、サーストンノルムやねじれフローリングホモロジーといった古典的不変量との関係は何か？
• RQ3 ボーダーフローリングホモロジーにおける幾何的グレーディング構造は、Spin^c共役に関して対称的であるか。その位相的帰結は何か？
• RQ4 $\widehat{\mathit{HF}}(M)$ がスプライスド多様体 $M_0 \cup_h M_1$ における $\mathit{HF}^+(M_0 \cup_h M_1)$ をどの程度決定するか？
• RQ5 $\mathit{HF}^+(M_0 \cup_h M_1)$ が、曲線交叉 $\mathit{HF}^+(\widehat{\mathit{HF}}(M_0), h(\widehat{\mathit{HF}}(M_1)))$ の $\mathit{HF}^+$ と同型である条件は何か？

主な発見

• 境界がトーラスである3次元多様体 $M$ に対する不変量 $\widehat{\mathit{HF}}(M)$ は、穴あきトーラス内の自己同型曲線と局所系の集合として、正則ホモトピーおよび同型の類において完全に決定される。
• 閉じた3次元多様体 $Y = M_0 \cup_h M_1$ に対する $\widehat{\mathit{HF}}(Y)$ の次元は、$\widehat{\mathit{HF}}(M_0)$ と $h(\widehat{\mathit{HF}}(M_1))$ 間の最小交差数として計算され、スプライスド・トレフォイルの例では $\dim \widehat{\mathit{HF}}(Y) = 5$ である。
• ボーダーフローリングホモロジーにおける幾何的グレーディングパッケージは、Spin^c共役に関して対称的であることが示され、その帰結としてヘーガードフローリングホモロジーにおける生成数1の変形不変性が得られる。
• スプライスド・トレフォイルの例では、$\mathit{HF}^+(Y) \cong \mathcal{T}_+ \oplus \mathbb{F}^3$ であり、交差複合体において7つの生成子と8つのビゴンを用いて計算された。
• 局所系の多重度が1より大きい場合、$\mathit{HF}^+$ が $\widehat{\mathit{HF}}$ のみから再構成できない例が存在する。これは、より洗練された不変量の必要性を示唆する。
• 本稿では、$M_0$ と $M_1$ がフローリング単純であるか、または多重度1の局所系を持つ場合に、$\mathit{HF}^+(M_0 \cup_h M_1) \cong \mathit{HF}^+(\widehat{\mathit{HF}}(M_0), h(\widehat{\mathit{HF}}(M_1)))$ が成り立つと予想している。