[论文解读] A colored sl(N)-homology for links in S^3

Hao Wu|arXiv (Cornell University)|Jul 3, 2009

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

一句话总结

本文通过将整数 1 到 N 的颜色分配给 S^3 中的链图，构建了链在 S^3 中的 colored sl(N) 同调。利用 MOY 计算法则和矩阵因子化技术，作者证明了该复形的同伦型在 Reidemeister 变换下保持不变，从而推广了 Khovanov-Rozansky 的无色 sl(N) 同调。该同调在去 categorification 后得到的是由 fundamental 表示的外幂着色的链的 Reshetikhin-Turaev sl(N) 多项式。

ABSTRACT

Fix an integer N>1. To each diagram of a link colored by 1,...,N, we associate a chain complex of graded matrix factorizations. We prove that the homotopy type of this chain complex is invariant under Reidemeister moves. When every component of the link is colored by 1, this chain complex is isomorphic to the chain complex defined by Khovanov and Rozansky in arXiv:math/0401268. The homology of this chain complex decategorifies to the Reshetikhin-Turaev sl(N) polynomial of links colored by exterior powers of the defining representation.

研究动机与目标

• 将 Khovanov-Rozansky 的无色 sl(N) 同调扩展至由 sl(N; C) 的 fundamental 表示的外幂着色的链。
• 为 S^3 中的带色链图定义一个分次矩阵因子化链复形。
• 证明该链复形的同伦型在 Reidemeister 变换下保持不变，从而确保其拓扑不变性。
• 当所有分量均着色为 1 时，证明该构造恢复原始的 Khovanov-Rozansky 复形。
• 证明该同调在去 categorification 后得到的是带色链的 Reshetikhin-Turaev sl(N) 多项式。

提出的方法

• 该构造使用 MOY 计算法则，在带色链图上为 Reshetikhin-Turaev sl(N) 多项式定义一个状态和模型。
• 对于每个 MOY 图（表示一个辫子），通过 Koszul 矩阵因子化的初等运算构建一个分次矩阵因子化链复形。
• 该复形配备三重分次：Z2（矩阵因子化分次）、Z（量子分次）和 Z（同调分次）。
• 通过一系列 MOY 图上的局部变换（包括边分裂、合并、环的生成/湮灭以及鞍点变换）证明了在 Reidemeister 变换下的不变性。
• 证明依赖于矩阵因子化复形的直和分解以及在矩阵因子化复形同伦范畴中的高斯消去法。
• 关键工具包括 Yonezawa 引理、Krull-Schmidt 分解，以及使用对称多项式描述模结构。

实验结果

研究问题

• RQ1 Khovanov-Rozansky 的无色 sl(N) 同调能否被扩展至由 sl(N; C) 的 fundamental 表示的外幂着色的任意链？
• RQ2 与带色链图相关联的分次矩阵因子化链复形是否在 Reidemeister 变换下保持不变？
• RQ3 MOY 图上的局部变换（如边分裂、环的生成）如何影响关联的矩阵因子化复形？
• RQ4 该复形的同调结构是怎样的，特别是其直和分解与分次移位的关系？
• RQ5 该同调与带色链的 Reshetikhin-Turaev sl(N) 多项式之间有何关系？

主要发现

• 与带色链图 D 关联的链复形 C(D) 是同伦范畴中分次为 Z2 ⊕ Z ⊕ Z 的有界复形。
• C(D) 的同伦型在所有 Reidemeister 变换下保持不变，从而确立了其拓扑不变性。
• 当所有分量均着色为 1 时，C(D) 同构于原始的 Khovanov-Rozansky 复形，确认了与无色情形的一致性。
• 对于扭结型 MOY 图 Γ±1,n，其复形同构于未扭结图 Γ1,n 的复形向 {qn} 的平移，其他构型亦同理。
• 该复形的同调在去 categorification 后得到的是由 fundamental 表示的外幂着色的链的 Reshetikhin-Turaev sl(N) 多项式。
• 不变性证明依赖于通过高斯消去法在矩阵因子化复形上构造显式的同伦等价，特别是利用 χ-态射和分解定理。