[論文レビュー] On the spectral sequence from Khovanov homology to Heegaard Floer homology

John A. Baldwin|ArXiv.org|Sep 19, 2008

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

ひとこと要約

この論文は、$E^k$ 項が $k \geq 2$ のとき、ケーブル・ホモロジーからヒーガード・フローエル・ホモロジーへのスペクトル系列のリンク不変量であることを証明し、古典的なリンク不変量を精緻化する新しいグレーディング不変量の族 $\{E^k(L)\}$ を確立する。さらに、プラマネフスカヤの横断的不変量が各 $E^k(L)$ にあたる不変量 $\psi^k(L)$ に引き上げられることを示し、トーラス結び目 $T(3,4)$ および $T(3,5)$ のスペクトル系列を明示的に計算可能にし、それぞれ $E^3$ および $E^4$ で収束することが判明する。

ABSTRACT

Ozsvath and Szabo show that there is a spectral sequence whose E^2 term is the reduced Khovanov homology of L, and which converges to the Heegaard Floer homology of the (orientation reversed) branched double cover of S^3 along L. We prove that the E^k term of this spectral sequence is an invariant of the link L for all k >= 2. If L is a transverse link in the standard tight contact structure on S^3, then we show that Plamenevskaya's transverse invariant psi(L) gives rise to a transverse invariant, psi^k(L), in the E^k term for each k >= 2. We use this fact to compute each term in the spectral sequences associated to the torus knots T(3,4) and T(3,5).

研究の動機と目的

• ケーブル・ホモロジーからヒーガード・フローエル・ホモロジーへのオズヴァース＝ツァボーのスペクトル系列の $E^k$ 項が、$k \geq 2$ のときリンク $L$ の不変量であることを確立し、図の独立性に関する長年の未解決問題を解決すること。
• ケーブル・ホモロジーにおけるプラマネフスカヤの横断的リンク不変量 $\psi(L)$ を、各 $E^k(L)$ における不変量 $\psi^k(L)$ に拡張することで、スペクトル系列に横断的不変量を統合すること。
• トーラス結び目 $T(3,4)$ および $T(3,5)$ のスペクトル系列の完全な構造、すなわち高次の微分および $E^k$ 項のピョアンカーポリノミアルを計算すること。
• $E^k(L)$ に量子グレーディングが存在する可能性を調査し、予想されているように高次の微分 $D^k$ が量子グレーディングを $2k-2$、ホモロジー・グレーディングを $k$ だけ増加させるかどうかを検討すること。
• リンクコボルディズムが $E^k(L)$ 項の間でwell-definedな写像を誘導するかどうかを理解する基盤を築くこと。これは、ケーブルおよびヒーガード・フローエル・ホモロジーにおける既知の写像を一般化する。

提案手法

• 図の独立性の証明に、図的不変性の議論とスペクトル系列構成の性質を用いて、$L$ の平面図の選択に依存しない $E^k$ 項の不変性を示す。
• プラマネフスカヤの不変量 $\psi(L) \in \kh(L)$ をスペクトル系列を通して各 $k \geq 2$ に対して $\psi^k(L) \in E^k(L)$ に引き上げることで、横断的不変量 $\psi^k(L)$ を構成する。
• $T(3,4)$ および $T(3,5)$ がほとんど交差する性質を持ち、正のブレード表現をもつことから、グレーディングのシフトと非自明なサイクルの存在によって、高次の微分の可能性を制限する。
• 微分のグレーディングシフト $D^k$ が量子グレーディングを $2k-2$、ホモロジー・グレーディングを $k$ だけ増加すると仮定し、$E^k$ 項の構造を導出する。
• スペクトル系列全体を通して生成子の生存と $D^k$ の作用を追跡することで、$E^k(T(3,4))$ および $E^k(T(3,5))$ のピョアンカーポリノミアルを計算する。
• $T(3,4)$ ではスペクトル系列が $E^3$ で収束し、$T(3,5)$ では $E^4$ で収束することを用いて、最終的な $E^\infty$ 項を特定し、これは $\hf(-\Sigma(L))$ と同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ケーブル・ホモロジーからヒーガード・フローエル・ホモロジーへのスペクトル系列の $E^k$ 項は、$k \geq 2$ のとき、平面図に依存しないリンク $L$ の不変量であるか？
• RQ2 プラマネフスカヤの横断的不変量 $\psi(L) \in \kh(L)$ は、$k \geq 2$ の各 $E^k(L)$ において非自明な不変量 $\psi^k(L)$ に引き上げられるか？
• RQ3 トーラス結び目 $T(3,4)$ および $T(3,5)$ のスペクトル系列の構造、特に高次の微分および $E^k$ 項のピョアンカーポリノミアルは何か？
• RQ4 スペクトル系列の $E^k(L)$ 上の微分 $D^k$ は、量子グレーディングを $2k-2$、ホモロジー・グレーディングを $k$ だけ増加させるという予想は正しいか？
• RQ5 リンクコボルディズムは、スペクトル系列の $E^k$ 項の間でwell-definedな写像を誘導するか？これは、ケーブルおよびヒーガード・フローエル・ホモロジーにおける既知の写像を一般化するものか？

主な発見

• スペクトル系列の $E^k$ 項は、すべての $k \geq 2$ に対してリンク $L$ の不変量であることが証明され、オズヴァース＝ツァボーのスペクトル系列における図の独立性に関する重要な疑問が解決された。
• $T(3,4)$ のトーラス結び目について、スペクトル系列は $E^3$ で収束し、$E^3(T(3,4))$ のピョアンカーポリノミアルは $h^0q^6 + h^3q^{12} + h^5q^{16}$ であり、$\text{rk}\, \hf(-\Sigma(T(3,4))) = 3$ である。
• $T(3,5)$ のトーラス結び目について、スペクトル系列は $E^4$ で収束し、$E^4(T(3,5))$ は $\mathbb{Z}_2$ と同型であり、$E^2(T(3,5))$ のピョアンカーポリノミアルは $h^0q^8 + h^2q^{12} + h^3q^{14} + h^4q^{14} + h^5q^{18} + h^6q^{18} + h^7q^{20}$ である。
• 正の3ブレード閉包 $(xy)^5$ の横断的不変量 $\psi(L)$ は、各 $E^k(T(3,5))$ において非自明なサイクル $\psi^k(\mathcal{T})$ として生存し、$E^\infty(T(3,5)) \cong \mathbb{Z}_2$ を生成する。
• 高次の微分 $D^k$ はホモロジー・グレーディングを $k$、量子グレーディングを $2k-2$ だけ増加させる。このグレーディングシフトは、$T(3,4)$ および $T(3,5)$ におけるスペクトル系列の構造を一意に決定する。
• 結果は、$D^k$ が量子グレーディングを $2k-2$、ホモロジー・グレーディングを $k$ だけ増加させるとする予想を支持しており、$k \geq 2$ のとき $E^k(L)$ にwell-definedな量子グレーディングが存在することを示唆している。