[論文レビュー] Computations of Heegaard-Floer knot homology

John A. Baldwin, W. D. Gillam|ArXiv.org|Oct 5, 2006

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

ひとこと要約

本稿では、グリッド図とアーキペゼンテーションを用いて、S³ 内のねじれのヘーゲァルド＝フローリング・ねじれホモロジー (HFK) を計算する組合せ的アルゴリズムを提示する。これにより、12交差以下のすべてのねじれについての HFK の体系的計算が可能になった。この手法は、明示的な境界写像を矩形数で定義した Z₂ 上のフィルター付き鎖複体に依存し、11交差までのねじれについて τ 不変量を計算した。その結果、一般には異なるが、計算されたすべてのねじれについて s = 2τ が成り立つことが判明した。

ABSTRACT

Using a combinatorial approach described in a recent paper of Manolescu, Ozsváth, and Sarkar we compute the Heegaard-Floer knot homology of all knots with at most 12 crossings as well as the $τ$ invariant for knots through 11 crossings. We review the basic construction of \cite{MOS}, giving two examples that can be worked out by hand, and explain some ideas we used to simplify the computation. We conclude with a discussion of knot Floer homology for small knots, closely examining the Kinoshita-Teraska knot $KT_{2,1}$ and its Conway mutant.

研究の動機と目的

• S³ 内のねじれのヘーゲァルド＝フローリング・ねじれホモロジー (HFK) を計算するアルゴリズム的手法を開発すること。これは、従来、体系的な計算的手法が欠けていた。
• マノレスク、オズバース、サルカールの組合せ的枠組みを拡張し、12交差までのすべてのねじれについて HFK と τ 不変量を計算すること。
• フィルター付き複体のスペクトル系列を解析し、E₁ と E₂ 項における微分 d₁, d₂ の振る舞いを特定すること。
• 明示的な計算を通じて、ラスマッセンの s 不変量と τ 不変量の関係を調査すること。
• アレクサンダー多項式が自明な Kinoshita-Terada と Conway のねじれ変種対 (KT2,1 と C2,1) のねじれフローリング・ホモロジーを研究すること。この対は、一般に異なる genus を持つ。

提案手法

• ねじれのアーキペゼンテーションを用いて、 genus 1 のマルチポイント付きヘーゲァルド図を構成し、Z₂ 上の組合せ的フィルター付き鎖複体を導出する。
• 複体の生成子は {1, ..., n} の置換に対応し、トーラス上の α と β 曲線の交点を表す。マスロフ・グレーディングとアレクサンダー・グレーディングは、幾何的巻き数と正方形数の公式により割り当てられる。
• 境界写像 d は組合せ的に定義される：σ と σ′ がちょうど2つの位置で異なり、それらの異なる座標によって形成される4つの長方形のうち、1つだけが白い点またはねじれグラフの点を含まない場合、d(σ) に σ′ を含む。
• この複体のフィルター付き鎖ホモトピー型が HFK(K) を計算し、連続する商が HFKj(Y, K, i) のホモロジー群を導く。
• アルゴリズムは、フィルター付き複体からスペクトル系列の E₁ 項を計算し、その後 d₁ と d₂ の微分を用いて E₂ 項を特定する。τ 不変量は、非自明なホモロジー類のうち最高のマスロフ・グレーディングから導出される。
• 実装には C++ プログラムと gridlink ツールを用い、12交差までのねじれのグリッド図を生成・処理した。

実験結果

リサーチクエスチョン

• RQ1 12交差以下のすべてのねじれについて、組合せ的枠組みを用いてヘーゲァルド＝フローリング・ねじれホモロジーをアルゴリズム的に計算可能か？
• RQ2 小規模な交差数を持つねじれについて、スペクトル系列 (E₁, E₂, d₁, d₂) の振る舞いはいかなるものか？
• RQ3 一般には等しくないが、計算された集合内のすべてのねじれについて、ラスマッセンの s 不変量が 2τ に等しいか？
• RQ4 アレクサンダー多項式が同一であるにもかかわらず、KT2,1 と C2,1 のようなねじれ変種対のねじれフローリング・ホモロジーはどのように異なるか？
• RQ5 アーキインデックスとねじれの複雑さの関係は何か、特に非交番ねじれにおいては？

主な発見

• 本稿では、12交差ねじれの全セットについてねじれフローリング・ホモロジー多項式を、11交差ねじれについて τ 不変量を、組合せ的アルゴリズムを用いて計算した。
• 11n42 (KT2,1) の HFK 多項式は (q⁻² + q⁻¹)t⁻² + 4(q⁻¹ + 1)t⁻¹ + 7 + 6q + 4(q + q²)t + (q² + q³)t² であり、その Conway 変種 11n34 (C2,1) については (q⁻³ + q⁻²)t⁻³ + 3(q⁻² + q⁻¹)t⁻² + 3(q⁻¹ + 1)t⁻¹ + 3 + 2q + 3(q + q²)t + 3(q² + q³)t² + (q³ + q⁴)t³ である。
• 11交差までのすべてのねじれについて τ 不変量を計算したが、すべてのケースでラスマッセンの s 不変量が 2τ に等しいことが判明した。これは一般には成り立たないが、計算されたねじれでは成り立つという仮説を支持する。
• 10₁₅₄ のスペクトル系列では、非自明な d₁ と d₂ の微分が観察され、E₁ と E₂ 項が形状のみでは捉えきれない複雑な振る舞いを示した。
• 非交番ねじれのアーキインデックスは、交番ねじれよりも低くなる傾向にあり、10₁₂₄ ではアーキインデックスが 8 であった。一方、10交差以下のすべての交番ねじれはアーキインデックス c(K) + 2 を持つ。
• プログラム実装は http://www.math.columbia.edu/~wgillam/hfk で公開されており、結果の再現と拡張が可能である。