[論文レビュー] Lectures notes on Heegaard Floer homology

Jennifer Hom|arXiv (Cornell University)|Aug 4, 2020

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

ひとこと要約

本稿は、Heegaard図を用いたHeegaard Floer homologyおよびknot Floer homologyの包括的な紹介を提供し、チェーン複体のホモトピー型が図の選択に依存しないことから、3次元多様体および絡み目の不変量を確立する。主な貢献は、$S^3$ 内の絡み目のDehn空間のHeegaard Floer homologyを計算するマッピングコーン公式の定式化であり、これにより同型でない手術の禁止や、整数ホモロジー球面上の絡み目の手術障害についての応用が可能になる。

ABSTRACT

These are the lecture notes for a course on Heegaard Floer homology held at PCMI in Summer 2019. We describe Heegaard diagrams, Heegaard Floer homology, knot Floer homology, and the relationship between the knot and 3-manifold invariants.

研究の動機と目的

• 本主題に馴染みのない研究者向けに、Heegaard Floer homologyおよびknot Floer homologyの自己完結的入門を提供すること。
• Heegaard移動の下でのホモロジー群の不変性を確立し、不変量が適切に定義されることを保証すること。
• knot Floer homologyと絡み目のDehn手術のHeegaard Floer homologyとの関係を説明すること。
• マッピングコーン公式を、手術後の3次元多様体不変量を計算するための道具として提示すること。
• 理論を用いて絡み目の手術を禁止し、同型手術予想を検討すること。

提案手法

• 3次元多様体および絡み目を表すために、$\Sigma$ を genus $g$ の曲面とし、$\boldsymbol{\alpha}, \boldsymbol{\beta}$ をアタッチングサークルの集合とするHeegaard図 $(\Sigma, \boldsymbol{\alpha}, \boldsymbol{\beta})$ を用いる。
• 擬全純ホイットニー・ディスクの数え上げによる微分を持つ、チェーン複体 $CF^{-}(Y)$ および $CFK^{-}(K)$ を構成する。
• チェーン複体の準同型写像を用いて、Heegaard移動（安定化、ホトピー、ハンドルスライド）の下での不変性を証明する。
• マッピングコーン公式を $\operatorname{Cone}(\iota_U \oplus V^n \phi \circ \iota_U)$ として定義し、knot Floer homologyとDehn手術多様体のホモロジーとの関係を明示する。
• $\mathbb{F}[U,V]$-加群構造をknot Floer複体に用い、マッピングコーンを介して手術多様体の $\mathit{HF}^-$ を計算する。
• 公式を用いて $\mathit{HF}^{-}(S^3_{+1}(T_{3,4}))$ を計算し、特定のBrieskornホモロジー球面上での絡み目の手術障害を示す。

実験結果

リサーチクエスチョン

• RQ1 Heegaard図から、図の選択に依存しない方法で、Heegaard Floer homologyをどのように構成できるか？
• RQ2 $S^3$ 内の絡み目 $K$ のknot Floer homologyと、$K$ 沿いのDehn手術のHeegaard Floer homologyとの正確な関係は何か？
• RQ3 マッピングコーン公式を用いて、絡み目の整数手術における $\mathit{HF}^-$ を計算できるか？ そして、手術障害に与える影響は何か？
• RQ4 マッピングコーン公式は、$S^3$ 内の絡み目の同型手術予想にどのような制約を課えるか？
• RQ5 どの整数ホモロジー球面が、$S^3$ 内の単一の絡み目の手術として得られず、Floer homologyを用いてどのように検出できるか？

主な発見

• 3次元多様体のHeegaard Floer homologyおよび $S^3$ 内の絡み目のknot Floer homologyは、Heegaard移動の不変性により、図の選択に依存しない不変量である。
• マッピングコーン公式は、knot Floer複体と手術写像を含むマッピングコーンのホモロジーとして、$\mathit{HF}^{-}(S^3_{p/q}(K))$ を計算する。
• $S^3_{+1}(T_{3,4})$ に対して、マッピングコーンによる計算により $\mathit{HF}^{-}(S^3_{+1}(T_{3,4})) \cong \mathbb{F}[U] \oplus \mathbb{F}[U]$ が得られ、これは絡み目のAlexander次数と手術係数を反映している。
• 同型手術予想は障害を受ける：$r \neq r'$ に対して $S^3_r(K) \cong S^3_{r'}(K)$ ならば、$r = -r'$ かつ $r = p/q$ に対して $q^2 \equiv -1 \pmod{p}$ が成り立つ。
• $n \geq 8$, $n$ が偶数のとき、Brieskornホモロジー球面 $\Sigma(n, 2n-1, 2n+1)$ は、$S^3$ 内のいかなる絡み目の手術としても得られず、マッピングコーン公式による $d$-不変量の障害によって示される。
• マッピングコーン公式により、$b_2^+ \geq 2$ である幾何的に単連結で正定値な4次元多様体がシンプレクティックにはなり得ないことが証明可能である。