[论文解读] 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

一句话总结

本文建立了一条从扭结 $K \subset S^3$ 的镜像的分類化約化 $n$-色 Jones 多項式到 knot Floer 同調的谱序列，其中 $n$ 為奇數時對應於 $S^3$ 沿 $K$ 的雙重分支覆蓋的 knot Floer 同調，$n$ 為偶數時對應於 $K\#K^r$ 的 knot Floer 同調。關鍵結果是此譜序列表明 Khovanov 的分類化能檢測出所有 $n > 1$ 時的單位結，透過 sutured Floer 理論，強烈連結了量子不變量與 Heegaard Floer 同調。

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.

研究动机与目标

• 建立一條連接分類化量子不變量與分支覆蓋的 Heegaard Floer 不變量的譜序列。
• 證明 Khovanov 對約化 $n$-色 Jones 多項式的分類化能檢測出所有 $n > 1$ 時的單位結。
• 透過 tangle 分解與過濾鏈複形，探討 sutured Floer 同調與 Khovanov 類型不變量之間的關係。
• 提出一個猜想：$\widetilde{Kh}_n(K)$ 的同調寬度與結的 genus 之間的關係，特別是在 $n \to \infty$ 的極限下。

提出的方法

• 從 $S^3$ 中扭結 $K$ 的 $n$-纏繞中，透過移除一個點鄰域，構造一個平衡 tangle $T^n \subset D \times I$。
• 在 $T^n$ 上定義兩個鏈複形：一個透過 Khovanov 類型函子，另一個透過 sutured Floer 類型函子。
• 證明在可接受的、平衡的、已解析的 tangle 上，兩個複形的生成元一致，從而可進行比較。
• 使用過濾的 Heegaard 多圖形定義譜序列，其 $E^1$ 項同構於交點空間 $CV(\mathcal{P}(T))$ 的向量空間。
• 在複形上定義雙分次 $ (i,j) $，並定義 $\delta$-分次 $ \delta(a) = \frac{j(a)}{2} - i(a) $，此分次在微分作用下減少 1，使其成為同調分次。
• 猜想 $\delta$-分次對應於交點上的 Maslov 類型函數 $\mathbf{M}$，從而將譜序列與 sutured Floer 同調連結起來。

实验结果

研究问题

• RQ1 是否存在一條譜序列，從 $\overline{K}$ 的分類化約化 $n$-色 Jones 多項式出發，收斂至 $\Sigma(S^3, K)$ 或 $S^3, K\#K^r$ 的 knot Floer 同調？
• RQ2 透過此譜序列，Khovanov 的分類化是否能檢測出所有 $n > 1$ 時的單位結？
• RQ3 當 $n \to \infty$ 時，$\widetilde{Kh}_n(K)$ 的同調寬度 $hw(\widetilde{Kh}_n(K))$ 與結的 genus $g(K)$ 之間是否存在關係？
• RQ4 $\widetilde{Kh}_n(K)$ 中的 $\delta$-分次是否可被解釋為 sutured Floer 同調中的一種 Maslov 類型分次？

主要发现

• 對每個 $n > 1$，存在一條譜序列，其 $E^2$ 項為 $\widetilde{Kh}_n(\overline{K})$，$E^\infty$ 項為：當 $n$ 為奇數時為 $\widehat{HFK}(\Sigma(S^3, K), \widetilde{K})$，當 $n$ 為偶數時為 $\widehat{HFK}(S^3, K\#K^r)$。
• 此譜序列表明 $\widetilde{Kh}_n(K)$ 對所有 $n > 1$ 時能檢測出單位結，因為對非平凡結有 $\operatorname{rk}(\widetilde{Kh}_n(K)) > 1$。
• 同調寬度 $hw(\widetilde{Kh}_n(K))$ 滿足：當 $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$ 項同構於 Heegaard 圖中交點的向量空間 $CV(\mathcal{P}(T))$，其具有來自複形的雙分次。
• 猜想 7.1 提出 $\delta$-分次對應於交點上的 Maslov 類型函數 $\mathbf{M}$，並指出 $E^\infty_{\delta = d}$ 同構於 sutured Floer 同調中 $\mathbf{M} = d$ 的子空間。