[论文解读] Five Lectures on Khovanov Homology

Paul Turner|ArXiv.org|Jun 19, 2006

Geometric and Algebraic Topology参考文献 32被引用 19

一句话总结

本文提供了对琼斯多项式 categorification 的全面、教学性的介绍——即科瓦诺夫同调，通过从纽结图构造双分次链复形的组合方法。它证明了科瓦诺夫同调是纽结不变量，其分次欧拉示性数等于未归一化的琼斯多项式，并探讨了其函子性、挠率以及与其他同调理论和量子不变量的联系。

ABSTRACT

These lecture notes, which were designed for the Summer School "Heegaard-Floer Homology and Khovanov Homology" in Marseilles, 29th May - 2nd June, 2006, provide an elementary introduction to Khovanov homology. The intended audience is graduate students with some minimal background in low-dimensional and algebraic topology. The lectures cover the basic definitions, important properties, a number of variants and some applications. At the end of each lecture the reader is referred to the relevant literature for further reading.

研究动机与目标

• 为低维拓扑背景知识较少的研究生提供一个自包含且易于理解的科瓦诺夫同调入门。
• 解释科瓦诺夫同调如何通过将多项式不变量替换为双分次同调理论，实现对琼斯多项式的 categorification。
• 探讨其函子性质、在 Reidemeister 变换下的不变性，以及科瓦诺夫同调中挠率的作用。
• 介绍 Lee 理论、Rasmussen 的 $ s $-不变量以及科瓦诺夫-罗赞斯基同调等变体，及其与其他不变量的联系。
• 激发并综述纽结同调的更广泛背景，包括与图同调、HOMFLYPT 多项式以及几何和物理解释的关系。

提出的方法

• 通过交叉点的光滑化（0-光滑化和1-光滑化）以及 Frobenius 代数结构，从纽结图 $ D $ 构造双分次链复形 $ C^{*,*}(D) $。
• 利用光滑化之间的 cobordism 映射定义复形上的微分，通过 TQFT 框架确保 Reidemeister 不变性。
• 对复形取同调，得到科瓦诺夫同调 $ KH^{*,*}(D) $，其在 Reidemeister 变换下保持不变。
• 利用分次欧拉示性数公式 $ \sum (-1)^i q^j \dim KH^{i,j}(D) = \hat{J}(D) $，证明未归一化的琼斯多项式被 categorification。
• 引入 Lee 理论（微分 $ d_{\text{Lee}} $）和通过谱序列得到的 Rasmussen 的 $ s $-不变量等变体。
• 通过 Frobenius 代数和范畴化量子群，将框架扩展至图同调和科瓦诺夫-罗赞斯基同调。

实验结果

研究问题

• RQ1 如何将琼斯多项式 categorification 为一种保留更多拓扑信息的双分次同调理论？
• RQ2 科瓦诺夫同调的函子性和拓扑性质是什么，特别是其在 Reidemeister 变换下的不变性？
• RQ3 科瓦诺夫同调中的挠率如何揭示超出琼斯多项式的信息？
• RQ4 科瓦诺夫同调与其他纽结不变量（如 HOMFLYPT 多项式和着色琼斯多项式）之间有何关系？
• RQ5 科瓦诺夫同调背后的几何或物理结构是什么？它们如何与 Floer 同调或量子场论相关联？

主要发现

• 科瓦诺夫同调 $ KH^{*,*}(D) $ 是一种在 Reidemeister 变换下不变的双分次同调理论，因此是纽结不变量。
• 科瓦诺夫同调的分次欧拉示性数恢复了未归一化的琼斯多项式 $ \hat{J}(D) $，证明了 categorification。
• 科瓦诺夫同调能检测到挠率，而这是琼斯多项式中不可见的，因此其作为不变量强于多项式本身。
• Rasmussen 的 $ s $-不变量，通过 Lee 理论中的谱序列导出，是一个强大的同痕不变量，能检测到截面亏格。
• 科瓦诺夫-罗赞斯基同调将构造推广至更高 $ N $，categorification 了 HOMFLYPT 多项式，并与量子群相关联。
• 通过类似 Frobenius 代数框架构建的图同调，categorification 了色多项式和二色多项式，其长正合列镜像了删除-收缩关系。