[论文解读] A polynomial action on colored sl(2) link homology

Matt Hogancamp|arXiv (Cornell University)|May 11, 2014

Geometric and Algebraic Topology参考文献 2被引用 7

一句话总结

本文構造了一個有界鏈複形，分類化了瓊斯-溫茲爾投影算子的標量倍數，並在過程中消除了分母。它引入了在著色 $σλ_{2}$ 鏈同調上的多項式作用，使同調有限維，並推廣至結縛，同時證明了戈爾斯基-奧布洛莫夫-拉姆辛-申德猜想在穩定凱霍夫同調上的弱版本，適用於扭結的托勒密扭結。

ABSTRACT

We construct an action of a polynomial ring on the colored sl(2) link homology of Cooper-Krushkal, over which this homology is finitely generated. We define a new, related link homology which is finite dimensional, extends to tangles, and categorifies a scalar-multiple of the sl(2) Reshetikhin-Turaev invariant. We expect this homology to be functorial under 4-dimensional cobordisms. The polynomial action is related to a conjecture of Gorsky-Oblomkov-Rasmussen-Shende on the stable Khovanov homology of torus knots, and as an application we obtain a weak version of this conjecture. A key new ingredient is the construction of a bounded chain complex which categorifies a scalar multiple of the Jones-Wenzl projector, in which the denominators have been cleared.

研究动机与目标

• 透過構造有限維變體來解決著色 $σλ_{2}$ 鏈同調的無限維性問題。
• 提供瓊斯-溫茲爾投影算子中分母消除的 categorification 對應，實現有界 categorification。
• 將同調推廣至結縛，並分類化 $σλ_{2}$ 里歇蒂欣-圖拉耶夫不變量的標量倍數。
• 在庫珀-克魯什卡同調上建立多項式作用，使其在多項式環上有限生成。
• 證明戈爾斯基-奧布洛莫夫-拉姆辛-申德猜想在穩定凱霍夫同調上的弱版本，適用於扭結的托勒密扭結。

提出的方法

• 在結縛與帶點cobordism 的範疇中構造一個有界複形 $Q_n$，使其分類化 $(1 - q^{2n})p_n$，即在消去分母後的瓊斯-溫茲爾投影算子的標量倍數。
• 使用鏈複形的卷積構造，其中每一項為一個平移複形 $E_i$，微分包含內部映射與層間映射。
• 應用變形收縮技術，簡化在多項式環上無限直和的複形，條件為該和同構於直積。
• 在多項式環 $\mathbb{Z}[x_1, \dots, x_r]$ 上使用雙分次結構，並利用自同態複形的結構來定義等變變形收縮。
• 利用卷積複形在索引集上的部分序所導致的關聯分次複形，可應用定理 5.12 進行簡化。
• 依賴存在變形收縮 $K \to L$，以誘導出 $R$-等變變形收縮 $R \otimes K \to R \otimes L$，確保新複形仍保持 $R$-等變性。

实验结果

研究问题

• RQ1 瓊斯-溫茲爾投影算子能否透過在整數 Temperley-Lieb 代數上的有界複形來分類化，從而避免因分母導致的無限複形？
• RQ2 是否存在一個有限維、可推廣至結縛的鏈同調，能分類化 $σλ_{2}$ 里歇蒂欣-圖拉耶夫不變量的標量倍數？
• RQ3 能否在著色 $σλ_{2}$ 鏈同調上定義多項式作用，使得同調在多項式環上有限生成？
• RQ4 如何在保持在四維cobordism 下函子性的前提下，解決庫珀-克魯什卡同調的無限維性問題？
• RQ5 構造 $Q_n$ 在多大程度上為戈爾斯基-奧布洛莫夫-拉姆辛-申德猜想（關於扭結的穩定凱霍夫同調）提供了證據？

主要发现

• 構造了一個有界鏈複形 $Q_n$，使其分類化 $(1 - q^{2n})p_n \in \mathrm{TL}_n^\mathbb{Z}$，有效消除了瓊斯-溫茲爾投影算子中的分母。
• 複形 $Q_n$ 作為平移複形 $E_i$ 的卷積構造而成，微分包含內部映射與層間鏈映射。
• 所得同調理論為有限維，且可推廣至結縛，分類化了 $σλ_{2}$ 里歇蒂欣-圖拉耶夫不變量的標量倍數。
• 在庫珀-克魯什卡同調上定義了多項式作用，使其在多項式環上有限生成。
• 該構造提供了戈爾斯基-奧布洛莫夫-拉姆辛-申德猜想的弱版本，確認了該猜想對托勒密扭結的穩定凱霍夫同調極限的預測。
• 變形收縮定理（定理 5.21）確保在條件 $\mathbb{Z}[x_1,\dots,x_r] \otimes K \cong \prod_f f \otimes K$ 下，複形 $M = \mathbb{Z}[x_1,\dots,x_r] \otimes K$ 可透過 $R$-等變變形收縮至 $N = \mathbb{Z}[x_1,\dots,x_r] \otimes L$，並保持 $R$-作用不變。