[论文解读] An integral lift, starting in odd Khovanov homology, of Szabó's spectral sequence

Simon Beier|arXiv (Cornell University)|May 10, 2012

Geometric and Algebraic Topology参考文献 4被引用 5

一句话总结

本文从奇数Khovanov同调而非模2 Khovanov同调出发，构建了Szabó谱序列的积分提升。通过在超立方体的n维面索引的高阶微分下，定义一个ℤ上的过滤链复形，作者建立了一个收敛到新链同调的谱序列，该同调通过通用系数定理恢复Szabó的模2同调。

ABSTRACT

Ozsváth, Rasmussen and Szabó constructed odd Khovanov homology. It is a link invariant which has the same reduction modulo 2 as (even) Khovanov homology. Szabó introduced a spectral sequence with mod 2 coefficients from mod 2 Khovanov homology to another link homology. He got his spectral sequence from a chain complex with a filtration. We give an integral lift of Szabó's complex that provides a spectral sequence from odd Khovanov homology to a link homology, from which one can get Szabó's link homology with the Universal Coefficient Theorem. Szabó has constructed such a lift independently (unpublished).

研究动机与目标

• 为Szabó的谱序列提供一个积分提升，其原始起点为模2 Khovanov同调。
• 定义一个E²项为ℤ上奇数Khovanov同调而非模2的谱序列。
• 构造一个在整数上定义的链不变复形，其模2约化可恢复Szabó的谱序列。
• 证明所得同调理论可能包含比奇数Khovanov同调和Szabó的模2同调更多的信息。
• 为区分仅凭奇数Khovanov同调或Szabó的模2同调无法区分的链提供一个框架。

提出的方法

• 通过在分辨率超立方体的n维面上使用整数系数提升Szabó的模2微分，构造一个ℤ上的链复形。
• 定义高阶微分dₙ，其在(h, δ)-分次中移动(n, -2)，其中d₁为奇数Khovanov微分。
• 利用方向数据和边分配（类型X或Y）在超立方体的顶点之间定义外代数之间的同态。
• 通过路径复合与涉及sp(𝒞, b⁰)和sp(𝒞, d⁰)的符号规则，验证微分满足d∘d=0。
• 利用通用系数定理从整数复形恢复Szabó的模2同调。
• 通过在分辩下对Reidemeister移动的不变性及符号一致性，证明所得谱序列和同调为链不变量。

实验结果

研究问题

• RQ1 Szabó的模2谱序列能否从奇数Khovanov同调出发，被提升为一个积分谱序列？
• RQ2 所得的积分谱序列是否产生一个同调理论，其信息量多于奇数Khovanov同调？
• RQ3 该构造能否区分在奇数Khovanov同调或Szabó的模2同调下无法区分的链？
• RQ4 该积分提升是否独立于构造中弧方向和边分配类型（X或Y）的选择？
• RQ5 该谱序列在多大程度上能检测到比其E²项（奇数Khovanov同调）或其极限（Szabó的模2同调）更精细的不变量？

主要发现

• 从ℤ上奇数Khovanov同调出发，Szabó谱序列的积分提升存在，且E²项同构于Kh′(L)。
• 该谱序列收敛于ℤ上新的链同调Ȟ(L)，其通过通用系数定理恢复Szabó的模2同调Ȟ(L; ℤ₂)。
• 该构造独立于弧方向和边分配类型（X或Y）的选择，确保在Reidemeister移动下保持不变。
• 微分dₙ被定义为对n维面的求和，每一项由分辩的拓扑类型及涉及sp(𝒞, b⁰)和sp(𝒞, d⁰)的符号规则确定。
• d∘d=0的证明依赖于路径复合中的符号一致性，并在积分设定下使用Szabó模2论证的改进版本。
• 所得谱序列和同调为链不变量，其提供的不变量可能强于单独使用奇数Khovanov同调或Szabó的模2理论。