[论文解读] Holomorphic disks and knot invariants

Peter Ozsváth, Zoltán Szabó|ArXiv.org|Sep 6, 2002

Geometric and Algebraic Topology参考文献 19被引用 9

一句话总结

本文通过在 Heegaard Floer 同调中的全纯盘，引入了一种新的扭结不变量 $\widehat{HFK}(L,i)$，并利用欧拉示性数公式建立了其与亚历山大-康韦多项式之间的关系。该不变量满足 skein 正合序列，表现出对偶性与共轭对称性，并在连通和与链操作下行为可预测，为计算 $S^3$ 中扭结的手术所得三流形的 $HF^+$ 提供了强大工具。

ABSTRACT

We define a Floer-homology invariant for knots in an oriented three-manifold, closely related to the holomorphic disk Floer homologies for three-manifolds defined in an earlier paper. We set up basic properties of these invariants, including an Euler characteristic calculation, behaviour under connected sums. Then, we establish a relationship with $HF^+$ for surgeries along the knot. Applications include calculation of $HF^+$ of three-manifolds obtained by surgeries on some special knots in $S^3$, and also calculation of $HF^+$ for certain simple three-manifolds which fiber over the circle.

研究动机与目标

• 通过三流形中零同调扭结的 Heegaard Floer 同调中的全纯盘，定义一种新的扭结不变量 $\widehat{HFK}(L,i)$。
• 建立 $\widehat{HFK}$ 的基础性质，包括欧拉示性数、对偶性、共轭性与方向对称性。
• 将该不变量与扭结手术所得的 $HF^+$ 关联，从而实现对 $S^3$ 中特殊扭结手术所得 $HF^+$ 的计算。
• 证明 $\widehat{HFK}$ 的 skein 正合序列，该序列推广了亚历山大多项式所满足的 skein 关系。
• 通过连通和与不相交并集，将不变量推广至链，并利用 Künneth 型同构。

提出的方法

• 通过 Heegaard 切分对称积中的全纯盘构造不变量 $\widehat{HFK}(L,i)$，推广了三流形的 Heegaard Floer 同调。
• 证明 $\widehat{HFK}(L,i,\mathbb{Q})$ 的欧拉示性数满足 $\sum \chi(\widehat{HFK}(L,i,\mathbb{Q})) \cdot T^i = (T^{-1/2} - T^{1/2})^{n-1} \cdot \Delta_L(T)$，从而将其与亚历山大-康韦多项式关联。
• 建立 skein 正合序列：对于一次交叉变化，$L_+$、$L_0$ 与 $L_-$ 的同调群构成一个长正合序列，映射将分次提升 $1/2$。
• 该不变量满足共轭对称性：$\widehat{HFK}_d(L,i,\mathbb{Q}) \cong \widehat{HFK}_{d-2i}(L,-i,\mathbb{Q})$，从而细化了亚历山大多项式的对称性。
• 连通和下的行为由 Künneth 型同构控制：$\widehat{HFK}(L_1 \# L_2, i, \mathbb{Q}) \cong \bigoplus_{i_1+i_2=i} \widehat{HFK}(L_1, i_1, \mathbb{Q}) \otimes \widehat{HFK}(L_2, i_2, \mathbb{Q})$。
• 对于不相交并集，有 $\widehat{HFK}(L_1 \coprod L_2, i, \mathbb{Q}) \cong \widehat{HFK}(L_1 \# L_2, i, \mathbb{Q}) \otimes W$，其中 $W$ 是一个在 $\pm 1/2$ 处有分量的二维分次向量空间。

实验结果

研究问题

• RQ1 如何通过三流形中零同调扭结的 Heegaard Floer 同调中的全纯盘定义扭结不变量？
• RQ2 如何建立 $\widehat{HFK}$ 的欧拉示性数与链的亚历山大-康韦多项式之间的关系？
• RQ3 在链的连通和、不相交并集与方向反转下，$\widehat{HFK}$ 如何表现？
• RQ4 能否为 $\widehat{HFK}$ 建立 skein 正合序列？其与经典亚历山大多项式 skein 关系有何关联？
• RQ5 如何利用 $\widehat{HFK}$ 计算 $S^3$ 中扭结手术所得三流形的 $HF^+$？

主要发现

• $\widehat{HFK}(L,i,\mathbb{Q})$ 的欧拉示性数满足 $\sum \chi(\widehat{HFK}(L,i,\mathbb{Q})) \cdot T^i = (T^{-1/2} - T^{1/2})^{n-1} \cdot \Delta_L(T)$，直接将不变量与亚历山大-康韦多项式关联。
• 该不变量满足镜像对称性：$\widehat{HFK}_d(L,i,\mathbb{Q}) \cong \widehat{HFK}_{-d}(\overline{L},-i,\mathbb{Q})$，其中 $\overline{L}$ 是 $L$ 的镜像。
• 共轭对称性 $\widehat{HFK}_d(L,i,\mathbb{Q}) \cong \widehat{HFK}_{d-2i}(L,-i,\mathbb{Q})$ 细化了亚历山大多项式的对称性。
• 该不变量在方向反转下保持不变：$\widehat{HFK}_d(L,i,\mathbb{Q}) \cong \widehat{HFK}_d(-L,i,\mathbb{Q})$。
• 在连通和下，有 $\widehat{HFK}(L_1 \# L_2, i, \mathbb{Q}) \cong \bigoplus_{i_1+i_2=i} \widehat{HFK}(L_1, i_1, \mathbb{Q}) \otimes \widehat{HFK}(L_2, i_2, \mathbb{Q})$，确立了 Künneth 型同构。
• 对于不相交并集，有 $\widehat{HFK}(L_1 \coprod L_2, i, \mathbb{Q}) \cong \widehat{HFK}(L_1 \# L_2, i, \mathbb{Q}) \otimes W$，其中 $W$ 是一个在 $\pm 1/2$ 处有分量的二维分次向量空间，解释了为何分裂链的亚历山大多项式为零。