Khovanov 同调:从 Jones polynomial 到链复形
本文是 纽结理论导览 系列的一部分。
核心思想
1999年,Khovanov 把 Jones polynomial 升级成了一个链复形,然后取其同调。这一过程叫做 categorification(范畴化)。
类比:
| 数值不变量 | 范畴化对象 |
|---|---|
| Euler characteristic | 同调 |
| Jones polynomial | Khovanov homology |
范畴化的优势
- 更强的不变量:有些不能被 Jones polynomial 区分的 knot,仍能被 Khovanov homology 区分
- 保留挠元信息:在不同系数下揭示不同现象
- 函子性:link cobordism 诱导映射,因此 Khovanov homology 看见了四维世界的一部分
从 Kauffman bracket 到 Khovanov 链复形
回顾:q-Kauffman bracket
对每个 crossing 选择 0-smoothing 或 1-smoothing,定义
满足:
范畴化的三步替换
Khovanov homology 的构造是把 Kauffman bracket 中的”数”换成”向量空间”:
- 每个圆圈 → 一个二维分次向量空间
- 每个 state → 若干个 的张量积
- Smoothing 之间的微分 → 线性映射
Cube of resolutions
对有 个 crossings 的 diagram,构造一个 -维立方体:
- 每个顶点对应一种 smoothing 选择( 个 state)
- 每条边对应一个 crossing 的 0→1 变化
- 边上的映射由 上的乘法/余乘法给出
取这个立方体的全复形,就得到 Khovanov chain complex 。
分次结构
Khovanov homology 有两个分次:
- 同调分次 :来自 cube 的层级
- 量子分次 :来自向量空间 的分次
因此 是一个双分次的 -模(或 -向量空间)。
Euler characteristic 回收 Jones polynomial
也就是说,取分次 Euler characteristic 就回到未归一化的 Jones polynomial。
例子
Hopf link
Hopf link 的 Khovanov homology 相对简单,是理解构造的好例子。它有两个 crossings,因此 cube 有 个顶点。
Trefoil
Trefoil 有 3 个 crossings,cube 有 8 个顶点。其 Khovanov homology 表为:
| … | … | ||||||
|---|---|---|---|---|---|---|---|
(具体数值取决于归一化约定)
关键观察
Jones polynomial 只看到 Euler characteristic,即 的加权和。但 Khovanov homology 看到了更多的结构——例如挠元、分次分布等。
Reidemeister 不变性
定理 Khovanov homology 是 oriented link 的不变量,即在 Reidemeister moves 下不变。
证明思路:
- Reidemeister II 和 III:直接验证 chain homotopy equivalence
- Reidemeister I:需要更细致的分析,涉及分次的调整
Khovanov homology 的优势
比 Jones polynomial 更强
存在不同纽结 满足 但 。
检测 Unknot
定理(Mikhailov, 2010) Khovanov homology 能检测 unknot:若 ,则 是 unknot。
这是 Jones polynomial 做不到的(Jones polynomial 是否检测 unknot 仍是开放问题)。
四维信息
Khovanov homology 与 slice genus 有深刻联系:
定理(Rasmussen, 2010) 从 Khovanov homology 可以定义一个不变量 ,满足
这个下界在很多例子中比 signature 下界更强。
与其他理论的联系
与 Heegaard Floer 理论的关系
存在从 Khovanov homology 到 knot Floer homology 的谱序列。这两个理论从不同角度”看到”了纽结的四维信息。
与 TQFT 的关系
Khovanov homology 可以用 Frobenius algebra 或 2-dimensional TQFT 的语言重新表述。这揭示了它与量子拓扑的深层联系。
与本系列其他文章的联系
- 经典不变量 — Jones polynomial 的详细讨论
- Seifert 曲面 — Slice genus 与四维障碍
- 纽结理论公开问题 — Khovanov homology 在公开问题中的应用
- 常见纽结族 — 各家族的 Khovanov homology 计算
参考文献
- Khovanov, M. A categorification of the Jones polynomial. Duke Math. J. 101 (2000), 363–426.
- Rasmussen, J. Khovanov homology and the slice genus. Invent. Math. 182 (2010), 413–440.
- Bar-Natan, D. On Khovanov’s categorification of the Jones polynomial. Algebr. Geom. Topol. 2 (2002), 337–370.
- Turner, P. Five lectures on Khovanov homology. arXiv:math/0604421
- Zhang, Y. Notes on Khovanov homology. lecture notes
创建于 2026-04-23