[论文解读] Holomorphic disks and link invariants

Peter Ozsváth, Zoltán Szabó|arXiv (Cornell University)|Dec 13, 2005

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

一句话总结

本文通过在 Heegaard 曲面的对称积中使用全纯盘，引入了 $S^3$ 中链的链 Floer 同调不变量，记为 $̂{\mathrm{HFL}}(\vec{L})$。它证明了该不变量的分次欧拉特征等于多变量亚历山大多项式，并建立了从 $̂{\mathrm{HFL}}(\vec{L})$ 到 $Λ^*V$ 的谱序列，其中 $V$ 是秩为 $ω-1$ 的向量空间，从而将纽结 Floer 同调推广至链。

ABSTRACT

We define a Floer-homology invariant for links in $S^3$, and study its properties.

研究动机与目标

• 通过定义新的不变量 $\u0302{\mathrm{HFL}}(\vec{L})$，将纽结 Floer 同调推广至 $S^3$ 中的链。
• 构造一个分次欧拉特征能恢复多变量亚历山大多项式 $\Delta_L$ 的链不变量。
• 建立从 $\u0302{\mathrm{HFL}}(\vec{L})$ 到 $\u039b^*V$ 的谱序列，其中 $V$ 的秩为 $\ell-1$，作为纽结情形的推广。
• 通过滤子诱导的同构，将 $\u0302{\mathrm{HFL}}(\vec{L})$ 与分量纽结的 Floer 同调联系起来。
• 验证谱序列与同调分次结构在方向和链同伦下的不变性。

提出的方法

• 定义仿射格子 $\mathbb{H}(L)$，即满足 $2a_i + \mathrm{lk}(K_i, L - K_i) \in 2\mathbb{Z}$ 的有理同调类，用于索引 $\u0302{\mathrm{HFL}}(\vec{L})$ 的同调分次。
• 构造一个在 $\mathbb{Z} \times \mathbb{H}$ 上具有双分次的链复形 $\u0302{\mathrm{CFL}}(\vec{L})$，其微分将同调分次减小 1，同时保持 $\mathbb{H}$-滤子。
• 使用链的 Heegaard 图，包含两对附着圆 $\{\alpha_1,\alpha_2\}$ 和 $\{\beta_1,\beta_2\}$，并将生成元计算为交点 $\alpha_i \cap \beta_j$。
• 通过由方向 $\vec{L}$ 导出的同态 $o: \mathbb{H} \to \mathbb{Z}$ 定义 $\mathbb{H}$-滤子，为滤子层级分配整数值。
• 将同调 $\u0302{\mathrm{HFL}}(\vec{L})$ 计算为关联的分次复形的同调，其绝对分次由穿越基点 $z_1, z_2$ 的同伦确定。
• 使用谱序列论证及分量纽结 Floer 同调的约束，确定高阶微分，特别是在非 $E_2$-坍塌情形（如 $7^2_7$）中。

实验结果

研究问题

• RQ1 如何将纽结 Floer 同调推广至 $S^3$ 中的链，以捕捉多变量亚历山大多项式？
• RQ2 链 Floer 同调不变量 $\u0302{\mathrm{HFL}}(\vec{L})$ 的同调分次与滤子结构为何种形式？
• RQ3 从 $\u0302{\mathrm{HFL}}(\vec{L})$ 到 $\u039b^*V$ 的谱序列如何与链的滤子链复形结构相关联？
• RQ4 方向 $\vec{L}$ 如何影响分次与滤子？这种影响在欧拉特征中如何体现？
• RQ5 链 Floer 同调 $\u0302{\mathrm{HFL}}(\vec{L})$ 中的高阶微分能否由分量纽结 Floer 同调的约束唯一确定？

主要发现

• $\u0302{\mathrm{HFL}}(\vec{L})$ 的分次欧拉特征等于多变量亚历山大多项式 $\Delta_L$，当 $\ell > 1$ 时需归一化为 $\prod_{i=1}^\ell (T_i^{1/2} - T_i^{-1/2})$，当 $\ell = 1$ 时即为 $\Delta_L$。
• $\u0302{\mathrm{HFL}}(\vec{L})$ 具有对称性：$\u0302{\mathrm{HFL}}_*(\vec{L}, h) \cong \u0302{\mathrm{HFL}}_{*-2\delta(h)}(\vec{L}, -h)$，其中 $\delta(h) = \sum a_i$，$h = \sum a_i [\mu_i]$。
• 对于链 $L_1$，链 Floer 同调是 $E_2$-坍塌的，复形由图三和平凡纽结的 Floer 同调确定，且 $\u0302{\mathrm{HFL}}(L_1)$ 支持于特定的滤子与分次层级。
• 对于链 $L_2 = 7^2_7$，复形非 $E_2$-坍塌，$\u0302{\mathrm{HFL}}(\vec{L}_2)$ 具有非平凡的高阶微分，其显式支持为：在 $\{0,1\} \times \{1,2\} \cup \{0,-1\} \times \{-1,-2\}$ 上为 $\mathbb{F}_{(i+j-3)}$，在 $(0,0)$ 处为 $\mathbb{F}_{(-2)} \oplus \mathbb{F}_{(-3)}$。
• 通过穿越基点的同伦计算绝对分次，存活的生成元 $a_4 \times b_1$ 的绝对分次为零，从而确认了分次分配的正确性。
• 从 $\u0302{\mathrm{HFL}}(\vec{L})$ 到 $\u039b^*V$ 的谱序列是链 $L$ 的不变量，其中 $V$ 的秩为 $\ell - 1$，且 $E^\infty$ 项同构于 $\u039b^*V$。