[論文レビュー] A transverse knot invariant from Z2-equivariant Heegaard Floer cohomology

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

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

ひとこと要約

本稿は、標準的接触構造 $ (S^3, \xi_{\text{std}}) $ 内の横断的絡み目 $ K $ の分岐二重被覆 $ \Sigma(K) $ における $ \mathbb{Z}_2 $-等変ヘッゲーフローダイアグラムコホモロジー $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $ に、新たな横断的リンク不変量 $ c_{\mathbb{Z}_2}(\xi_K) $ を導入する。この不変量は、well-defined であり、シンプレクティックに構成可能なコボルディズムに関して自然的かつ関手的である。さらに、非等変接触不変量 $ c(\xi_K) $ の非零性を検出でき、トポロジカルに同相だが自己自己自己リンク数が等しい横断的絡み目を区別する可能性を秘めた、新たな有効な横断的不変量を提供する。

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 $-等変ヘッゲーフローダイアグラムコホモロジーを用いて、新たな横断的リンク不変量を定義すること。
• 基点付き $ S^3 $ 内の分岐二重被覆の $ \widehat{HF}_{\mathbb{Z}_2} $ の自然性と関手性を確立すること。
• $ c_{\mathbb{Z}_2}(\xi_K) $ が well-defined であり、シンプレクティックに構成可能なシンプレクティックコボルディズムに関して関手的であることを証明すること。
• $ c_{\mathbb{Z}_2}(\xi_K) $ の負の安定化における振る舞いと、標準的接触不変量 $ c(\xi_K) $ の非零性との関係を明らかにすること。
• トポロジカルに同相だが自己自己リンク数が等しい横断的絡み目を区別できるかどうかを、$ c_{\mathbb{Z}_2}(\xi_K) $ が検証可能かどうかを調査すること。

提案手法

• $ c_{\mathbb{Z}_2}(\xi_K) $ を、横断的絡み目 $ K $ の分岐二重被覆の等変ヘッゲーフローダイアグラムコホモロジー $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $ の元として構成する。
• $ \widehat{HF}_{\mathbb{Z}_2} $ の自然性を示すために、基点付き絡み目 $ (S^3, K, p) $ に対する写像類群 $ MCG(S^3, K, p) $ の作用が存在することを証明する。
• 弱くシンプレクティック同倫なバージョンの同倫、生成、サドルを組み合わせて得られる、シンプレクティックに構成可能なシンプレクティックコボルディズムを定義する。
• このようなコボルディズムによって誘導される写像に関して、$ c_{\mathbb{Z}_2}(\xi_K) $ が保存されることを示し、関手性を確立する。
• $ c_{\mathbb{Z}_2}(\xi_K) $ の負の安定化における振る舞いを用いて、$ c(\xi_K) $ の非零性を示す条件を導出する。
• $ c_{\mathbb{Z}_2}(\xi_K) $ が無効である場合、固定された絡み目型 $ K $ のすべての横断的代表 $ T $ に対して $ \{ c_{\mathbb{Z}_2}(\xi_T) \} $ の構造を解析し、その集合が $ \theta $-タワーをなすことを示す。

実験結果

リサーチクエスチョン

• RQ1 $ c_{\mathbb{Z}_2}(\xi_K) $ は、自己自己リンク数が等しく、トポロジカルに同相な横断的絡み目を区別できる有効な横断的不変量か？
• 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}}) $ 内の2つの横断的絡み目間に、非構成可能なシンプレクティックコボルディズムが存在するか？
• RQ5 $ c^{-}(K) $ や $ \hat{c}(K) $ のような knot Floer homology 内の不変量が、$ c_{\mathbb{Z}_2}(\xi_K) $ から回復可能か？

主な発見

• $ c_{\mathbb{Z}_2}(\xi_K) \in \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $ は well-defined であり、基点の選び方に依存しない。したがって、$ 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) $ は負の安定化において $ 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 $-タワーをなす。その中で最小の位数の要素は結び目の不変量である。
• 横断的絡み目間の非構成可能なシンプレクティックコボルディズムの存在は未解決の問題であるが、本稿ではその調査のための枠組みを構築している。