[论文解读] Calculating Bar-Natan's characteristic two Khovanov homology

Paul Turner|ArXiv.org|Nov 10, 2004

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

一句话总结

本文为Bar-Natan的特征二的Khovanov同调发展了计算工具，引入了谱序列框架以计算过滤的和双分次的理论。关键贡献在于以${\mathbb{F}}_2$-Khovanov同调上一个自同态导出的二级同调群来表征谱序列的$E_2$-页，从而通过 linking numbers 显式计算过滤同调，并提供一个与单分次理论同构的稳定极限。

ABSTRACT

We investigate Bar-Natan's characteristic two Khovanov link homology theory studying both the filtered and bi-graded theories. The filtered theory is computed explicitly and the bi-graded theory analysed by setting up a family of spectral sequences. The E_2-pages can be described in terms of groups arising from the action of a certain endomorphism on mod 2 Khovanov homology. Some simple consequences are discussed.

研究动机与目标

• 计算${\mathbb{F}}_2$上链接的过滤的和双分次的Bar-Natan同调。
• 建立一个谱序列框架，将${\mathbb{F}}_2$-Khovanov同调的$E_1$-页与过滤的Bar-Natan同调联系起来。
• 定义并分析${\mathbb{F}}_2$-Khovanov同调上双次数为$(1,2)$的自同态$\beta_*$，其同调群构成$E_2$-页计算中的二级群。
• 证明分次Bar-Natan理论在$q$-分次中稳定，且稳定极限与过滤理论同构。
• 提供过滤同调维数的显式公式，以链接数表示。

提出的方法

• 在${\mathbb{F}}_2$-Khovanov同调上定义一个双次数为$(1,2)$的自同态$\beta_*$，满足$\beta_*^2 = 0$，从而构造二级同调群$\mathbb{K}^{*,*}(L)$。
• 构造一个谱序列，其$E_1$-页同构于${\mathbb{F}}_2$-Khovanov同调，收敛于过滤的Bar-Natan同调$\mathrm{BN}^*(L)'$。
• 使用Frobenius代数${\mathbb{F}}_2[u]\{1,x\}$的修改乘法和余乘法关联的TQFT，定义Bar-Natan复形$\mathcal{C}^{*,*}(D)$及其微分$d$。
• 建立Bar-Natan复形的子复形与原始Khovanov复形之间的拟同构，从而实现结构与计算的转移。
• 分析自同态$\beta_*$在同调$q$-分次分量上的作用，从而以$\mathbb{K}^{*,*}(L)$的形式描述$E_2$-页。
• 证明分次Bar-Natan理论的谱序列在$q$-分次中稳定，且稳定极限同构于过滤理论。

实验结果

研究问题

• RQ1 如何为${\mathbb{F}}_2$上的链接显式计算过滤的Bar-Natan同调$\mathrm{BN}^*(L)'$？
• RQ2 收敛于$\mathrm{BN}^*(L)'$的谱序列的$E_2$-页结构是什么？
• RQ3 ${\mathbb{F}}_2$-Khovanov同调上的自同态$\beta_*$如何与Bar-Natan同调的谱序列结构相关联？
• RQ4 分次Bar-Natan同调是否在$q$-分次中稳定？如果是，稳定极限是否同构于过滤理论？
• RQ5 $\mathrm{BN}^*(L)'$的维数能否用链接分量的链接数表示？

主要发现

• 过滤的Bar-Natan同调$\mathrm{BN}^*(L)'$的维数为$2^k$，其中$k$是链接$L$的分量数。
• $\mathrm{BN}^i(L)'$的维数等于满足$2 \sum_{l \in E, m \notin E} \mathrm{lk}(L_l, L_m) = i$的子集$E \subset \{1, \dots, k\}$的数量，明确地将同调与链接数联系起来。
• 收敛于$\mathrm{BN}^*(L)'$的谱序列的$E_2$-页同构于二级同调群$\mathbb{K}^{*,*}(L)$，后者定义为${\mathrm{KH}^{*,*}_{\mathbb{F}_2}(L)}$在微分$\beta_*$下的同调。
• 分次Bar-Natan理论的谱序列在$q$-分次中稳定，且稳定极限同构于过滤的Bar-Natan同调$\mathrm{BN}^*(L)'$。
• 分次理论的谱序列在稳定$q$-范围内与过滤理论的谱序列一致，确认了不同理论间的一致性。
• 复形之间的拟同构$\phi$与自同态$\beta$在边界上交换，确保了谱序列结构的相容性。