[论文解读] Computations of the Lipshitz-Sarkar Steenrod Square on Khovanov Homology

Cotton Seed|arXiv (Cornell University)|Oct 5, 2012

Geometric and Algebraic Topology参考文献 6被引用 21

一句话总结

本文计算了所有14个或更少交叉数的纽结以及大量15个交叉数的纽结的Lipshitz-Sarkar Steenrod平方运算 $\operatorname{Sq}^2$ 在Khovanov同调上的作用。通过在knotkit C++软件中的实现，作者证明了经过 $\operatorname{Sq}^2$ 优化的Khovanov同伦类型能够区分具有相同积分Khovanov同调的纽结，从而表明该不变量严格强于仅使用Khovanov同调本身。

ABSTRACT

Lipshitz and Sarkar recently introduced a space-level refinement of Khovanov homology. This refinement induces a Steenrod square operation $\Sq^2$ on Khovanov homology which they describe explicitly. This paper presents some computations of $\Sq^2$. In particular, we give examples of links with identical integral Khovanov homology but with distinct Khovanov homotopy types.

研究动机与目标

• 计算一大类纽结在Khovanov同调上的第二个Steenrod平方 $\operatorname{Sq}^2$。
• 研究经 $\operatorname{Sq}^2$ 优化的空级别Khovanov同伦类型是否能区分具有相同积分Khovanov同调的纽结。
• 通过在互变异纽结对上计算 $\operatorname{Sq}^2$，检验 $\mathcal{X}_{\text{Kh}}$ 不变量的变异不变性。
• 在knotkit软件包中实现并应用 $\operatorname{Sq}^2$ 计算算法，以实现高效的同调计算。

提出的方法

• 作者在knotkit C++软件包中实现了Lipshitz和Sarkar（2014年，附录A）提出的 $\operatorname{Sq}^2$ 计算算法。
• 对每个纽结，$\operatorname{Sq}^2$ 的计算在 $\mathbb{F}_2$ 系数下进行，并通过计算相关映射的秩来定义不变量 $\mathit{St}(L)$。
• 通过 $\operatorname{Sq}^2$、$\ker \operatorname{Sq}^1$ 及其交集的秩，计算映射 $\mathit{St}(L): \mathbb{Z}^2 \to \mathbb{N}^4$。
• 使用 $\mathit{St}(L)$ 不变量比较具有相同积分Khovanov同调的纽结之间的Khovanov同伦类型。
• 使用HTW、MT和SnapPy表格中的数据，对所有14个或更少交叉数的纽结和大量15个交叉数的纽结执行计算。
• 对53,749对15个交叉数的互变异纽结对测试 $\mathit{St}(L)$ 的不变性。

实验结果

研究问题

• RQ1 经 $\operatorname{Sq}^2$ 优化的空级别Khovanov同伦类型是否能区分具有相同积分Khovanov同调的纽结？
• RQ2 $\mathcal{X}_{\text{Kh}}$ 不变量是否具有变异不变性，如同伦类型中不存在 $\mathbb{C}P^2$ 直和项所暗示的那样？
• RQ3 是否存在具有相同Khovanov同调但 $\mathit{St}(L)$ 不变不同，从而表明Khovanov同伦类型不同的纽结？
• RQ4 $\operatorname{Sq}^2$ 运算是否能检测到超越积分同调群的Khovanov同调中的更精细结构？
• RQ5 在低交叉数纽结中，非平凡 $\mathit{St}(L)$ 分量的频率和分布如何？

主要发现

• 本文首次提供了具有相同积分Khovanov同调但不同Khovanov同伦类型的纽结显式例子，证明 $\mathcal{X}_{\text{Kh}}$ 严格强于Khovanov同调本身。
• 在所有计算的纽结中，$\mathit{St}(L)(i,j) = (a,b,c,d)$ 的 $a$-分量均为零，表明同伦类型中不存在 $\Sigma^m \mathbb{C}P^2$ 直和项。
• 在14个交叉数的纽结中，$\mathit{St}(L)$ 区分了17组具有相同积分Khovanov同调的纽结，其中包括一组三重纽结：K14n5017、K14n11311 和 K14n11629。
• 未发现 $\mathcal{X}_{\text{Kh}}$ 变异不变性的反例；在所有53,749对15个交叉数的互变异纽结对中，均有 $\mathit{St}(L) = \mathit{St}(L')$。
• $\mathit{St}(L)$ 不变量成功区分了具有相同Khovanov同调的纽结，包括多组对和一组三重纽结，覆盖了不同的同调次数和 $j$-滤子。
• $\mathit{St}(L)$ 映射在具有复杂同调结构的纽结上是非平凡的，观察到如 $d=2$ 和 $c=3$ 等分量，表明其具有丰富的代数结构。