[論文レビュー] $\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

ひとこと要約

本稿では、$̂{HF}_{\mathbb{Z}_2}(\Sigma(K))$、つまり $S^3$ 内の絡み目の分岐二重被覆における $\mathbb{Z}_2$-可換ヘーガードフローリングコホモロジーが、任意の genus の絡み目のヘーガード図および拡張ブリッジ図から計算可能であることを示すことによって、強いヘーガード不変量であることが確立される。主な貢献は、$\widehat{HFK}_{\mathbb{Z}_2}(\Sigma(K),K)$ 内に、LOSS 不変量および $\mathbb{Z}_2$-可換接触クラスの両方を精緻化する、新たな横断的絡み目不変量 $\hat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ の構成である。

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})$.

研究の動機と目的

• 標準的ヘーガード移動のすべてに対して不変であることを示すことによって、$\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ が弱い不変量ではなく強い不変量であることを確立すること。
• 球面に基づくブリッジ図に限らず、任意の genus の絡み目のヘーガード図および拡張ブリッジ図から $\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ が計算可能であることを示すこと。
• $\widehat{HFK}_{\mathbb{Z}_2}(\Sigma(K),K)$ 内に、既存の不変量を精緻化する新たな横断的絡み目不変量 $\hat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ を構成すること。
• $\hat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ が、LOSS 不変量 $\hat{\mathcal{T}}(K)$ および $\mathbb{Z}_2$-可換接触クラス $c_{\mathbb{Z}_2}(\xi_K)$ の両方を精緻化することを証明すること。

提案手法

• 本稿は、任意の genus の曲面上に定義された拡張ブリッジ図を用いて、$S^3$ 内の絡み目を表現し、元々の球面に基づくブリッジ図の構成を一般化する。
• 著者らは、分岐二重被覆によって誘導される $\mathbb{Z}_2$-作用を活用して、これらの図から $\mathbb{Z}_2$-可換ヘーガードフローリングコホモロジー $\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ を構成する。
• 拡張された弧の図におけるホイソトピーおよびアーキススライド（タイプ I–IV を含む）に対する不変性を示すことによって、図の選択に依存しないことを証明する。
• 拡張された弧の図上でホンダ＝カゼズ＝マークの構成を用いて、可換なチェーン複体内に標準的要素 $EH_{\mathbb{Z}_2}$ を定義する。
• 横断的不変量 $\hat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ は、特定のマルチポイント付きオープンブック構造から得られるチェーンレベル代表元のコホモロジー類として定義される。
• ブリッジに基づく表現と強いヘーガード不変量の表現との間の自然同型を介して、構成の自然性およびファンクターイリティが確立される。

実験結果

リサーチクエスチョン

• RQ1 任意の genus の絡み目のヘーガード図、特に球面に基づくブリッジ図に限らない、$\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ が計算可能であるか。
• RQ2 $\widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ が、ヘーガード移動におけるすべての可換性公理を満たす、強いヘーガード不変量であるか。
• RQ3 $\widehat{HFK}_{\mathbb{Z}_2}(\Sigma(K),K)$ 内に、LOSS 不変量および $\mathbb{Z}_2$-可換接触クラスの両方を精緻化する横断的絡み目不変量を構成できるか。
• RQ4 新しい不変量 $\hat{\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))$ が、$\hat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ を $c_{\mathbb{Z}_2}(\xi_K)$ に送るか。

主な発見

• 定理 1.1 は、少なくとも2つの A-弧を含む任意の弱適切な拡張ブリッジ図 $\mathcal{E}$ に対して $\widehat{HF}_{\mathbb{Z}_2}(\mathcal{E}) \simeq \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ が成り立つことを確立し、元々の構成を一般化する。
• 定理 1.2 は、$\widehat{HF}_{\mathbb{Z}_2}$ のブリッジに基づく表現と強いヘーガード不変量の表現との間で、可逆な自然変換が存在することを証明し、その自然性および強い不変性を確認する。
• 定理 1.3 は、すべての弱適切な拡張ブリッジ図に一般化して、$\widehat{HF}_{\mathbb{Z}_2}(\mathcal{E}) \simeq \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K))$ が成り立つことを示す。
• $\widehat{HFK}_{\mathbb{Z}_2}(\Sigma(K),K)$ 内に定義された $\hat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ のコホモロジー類の構成が、$K$ の横断的ホイソトピーに対して不変であることが示される。
• 定理 6.15 は、自然な射影の下で $\hat{\mathcal{T}}_{\mathbb{Z}_2}(K)$ が $c_{\mathbb{Z}_2}(\xi_K)$ に写されることを確認し、$\mathbb{Z}_2$-可換接触クラスの精緻化であることを証明する。
• 本稿は、$\widehat{HFK}_{\mathbb{Z}_2}$ に対する局在化同型を確立し、この形式的枠組みを knot Floer の設定に拡張する。