[論文レビュー] Earrings, sutures and pointed links

Yi Xie|arXiv (Cornell University)|Sep 24, 2018

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

ひとこと要約

本稿は、$S^3$ 内のリンクに対して、インスタントン knot homology と Khovanov homology の Koszul homology 間のランク不等式を確立し、$2\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(L)))$ を証明する。主な革新は、Baldwin-Levine-Sarkar のマーク付き Khovanov homology から、マーク付きリンクのための特異インスタントン不変量へのスペクトル系列を構成することであり、Kronheimer-Mrowka の結果をリンクへ一般化し、新しい不変量 $\operatorname{I}^{\sharp}(L,\mathbf{p})$ を通じてアレクサンダー次数を保存する。この結果は、自明リンクおよびホープ・リンクに対しては鋭い。

ABSTRACT

We prove a rank inequality on the instanton knot homology and the Khovanov homology of a link in $S^3$. The key step of the proof is to construct a spectral sequence relating Baldwin-Levine-Sarkar's pointed Khovanov homology to a singular instanton invariant for pointed links.

研究の動機と目的

• Kronheimer と Mrowka のスペクトル系列を、リンクへの一般化するため、マーク付きリンクのための新しい特異インスタントン不変量を定義すること。
• マーク付き Khovanov homology から、アレクサンダー次数を保存する特異インスタントン不変量へのスペクトル系列を構成すること。
• リンク $L$ に対して、$S^3$ 内で $2\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(L)))$ という非還元的ランク不等式を証明すること。
• $\operatorname{I}^{\sharp}(L,\mathbf{p})$ を、$\operatorname{I}^{\natural}(L,\mathbf{p})$ の非還元版として定義し、$\operatorname{KHI}(L)$ に同型であり、Khovanov homology へのスペクトル系列を満たすようにすること。
• 不等式が自明リンクおよびホープ・リンクに対して鋭いかを示すことにより、既知の例における最適性を確認すること。

提案手法

• 各成分にマーク点を持つマーク付きリンク $(L, \mathbf{p})$ を定義し、各成分に少なくとも1つのマーク点がある非退化条件を導入する。
• $\operatorname{I}^{\sharp}(L,\mathbf{p})$ を、各マーク点にホイッスルを備えた平凡な紐を追加することで構成し、$\operatorname{I}^{\natural}(L,\mathbf{p})$ を一般化する。
• 特徴が 2 でない $\mathbb{F}$-係数における Fukaya の連結和定理を用い、$\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{F})$ と $\operatorname{I}^{\natural}(L,\mathbf{p};\mathbb{F})$ の間のスペクトル系列を通じて関係を確立する。
• $\mathbb{C}$ 上でスペクトル系列の微分が消えることを証明し、$\dim_{\mathbb{C}}\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C}) = 2\dim_{\mathbb{C}}\operatorname{I}^{\natural}(L,\mathbf{p};\mathbb{C})$ を得る。
• 非向き付き skein 完全三角形とその繰り返し適用を用い、$Kh^\prime(L,\mathbf{p})$ から $\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C})$ へのスペクトル系列を構築する。
• Khovanov homology のスペクトル系列と双対性の性質を適用し、$\operatorname{KHI}(L)$ と $Kh(L)$ の Koszul 複体の間の主な不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 Kronheimer と Mrowka の Khovanov homology からインスタントン homology へのスペクトル系列を、リンクへ拡張することは可能か？
• RQ2 マーク付きリンクのための特異インスタントン不変量が存在し、$\operatorname{KHI}(L)$ に同型であり、アレクサンダー次数を保存するか？
• RQ3 $S^3$ 内のリンクについて、$Kh(L)$ の Koszul homology のランクと $\operatorname{KHI}(L)$ の次元との関係は何か？
• RQ4 複素数体上での $\operatorname{I}^{\sharp}(L,\mathbf{p})$ と $\operatorname{I}^{\natural}(L,\mathbf{p})$、$\operatorname{KHI}(L)$ の関係は何か？
• RQ5 $2\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(L)))$ という不等式は、既知のリンク例に対して鋭いか？

主な発見

• 本稿は、任意の $S^3$ 内のリンク $L$ に対して、$2\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(L)))$ を証明し、Kronheimer と Mrowka の knot 場合の結果をリンクへ一般化する。
• $m$ 個の成分を持つ自明リンク $U_m$ に対して、$\dim_{\mathbb{C}}\operatorname{KHI}(U_m) = 2^{m-1}$ かつ $\operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(U_m))) = 2^m$ であるため、不等式は鋭い。
• ホープ・リンク $H$ に対して、$\dim_{\mathbb{C}}\operatorname{KHI}(H) = 4$ かつ $\operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(H))) = 8$ であるため、この場合にも不等式は鋭い。
• $\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C})$ は、$\dim_{\mathbb{C}}\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C}) = 2\dim_{\mathbb{C}}\operatorname{I}^{\natural}(L,\mathbf{p};\mathbb{C})$ を満たし、スペクトル系列の微分が $\mathbb{C}$ 上で消える。
• $Kh^\prime(L,\mathbf{p})$ から $\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C})$ へのスペクトル系列は、非向き付き skein 完全三角形の繰り返し適用によって構成され、ランク不等式の実現を可能にする。
• 還元版の不等式 $\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}^\prime, \widetilde{Kh}(L,p_0)))$ も確立され、これは Kronheimer と Mrowka の元の knot 場合の結果と一致する。