[论文解读] The Bar-Natan homology and unknotting number

Akram Alishahi|arXiv (Cornell University)|Oct 22, 2017

Geometric and Algebraic Topology参考文献 9被引用 6

一句话总结

本文证明了纽结的Bar-Natan同调中的挠类阶数为unknotting数提供了一个下界。通过构造因一次交叉变化而不同的纽结的Bar-Natan复形之间的显式链映射，作者证明了这些映射在同调上作用为乘以参数 $ h $，从而得到不变量 $ \mathfrak{u}(K) $，该不变量在某些13交叉纽结上严格优于 $ |s(K)|/2 $ 的界。

ABSTRACT

We show that the order of torsion homology classes in Bar-Natan deformation of Khovanov homology is a lower bound for the unknotting number. We give examples of knots that this is a better lower bound than |s(K)/2|, where s(K) is the Rasmussen s invariant defined by the Bar-Natan spectral sequence.

研究动机与目标

• 使用Bar-Natan同调中的挠类建立纽结unknotting数的新下界。
• 证明Bar-Natan复形中挠类的阶数是拓扑不变量，并作为unknotting数的下界。
• 构造因单次交叉变化而不同的纽结的Bar-Natan复形之间的几何意义明确的链映射。
• 证明该不变量 $ \mathfrak{u}(K) $ 可以超过 $ |s(K)|/2 $ 的界，提供严格更强的阻碍。

提出的方法

• 将 $ \mathfrak{u}(K) $ 定义为Bar-Natan同调 $ \mathcal{H}_{BN}(K) $ 中挠类的最大阶数，其中挠类指存在 $ n > 0 $ 使得 $ h^n \cdot \alpha = 0 $ 的类。
• 构造代数链映射 $ f_c^+ $ 和 $ f_c^- $，连接因交叉变化而不同的纽结的Bar-Natan复形，使得其复合映射在同调上诱导出乘以 $ h $ 的作用。
• 通过鞍面移动和Hopf链环连接和的cobordism映射对这些链映射进行几何解释：$ K_+ \to K_- \# H $ 和 $ K_- \to K_+ \# mH $。
• 利用cobordism映射的复合与链同伦等价性，验证 $ f_c^- \circ f_c^+ $ 和 $ f_c^+ \circ f_c^- $ 在同调上作用为乘以 $ h $。
• 利用Bar-Natan同调的模结构和基点作用，分析挠类在交叉变化下的行为。
• 将不变量 $ \mathfrak{u}(K) $ 应用于计算并比较unknotting数的下界与Rasmussen的 $ s $-不变量。

实验结果

研究问题

• RQ1 Bar-Natan同调中挠类的阶数能否提供比 $ s $-不变量更强的unknotting数下界？
• RQ2 交叉变化如何影响Bar-Natan同调？其背后的代数结构是什么？
• RQ3 在代数上定义的Bar-Natan复形之间的链映射能否通过cobordism实现几何解释？
• RQ4 是否存在满足 $ \mathfrak{u}(K) > |s(K)|/2 $ 的纽结，表明其对 $ s $-不变量有严格改进？

主要发现

• 定义为Bar-Natan同调中挠类最大阶数的不变量 $ \mathfrak{u}(K) $，是任意纽结 $ K $ 的unknotting数的下界。
• 对于纽结 $ 13n689 $、$ 13n1166 $、$ 13n2504 $ 和 $ 13n2807 $，$ s $-不变量给出的下界为 $ |s(K)|/2 = 1 $，但 $ \mathfrak{u}(K) = 2 $，显示出严格改进。
• 由交叉变化诱导的链映射 $ f_c^+ $ 和 $ f_c^- $ 在同调上作用为乘以 $ h $，确认了在cobordism下挠类的行为。
• 通过cobordism映射至 $ K_+ \# H $ 和 $ K_- \# mH $ 对这些映射的几何解释，为代数结构提供了拓扑实现。
• 该构造推广了Lee同调与纽结Floer同调的早期结果，将框架扩展至Bar-Natan同调。
• 该方法建立了一种新的代数拓扑障碍以阻止unknotting，利用了Bar-Natan同调的 $ \mathbb{F}[h] $-模结构。