[論文レビュー] Concordance invariants from the $E(-1)$ spectral sequence on Khovanov homology

William Ballinger|arXiv (Cornell University)|Apr 22, 2020

Geometric and Algebraic Topology参考文献 12被引用数 6

ひとこと要約

本稿は、クラコフホフホモロジー上の $ E(-1) $ 譜系列から、ラスマッセンの $ s $ 不変量に類似した新しい同一型不変量 $ t(K) $ を構成する。$ t(K) $ は非可定向なスライス genus を界することができ、$ t(K) $ を精緻化するより強い不変量 $ T_n(K) $ を構成する。これらの不変量は、トーラス結び目や $ \upsilon(K) $ と同等または優れたスライス genus の界を与える応用を持つ。不変量は、クラコフホフホモロジーの $ d_{-1} $-摂動から得られるフィルトレーション付きチェイン複体に基づき定義され、非可定向なコボルディズムと $ \mathbb{Z}[x] $-加群構造を用いてその性質が確立される。主な結果は、境界が $ K $ である $ D^4 $ 内の曲面 $ \Sigma $ に対して、$ |t(K) + e/2| \leq b_1(\Sigma) $ による非可定向な四球面 genus の鋭い界である。

ABSTRACT

We construct the concordance invariant coming from the $E(-1)$ spectral sequence on Khovanov homology in the same way Rasmussen's $s$ invariant comes from the Lee spectral sequence, and show that it gives a bound on the nonorientable slice genus.

研究の動機と目的

• クラコフホフホモロジー上の $ E(-1) $ 譜系列から、ラスマッセンの $ s $ 不変量に類似した新しい同一型不変量 $ t(K) $ を開発すること。
• $ t(K) $ が偶数に値する同一型準同型であり、非可定向なスライス genus を界することを確立すること。
• $ \mathbb{Z}[x] $-加群構造から得られる複体上での $ T_n(K) $ を構成し、これらが同一型不変量ではあるが準同型でないことを示すこと。
• $ t(K) $ が、境界が $ K $ である $ D^4 $ 内の曲面 $ \Sigma $ に対して $ |t(K) + e/2| \leq b_1(\Sigma) $ により非可定向な四球面 genus の鋭い界を与えることを証明すること。
• $ \upsilon(K) $ や他の既存の不変量と比較し、交代結び目やトーラス結び目では一致するが、特定のねじれたホワイトヘッド二重結び目では異なる値をとることを示すこと。

提案手法

• クラコフホフ微分に $ d_{-1} $-作用素による摂動を施し、1次元の全ホモロジーを保存するフィルトレーション付きチェイン複体 $ \bar{C}(K) $ を定義する。
• 全ホモロジーの生成元のフィルトレーション次数を用いて、$ s(K) $ がリー譜系列から定義されるのと同様に、不変量 $ t(K) $ を定義する。
• 非可定向なコボルディズムによって誘導される $ \bar{C}(K) $ 上の写像を構成し、全ホモロジー上で同型を誘導することで、 genus 界を得る。
• 元の複体 $ C(K) $ 上の $ \mathbb{Z}[x] $-加群構造を用いて、ホモロジーで $ (2x)^n $ を代表する要素の最大フィルトレーション次数として、高次の不変量 $ T_n(K) $ を定義する。
• 非可定向なコボルディズム写像とピンチ移動を用いて、特にトーラス結び目 $ T_{p,q} $ に対して $ t(K) $ の再帰的界を導出し、法線ホイットニー特性数の変化を用いる。
• 完全ねじりコボルディズムを用いて、$ t(K) $ と $ s(K) $ の関係を不等式で導出し、$ n \geq 6 $ のとき、$ n $ 個の整合的に向き付けられたストランドに対する完全ねじりは、ホモロジー的に細い性質を保存できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 クラコフホフホモロジー上の $ E(-1) $ 譜系列の構造は何か？ そして、これにより同一型不変量 $ t(K) $ がどのように得られるか？
• RQ2 $ t(K) $ は非可定向なスライス genus をどのように界するか？ また、結び目のシグニチャ $ \sigma(K) $ や不変量 $ \upsilon(K) $ と比べてどうか？
• RQ3 精緻化された不変量 $ T_n(K) $ の性質は何か？ また、$ t(K) $ や四球面 genus とどのように関係するか？
• RQ4 $ E(-1) $ 譜系列を用いて、トーラス結び目に対して非可定向な四球面 genus の鋭い界を導出できるか？ また、既存の結果と比べてどうか？
• RQ5 $ t(K) \neq \upsilon(K) $ となる結び目は存在するか？ これにより $ t(K) $ が genus 界としての強さについて何が示唆されるか？

主な発見

• $ t(K) $ は、偶数に値する同一型準同型であり、$ d_{-1} $-摂動された複体 $ \bar{C}(K) $ の全ホモロジーにおける生成元の最高フィルトレーション次数として定義される。
• 非可定向なスライス genus の明示的界として、$ |t(K) + e/2| \leq b_1(\Sigma) $ が与えられ、ここで $ e $ は境界が $ K $ である $ D^4 $ 内の曲面 $ \Sigma $ の法線ホイットニー特性数である。
• トーラス結び目 $ T_{p,q} $ に対して、ピンチ移動の下で $ t(T_{p,q}) = t(T_{r,s}) - e/2 - 1 + \lfloor p^2/2 \rfloor $ を満たし、これにより既知の genus 界と一致する再帰的公式が得られる。
• $ t(K) $ は交代結び目やトーラス結び目では $ \upsilon(K) $ と一致するが、$ T_{2,3} $ の 2 重ねじり正のホワイトヘッド二重結び目では $ t(K) = 2 $、$ \upsilon(K) = 0 $ となり、異なる値をとる。
• より強い不変量 $ T_n(K) $ は、ホモロジーで $ (2x)^n $ を代表する要素の最大フィルトレーション次数として定義され、$ T_{n+1}(K) \geq T_n(K) $ を満たし、$ n \geq g_4(K) $ では $ T_n(K) = 0 $ となる。
• 完全ねじりコボルディズムを用いて、$ n \geq 6 $ の整合的に向き付けられたストランドに対する完全ねじりで $ K $ と $ K' $ が異なる場合、両方ともホモロジー的に細いとはなり得ないことが示され、$ s(K') > t(K') $ である。