[论文解读] Khovanov homology is an unknot-detector

P. B. Kronheimer, Tomasz Mrowka|arXiv (Cornell University)|May 24, 2010

Geometric and Algebraic Topology参考文献 24被引用 8

一句话总结

本文证明了约化柯梵诺夫上同调能检测出平凡结：一个结是平凡结当且仅当其约化柯梵诺夫上同调的秩为1。证明通过建立从该结的镜像的约化柯梵诺夫上同调到一种奇异瞬子结上同调 $I^{ atural}(K)$ 的谱序列完成，而 $I^{ atural}(K)$ 同构于结补空间的瞬子弗洛尔上同调——已知该上同调能检测出平凡结。这确立了柯梵诺夫上同调作为平凡结的完整不变量。

ABSTRACT

We prove that a knot is the unknot if and only if its reduced Khovanov cohomology has rank 1. The proof has two steps. We show first that there is a spectral sequence beginning with the reduced Khovanov cohomology and abutting to a knot homology defined using singular instantons. We then show that the latter homology is isomorphic to the instanton Floer homology of the sutured knot complement: an invariant that is already known to detect the unknot.

研究动机与目标

• 建立从约化柯梵诺夫上同调到一种新的奇异瞬子结上同调 $I^{ atural}(K)$ 的谱序列。
• 证明 $I^{ atural}(K)$ 同构于结补空间的瞬子弗洛尔上同调。
• 利用瞬子弗洛尔上同调的已知结果，证明 $I^{ atural}(K)$ 的秩为1当且仅当 $K$ 是平凡结。
• 通过该同构关系，推导出约化柯梵诺夫上同调能检测出平凡结。
• 通过谱序列和亚历山大多项式，提供柯梵诺夫上同调秩的下界。

提出的方法

• 利用沿结 $K$ 上带有标记点和法向量的 $ ext{SU}(2)$-联络的模空间，构造一个新的不变量 $I^{ atural}(K)$。
• 定义一个谱序列，其 $E_2$-项同构于镜像结 $ar{K}$ 的约化柯梵诺夫上同调，收敛于 $I^{ atural}(K)$。
• 利用瞬子弗洛尔上同调的切除性质，证明 $I^{ atural}(K)$ 同构于 $ield{Q}$ 上的缝合瞬子弗洛尔上同调 $ ext{KHI}(K)$。
• 利用 $I^{ atural}(K)$ 在带路径和法向截面的链 cobordism 下的函子性，确保映射在符号意义下良好定义。
• 利用已知事实：对非平凡结，$ ext{KHI}(K)$ 的秩大于1，从而推出 $I^{ atural}(K)$ 同样满足此性质。
• 将谱序列的 $E_1$-项识别为由 $V = ield{Z}^2$ 的张量积及映射 $ abla$、$ abla_r$、$ riangle$、$ riangle_r$ 构成的复形，与约化柯梵诺夫复形一致。

实验结果

研究问题

• RQ1 约化柯梵诺夫上同调能否检测出平凡结？
• RQ2 是否存在一个谱序列，将约化柯梵诺夫上同调与一个规范理论型结不变量联系起来？
• RQ3 奇异瞬子上同调 $I^{ atural}(K)$ 是否能与结补空间的瞬子弗洛尔上同调相关联？
• RQ4 $I^{ atural}(K)$ 的秩能否将平凡结与其他所有结区分开？
• RQ5 能否从谱序列和已知不变量（如亚历山大多项式）推导出柯梵诺夫上同调秩的下界？

主要发现

• 结 $K$ 的约化柯梵诺夫上同调的秩为1当且仅当 $K$ 是平凡结。
• 存在一个谱序列，其 $E_2$-项同构于 $ar{K}$ 的约化柯梵诺夫上同调，收敛于 $I^{ atural}(K)$。
• $I^{ atural}(K)$ 同构于 $ield{Q}$ 上的缝合瞬子弗洛尔上同调 $ ext{KHI}(K)$。
• 因此，$I^{ atural}(K)$ 对所有非平凡结的秩均大于1，这意味着约化柯梵诺夫上同调能检测出平凡结。
• 谱序列表明，约化柯梵诺夫上同调的秩受 $K$ 的亚历山大多项式系数绝对值之和的下界约束。
• 对拟交替结而言，谱序列在 $ield{Q}$ 或 $ield{Z}/2$ 上于 $E_1$-项处崩溃，意味着 $E_1$ 之后无非零微分发生。