[论文解读] Concordance invariants from the $E(-1)$ spectral sequence on Khovanov homology

William Ballinger|arXiv (Cornell University)|Apr 22, 2020

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

一句话总结

该论文从Khovanov同调上的$ E(-1) $谱序列构造了一个新的同痕不变量$ t(K) $，其构造方式类似于Rasmussen的$ s $不变量。该文证明了$ t(K) $界定了非可定向截面亏格，并进一步构造了更强的细化不变量$ T_n(K) $，这些不变量对$ t(K) $进行了细化。该研究在双曲纽结和截面亏格的界方面具有应用，其结果与现有不变量如$ \upsilon(K) $相比具有可比性或更优性。该不变量通过Khovanov同调的$ d_{-1} $-扰动所导出的过滤链复形上的过滤定义，其性质通过非可定向cobordism和$ \mathbb{Z}[x] $-模结构得以建立。关键结果是：对于边界为$ K $的$ D^4 $中的曲面$ \Sigma $，非可定向四维球亏格的界限是精确的，即$ |t(K) + e/2| \leq b_1(\Sigma) $。

ABSTRACT

We construct the concordance invariant coming from the $E(-1)$ spectral sequence on Khovanov homology in the same way Rasmussen's $s$ invariant comes from the Lee spectral sequence, and show that it gives a bound on the nonorientable slice genus.

研究动机与目标

• 从Khovanov同调上的$ E(-1) $谱序列构造一个新的同痕不变量$ t(K) $，其构造方式类似于Rasmussen的$ s $不变量。
• 证明$ t(K) $是取值于偶数的同痕同态，并提供对非可定向截面亏格的界。
• 通过复形上的$ \mathbb{Z}[x] $-模结构构造细化不变量$ T_n(K) $，这些不变量是同痕不变量但不是同态。
• 证明$ t(K) $通过$ |t(K) + e/2| \leq b_1(\Sigma) $对非可定向四维球亏格给出精确界，其中$ \Sigma \subset D^4 $是边界为$ K $的曲面。
• 将$ t(K) $与现有不变量如$ \upsilon(K) $进行比较，表明在交替纽结和双曲纽结上结果一致，但在某些扭曲Whitehead双纽结上存在差异。

提出的方法

• 通过用$ d_{-1} $-算子扰动Khovanov微分，定义一个过滤链复形$ \bar{C}(K) $，其总同调维数为1。
• 利用总同调生成元的过滤阶数来定义不变量$ t(K) $，其方式类似于$ s(K) $从Lee谱序列中定义的方式。
• 构造由非可定向cobordism诱导的$ \bar{C}(K) $上的映射，该映射在总同调上诱导同构，从而实现亏格界。
• 利用底层复形$ C(K) $上的$ \mathbb{Z}[x] $-模结构，将更高阶不变量$ T_n(K) $定义为在同调中表示$ (2x)^n $的元素的最大过滤阶数。
• 应用非可定向cobordism映射和压痕变换，推导出$ t(K) $的递归界，特别是对双曲纽结$ T_{p,q} $，利用法向欧拉特征的变化。
• 利用全扭转cobordism推导出$ t(K) $与$ s(K) $之间的不等式关系，并证明当$ n \geq 6 $时，对$ n $条一致定向的辫子进行全扭转无法保持同调薄性。

实验结果

研究问题

• RQ1 Khovanov同调上的$ E(-1) $谱序列的结构是什么？它如何导出同痕不变量$ t(K) $？
• RQ2 如何通过$ t(K) $界定向非可定向截面亏格？它与纽结亏格$ \sigma(K) $和不变量$ \upsilon(K) $相比如何？
• RQ3 细化不变量$ T_n(K) $具有哪些性质？它们与$ t(K) $及四维球亏格有何关系？
• RQ4 能否利用$ E(-1) $谱序列为双曲纽结导出非可定向四维球亏格的精确界？与现有结果相比如何？
• RQ5 是否存在满足$ t(K) \neq \upsilon(K) $的纽结？这说明$ t(K) $作为亏格界具有何种强度？

主要发现

• 不变量$ t(K) $是取值于偶数的同痕同态，定义为$ d_{-1} $-扰动复形$ \bar{C}(K) $的总同调中生成元的最高过滤阶数。
• 对非可定向截面亏格给出了显式界：$ |t(K) + e/2| \leq b_1(\Sigma) $，其中$ e $是$ D^4 $中边界为$ K $的曲面$ \Sigma $的法向欧拉数。
• 对于双曲纽结$ T_{p,q} $，不变量$ t(T_{p,q}) $满足：在压痕变换下$ t(T_{p,q}) = t(T_{r,s}) - e/2 - 1 + \lfloor p^2/2 \rfloor $，由此导出的递推公式与已知的亏格界一致。
• 不变量$ t(K) $在交替纽结和双曲纽结上与$ \upsilon(K) $一致，但在$ T_{2,3} $的2次扭曲正向Whitehead双纽结上存在差异，此时$ t(K) = 2 $而$ \upsilon(K) = 0 $。
• 更强的不变量$ T_n(K) $被定义为在同调中表示$ (2x)^n $的元素的最大过滤阶数，且满足$ T_{n+1}(K) \geq T_n(K) $，当$ n \geq g_4(K) $时有$ T_n(K) = 0 $。
• 通过全扭转cobordism，本文证明：若$ K $与$ K' $通过$ n \geq 6 $条一致定向的辫子进行全扭转而不同，则$ K $与$ K' $不可能同时保持同调薄性，因为$ s(K') > t(K') $。