[论文解读] On the spectral sequence from Khovanov homology to Heegaard Floer homology

John A. Baldwin|ArXiv.org|Sep 19, 2008

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

一句话总结

本文证明了从Khovanov同调到Heegaard Floer同调的谱序列的$E^k$项（$k \geq 2$）是链的不变量，从而建立了一类新的分次不变量$\{E^k(L)\}$，其细化了经典链不变量。此外，本文还表明Plamenevskaya的横截不变量可上移到每个$E^k(L)$中的不变量$\psi^k(L)$，从而实现了对扭结$T(3,4)$和$T(3,5)$的谱序列的显式计算，其分别在$E^3$和$E^4$处坍缩。

ABSTRACT

Ozsvath and Szabo show that there is a spectral sequence whose E^2 term is the reduced Khovanov homology of L, and which converges to the Heegaard Floer homology of the (orientation reversed) branched double cover of S^3 along L. We prove that the E^k term of this spectral sequence is an invariant of the link L for all k >= 2. If L is a transverse link in the standard tight contact structure on S^3, then we show that Plamenevskaya's transverse invariant psi(L) gives rise to a transverse invariant, psi^k(L), in the E^k term for each k >= 2. We use this fact to compute each term in the spectral sequences associated to the torus knots T(3,4) and T(3,5).

研究动机与目标

• 建立Ozsváth–Szabó谱序列从Khovanov同调到Heegaard Floer同调的$E^k$项是链$L$的不变量（$k \geq 2$），解决关于平面图表示独立性的长期悬而未决问题。
• 将Plamenevskaya的横截链不变量$\psi(L)$从Khovanov同调推广到每个$E^k(L)$中的不变量$\psi^k(L)$，从而在谱序列中引入横截不变量。
• 计算扭结$T(3,4)$和$T(3,5)$的谱序列的完整结构，包括高阶微分和$E^k$项的Poincaré多项式。
• 研究$E^k(L)$上是否存在量子分次，并探讨高阶微分是否如猜想所述将该分次增加$2k-2$。
• 为理解链 cobordism 是否诱导$E^k(L)$项之间的良好定义的映射奠定基础，推广Khovanov和Heegaard Floer同调中已知的映射。

提出的方法

• 通过图示不变性论证和谱序列构造的性质，证明$E^k$项独立于$L$的平面图选择。
• 通过将Plamenevskaya的不变量$\psi(L) \in \kh(L)$沿谱序列上移，为每个$k \geq 2$构造出横截不变量$\psi^k(L) \in E^k(L)$。
• 利用$T(3,4)$和$T(3,5)$为几乎交替且具有正辫代表的事实，通过分次移动和非零循环的约束，限制可能的高阶微分。
• 应用猜想的微分分次移动$D^k$：使量子分次增加$2k-2$，同调分次增加$k$，以推导$E^k$项的结构。
• 通过追踪生成元的存活情况和$D^k$在谱序列中的作用，计算$E^k(T(3,4))$和$E^k(T(3,5))$的Poincaré多项式。
• 利用$T(3,4)$在$E^3$处坍缩、$T(3,5)$在$E^4$处坍缩的事实，确定最终的$E^\infty$项，其同构于$\hf(-\Sigma(L))$。

实验结果

研究问题

• RQ1 从Khovanov同调到Heegaard Floer同调的谱序列的$E^k$项是否为链$L$的不变量（$k \geq 2$），且独立于平面图？
• RQ2 Plamenevskaya的横截不变量$\psi(L)$在$\kh(L)$中是否可上移到每个$E^k(L)$（$k \geq 2$）中的非平凡不变量$\psi^k(L)$？
• RQ3 扭结$T(3,4)$和$T(3,5)$的谱序列结构如何，包括高阶微分和$E^k$项的Poincaré多项式？
• RQ4 谱序列中$E^k(L)$上的微分$D^k$是否如猜想所述使量子分次增加$2k-2$，同调分次增加$k$？
• RQ5 链cobordism是否诱导谱序列中$E^k$项之间的良好定义的映射，推广Khovanov和Heegaard Floer同调中已知的映射？

主要发现

• 谱序列的$E^k$项是链$L$的不变量（对所有$k \geq 2$），解决了Ozsváth–Szabó谱序列中关于图表示独立性的关键问题。
• 对于扭结$T(3,4)$，谱序列在$E^3$处坍缩，$E^3(T(3,4))$的Poincaré多项式为$h^0q^6 + h^3q^{12} + h^5q^{16}$，且$\text{rk}\, \hf(-\Sigma(T(3,4))) = 3$。
• 对于扭结$T(3,5)$，谱序列在$E^4$处坍缩，$E^4(T(3,5))$同构于$\mathbb{Z}_2$，且$E^2(T(3,5))$的Poincaré多项式为$h^0q^8 + h^2q^{12} + h^3q^{14} + h^4q^{14} + h^5q^{18} + h^6q^{18} + h^7q^{20}$。
• 正3-辫闭包$(xy)^5$的横截不变量$\psi(L)$在每个$E^k(T(3,5))$中作为非零循环$\psi^k(\mathcal{T})$存活，并生成$E^\infty(T(3,5)) \cong \mathbb{Z}_2$。
• 高阶微分$D^k$通过使同调分次增加$k$、量子分次增加$2k-2$而作用，且该分次移动唯一地确定了$T(3,4)$和$T(3,5)$的谱序列结构。
• 结果支持猜想：$D^k$使量子分次增加$2k-2$，同调分次增加$k$，且对$k \geq 2$，$E^k(L)$具有良好定义的量子分次。