[论文解读] A transverse knot invariant from Z2-equivariant Heegaard Floer cohomology

Sungkyung Kang|arXiv (Cornell University)|Feb 1, 2018

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

一句话总结

本文在 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $，即标准接触结构 $ (S^3, \xi_{\text{std}}) $ 中的横截纽结 $ K $ 的分支双覆盖的 $ \mathbb{Z}_2 $-等变 Heegaard Floer 上同调中，引入了一种新的横截链接不变量 $ c_{\mathbb{Z}_2}(\xi_K) $。该不变量是良定义的，关于对称性构造的上同调变换是函子性的，并能检测非等变接触类 $ c(\xi_K) $ 的非零性，提供了一种新的有效横截不变量，具有区分拓扑同痕但自 linking 数相同的横截纽结的潜力。

ABSTRACT

We define an invariant of based transverse links, as a well-defined element inside the equivariant Heegaard Floer cohomology of its branched double cover, defined by Lipschitz, Hendricks, and Sarkar. We prove the naturality and functoriality of equivariant Heegaard Floer cohomology for branched double covers of $S^3$ along based knots, and then prove that our transverse link invariant $c_{\mathbb{Z}_{2}}(ξ_{K})$ is an well-defined element which is always nonvanishing and functorial under certain classes of symplectic cobordisms, and describe its behavior under negative stabilization. It follows that we can use properties of $c_{\mathbb{Z}_{2}}(ξ_{K})$ to give a condition on transverse knots K which implies the vanishing/nonvanishing of the contact class $c(ξ_{K})$.

研究动机与目标

• 使用 $ \mathbb{Z}_2 $-等变 Heegaard Floer 上同调定义一种新的横截链接不变量。
• 为 $ S^3 $ 中基于纽结的分支双覆盖建立 $ \widehat{HF}_{\mathbb{Z}_2} $ 的自然性与函子性。
• 证明不变量 $ c_{\mathbb{Z}_2}(\xi_K) $ 是良定义的，并且在对称性构造的辛上同调变换下是函子性的。
• 研究 $ c_{\mathbb{Z}_2}(\xi_K) $ 在负稳定化下的行为，与标准接触类 $ c(\xi_K) $ 的非零性建立联系。
• 探究 $ c_{\mathbb{Z}_2}(\xi_K) $ 是否能区分拓扑同痕但自 linking 数相同的横截纽结。

提出的方法

• 将不变量 $ c_{\mathbb{Z}_2}(\xi_K) $ 构造为 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $ 中的元素，即横截纽结 $ K $ 的分支双覆盖的等变 Heegaard Floer 上同调。
• 通过证明其在基于纽结的映射类群 $ MCG(S^3, K, p) $ 作用下具有自然性，从而证明 $ \widehat{HF}_{\mathbb{Z}_2} $ 的自然性。
• 将对称性构造的辛上同调变换定义为同痕、生成与鞍点的弱对称辛同痕版本的复合。
• 通过证明此类上同调变换诱导的映射保持 $ c_{\mathbb{Z}_2}(\xi_K) $，从而建立 $ c_{\mathbb{Z}_2}(\xi_K) $ 的函子性。
• 利用 $ c_{\mathbb{Z}_2}(\xi_K) $ 在负稳定化下的行为，推导出自 linking 数满足某条件时 $ c(\xi_K) $ 非零的条件。
• 分析固定纽结类型 $ K $ 的所有横截代表元 $ T $ 的集合 $ \{ c_{\mathbb{Z}_2}(\xi_T) \} $ 的结构，证明若该不变量无效，则其形成一个 $ \theta $-塔。

实验结果

研究问题

• RQ1 $ c_{\mathbb{Z}_2}(\xi_K) $ 是否为一种有效的横截不变量，能够区分拓扑同痕但自 linking 数相同的横截纽结？
• RQ2 $ c_{\mathbb{Z}_2}(\xi_K) $ 是否可用于判断标准接触类 $ c(\xi_K) $ 的非零性？
• RQ3 对于纽结 $ K $ 的所有横截代表元 $ T $，集合 $ \{ c_{\mathbb{Z}_2}(\xi_T) \} $ 是否在 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K)) $ 中形成一个单一的 $ \theta $-塔？
• RQ4 在 $ (S^3, \xi_{\text{std}}) $ 中，是否存在两个横截纽结之间的非构造性辛上同调变换？
• RQ5 是否能从 $ c_{\mathbb{Z}_2}(\xi_K) $ 恢复 knot Floer homology 中的 $ c^{-}(K) $ 或 $ \hat{c}(K) $？

主要发现

• 不变量 $ c_{\mathbb{Z}_2}(\xi_K) \in \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $ 是良定义的，且不依赖于基点的选择，因此是纽结 $ K $ 的横截同痕类的不变量。
• $ \mathbb{F}_2[\theta] $-模 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $ 具有自然性，其上存在 $ MCG(S^3, K, p) $ 的作用，因此在基于上同调变换下是函子性的。
• 对于对称性构造的辛上同调变换，映射 $ \hat{f}_{(S,s)} $ 保持 $ c_{\mathbb{Z}_2}(\xi_K) $，即 $ \hat{f}_{(S,s)}(c_{\mathbb{Z}_2}(\xi_{K_2})) = c_{\mathbb{Z}_2}(\xi_{K_1}) $。
• 该不变量在负稳定化下满足 $ c_{\mathbb{Z}_2}(\xi_{K^{-}}) = \theta \cdot c_{\mathbb{Z}_2}(\xi_K) $，其行为与 knot Floer homology 中 $ c^{-}(K) $ 的行为一致。
• 若 $ c_{\mathbb{Z}_2}(\xi_K) $ 无效，则所有纽结 $ K $ 的横截代表元在 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K)) $ 中产生 $ \theta $-塔，且其中阶数最小的元素是纽结不变量。
• 尽管本文构建了研究框架，但两个横截纽结之间是否存在非构造性辛上同调变换的问题仍为开放问题。