[論文レビュー] Holomorphic disks and link invariants

Peter Ozsváth, Zoltán Szabó|arXiv (Cornell University)|Dec 13, 2005

Geometric and Algebraic Topology参考文献 22被引用数 64

ひとこと要約

本稿は、Heegaard面の対称積における擬複素ディスクを用いて、$S^3$ 内のリンクに対してリンク Floer homology 不変量 $\widehat{\mathrm{HFL}}(\vec{L})$ を導入する。この不変量の階数付きオイラー特徴は多変数アレクサンダー多項式に一致することを示し、$\widehat{\mathrm{HFL}}(\vec{L})$ から $\Lambda^*V$ へのスペクトル系列が存在することを証明する。ここで $V$ はランク $\ell-1$ のベクトル空間であり、これは knot Floer homology をリンクへ一般化するものである。

ABSTRACT

We define a Floer-homology invariant for links in $S^3$, and study its properties.

研究の動機と目的

• $S^3$ 内のリンクに対して knot Floer homology を一般化するため、新しい不変量 $\widehat{\mathrm{HFL}}(\vec{L})$ を定義すること。
• 階数付きオイラー特徴が多変数アレクサンダー多項式 $\Delta_L$ を回復するリンク不変量を構成すること。
• $\widehat{\mathrm{HFL}}(\vec{L})$ から $\Lambda^*V$ へのスペクトル系列を確立すること。ここで $V$ のランクは $\ell-1$ であり、これは knot 場合の一般化である。
• $\widehat{\mathrm{HFL}}(\vec{L})$ を成分の knot Floer homology とフィルトレーション誘導型同型を介して関係付けること。
• スペクトル系列およびホモロジー階数構造が方向付けおよびリンクの同相型変形に対して不変であることを確認すること。

提案手法

• 有理ホモロジー類が $2a_i + \mathrm{lk}(K_i, L - K_i) \in 2\mathbb{Z}$ を満たすようなアフィン格子 $\mathbb{H}(L)$ を定義し、$\widehat{\mathrm{HFL}}(\vec{L})$ のホモロジー階数をインデックス化する。
• $\mathbb{Z} \times \mathbb{H}$ 上の二重次数を持つ複体 $\widehat{\mathrm{CFL}}(\vec{L})$ を構成し、ホモロジー階数を 1 減少させる微分と $\mathbb{H}$-フィルトレーションを保存する性質を持つ。
• $\{\alpha_1,\alpha_2\}$ および $\{\beta_1,\beta_2\}$ の二組のアタッチングサークルを持つリンクの Heegaard 図を用い、生成子を $\alpha_i \cap \beta_j$ の交点として計算する。
• $\vec{L}$ の方向付けによって誘導される群準同型 $o: \mathbb{H} \to \mathbb{Z}$ を用いて $\mathbb{H}$-フィルトレーションを定義し、整数値をフィルトレーションレベルに割り当てる。
• 関連する階数付き複体のホモロジーとして $\widehat{\mathrm{HFL}}(\vec{L})$ を計算し、基点 $z_1, z_2$ を横切る同相型変形によって絶対階数を決定する。
• スペクトル系列の議論と成分の knot Floer homology の制約を用いて、特に $7^2_7$ のような $E_2$-収縮でない場合の高次微分を同定する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして knot Floer homology を $S^3$ 内のリンクへ一般化し、多変数アレクサンダー多項式を捉えることができるか？
• RQ2 $\widehat{\mathrm{HFL}}(\vec{L})$ のホモロジー階数とフィルトレーションの構造はどのようなものか？
• RQ3 $\widehat{\mathrm{HFL}}(\vec{L})$ から $\Lambda^*V$ へのスペクトル系列は、リンクのフィルター付き複体構造とどのように関係しているか？
• RQ4 方向付け $\vec{L}$ は階数とフィルトレーションにどのように影響を与え、それがオイラー特徴にどのように反映されるか？
• RQ5 $\widehat{\mathrm{HFL}}(\vec{L})$ の高次微分は、成分の knot Floer homology の制約によって一意に特定可能か？

主な発見

• $\widehat{\mathrm{HFL}}(\vec{L})$ の階数付きオイラー特徴は、$\ell > 1$ のとき $\prod_{i=1}^\ell (T_i^{1/2} - T_i^{-1/2})$ で正規化された多変数アレクサンダー多項式 $\Delta_L$ に等しく、$\ell = 1$ のときは $\Delta_L$ に等しい。
• $\widehat{\mathrm{HFL}}(\vec{L})$ には $\widehat{\mathrm{HFL}}_*(\vec{L}, h) \cong \widehat{\mathrm{HFL}}_{*-2\delta(h)}(\vec{L}, -h)$ という対称性がある。ここで $\delta(h) = \sum a_i$ であり、$h = \sum a_i [\mu_i]$ である。
• $L_1$ のリンク Floer homology は $E_2$-収縮であり、複体はトレイフルと無結びの knot Floer homology によって決定され、$\widehat{\mathrm{HFL}}(L_1)$ は特定のフィルトレーションおよび階数レベルにのみ支持される。
• $L_2 = 7^2_7$ の場合、複体は $E_2$-収縮でなく、$\widehat{\mathrm{HFL}}(\vec{L}_2)$ には非自明な高次微分がある。具体的には、$\{0,1\} \times \{1,2\} \cup \{0,-1\} \times \{-1,-2\}$ に $\mathbb{F}_{(i+j-3)}$ を持ち、$(0,0)$ には $\mathbb{F}_{(-2)} \oplus \mathbb{F}_{(-3)}$ が存在する。
• 絶対階数は基点を横切る同相型変形によって計算され、$a_4 \times b_1$ における生存生成子の絶対階数は 0 であり、階数割り当てが確認された。
• $\widehat{\mathrm{HFL}}(\vec{L})$ から $\Lambda^*V$ へのスペクトル系列はリンク $L$ の不変量であり、$V$ のランクは $\ell - 1$ であり、$E^\infty$ 項は $\Lambda^*V$ に同型である。