[论文解读] Khovanov homology for links in $\#^r(S^2 imes S^1)$

Michael Willis|arXiv (Cornell University)|Dec 17, 2018

Geometric and Algebraic Topology参考文献 20被引用 4

一句话总结

本文通过采用Rozansky的方法（利用无限全旋转变换）并结合Bar-Natan的形式cobordism框架，将Khovanov同调推广至r个S²×S¹的连通和M_r中，即#r(S²×S¹)中的链路。该构造产生了一个Z-分次同调理论，其范畴化了skein模S(M_r)和WRT不变量，且通过处理滑动与Reidemeister移动的相容性，确立了在同痕下的不变性。

ABSTRACT

We revisit Rozansky's construction of Khovanov homology for links in $S^2 imes S^1$, extending it to define Khovanov homology $Kh(L)$ for links $L$ in $M^r=#^r(S^2 imes S^1)$ for any $r$. The graded Euler characteristic of $Kh(L)$ can be used to recover WRT invariants at certain roots of unity, and also recovers the evaluation of $L$ in the skein module $\mathcal{S}(M^r)$ of Hoste and Przytycki when $L$ is null-homologous in $M^r$. The construction also allows for a clear path towards defining a Lee's homology $Kh'(L)$ and associated $s$-invariant for such $L$, which we will explore in an upcoming paper. We also give an equivalent construction for the Khovanov homology of the knotification of a link in $S^3$ and show directly that this is invariant under handle-slides, in the hope of lifting this version to give a stable homotopy type for such knotifications in a future paper.

研究动机与目标

• 将Khovanov同调从S³推广至3-流形M_r = #r(S²×S¹)，该流形非同调球面，具有拓扑挑战性。
• 提供一个同调理论，其范畴化了Hoste与Przytycki定义的skein模S(M_r)以及Witten-Reshetikhin-Turaev (WRT)在特定单位根下的不变量。
• 通过全旋转变换与截断复形的性质，建立在M_r中同痕下的不变性，包括处理滑动与通过附着球面的链路移动。
• 为未来工作奠定基础，以在M_r中定义Lee型同调与s-不变量，以及链路的稳定同伦型。

提出的方法

• 通过在r个互不相交的2-球面（即束圈）上带有端点的tangle图来表示M_r中的链路，用虚线表示手术球面。
• 通过将每条虚线替换为ki个全右旋的环面辫子，将链路提升至S³，形成图L(⃗k)，其中ki → ∞。
• 利用Bar-Natan的通用形式cobordism范畴，在Temperley-Lieb范畴中定义ki → ∞时的极限链复形。
• 对这一极限复形应用Khovanov的函子，得到一个无限链复形，其各项为分次阿贝尔群。
• 将Kh(L)定义为该复形的（分次）同调，其在M_r中同痕下不变。
• 通过证明截断复形C∗>a(ki)在点滑动与符号相消（基于偶数交叉数）下行为一致，证明其在处理滑动与链路推移移动下的不变性。

实验结果

研究问题

• RQ1 是否能以一种范畴化skein模S(M_r)与WRT不变量的方式，将Khovanov同调推广至#r(S²×S¹)中的链路？
• RQ2 如何使无限旋转变换的极限构造在M_r中同痕下保持严谨且不变，包括非平凡的处理滑动？
• RQ3 截断复形C∗>a(ki)及其点滑动性质在证明链路推移与处理滑动下的不变性中起什么作用？
• RQ4 该构造能否被调整以定义M_r中链路的Lee型同调及其关联的s-不变量？
• RQ5 是否存在一条路径，可将该同调理论提升为Knotified链路的稳定同伦型，如Lipshitz-Sarkar的工作所示？

主要发现

• 对于任意在M_r中与束圈S²i的几何交数ni为偶数的链路L，Khovanov同调Kh(L)是良定义的，且在M_r中同痕下不变（至整体分次平移）。
• Kh(L)的分次欧拉示性数在特定单位根下恢复了L在M_r中的WRT不变量，从而实现了量子不变量的范畴化。
• 对于M_r中同调为零的链路，分次平移消失，Kh(L)恢复了由Hoste与Przytycki定义的skein模S(M_r)中L的取值。
• 该构造在处理滑动与通过附着球面的链路推移下保持不变，其证明基于点滑动在截断复形中的一致性，且偶数交叉数确保了符号相消。
• 当ki → ∞时，环面辫子Fki ni的极限复形可被表达为不涉及从顶部到底部穿过的链路，从而实现通过间隙的稳定链路拉伸。
• 该方法避免了Rozansky原始S²×S¹构造中使用的导出范畴与Hochschild同调，而是全程采用Bar-Natan的形式cobordism框架，从而更清晰地推广至更高亏格流形。