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

Peter Ozsváth, Zoltán Szabó|ArXiv.org|Sep 6, 2002

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

ひとこと要約

本稿では、ヘーガードフローホモロジーにおける擬全純ディスクを用いて、新しい結び目不変量 \widehat{HFK}(L,i) を導入し、オイラー特性の公式を通じてアレクサンダー＝コンウェイ多項式と関係づける。この不変量はスケイン完全系列を満たし、双対性および共役対称性を示し、連結和やリンク操作においても予測可能な振る舞いを示す。これにより、S^3 内の結び目のスケーリングにおける HF^+ の計算に強力な道具が提供される。

ABSTRACT

We define a Floer-homology invariant for knots in an oriented three-manifold, closely related to the holomorphic disk Floer homologies for three-manifolds defined in an earlier paper. We set up basic properties of these invariants, including an Euler characteristic calculation, behaviour under connected sums. Then, we establish a relationship with $HF^+$ for surgeries along the knot. Applications include calculation of $HF^+$ of three-manifolds obtained by surgeries on some special knots in $S^3$, and also calculation of $HF^+$ for certain simple three-manifolds which fiber over the circle.

研究の動機と目的

• 三様体内のゼロホモロジーダス結び目に対して、ヘーガードフローホモロジーにおける擬全純ディスクを用いて新しい結び目不変量 \widehat{HFK}(L,i) を定義すること。
• \widehat{HFK} の基礎的性質、特にオイラー特性、双対性、共役対称性、方向性対称性を確立すること。
• この不変量を、S^3 内の特別な結び目のスケーリングにおける HF^+ と関係づけ、その HF^+ の計算を可能にすること。
• アレクサンダー多項式のスケイン関係を一般化する、\widehat{HFK} のスケイン完全系列を確立すること。
• Künneth型同型を用いて、連結和および直和を用いてリンクへと不変量を拡張すること。

提案手法

• 不変量 \widehat{HFK}(L,i) は、ヘーガード分割の対称的積における擬全純ディスクを用いて構成され、三様体のヘーガードフローホモロジーを一般化する。
• \widehat{HFK}(L,i,\mathbb{Q}) のオイラー特性が、\sum \chi(\widehat{HFK}(L,i,\mathbb{Q})) \cdot T^i = (T^{-1/2} - T^{1/2})^{n-1} \cdot \Delta_L(T) を満たすことが示され、これによりアレクサンダー＝コンウェイ多項式と関係づけられる。
• スケイン完全系列が確立された：交差の変更に対して、L_+, L_0, L_- のホモロジー群は、次数を 1/2 ずつずらす写像を伴う長完全系列をなす。
• 不変量は共役対称性を満たす：\widehat{HFK}_d(L,i,\mathbb{Q}) \cong \widehat{HFK}_{d-2i}(L,-i,\mathbb{Q}) であり、アレクサンダー多項式の対称性を精緻化する。
• 連結和における振る舞いは、Künneth型同型により支配される：\widehat{HFK}(L_1 \# L_2, i, \mathbb{Q}) \cong \bigoplus_{i_1+i_2=i} \widehat{HFK}(L_1, i_1, \mathbb{Q}) \otimes \widehat{HFK}(L_2, i_2, \mathbb{Q})。
• 直和の場合は、\widehat{HFK}(L_1 \coprod L_2, i, \mathbb{Q}) \cong \widehat{HFK}(L_1 \# L_2, i, \mathbb{Q}) \otimes W であり、W は \pm 1/2 に成分を持つ2次元の次数付きベクトル空間である。

実験結果

リサーチクエスチョン

• RQ1 三様体内のゼロホモロジーダス結び目に対して、ヘーガードフローホモロジーにおける擬全純ディスクを用いて結び目不変量を定義する方法は何か？
• RQ2 \widehat{HFK} のオイラー特性とリンクのアレクサンダー＝コンウェイ多項式との関係は何か？
• RQ3 \widehat{HFK} は連結和、直和、リンクの方向性反転においてどのように振る舞うか？
• RQ4 \widehat{HFK} に対してスケイン完全系列を確立できるか？また、古典的なアレクサンダー多項式のスケイン関係とどのように関係するか？
• RQ5 \widehat{HFK} を用いて、S^3 内の結び目のスケーリングによって得られる三様体の HF^+ をどのように計算できるか？

主な発見

• \widehat{HFK}(L,i,\mathbb{Q}) のオイラー特性が \sum \chi(\widehat{HFK}(L,i,\mathbb{Q})) \cdot T^i = (T^{-1/2} - T^{1/2})^{n-1} \cdot \Delta_L(T) を満たす。これは、不変量がアレクサンダー＝コンウェイ多項式と直接関係づけられることを示している。
• 不変量は鏡像対称性を満たす：\widehat{HFK}_d(L,i,\mathbb{Q}) \cong \widehat{HFK}_{-d}(\overline{L},-i,\mathbb{Q}) であり、\overline{L} は L の鏡像である。
• 共役対称性 \widehat{HFK}_d(L,i,\mathbb{Q}) \cong \widehat{HFK}_{d-2i}(L,-i,\mathbb{Q}) は、アレクサンダー多項式の対称性を精緻化する。
• 不変量は方向性反転において保存される：\widehat{HFK}_d(L,i,\mathbb{Q}) \cong \widehat{HFK}_d(-L,i,\mathbb{Q})。
• 連結和においては、\widehat{HFK}(L_1 \# L_2, i, \mathbb{Q}) \cong \bigoplus_{i_1+i_2=i} \widehat{HFK}(L_1, i_1, \mathbb{Q}) \otimes \widehat{HFK}(L_2, i_2, \mathbb{Q}) が成り立ち、Künneth型同型が確立される。
• 直和においては、\widehat{HFK}(L_1 \coprod L_2, i, \mathbb{Q}) \cong \widehat{HFK}(L_1 \# L_2, i, \mathbb{Q}) \otimes W であり、W は \pm 1/2 に成分を持つ2次元の次数付きベクトル空間である。これは、分離リンクのアレクサンダー多項式が 0 になる理由を説明する。