[论文解读] An sl(2) tangle homology and seamed cobordisms

Carmen Caprau|ArXiv.org|Jul 20, 2007

Geometric and Algebraic Topology参考文献 17被引用 16

一句话总结

该论文通过使用带缝cobordism和泡沫，构建了在ℤ[i][a]上的双分次sl(2)辫子同调理论，解决了Khovanov原始sl(2)同调中的符号歧义问题。通过将泡沫的复形函子性地分配给辫子图，并应用保持次数的函子到ℤ[i][a]-模，该理论得到的同调其分次欧拉特征与量子sl(2)链 invariant 一致，显式计算表明当a=0时，图八结的同调为6维。

ABSTRACT

We construct a bigraded (co)homology theory which depends on a parameter a, and whose graded Euler characteristic is the quantum sl(2) link invariant. We follow Bar-Natan's approach to tangles on one side, and Khovanov's sl(3) theory for foams on the other side. Our theory is properly functorial under tangle cobordisms, and a version of the Khovanov sl(2) invariant (or Lee's modification of it) corresponds to a=0 (or a=1). In particular, our construction naturally resolves the sign ambiguity in the functoriality of Khovanov's sl(2) homology theory.

研究动机与目标

• 构建一个双分次上同调理论，用于定向辫子，以范畴化量子sl(2)链不变量。
• 通过在ℤ[i][a]上引入参数化理论，解决Khovanov原始sl(2)同调在函子性方面的符号歧义问题。
• 将Bar-Natan的基于cobordism的辫子方法以及Khovanov的基于泡沫的sl(3)理论，统一扩展到使用带缝cobordism的sl(2)框架。
• 通过从泡沫模局部关系到ℤ[i][a]-模的函子，确保该理论在辫子cobordism下具有适当的函子性。

提出的方法

• 从辫子图构造一个分辨率立方体，为每个分辨率分配一个连接网的泡沫复形。
• 使用由ℤ[i][X,a]/(X²−a)定义的Frobenius系统，以代数方式建模量子sl(2)不变量的代数结构。
• 将从泡沫模局部关系的范畴到ℤ[i][a]-模的保持次数的函子ℱ应用到该理论中，将闭合网映射到一个在±1度数下秩为2的模𝒜。
• 在泡沫上施加局部关系，以确保在Reidemeister移动和电影移动下的不变性。
• 通过总化计算所得复形的同调，并在设置a=0时对ℂ进行基变换，以分析具体例子。
• 使用𝒜的基(1,X)下cobordism的矩阵表示，计算微分和同伦等价。

实验结果

研究问题

• RQ1 能否构建一个双分次sl(2)辫子同调理论，使其在辫子cobordism下具有适当的函子性，从而解决Khovanov原始理论中的符号歧义问题？
• RQ2 如何将Khovanov的基于泡沫的sl(3)方法调整，以使用带缝cobordism和泡沫构建一个函子性sl(2)同调理论？
• RQ3 当参数a被设为0或1时，特定纽结（如图八结）的同调结构是怎样的？
• RQ4 所构建同调的分次欧拉特征与量子sl(2)链不变量之间有何关系？

主要发现

• 该理论是在ℤ[i][a]上的双分次上同调理论，其分次欧拉特征恢复了量子sl(2)链不变量。
• 当a=0时，图八结的同调在ℂ上为6维，生成元位于双次数(−2,5)、(−1,1)、(0,−1)、(0,1)、(1,−1)和(2,−5)。
• 通过在ℤ[i][a]上引入参数化框架，解决了函子性中的符号歧义问题，确保了在辫子cobordism下映射的明确定义。
• 将函子ℱ应用于泡沫复形后，得到一个同伦不变的ℤ[i][a]-模复形，其同调是辫子的双分次不变量。
• 由于在泡沫上施加了局部关系，该理论在Reidemeister移动和电影移动下保持不变。
• 当a=1时，该理论对应于Lee对Khovanov的sl(2)同调的变体，确认了与已知特例的一致性。