[論文レビュー] Khovanov homology of links and graphs

Marko Stošić|arXiv (Cornell University)|May 22, 2006

Geometric and Algebraic Topology参考文献 32被引用数 4

ひとこと要約

この論文は、リンクおよびグラフのケーファン・ホモロジーにおける基礎的結果を確立し、正のブレード・ノットの第一ホモロジー群が自明であることを証明し、非交わりトーラス・ノットがホモロジカルに厚いこと、そしてトーラス・ノットにおける安定ケーファン・ホモロジーが存在することを示している。さらに、コーシュール複体を用いてグラフのディクロマティック多項式およびトゥッテ多項式のカテゴライゼーションを実行し、ケーファン＝ロザンスキー・ホモロジーへと結果を拡張している。

ABSTRACT

In this thesis we work with Khovanov homology of links and its generalizations, as well as with the homology of graphs. Khovanov homology of links consists of graded chain complexes which are link invariants, up to chain homotopy, with graded Euler characteristic equal to the Jones polynomial of the link. Hence, it can be regarded as the "categorif\mbox{}ication" of the Jones polynomial. \indent We prove that the f\mbox{}irst homology group of positive braid knots is trivial. Futhermore, we prove that non-alternating torus knots are homologically thick. In addition, we show that we can decrease the number of full twists of torus knots without changing low-degree homology and consequently that there exists stable homology for torus knots. We also prove most of the above properties for Khovanov-Rozansky homology. \indent Concerning graph homology, we categorify the dichromatic (and consequently Tutte) polynomial for graphs, by categorifying an inf\mbox{}inite set of its one-variable specializations. We categorify explicitly the one-variable specialization that is an analog of the Jones polynomial of an alternating link corresponding to the initial graph. Also, we categorify explicitly the whole two-variable dichromatic polynomial of graphs by using Koszul complexes. extbf{Key-words:} Khovanov homology, Jones polynomial, link, torus knot, graph, dichromatic polynomial

研究の動機と目的

• ジョーンズ多項式やディクロマティック多項式などの多項式不変量のカテゴライゼーションを通じて、リンクおよびグラフのホモロジーにおける新しい不変量を確立すること。
• 特にトーラス・ノットおよび正のブレード・ノットにおけるケーファン・ホモロジーの厚さおよび安定性といった構造的性質を調査すること。
• ケーファン＝ロザンスキー・ホモロジーを含む、$sl(n)$の高次ホモロジーへのカテゴライゼーション技法の拡張。
• コーシュール複体を用いて、リンク不変量の構造を模倣するグラフのホモロジカル枠組みの構築。
• トーラス・ノットにおけるフル・ツイスト削減に対して、低次のケーファン・ホモロジーが不変であることの証明により、安定ホモロジーの存在を示すこと。

提案手法

• グレーディング付きチェーン複体を構成し、そのグレーディング付きオイラー特徴はジョーンズ多項式を回復する。これによりケーファン・ホモロジーがカテゴライゼーションとして確立される。
• コーシュール複体の理論を応用し、グラフの二変数ディクロマティック多項式の明示的カテゴライゼーションを実行する。
• 状態和モデルおよび再帰的関係を用いて、リーディマイスター移動に関して不変な不変量を定義し、位相的不変性を保証する。
• ディクロマティック多項式の一変数特殊化のカテゴライゼーションのための枠組みを導入し、交わりのないリンクにおけるジョーンズ多項式の類似物を含む。
• $sl(n)$-カテゴライゼーションの道具立てを用いて、$sl(2)$から$sl(n)$ホモロジー、ケーファン＝ロザンスキー・ホモロジーへの結果の拡張を実行する。
• 立方複体上の再帰的構成および微分作用素を用いてホモロジー群を計算し、リンク移動に関して不変であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 正のブレード・ノットのケーファン・ホモロジーにおける第一ホモロジー群の構造は何か？
• RQ2 非交わりトーラス・ノットはホモロジカルに厚いとされるか？ また、そのケーファン・ホモロジーはフル・ツイスト操作に関して安定性を示すか？
• RQ3 グラフのディクロマティック多項式はコーシュール複体を用いてカテゴライズ可能か？ また、この構成は位相的不変量をもたらすか？
• RQ4 ケーファン・ホモロジーの性質、特に厚さおよび安定性は、ケーファン＝ロザンスキー・ホモロジーへどの程度拡張可能か？
• RQ5 ホモロジー代数を用いて、二変数不変量を介してHOMFLYPT多項式をカテゴライズする標準的な方法はあるか？

主な発見

• 任意の正のブレード・ノットの第一ホモロジー群は自明である。これはケーファン・ホモロジーにおける重要な構造的結果である。
• 非交わりトーラス・ノットはホモロジカルに厚い。これは、そのケーファン・ホモロジーが複数の量子グレーディングにまたがることを意味する。
• トーラス・ノットにおけるフル・ツイストの数を減らしても、低次のケーファン・ホモロジーは不変であり、これは極限において安定ホモロジーが存在することを示唆する。
• グラフのディクロマティック多項式のカテゴライゼーションはコーシュール複体を用いて達成され、トゥッテ多項式のホモロジカルモデルが得られる。
• 交わりのないリンクにおけるジョーンズ多項式の類似物を模倣する一変数特殊化のディクロマティック多項式が明示的にカテゴライズされた。
• ケーファン・ホモロジーに関する多くの結果、特に厚さおよび安定性はケーファン＝ロザンスキー・ホモロジーへと拡張可能であり、この枠組みの広範な適用可能性が確認された。