[論文レビュー] On the Colored Jones Polynomial, Sutured Floer homology, and Knot Floer homology

J. Elisenda Grigsby, Stephan M. Wehrli|ArXiv.org|Jul 9, 2008

Geometric and Algebraic Topology参考文献 16被引用数 10

ひとこと要約

本稿は、3次元球面 $S^3$ 内の絡み目の鏡像 $¯{K}$ のカテゴライズ化された削減済み $n$-色付きジョーンズ多項式から、$n$ が奇数の場合は $S^3$ における $K$ に関する2重分岐被覆の絡み目フローエルホモロジー、$n$ が偶数の場合は $K\#K^r$ の絡み目フローエルホモロジーへのスペクトル系列を確立する。主な結果は、このスペクトル系列が、$n > 1$ に対してカフマンのカテゴライズ化が同相型を検出できることを示しており、これは、サチュレイテッドフローエル理論を通じて、量子不変量とヘーガードフローエルホモロジーの強い関係を示している。

ABSTRACT

Let K in S^3 be a knot, and let \widetilde{K} denote the preimage of K inside its double branched cover, Σ(K). We prove, for each integer n > 1, the existence of a spectral sequence from Khovanov's categorification of the reduced n-colored Jones polynomial of the mirror of K to the knot Floer homology of (Σ(K),\widetilde{K}) (when n odd) and to (S^3, K # K) (when n even). A corollary of our result is that Khovanov's categorification of the reduced n-colored Jones polynomial detects the unknot whenever n>1.

研究の動機と目的

• 分岐被覆のヘーガードフローエル不変量へのカテゴライズ化量子不変量を結ぶスペクトル系列を確立すること。
• カフマンによる削減済み $n$-色付きジョーンズ多項式のカテゴライズ化が、すべての $n > 1$ に対して同相型を検出できることを証明すること。
• タングル分解とフィルター付きチェーン複体を通じて、サチュレイテッドフローエルホモロジーとカフマン型不変量との関係を調査すること。
• $¯{Kh}_n(K)$ のホモロジー幅と絡み目 genus $g(K)$ の関係、特に $n \to \infty$ の極限における関係を予想すること。

提案手法

• 3次元球面 $S^3$ 内の絡み目 $K$ の $n$-ケーブルから、点近傍を除いた $D \times I$ 内のバランストグル $T^n$ を構成する。
• 複体 $T^n$ 上に2つのチェーン複体を定義する：1つはカフマン型関手を用い、もう1つはサチュレイテッドフローエル型関手を用いる。
• 適切でバランスが取られ、解消可能なタングルにおいて、両複体の生成子が一致することを示し、比較を可能にする。
• フィルター付きヘーガードマルチダイアグラムを用いて、$E^1$ 項が $CV(\mathcal{P}(T))$ である交差点のベクトル空間に同型であるスペクトル系列を定義する。
• 複体に二重次数 $(i,j)$ を定義し、$\delta$-次数 $\delta(a) = \frac{j(a)}{2} - i(a)$ を導入する。この次数は微分により1下がり、したがってホモロジー次数として機能する。
• $\delta$-次数が交差点上のマスロフ型関数 $\mathbf{M}$ に対応すると予想し、スペクトル系列をサチュレイテッドフローエルホモロジーに結びつける。

実験結果

リサーチクエスチョン

• RQ1 $¯{K}$ のカテゴライズ化された削減済み $n$-色付きジョーンズ多項式から、$n$ が奇数の場合は $\Sigma(S^3, K)$、$n$ が偶数の場合は $S^3, K\#K^r$ の絡み目フローエルホモロジーへのスペクトル系列が存在するか？
• RQ2 このようなスペクトル系列を通じて、カフマンのカテゴライズ化がすべての $n > 1$ に対して同相型を検出可能か？
• RQ3 $n \to \infty$ の極限において、$¯{Kh}_n(K)$ のホモロジー幅 $hw(\widetilde{Kh}_n(K))$ と絡み目 genus $g(K)$ の間に関係があるか？
• RQ4 $\widetilde{Kh}_n(K)$ の $\delta$-次数が、サチュレイテッドフローエルホモロジーにおけるマスロフ型次数として解釈可能か？

主な発見

• 各 $n > 1$ に対して、スペクトル系列が存在し、$n$ が奇数の場合は $E^2$ 項が $\widetilde{Kh}_n(\overline{K})$、$E^\infty$ 項が $\widehat{HFK}(\Sigma(S^3, K), \widetilde{K})$ となる。$n$ が偶数の場合は $E^\infty$ 項が $\widehat{HFK}(S^3, K\#K^r)$ となる。
• このスペクトル系列により、$\widetilde{Kh}_n(K)$ がすべての $n > 1$ に対して同相型を検出できることを示しており、非自明な $K$ に対して $\operatorname{rk}(\widetilde{Kh}_n(K)) > 1$ であるためである。
• $n$ が奇数の場合は $\liminf_{n \to \infty} \frac{hw(\widetilde{Kh}_n(K))}{2(n-1)} \geq g(K)$、$n$ が偶数の場合は $\liminf_{n \to \infty} \frac{hw(\widetilde{Kh}_n(K))}{2(n-2)} \geq g(K)$ を満たす。
• $\widetilde{Kh}_n(K)$ の $\delta$-次数はスペクトル系列においてホモロジー次数として保存され、微分により1下がる。
• $E^1$ 項は、ヘーガードダイアグラム内の交差点のベクトル空間 $CV(\mathcal{P}(T))$ に同型であり、複体から引き継がれる二重次数を持つ。
• 予想 7.1 では、$\delta$-次数が交差点上のマスロフ型関数 $\mathbf{M}$ に対応するとされ、$E^\infty_{\delta = d}$ がサチュレイテッドフローエルホモロジーの $\mathbf{M} = d$ の部分空間に一致するとされている。