[論文レビュー] A categorification of the Jones polynomial

Mikhail Khovanov|ArXiv.org|Aug 30, 1999

Algebraic structures and combinatorial models参考文献 8被引用数 30

ひとこと要約

この論文は、多項式環上の次数付き加群の鎖複体を用いて、リンクのための二重次数付きコホモロジー理論を構成することにより、ジョーンズ多項式のカテゴリフィケーションを導入する。主な結果は、これらのコホモロジー群の次数付きエーラー指標が正規化を除いてジョーンズ多項式を回復することであり、多項式のカテゴリフィケーションを実現するホモロジー的不変量を提供し、リンク不変量のための新しい代数的枠組みを提示する。

ABSTRACT

We construct a bigraded cohomology theory of links whose Euler characteristic is the Jones polynomial.

研究の動機と目的

• ジョーンズ多項式をカテゴリフィケーションするホモロジー的不変量を構築すること。
• 次数付き加群と鎖複体を用いて、リンク図のための二重次数付きコホモロジー理論を定義すること。
• コホモロジー群がライデマイスター移動に関して不変であることを示し、それらがリンク不変量を形成すること。
• コホモロジー群の次数付きエーラー指標が正規化を除いてジョーンズ多項式に一致することを確立すること。
• ねじれやトゥールの不変量にまで理論を拡張する関手値不変量を提案すること。

提案手法

• ジョーンズ多項式のカウフマン状態和モデルを出発点とし、整数を次数付き $\mathbb{Z}[c]$-加群に置き換える。
• リンク図の交差の各解消に対して、$A$ のテンソル冪 $A^{igotimes k}$ を割り当てる。ここで $A$ は、次数 $1$ と $-1$ に生成元をもつランク $2$ の自由加群である。
• $A$ 上の代数的および余代数的構造から得られる構造写像を用いて、次数付き $\mathbb{Z}[c]$-加群の複体を構成する。
• コホモロジー群 $\mathcal{H}^{i,j}(D)$ は、この複体のコホモロジーとして定義され、不変性を保つために次数シフトが適用される。
• トゥールにまで拡張するため、各 $i$ に対して、次数付き $A$-加群 $M$ 上の関手 $H^i_D(M)$ を定義し、関手値不変量を導出する。
• ライデマイスター移動で関連する図の間でコホモロジー群の同型を明示的に構成し、不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ジョーンズ多項式は、整数係数と torsion をもつ二重次数付きコホモロジー理論にカテゴリフィケーション可能か？
• RQ2 コホモロジー理論はライデマイスター移動に関して不変であり、リンク不変量を定義するか？
• RQ3 コホモロジー群の次数付きエーラー指標は、ジョーンズ多項式を回復するか？
• RQ4 この構成はトゥールにまで拡張可能であり、関手値不変量をもたらすか？
• RQ5 コホモロジー群自体がリンクの不変量である（同型類ではなく）か？

主な発見

• コホモロジー群 $\mathcal{H}^{i,j}(D)$ は有限生成であり、$D$ が $L$ を表す限り、$L$ にのみ依存する。
• 次数付きエーラー指標 $\sum_{i,j}(-1)^i q^j \dim_{\mathbb{Q}}(\mathcal{H}^{i,j}(D)\otimes\mathbb{Q})$ は、正規化因子 $q+q^{-1}$ を除いて $L$ のジョーンズ多項式に一致する。
• 左巻きの三葉結び目に対して、コホモロジー関手を明示的に計算した：$H^{-3}_D(M) = \ker(2X)\{8\}$、$H^{-2}_D(M) = (M/(2XM))\{6\}$、$H^0_D(M) = M\{2\}$、それ以外はゼロ。
• コホモロジー群 $\mathcal{H}^{i,j}(D)$ はライデマイスター移動に関して不変であり、リンク不変量として確立される。
• この構成により、次数付き $A$-加群の圏上の関手値不変量 $H^i_D$ が得られ、これはトゥールの同相不変である。
• 理論はトゥールにまで拡張され、次数付き $A$-加群のコホモロジーを用いた、ねじれやリンクの不変量を定義するための枠組みを提供する。