[论文解读] Equivariant colored sl(N)-homology for links

Hao Wu|arXiv (Cornell University)|Feb 15, 2010

Geometric and Algebraic Topology参考文献 13被引用 14

一句话总结

本论文通过在多项式环 RB = C[B1,...,BN] 上推广基于矩阵分解的同调理论，引入了基于扰动势能 f(X) = X^{N+1} + ∑(−1)^k (N+1)/(N+1−k) Bk X^{N+1−k} 的纽结的等变彩色 sl(N)-同调。该构造给出了一个在 Reidemeister 变换下不变的 Z^2 ⊗ Z ⊗ Z-分次同调，其在 C 上的形变通过谱序列收敛于纽结不变量，推广了先前关于彩色 sl(N)-同调与等变 Khovanov-Rozansky 理论的结果。

ABSTRACT

We construct an equivariant colored sl(N)-homology for links, which generalizes both the colored sl(N)-homology defined by the author and the equivariant sl(N)-homology defined by Krasner. The construction is a straightforward generalization of that of the colored sl(N)-homology. The proof of invariance is based on a simple observation which allows us to translate the proof of the invariance of the colored sl(N)-homology into the new setting. As an application, we prove that deformations over C of the colored sl(N)-homology are link invariants. We also construct a spectral sequence connecting the colored sl(N)-homology to its deformations over C, which generalizes the spectral sequence given by Lee and Gornik.

研究动机与目标

• 将 [20] 中的彩色 sl(N)-同调与 [8] 中的等变 sl(N)-同调统一为一个统一的等变彩色 sl(N)-同调理论。
• 通过从先前结果的函子性变换，证明该构造在 Reidemeister 变换及标记选择下的不变性。
• 证明在 C 上对同调进行形变可得到纽结不变量，且谱序列收敛于形变后的同调。
• 将 [3,11] 中的谱序列推广至彩色情形，建立彩色 sl(N)-同调与其形变之间的联系。

提出的方法

• 在潜在为 0 的分次矩阵分解的同伦范畴 hmf_{RB,0} 上构造一个有界链复形 (Cf(D), d)，其参数为 RB = C[B1,...,BN]。
• 将等变彩色 sl(N)-同调 Hf(D) 定义为过滤复形 (H(Cf(D), dmf), d*) 的总同调，其中 dmf 是底层矩阵分解的微分。
• 利用函子 ̟0 将 [20] 中彩色 sl(N)-同调的不变性证明翻译至等变设定，利用势能扰动的代数结构。
• 通过 C-代数同态 π: RB → C，π(Bk) = bk，定义在 C 上的形变，得到链复形 Cf,π(D) 及其关联同调 Hf,π(D)。
• 构造 Cf,π(D) 的量子过滤所诱导的谱序列，其 E1 项同构于 [20] 中定义的彩色 sl(N)-同调 H(D)。
• 利用过滤结构及微分在最高次数处的行为，证明 Hf,π(D) 中 Z2-度为 tc(D)+1 的子空间为零。

实验结果

研究问题

• RQ1 彩色 sl(N)-同调能否被扩展为一个以势能扰动中对称多项式为参数的等变理论？
• RQ2 由此产生的等变彩色 sl(N)-同调是否在 Reidemeister 变换及标记选择下保持不变？
• RQ3 在 C 上对同调进行形变是否能产生纽结不变量，且是否存在一个谱序列将原始彩色同调与形变联系起来？
• RQ4 由形变复形的量子过滤诱导的谱序列在 E1 项是否同构于原始彩色 sl(N)-同调？
• RQ5 在形变同调中，Z2-分次结构的行为如何，特别是其与纽结总颜色 tc(D) 的关系？

主要发现

• 等变彩色 sl(N)-同调 Hf(D) 是一个有限生成的 RB-模，具有 Z^2 ⊗ Z ⊗ Z-分次结构，且在 Reidemeister 变换及标记选择下不变。
• 在 C 上的形变 Hf,π(D) 是一个具有 Z2-分次、同调分次与量子过滤的 C-向量空间，且在所有 Reidemeister 变换下不变。
• 由 Cf,π(D) 的量子过滤诱导的谱序列收敛于 Hf,π(D)，其 E1 项同构于 [20] 中定义的彩色 sl(N)-同调 H(D)。
• Hf,π(D) 中 Z2-度为 tc(D)+1 的子空间为零，其中 tc(D) 是纽结的总颜色。
• 不变性证明依赖于函子 ̟0，该函子将 [20] 中的不变性论证翻译至等变设定，同时保持分次与过滤结构。
• 该构造统一了 [20] 中的彩色 sl(N)-同调与 [8] 中的等变 sl(N)-同调，通过扰动势能 f(X) 将二者框架统一。