[论文解读] On the Heegaard Floer homology of branched double-covers

Peter Ozsváth, Zoltán Szabó|ArXiv.org|Sep 9, 2003

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

一句话总结

本文建立了一个从链 $L \subset S^3$ 的镜像的约化柯瓦诺夫同调到其分支双覆盖 $Σ(L)$ 的海格德弗洛尔同调的谱序列，其中 $E^2$ 项同构于柯瓦诺夫的同调，$E^\infty$ 项同构于 $χHF(Σ(L); \mathbb{Z}/2\mathbb{Z})$。对于交错链，$χHF(Σ(L))$ 完全由 $L$ 的行列式决定，且 $Σ(L)$ 是 $L$-空间，证实了量子不变量与三维流形拓扑之间存在强烈联系。

ABSTRACT

Let $L\subset S^3$ be a link. We study the Heegaard Floer homology of the branched double-cover $Σ(L)$ of $S^3$, branched along $L$. When $L$ is an alternating link, $\HFa$ of its branched double-cover has a particularly simple form, determined entirely by the determinant of the link. For the general case, we derive a spectral sequence whose $E^2$ term is a suitable variant of Khovanov's homology for the link $L$, converging to the Heegaard Floer homology of $Σ(L)$.

研究动机与目标

• 通过分支双覆盖，建立量子链不变量（柯瓦诺夫同调）与三维流形不变量（海格德弗洛尔同调）之间的深层联系。
• 计算交错链的 $\widehat{HF}(\Sigma(L))$，表明其仅由 $L$ 的行列式决定。
• 构建一个谱序列，将 $L$ 的镜像的约化柯瓦诺夫同调与 $\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$ 联系起来，为量子不变量与规范理论不变量之间架起桥梁。
• 将 $\widehat{HF}(\Sigma(L))$ 的 skein 正合序列推广为完整的谱序列，推广交错情形。

提出的方法

• 使用海格德弗洛尔同调中的链手术谱序列，通过索引为链图中交叉点子集的过滤复形构造。
• 为链图 $\mathcal{D}$ 定义一个分辨率立方体 $\mathcal{D}(I)$，其中每个 $I \subset \{0,1\}^\ell$ 对应一个交叉点的分辨率。
• 通过 $H_1(\Sigma(\mathcal{D}(I)))$ 中的同调类，建立约化柯瓦诺夫复形 $\widetilde{CKh}(\mathcal{D}(L), m)$ 与谱序列的 $E^1$-页之间的典范同构。
• 证明一个图表的交换性，将柯瓦诺夫复形中的微分与海格德弗洛尔复形中的微分通过cobordism诱导映射联系起来。
• 应用标准的“展平”过程，将立方体过滤转换为 $\mathbb{Z}$-过滤，从而得到一个 $\mathbb{Z}$-过滤谱序列。
• 利用所得谱序列推导出 $\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$ 的秩与约化柯瓦诺夫同调秩之间的不等式，其中 $L$ 的行列式为下界。

实验结果

研究问题

• RQ1 能否从 $L$ 的量子不变量计算出其分支双覆盖 $\Sigma(L)$ 的海格德弗洛尔同调？
• RQ2 是否存在一个谱序列，将 $L$ 的镜像的约化柯瓦诺夫同调与 $\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$ 联系起来？
• RQ3 对于交错链，$\widehat{HF}(\Sigma(L))$ 是否完全由 $L$ 的行列式决定？
• RQ4 $\mathrm{Spin}^c$ 结构和 $\mathbb{Q}$-分次在 $\widehat{HF}(\Sigma(L))$ 上如何与 $L$ 的图相关？
• RQ5 $\mathrm{Spin}^c$-分次与过滤结构对 $\Sigma(L)$ 的负定四维流形的交形式施加了哪些约束？

主要发现

• 存在一个谱序列，其 $E^2$ 项为 $L$ 的镜像的约化柯瓦诺夫同调（系数为 $\mathbb{Z}/2\mathbb{Z}$），且收敛于 $\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$，从而在量子不变量与三维流形不变量之间建立了直接联系。
• 对于任意交错链 $L$，$\widehat{HF}(\Sigma(L))$ 是一个 $L$-空间，其秩等于 $H^2(\Sigma(L); \mathbb{Z})$ 的阶，即 $L$ 的行列式，表明 $\Sigma(L)$ 是一个未分次的海格德弗洛尔同调的 lens 空间。
• $\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$ 的秩满足不等式 $\det(L) \leq \mathrm{rk}_{\mathbb{Z}/2\mathbb{Z}} \widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z}) \leq \mathrm{rk}_{\mathbb{Z}/2\mathbb{Z}} \widetilde{\mathrm{Kh}}(L)$，且第一个不等式取等当且仅当 $\Sigma(L)$ 是 $L$-空间。
• $\Sigma(L)$ 上的 $\mathrm{Spin}^c$ 结构由 $L$ 的交错图明确确定，且 $\widehat{HF}(\Sigma(L))$ 上的 $\mathbb{Q}$-分次可完全由图计算得出。
• 该谱序列通过索引为交叉点分辨率的过滤复形构造，其 $E^1$-页同构于约化柯瓦诺夫复形，且微分由分辨率的分支双覆盖之间的 cobordism 诱导。
• 该构造将 $\widehat{HF}(\Sigma(L))$ 的 skein 正合序列推广为完整的谱序列，为 $\widehat{HF}(\Sigma(L))$ 提供了超越交错情形的计算框架。