[论文解读] Contributions to Khovanov Homology

Stephan M. Wehrli|ArXiv.org|Oct 5, 2008

Geometric and Algebraic Topology参考文献 25被引用 3

一句话总结

该论文通过显式构造具有不同同调的突变纽结示例，证明了柯瓦连科同调在柯瓦连科突变下不保持不变，从而推进了柯瓦连科同调理论；提出了一个生成树模型以解释柯瓦连科同调的稀疏性；将拉苏辛不变量推广至纽结；并通过为 framed tangle 的电影移动理论引入新方法，推广了带颜色的柯瓦连科括号的函子性，适用于 framed link cobordisms。

ABSTRACT

Khovanov homology ist a new link invariant, discovered by M. Khovanov, and used by J. Rasmussen to give a combinatorial proof of the Milnor conjecture. In this thesis, we give examples of mutant links with different Khovanov homology. We prove that Khovanov's chain complex retracts to a subcomplex, whose generators are related to spanning trees of the Tait graph, and we exploit this result to investigate the structure of Khovanov homology for alternating knots. Further, we extend Rasmussen's invariant to links. Finally, we generalize Khovanov's categorifications of the colored Jones polynomial, and study conditions under which our categorifications are functorial with respect to colored framed link cobordisms. In this context, we develop a theory of Carter--Saito movie moves for framed link cobordisms.

研究动机与目标

• 证明柯瓦连科同调在柯瓦连科突变下不保持不变，与许多经典不变量相反。
• 通过链复形的生成树模型解释柯瓦连科同调秩的观测稀疏性。
• 将拉苏辛的纽结不变量推广至纽结，并证明其提供的光滑性障碍强于多变量符号函数。
• 推广柯瓦连科的带颜色琼斯多项式范畴化，并建立在 framed link cobordisms 下函子性的条件。
• 为 framed link cobordisms 开发卡特–斋藤电影移动理论，以支持在带颜色情形下的函子性。

提出的方法

• 证明柯瓦连科链复形可收缩至由泰特图的生成树索引的子复形，从而减小链复形规模并解释秩的稀疏性。
• 利用该生成树模型重新证明李关于交替纽结的同调集中在双分次平面上两条直线上的结果。
• 通过弗罗贝尼乌斯代数关系与无符号构造，为李同调中的杯与帽 cobordism 构造了典范链映射。
• 引入一个带参数 (α,β) 的修正带颜色柯瓦连科括号以控制函子性，证明了当 (α,β) = (1,1) 和 (0,1) 时的链映射。
• 为 framed link cobordisms 开发了电影移动演算，以验证函子性（模符号与同伦），从而实现该理论的四维提升。
• 通过 KhoHo 的计算机计算，验证了特定突变纽结对中柯瓦连科同调的非不变性。

实验结果

研究问题

• RQ1 柯瓦连科同调能否检测柯瓦连科突变？若能，此类示例如何构造？
• RQ2 为何柯瓦连科同调秩显著小于链复形中生成元的数量？
• RQ3 拉苏辛的 s-不变量能否推广至纽结？其提供的光滑性障碍是否强于现有不变量？
• RQ4 在何种条件下，带颜色的柯瓦连科括号对 framed link cobordisms 是函子性的？
• RQ5 为支持范畴化设定下的函子性，fremed link cobordisms 的适当电影移动演算为何？

主要发现

• 提供了首个具有不同柯瓦连科同调的突变纽结显式示例，证明其严格强于琼斯多项式。
• 证明柯瓦连科链复形可收缩至由泰特图的生成树索引的子复形，从而解释了秩稀疏性的现象。
• 利用生成树模型重新证明了李关于交替纽结同调集中在双分次平面上两条直线上的结果。
• 将拉苏辛不变量推广至纽结，并证明其在多变量莱夫林–特里斯特拉姆符号失效的情况下仍能检测光滑性。
• 确立了李同调中杯与帽 cobordism 的链映射是良定义的，并诱导出链变换，从而支持四维理论的建立。
• 提出一个猜想：函子性带颜色柯瓦连科括号在模去电影移动的 framed link cobordism 商范畴上可下降为良定义的函子。