[论文解读] Link homology and categorification

Mikhail Khovanov|ArXiv.org|May 12, 2006

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

一句话总结

本文综述了量子链 invariant 的范畴化，确立了琼斯多项式、亚历山大多项式以及 HOMFLY-PT 多项式作为双分次与三重分次链同调理论的欧拉特征。文章提出了一套通过代数拓扑与表示理论将量子不变量提升为同调理论的框架，关键构造基于矩阵因子化、Hochschild 同调以及多项式环上的双模。

ABSTRACT

This is a short survey of algebro-combinatorial link homology theories which have the Jones polynomial and other link polynomials as their Euler characteristics.

研究动机与目标

• 统一并综述范畴化量子不变量的新兴链同调理论领域，涵盖纽结与链的量子不变量。
• 解释琼斯多项式、亚历山大多项式以及 HOMFLY-PT 多项式如何作为双分次与三重分次同调理论的欧拉特征出现。
• 提出一种框架，通过修正的同调群与微分代数，将这些同调理论推广至所有链，包括多分量链。
• 探索这些同调理论在范畴化更深层次不变量（如纽结 Floer 同调与 3-流形不变量）方面的潜力。
• 识别在范畴化与任意复单李代数相关的不变量以及 3-流形的 Witten-Reshetikhin-Turaev 不变量方面尚存的开放问题。

提出的方法

• 通过在交叉点上归纳使用长正合列构建链同调，从单位纽结与无链同调 $\mathcal{A} = \mathbb{Z}[X]/(X^2)$ 出发。
• 通过 Kauffman 模式定义琼斯多项式的范畴化，使用双分次同调理论 $\mathcal{H}(L)$，其欧拉特征为 $P_2(L)$。
• 利用含参数的矩阵因子化定义三重分次 HOMFLY-PT 同调理论 $\mathrm{H}(L)$，该理论源自 braid 表示与多项式环上的 Hochschild 同调。
• 对 $R = \mathbb{Z}[x_1,\dots,x_{m-1}]$ 上的分次双模复形应用 Hochschild 同调，以生成三重分次同调群。
• 提出一种修正的同调 $\widetilde{\mathrm{H}}(L)$，用于 $k$-分量链，通过赋予 $\mathbb{Q}[a]$-模并将其分解为自由 $\mathbb{Q}[a]$-模，以确保有限维性。
• 猜想 $\widetilde{\mathrm{H}}(L)$ 在与 $\mathbb{Q}$ 张量化后，对 $n>1$ 会同构于 $\mathrm{H}_n(L)$，且分次折叠为单一分次。

实验结果

研究问题

• RQ1 如何将琼斯多项式与亚历山大多项式等量子链不变量提升为双分次同调理论？
• RQ2 能否将完整的 HOMFLY-PT 多项式范畴化为一种可推广至所有链的三重分次同调理论？
• RQ3 三重分次同调 $\mathrm{H}(L)$ 与纽结 Floer 同调之间存在何种关系？是否存在连接它们的谱序列？
• RQ4 能否将同调理论扩展为链 cobordism 范畴上的正则函子，为曲面赋予映射？
• RQ5 是否可能对与任意复单李代数相关的不变量以及 3-流形的 Witten-Reshetikhin-Turaev 不变量实现范畴化？

主要发现

• 琼斯多项式 $P_2(L)$ 是通过 Kauffman 模式与长正合列构建的双分次链同调理论 $\mathcal{H}(L)$ 的欧拉特征。
• 亚历山大多项式 $P_0(L)$ 是 Ozsváth-Szabó 与 Rasmussen 发现的双分次纽结同调理论的欧拉特征，该理论范畴化了亚历山大不变量。
• 对每个 $n \geq 1$，存在一个双分次链同调理论 $\mathrm{H}_n(L)$，其欧拉特征为 $P_n(L)$，且满足 $\mathrm{H}_2(L) \cong \mathcal{H}(L) \otimes \mathbb{Q}$。
• 完整的 HOMFLY-PT 多项式 $P(L)$ 是通过 Hochschild 同调对多项式环上双模的构造而得到的三重分次同调理论 $\mathrm{H}(L)$ 的欧拉特征。
• 理论 $\mathrm{H}(L)$ 使用 braid 表示与退化的矩阵因子化定义，通过 Wu 的归一化确保分次的一致性。
• 一个猜想中的修正理论 $\widetilde{\mathrm{H}}(L)$ 为所有链赋予有限维同调，且可能通过谱序列退化为纽结 Floer 同调。