[論文レビュー] A spectral sequence from Khovanov homology to knot Floer homology

Nathan Dowlin|arXiv (Cornell University)|Nov 19, 2018

Geometric and Algebraic Topology被引用数 14

ひとこと要約

本稿は、3次元球面内の絡み目に対して、縮小されたクラスカル・ホノビッチホモロジーから絡み目フローエルホモロジーへのスペクトル系列を構成し、ラスマセンの予想である『クラスカル・ホノビッチホモロジーのランクは、絡み目フローエルホモロジーのランク以上である』を証明する。この構成は、組み合わせ的変種の絡み目フローエルホモロジーのための向き付けられた解消の立方体を用い、明示的な微分次数性を持つ双次数スペクトル系列を確立し、計算可能な新しい枠組みにより予想を検証する。

ABSTRACT

A well-known conjecture of Rasmussen states that for any knot $K$ in $S^{3}$, the rank of the reduced Khovanov homology of $K$ is greater than or equal to the rank of the reduced knot Floer homology of $K$. This rank inequality is supposed to arise as the result of a spectral sequence from Khovanov homology to knot Floer homology. Using an oriented cube of resolutions construction for a homology theory related to knot Floer homology, we prove this conjecture.

研究の動機と目的

• 任意のS³内の絡み目について、縮小されたクラスカル・ホノビッチホモロジーのランクが、縮小された絡み目フローエルホモロジーのランク以上であるというラスマセンの予想を証明すること。
• 鏡像絡み目のδ-次数絡み目フローエルホモロジーへの縮小されたクラスカル・ホノビッチホモロジーからのスペクトル系列を構成すること。
• 明示的な微分次数性を持つ、組み合わせ的で双次数のスペクトル系列を提供すること。
• 薄い絡み目および変種不変性に関する新しい不変量とその帰結を確立すること。
• この枠組みをマイナス理論版に拡張し、より広範なカテゴリカル構造を示唆すること。

提案手法

• アレクサンダー多項式をカテゴリファイする理論であり、縮小されたδ-次数絡み目フローエルホモロジーと同型である、絡み目ホモロジー理論HFK₂(K)を構成する。
• 図式Dのための向き付けられた解消の立方体を用い、各解消頂点に局所ホモロジー加群を割り当てる。
• 双次数(grₕ, gr_q)と立方体次元によるフィルトレーションを持つ、複体Ĉ₂(D)を定義する。
• 双次数(1,0)の微分d₀と、双次数(0,1)の微分d₁を導入し、dₖが双次数(2k+3, 4k+4)を持つスペクトル系列を構成する。
• 最初の非自明なケースとして、(4,5)-トーラス絡み目を計算する応用を行い、双次数(5,8)の単一の微分が現れる。
• 次数の議論により、(4,5)-トーラス絡み目の場合における唯一の非自明な微分が特定可能である。

実験結果

リサーチクエスチョン

• RQ1 クラスカルホモロジーから絡み目フローエルホモロジーへのスペクトル系列は、正しい双次数性と収束性を持つものか？
• RQ2 向き付けられた解消の立方体を用いた組み合わせ的構成が可能か？
• RQ3 このスペクトル系列は、ラスマセンが予想したランク不等式を示唆するか？
• RQ4 スペクトル系列の微分構造は何か？ また、(4,5)-トーラス絡み目のような特定の絡み目においてはどのように振る舞うか？
• RQ5 この構成を絡み目フローエルホモロジーのマイナス理論版に拡張可能か？

主な発見

• 縮小されたクラスカル・ホノビッチホモロジーから鏡像絡み目のδ-次数絡み目フローエルホモロジーへのスペクトル系列が存在し、これによりラスマセンの予想が証明された。
• スペクトル系列における微分dₖは、(grₕ, gr_q)に関して双次数(2k+3, 4k+4)であり、ホモロジー次数を奇数に増加させる。
• (4,5)-トーラス絡み目では、スペクトル系列に正確に一つの非自明な微分が存在し、双次数(5,8)でδ-次数10からδ-次数8へ写像する。
• この構成により、任意のQKh-薄い絡み目はQHFK-薄いことも示され、Z₂Kh-薄い絡み目はHFK-変種不変性を示す。
• スペクトル系列により、クラスカルホモロジーが、トレーリング、アンリンク、図形絡み目、ホープ・リンクを検出できることの新しい証明が得られた。
• この枠組みはマイナス理論への拡張を示唆しており、Kh⁻(sm(D))からHFK₂⁻(D)へのスペクトル系列が存在するが、HFK⁻(sm(D))との同型性はまだ証明されていない。