[論文レビュー] An introduction to knot Floer homology

Ciprian Manolescu|arXiv (Cornell University)|Jan 28, 2014

Geometric and Algebraic Topology被引用数 5

ひとこと要約

このサーベイは、3-多様体内のねじれのための強力な不変量であるねじれFloerホモロジーを、3つの組み合わせ的・幾何的構成——正則曲線、グリッド図、解消の立方体——を介して紹介する。3-および4-多様体トポロジーへの接続をスケジュール式によって確立し、特にスペクトル系列と多変数カテゴリフィケーションに関して、Khovanov-Rozanskyホモロジーとの深い予想的な関係を検討する。

ABSTRACT

This is a survey article about knot Floer homology. We present three constructions of this invariant: the original one using holomorphic disks, a combinatorial description using grid diagrams, and a combinatorial description in terms of the cube of resolutions. We discuss the geometric information carried by knot Floer homology, and the connection to three- and four-dimensional topology via surgery formulas. We also describe some conjectural relations to Khovanov-Rozansky homology.

研究の動機と目的

• 低次元トポロジー分野の大学院生および研究者を対象に、ねじれFloerホモロジーについて包括的かつアクセス可能な紹介を提供すること。
• 正則曲線、グリッド図、解消の立方体の方法を含む、ねじれFloerホモロジーの複数の構成法を提示し、組み合わせ的計算可能性に重点を置くこと。
• ねじれFloerホモロジーが genus、ファイバードネス、スライス・ジェノスなどの幾何的ねじれ不変量を検出する方法を説明すること。
• 特にHeegaard Floerホモロジーの文脈において、スケジュール式を通じてねじれFloerホモロジーを3-および4-多様体不変量と結びつけること。
• 特にスペクトル系列と多変数カテゴリフィケーションに関して、ねじれFloerホモロジーとKhovanov-Rozanskyホモロジーの間の予想的関係を検討すること。

提案手法

• シンプレクティック幾何学およびゲージ理論に基づく、Heegaard面の対称積における擬正則曲線によるオリジナル定義を使用する。
• Manolescu-Ozsváth-Sarkarのグリッド図構成法を導入し、$S^3$ におけるねじれFloerホモロジーの完全な組み合わせ的計算手法を提供する。
• Ozsváth-Szabóの解消の立方体アプローチを適用し、Khovanovホモロジーに類似した方法でねじれFloerホモロジーをモデル化し、スペクトル系列の調査を可能にする。
• スケジュール式（OS08b, MO）を用いて、ねじれおよびリンクへのスケジュールによって得られる3-多様体のHeegaard Floerホモロジーを計算する。
• 完全なねじれFloer複体と写像 $v_s^+$, $h_s^+$ を用いて、リンクFloerホモロジーを $S^3$ のHeegaard Floerホモロジーに関連付ける。
• ねじれFloerホモロジーとKhovanov-Rozansky理論の間の構造的類似性を分析し、特にスペクトル系列および双対性の文脈で検討する。

実験結果

リサーチクエスチョン

• RQ1 ねじれFloerホモロジーは、genus、ファイバードネス、スライス・ジェノスといった幾何的不変量をどのように検出するか？
• RQ2 正則曲線による定義と、組み合わせ的構成法（グリッド図、解消の立方体）との間の関係は何か？
• RQ3 ねじれFloerホモロジーのスケジュール式は、Khovanov-Rozanskyホモロジーにおける類似不変量の構成のモデルとして機能できるか？
• RQ4 Dunfield-Gukov-Rasmussenが予想したように、三重に重み付けられたKhovanov-RozanskyホモロジーからねじれFloerホモロジーへのスペクトル系列が存在するか？
• RQ5 Khovanov-Rozanskyホモロジーにおける、$v_s^+$ と $h_s^+$ の写像の対称性が、ねじれFloerホモロジーにおける双対性を反映している可能性がある構造的対称性や双対性は何か？

主な発見

• グリッド図や解消の立方体といった組み合わせ的手法を用いて、$\mathbb{Z}/2$ 係数上でのねじれFloerホモロジーのアルゴリズム的計算が可能である。
• スケジュールによって得られる3-多様体のHeegaard Floerホモロジーは、スケジュール式を介してねじれFloer複体から計算可能である。
• ねじれFloerホモロジーのハット版はアレクサンダー多項式をカテゴリフィケーションし、完全な複体はスケジュールの不変量を提供する。
• 三重に重み付けられたKhovanov-RozanskyホモロジーからねじれFloerホモロジーへのスペクトル系列の存在には強い証拠がある。これは $d_1$ および $d_{-1}$ 微分に対応する。
• 3-多様体に対するHOMFLY-PTホモロジーの存在は、Heegaard Floerホモロジーとは異なる性質を必要とし、レンズ空間におけるランクの期待値の矛盾によって示唆されている。
• $v_s^+$ と $h_s^+$ の写像の対称性は、ねじれFloerホモロジーにおいて双対性の可能性を示唆しているが、これはまだ証明されていない。