[論文レビュー] Khovanov homology is an unknot-detector

P. B. Kronheimer, Tomasz Mrowka|arXiv (Cornell University)|May 24, 2010

Geometric and Algebraic Topology参考文献 24被引用数 8

ひとこと要約

この論文は、縮約されたクラスコフ・コhomologyが無結を検出することを証明している：ある結び目が無結であるための必要十分条件は、その縮約されたクラスコフ・コhomologyのランクが1であることである。証明は、鏡像結び目に関する縮約されたクラスコフ・コhomologyから、特異インスタントン結び目ホモロジー $I^{ atural}(K)$ へのスペクトル系列を確立する。これは、結び目の補空間におけるインスタントンフローホモロジーと同型であり、既知のところでは無結を検出できる。これにより、クラスコフ・コhomologyが無結に対する完全な不変量であることが示された。

ABSTRACT

We prove that a knot is the unknot if and only if its reduced Khovanov cohomology has rank 1. The proof has two steps. We show first that there is a spectral sequence beginning with the reduced Khovanov cohomology and abutting to a knot homology defined using singular instantons. We then show that the latter homology is isomorphic to the instanton Floer homology of the sutured knot complement: an invariant that is already known to detect the unknot.

研究の動機と目的

• 縮約されたクラスコフ・コhomologyから新しい特異インスタントン結び目ホモロジー $I^{ atural}(K)$ へのスペクトル系列を確立する。
• $I^{ atural}(K)$ が、サージャーデッド結び目補空間におけるインスタントンフローホモロジーと同型であることを示す。
• 既知のインスタントンフローホモロジーの結果を用いて、$I^{ atural}(K)$ がランク1であるための必要十分条件が $K$ が無結であることであることを証明する。
• この同型を用いて、縮約されたクラスコフ・コhomologyが無結を検出することを導く。
• スペクトル系列およびアレクサンダー多項式を用いて、クラスコフ・コhomologyのランクに対する下界を提供する。

提案手法

• 結び目 $K$ にマークされた点と法線ベクトルを伴い、codimension-2 の特異性をもつ $\text{SU}(2)$-接続のモジュライ空間を用いて、新しい不変量 $I^{ atural}(K)$ を構成する。
• $E_2$-頁が鏡像結び目 $ar{K}$ の縮約されたクラスコフ・コhomology と同型であり、$I^{ atural}(K)$ に収束するスペクトル系列を定義する。
• インスタントンフローホモロジーの除去性を用いて、$I^{ atural}(K)$ が $ield{Q}$ 上でサージャーデッドインスタントンフローホモロジー $ ext{KHI}(K)$ と同型であることを証明する。
• リンクコボルディズムに沿ったパスと法線断面を介した $I^{ atural}(K)$ のファンクター性を用いて、符号を除き、一意に定まる写像を保証する。
• 既知の事実（非自明な結び目に対して $ ext{KHI}(K)$ のランクは1より大きい）を用いて、同様に $I^{ atural}(K)$ のランクも1より大きいことを導く。
• $I^{ atural}(K)$ のスペクトル系列の $E_1$-頁を、$V = \field{Z}^2$ のテンソル積と写像 $ abla$, $ abla_r$, $\triangle$, $\triangle_r$ から構成される複体と同一視し、縮約されたクラスコフ複体と一致させることを確認する。

実験結果

リサーチクエスチョン

• RQ1 縮約されたクラスコフ・コhomologyは無結を検出するか？
• RQ2 縮約されたクラスコフ・コhomologyとゲージ理論的結び目不変量との間にスペクトル系列が存在するか？
• RQ3 特異インスタントンホモロジー $I^{ atural}(K)$ は、結び目の補空間におけるインスタントンフローホモロジーと関係づけられるか？
• RQ4 $I^{ atural}(K)$ のランクは、無結とそれ以外のすべての結び目を区別できるか？
• RQ5 スペクトル系列およびアレクサンダー多項式などの既知の不変量を用いて、クラスコフ・コhomologyのランクに対する下界を導出できるか？

主な発見

• 結び目 $K$ の縮約されたクラスコフ・コhomology のランクが1であるための必要十分条件は、$K$ が無結であることである。
• 鏡像結び目 $ar{K}$ の縮約されたクラスコフ・コhomology と同型な $E_2$-頁を持つスペクトル系列が存在し、$I^{ atural}(K)$ に収束する。
• $I^{ atural}(K)$ は、$ield{Q}$ 上でサージャーデッドインスタントンフローホモロジー $ ext{KHI}(K)$ と同型である。
• 結果として、$I^{ atural}(K)$ はすべての非自明な結び目に対してランクが1より大きいことが示され、縮約されたクラスコフ・コhomology が無結を検出することを示す。
• スペクトル系列により、縮約されたクラスコフ・コhomology のランクは、$K$ のアレクサンダー多項式の係数の絶対値の和によって下から抑えられる。
• 準代数的結び目に対しては、$ield{Q}$ もしくは $ield{Z}/2$ 上でスペクトル系列が $E_1$-頁で収束する。つまり、$E_1$ 以降に非ゼロの微分は存在しない。