[论文解读] $\mathbb{Z}_{2}$-equivariant Heegaard Floer cohomology of knots in $S^{3}$ as a strong Heegaard invariant

Sungkyung Kang|arXiv (Cornell University)|Oct 3, 2018

Geometric and Algebraic Topology参考文献 5被引用 3

一句话总结

本文证明了 $\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$，即 $S^3$ 中扭结 $K$ 的分支双覆盖的 $\mathbb{Z}_2$-等变 Heegaard Floer 上同调，是一个强 Heegaard 不变量，方法是展示其可从任意亏格的扭结 Heegaard 图和扩展桥图计算得出。关键贡献在于构造了一个在 $\widehat{HFK}_{\mathbb{Z}_2}(\Sigma(K),K)$ 中的横截扭结不变量 $\widehat{\mathcal{T}}_{\mathbb{Z}_2}(K)$，该不变量同时精炼了 LOSS 不变量和 $\mathbb{Z}_2$-等变接触类。

ABSTRACT

The $\mathbb{Z}_{2}$-equivariant Heegaard Floer cohomlogy $\widehat{HF}_{\mathbb{Z}_{2}}(Σ(K))$ of a knot $K$ in $S^{3}$, constructed by Hendricks, Lipshitz, and Sarkar, is an isotopy invariant which is defined using bridge diagrams of $K$ drawn on a sphere. We prove that $\widehat{HF}_{\mathbb{Z}_{2}}(Σ(K))$ can be computed from knot Heegaard diagrams of $K$ and show that it is a strong Heegaard invariant. As a topolocial application, we construct a transverse knot invariant $\hat{\mathcal{T}}_{\mathbb{Z}_{2}}(K)$ as an element of $\widehat{HFK}_{\mathbb{Z}_{2}}(Σ(K),K)$, which is a refinement of $\widehat{HF}_{\mathbb{Z}_{2}}(Σ(K))$, and show that it is a refinement of both the LOSS invariant $\hat{\mathcal{T}}(K)$ and the $\mathbb{Z}_{2}$-equivariant contact class $c_{\mathbb{Z}_{2}}(ξ_{K})$.

研究动机与目标

• 通过证明其在所有标准 Heegaard 变换下的不变性，确立 $\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ 是强 Heegaard 不变量，而非仅弱不变量。
• 证明 $\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ 可从任意亏格的扭结 Heegaard 图和扩展桥图计算得出，而不仅限于基于球面的桥图。
• 在 $\widehat{HFK}_{\mathbb{Z}_2}(\Sigma(K),K)$ 中构造一个新的横截扭结不变量 $\widehat{\mathcal{T}}_{\mathbb{Z}_2}(K)$，该不变量对现有不变量具有精炼作用。
• 证明新不变量 $\widehat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ 是 LOSS 不变量 $\widehat{\mathcal{T}}(K)$ 和 $\mathbb{Z}_2$-等变接触类 $c_{\mathbb{Z}_2}(\xi_K)$ 的精炼。

提出的方法

• 本文使用任意亏格曲面上的扩展桥图来表示 $S^3$ 中的扭结，推广了原始基于球面的桥图构造。
• 利用分支双覆盖诱导的 $\mathbb{Z}_2$-作用，从这些图构造 $\mathbb{Z}_2$-等变 Heegaard Floer 上同调 $\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$。
• 作者通过证明其在扩展弧图中的同痕与弧滑移（包括 I–IV 型）下的不变性，证明该不变量与图的选择无关。
• 通过在扩展弧图上应用 Honda-Kazez-Mark 构造，定义了等变链复形中的一个典范元素 $EH_{\mathbb{Z}_2}$。
• 横截不变量 $\widehat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ 被定义为来自多点标记开书结构的特定链级代表元的上同调类。
• 通过桥基与强 Heegaard 不变量形式之间的自然同构，确立了构造的自然性与函子性。

实验结果

研究问题

• RQ1 能否从任意亏格的扭结 Heegaard 图（而不仅限于基于球面的桥图）计算 $\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$？
• RQ2 $\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ 是否为强 Heegaard 不变量，满足 Heegaard 变换下所有交换性公理？
• RQ3 能否在 $\widehat{HFK}_{\mathbb{Z}_2}(\Sigma(K),K)$ 中构造一个横截扭结不变量，使其同时精炼 LOSS 不变量与 $\mathbb{Z}_2$-等变接触类？
• RQ4 新不变量 $\widehat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ 是否在横截同痕下不变，并与 $S^3$ 上的标准接触结构相容？
• RQ5 自然映射 $\widehat{HFK}_{\mathbb{Z}_2}(\Sigma(K),K) \to \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ 是否将 $\widehat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ 映射为 $c_{\mathbb{Z}_2}(\xi_K)$？

主要发现

• 定理 1.1 建立了对任意弱适定的扩展桥图 $\mathcal{E}$（至少包含两个 A-弧），有 $\widehat{HF}_{\mathbb{Z}_2}(\mathcal{E}) \simeq \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$，推广了原始构造。
• 定理 1.2 证明了桥基与强 Heegaard 不变量形式之间存在一个可逆的自然变换，确认了其自然性与强不变性。
• 定理 1.3 将结果推广至所有弱适定的扩展桥图，表明 $\widehat{HF}_{\mathbb{Z}_2}(\mathcal{E}) \simeq \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ 普适成立。
• 将 $\widehat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ 构造为 $\widehat{HFK}_{\mathbb{Z}_2}(\Sigma(K),K)$ 中的上同调类，其在 $K$ 的横截同痕下不变。
• 定理 6.15 确认了在自然投影下 $\widehat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ 映射到 $c_{\mathbb{Z}_2}(\xi_K)$，证明其为 $\mathbb{Z}_2$-等变接触类的精炼。
• 本文建立了 $\widehat{HFK}_{\mathbb{Z}_2}$ 的局部化同构，将形式系统扩展至扭结 Floer 设置。