2025-11-10T02:51:04.686007

On the invariance of the Dowlin spectral sequence

Tripp, Winkeler

Given a link $L$, Dowlin constructed a filtered complex inducing a spectral sequence with $E_2$-page isomorphic to the Khovanov homology $\overline{Kh}(L)$ and $E_\infty$-page isomorphic to the knot Floer homology $\widehat{HFK}(m(L))$ of the mirror of the link. In this paper, we prove that the $E_k$-page of this spectral sequence is also a link invariant, for $k\ge 3$.

academic

On the invariance of the Dowlin spectral sequence

基本信息

论文ID: 2207.14415
标题: On the invariance of the Dowlin spectral sequence
作者: Samuel Tripp, Zachary Winkeler
分类: math.GT (几何拓扑)
发表时间: 2022年7月29日
论文链接: https://arxiv.org/abs/2207.14415

摘要

给定一个链环 $L$ ，Dowlin构造了一个滤过复形，它诱导出一个谱序列，其 $E_2$ -页同构于Khovanov同调 $\overline{Kh}(L)$ ， $E_\infty$ -页同构于链环镜像的纽结Floer同调 $\widehat{HFK}(m(L))$ 。本文证明了对于 $k \geq 3$ ，该谱序列的 $E_k$ -页也是链环不变量。

研究背景与动机

要解决的问题: 本文研究Dowlin谱序列的不变性问题。Dowlin构造了一个连接Khovanov同调和纽结Floer同调的谱序列，但只证明了 $E_2$ -页和 $E_\infty$ -页是链环不变量，而高阶页 $E_k$ (k≥3)的不变性尚未确立。
问题的重要性:
- Khovanov同调和纽结Floer同调是纽结理论中两个重要的不变量
- 连接这两个不变量的谱序列提供了深入理解它们关系的桥梁
- 高阶页的不变性为纽结分类提供了新的工具
现有方法的局限性: Dowlin的原始构造只证明了端点页（ $E_2$ 和 $E_\infty$ ）的不变性，中间页的不变性需要更精细的分析。
研究动机: 证明高阶页的不变性将提供一族新的链环不变量 $\{E_k(L)\}_{k=2}^{\infty}$ ，这些不变量可能区分具有相同Khovanov同调和纽结Floer同调的纽结。

核心贡献

主要定理: 证明了对于 $k \geq 2$ ，Dowlin谱序列的 $E_k$ -页不依赖于构造滤过复形所使用的图，因此是链环不变量（定理1.1）。
技术贡献:
- 建立了部分奇异辫图间的滤过链映射
- 证明了复形在顶点重标记下的同伦不变性
- 构造了MOY移动下的不变映射
应用前景: 为横截链环理论和纽结分类提供了新的研究方向。

每个4价顶点标记为"正"、"负"或"奇异"
每个奇异顶点进一步标记为"固定"或"自由"
恰好一条"装饰"边

2. 滤过复形 $C_{-2}(D)$

对于部分奇异辫图 $D$ ，复形构造如下：

$C_{-2}(D) = \bigoplus_{I \in \{0,1\}^{c(D)}} C_{-2}(D_I)$

其中 $D_I$ 是通过分辨函数 $I$ 得到的完全奇异辫图， $c(D)$ 是 $D$ 的交叉点集合。

每个 $C_{-2}(D_I)$ 定义为： $C_{-2}(D_I) = Q(D_I) \otimes L_D^+$

这里：

$Q(D_I) = R(D)/(L(D_I) + N(D_I))$ 是商模
$L(D_I)$ 是线性理想，由自由奇异顶点生成
$N(D_I)$ 是非局部理想，由嵌入圆盘的边界条件生成
$L_D^+$ 是矩阵分解，由固定顶点构造

3. 滤过结构

复形按分辨权重滤过： $F^p C_{-2}(D) = \bigoplus_{w(I) \geq p} C_{-2}(D_I)$

其中 $w(I) = \sum_{c \in c(D)} I(c)$ 是分辨的权重。

技术创新点

顶点重标记不变性（定理3.1）: 证明了复形的同伦型不依赖于奇异顶点的固定/自由标记选择。
MOY移动: 构造了三种局部移动下的滤过链映射：
- MOY I: 处理自环的消除
- MOY II: 对应圈的增加/删除
- MOY III: 实现平面同痕
Reidemeister不变性: 证明了复形在Reidemeister II和III移动下的 $E_1$ -拟同构不变性。

辫群表示: 每个链环可表示为某个辫 $\beta$ $β$ 的闭合，通过Markov定理，两个辫有相同闭合当且仅当它们通过以下移动连接：
- Reidemeister II移动
- Reidemeister III移动
- 稳定化
- 共轭
逐步证明不变性:
- 第3节: 证明顶点重标记下的不变性
- 第4节: 构造MOY移动下的滤过链映射
- 第5节: 证明四种基本移动下的不变性

纽结区分: 寻找具有相同Khovanov同调和纽结Floer同调但被高阶页区分的纽结
横截链环: 构造横截链环不变量族 $\{\psi_k(L)\}_{k=2}^{\infty}$
不变量推广: 类比Khovanov同调中的 $s$ 不变量和纽结Floer同调中的 $\tau$ 不变量