[论文解读] A categorification of the Jones polynomial

Mikhail Khovanov|ArXiv.org|Aug 30, 1999

Algebraic structures and combinatorial models参考文献 8被引用 30

一句话总结

本文通过使用多项式环上的分次模的链复形，构建了链的双分次上同调理论，实现了琼斯多项式的范畴化。关键结果是这些上同调群的分次欧拉特征在归一化后恢复了琼斯多项式，从而提供了一个范畴化该多项式的同调不变量，并为链的不变量提供了新的代数框架。

ABSTRACT

We construct a bigraded cohomology theory of links whose Euler characteristic is the Jones polynomial.

研究动机与目标

• 为链构造一个范畴化琼斯多项式的同调不变量。
• 使用分次模和链复形，为链图定义一个双分次上同调理论。
• 证明上同调群在 Reidemeister 变换下不变，从而构成链不变量。
• 建立上同调群的分次欧拉特征等于琼斯多项式（归一化后），从而实现范畴化。
• 为纽结和链环提出函子值不变量，将理论扩展至链环不变量。

提出的方法

• 该构造始于琼斯多项式的 Kauffman 状态和模型，将整数替换为分次 $\mathbb{Z}[c]$-模。
• 对于链图交叉点的每种化简，该理论将分配一个分次代数 $A$ 在 $\mathbb{Z}[c]$ 上的张量幂 $A^{\bigotimes k}$，其中 $A$ 是一个秩为二的自由模，生成元分别位于分次 $1$ 和 $-1$。
• 该理论通过利用 $A$ 上的代数与余代数结构导出的结构映射，将这些模组装成一个分次 $\mathbb{Z}[c]$-模的复形。
• 上同调群 $\mathcal{H}^{i,j}(D)$ 定义为该复形的上同调，通过应用分次移位以确保不变性。
• 通过在分次 $A$-模 $M$ 上定义函子 $H^i_D(M)$，将构造扩展至链环，从而得到函子值不变量。
• 显式构造了在 Reidemeister 变换相关图之间上同调群的同构，证明了不变性。

实验结果

研究问题

• RQ1 琼斯多项式能否被范畴化为具有整系数和挠的双分次上同调理论？
• RQ2 该上同调理论是否在 Reidemeister 变换下不变，从而定义链不变量？
• RQ3 上同调群的分次欧拉特征是否能恢复琼斯多项式？
• RQ4 该构造能否扩展至链环并产生函子值不变量？
• RQ5 上同调群本身是否为链的不变量，而不仅仅是其同构类？

主要发现

• 上同调群 $\mathcal{H}^{i,j}(D)$ 是有限生成的，且仅依赖于链 $L$，而不依赖于表示 $L$ 的图 $D$。
• 分次欧拉特征 $\sum_{i,j}(-1)^i q^j \dim_{\mathbb{Q}}(\mathcal{H}^{i,j}(D)\otimes\mathbb{Q})$ 在归一化因子 $q+q^{-1}$ 下等于链 $L$ 的琼斯多项式。
• 对于左手三叶结，上同调函子被显式计算：$H^{-3}_D(M) = \ker(2X)\{8\}$，$H^{-2}_D(M) = (M/(2XM))\{6\}$，$H^0_D(M) = M\{2\}$，其余为零。
• 上同调群 $\mathcal{H}^{i,j}(D)$ 在 Reidemeister 变换下不变，从而确立其为链不变量。
• 该构造在分次 $A$-模范畴上产生一个函子值不变量 $H^i_D$，该不变量在链环的同胚下保持不变。
• 该理论可扩展至链环，并为通过分次 $A$-模上同调定义纽结和链的不变量提供了框架。