[论文解读] Computations of Szabó's Geometric Spectral Sequence in Khovanov Homology

Cotton Seed|arXiv (Cornell University)|Oct 4, 2011

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

一句话总结

本文针对凯洪同调中的萨博几何谱序列给出了计算结果，该谱序列是琼斯多项式的一个纯组合范畴化。通过自定义软件，作者计算了该谱序列在高阶页面上的表现，验证了两种不同定义的约化谱序列的一致性，并为该谱序列与海格德-弗洛尔同调之间通过分次秩同构的猜想提供了有力证据。

ABSTRACT

Szabó recently introduced a combinatorially-defined spectral sequence in Khovanov homology. After reviewing its construction and explaining our methodology for computing it, we present results of computations of the spectral sequence. Based on these computations, we make a number of conjectures concerning the structure of the spectral sequence, and towards those conjectures, we prove some propositions.

研究动机与目标

• 使用组合算法计算萨博的几何谱序列 $\widetilde{E}^k(L,c)$ 在纽结和链环上的结果。
• 验证两种约化谱序列定义（作为子复形和作为商复形）之间的一致性。
• 为萨博谱序列与海格德-弗洛尔同调之间的联系提供计算证据。
• 建立用于更高页面谱序列的计算框架，利用过滤链复形。
• 将结果与现有的海格德-弗洛尔同调计算进行比较，以验证谱序列的不变性与结构。

提出的方法

• 谱序列由与链环图 $\mathcal{D}$ 和方向数据 ${\bf t}$ 关联的过滤链复形 $C(\mathcal{D},{\bf t})$ 构造而成。
• 高阶微分在分辨率立方体的面上通过交叉处的方向选择进行组合定义。
• 使用由占移植至 C++ 的 Sage 程序，计算了最多 14 个交叉的纽结的 $\widetilde{E}^k$。
• 约化谱序列分别作为子复形 $C(\mathcal{D},{\bf t},P)$ 和商复形 $\overline{C}(\mathcal{D},{\bf t},P)$ 进行计算。
• 该算法追踪双分次的偏移，并计算每个页面 $k \geq 2$ 上同调群的秩。
• 详细描述了伪代码与计算步骤，以确保谱序列计算的可复现性。

实验结果

研究问题

• RQ1 通过子复形和商复形定义的两种约化谱序列是否产生同构结果？
• RQ2 对于所有纽结，$\widetilde{E}^\infty(L,c)$ 的秩是否等于 $\widehat{HF}(-\Sigma(L))$ 的秩？
• RQ3 谱序列 $\widetilde{E}^k(L,c)$ 是否在同调分次上坍缩，其结构是否与海格德-弗洛尔谱序列一致？
• RQ4 萨博谱序列中的高阶微分是否对最多 14 个交叉的全部链环都具有组合上的良好性质且可计算？
• RQ5 谱序列 $\widetilde{E}^k(L,c)$ 是否可通过分次秩同构来预测或重构 $\widehat{HF}(-\Sigma(L))$？

主要发现

• 对于所有 $k \geq 2$，作为子复形和商复形定义的约化谱序列是同构的，从而证明了命题 1.3。
• 对于最多 12 个交叉的纽结，计算得到的 $\widetilde{E}^k$ 与占计算的海格德-弗洛尔谱序列 $E_{HF}^k$ 一致。
• $\widetilde{E}^\infty$ 的秩在 11n145 上为 13，在 11n151 上为 27，在 11n152 上为 27，表明其收敛至非平凡群。
• 对于扭结 $T(3,7)$，$\widetilde{E}^2$ 的秩为 9，$\widetilde{E}^3$ 的秩为 5，$\widetilde{E}^4$ 坍缩至秩 3，表明存在非平凡的高阶微分。
• 对于 $T(3,8)$，$\widetilde{E}^2$ 的秩为 11，$\wild{E}^3$ 的秩为 7，$\widetilde{E}^4$ 的秩为 5，显示出逐步坍缩的特征。
• 计算了所有最多 11 个交叉的纽结及部分扭结的庞加莱多项式 $\widetilde{P}^k(q,t)$，提供了完整的计算记录。