[论文解读] Khovanov homology: torsion and thickness

Marta Asaeda, Józef H. Przytycki|ArXiv.org|Feb 25, 2004

Geometric and Algebraic Topology被引用 6

一句话总结

本文研究了 $S^3$ 中链的挠性和厚度，证明了非平凡的素非分裂交错链（除平凡链和Hopf链外）具有 $\mathbb{Z}_2$-挠性。本文建立了链与其与Hopf链的连通和之间的分裂短正合序列，并通过长正合序列将结果推广至约化Khovanov同调，为挠性和厚度性质提供了新的结构洞见。

ABSTRACT

We partially solve the conjecture by A.Shumakovitch about torsion in the Khovanov homology of prime, non-split links in S^3. We give a size restriction on the Khovanov homology of almost alternating links. We relate the Khovanov homology of the connected sum of a link diagram and the Hopf link with the Khovanov homology of the diagram via a short exact sequence of homology which splits. Finally we show that our results can be adapted to reduced Khovanov homology and we show that there is a long exact sequence connecting reduced Khovanov homology with unreduced homology.

研究动机与目标

• 研究链的Khovanov同调中挠性的存在，特别是素非分裂交错链中的 $\mathbb{Z}_2$-挠性。
• 为几乎交错链的Khovanov同调建立大小限制。
• 通过短正合序列分析链的Khovanov同调与其与Hopf链的连通和之间的关系。
• 将关于挠性和厚度的结果推广至约化Khovanov同调，并建立连接约化与未约化同调的长正合序列。
• 利用Viro的正合序列将Lee对交错链的结果推广至几乎交错链和 $H$-薄链。

提出的方法

• 采用Viro的Khovanov同调方法，基于无方向的带框架链图和增强Kauffman状态来定义同调。
• 应用带增强状态的态射和公式来计算Kauffman括号多项式，并构建Khovanov链复形。
• 利用从Viro构造中导出的Khovanov同调长正合序列，关联不同链图的同调。
• 为链 $D$ 及其与Hopf链 $D_h$ 的连通和构造链复形的短正合序列，并证明其分裂。
• 通过在基点处分裂链复形，将结果适应至约化Khovanov同调，并建立包含 $H^r(D)$、$H(D)$ 和 $H^{\bar{r}}(D)$ 的长正合序列。
• 使用代数拓扑技术，包括与 $\mathbb{Z}_p$ 的张量积和维数比较，证明序列的非精确性，并推导出挠性的存在。

实验结果

研究问题

• RQ1 素非分裂交错链（排除平凡链和Hopf链）的Khovanov同调是否包含非平凡的 $\mathbb{Z}_2$-挠性？
• RQ2 能否在链的Khovanov同调与其与Hopf链的连通和之间构造短正合序列，且该序列是否分裂？
• RQ3 Khovanov同调的厚度性质在连通和及几乎交错图下如何表现？
• RQ4 未约化Khovanov同调中关于挠性和厚度的结果能否推广至约化情形？
• RQ5 约化Khovanov同调与商复形 $\mathcal{C}^{-}(D)$ 的同调之间有何关系，是否存在长正合序列？

主要发现

• 除平凡链和Hopf链外，素非分裂交错链在其Khovanov同调中具有 $\mathbb{Z}_2$-挠性，证实了Shumakovitch的猜想。
• 关联 $D$ 与 $D\#H$ 的链复形短正合序列是分裂的，意味着 $H_{*,*}(D\#H)$ 作为分次阿贝尔群同构于 $H_{*,*}(D) \oplus H_{*,*}(H)$。
• 对 $n$ 个Hopf链的连通和，Khovanov同调由 $h(a,b)(D) = (a^2 + a^{-2})(a^4b^2 + a^{-4}b^{-2})^n$ 给出，与Shumakovitch的早期计算一致。
• 约化Khovanov同调满足长正合序列：$\cdots \to H^r_{i,j}(D) \to H_{i,j}(D) \to H^{\bar{r}}_{i,j}(D) \to H^r_{i-2,j}(D) \to \cdots$，将其与未约化同调联系起来。
• 几乎交错图和 $H$-薄链通过广义长正合序列继承了交错链的厚度和挠性性质。
• 本文为Lee的结果提供了简单证明：对于交错链，Khovanov同调将经典符号数范畴化，且无需假设系数为有理数。