[論文レビュー] Five Lectures on Khovanov Homology

Paul Turner|ArXiv.org|Jun 19, 2006

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

ひとこと要約

本稿は、ジョーンズ多項式のカテゴリフィケーションであるクラボフホモロジーについて、リンク図からビグレードホモロジー複体を組み立てるコンビナトリアルな構成を用いて、包括的で教育的な導入を提供する。クラボフホモロジーが、グレーディング付きオイラー特徴量が非正規化ジョーンズ多項式に等しいリンク不変量であることを確立し、関手的性質、 torsion、他のホモロジー理論および量子不変量との関係を検討する。

ABSTRACT

These lecture notes, which were designed for the Summer School "Heegaard-Floer Homology and Khovanov Homology" in Marseilles, 29th May - 2nd June, 2006, provide an elementary introduction to Khovanov homology. The intended audience is graduate students with some minimal background in low-dimensional and algebraic topology. The lectures cover the basic definitions, important properties, a number of variants and some applications. At the end of each lecture the reader is referred to the relevant literature for further reading.

研究の動機と目的

• 低次元位相幾何学の知識が最小限の大学院生を対象に、クラボフホモロジーについて自己完結的でアクセス可能な導入を提供すること。
• クラボフホモロジーが、多項式不変量をビグレードホモロジー理論に置き換えることで、ジョーンズ多項式をどのようにカテゴリフィケーションするかを説明すること。
• 関手的性質、 Reidemeister移動における不変性、およびクラボフホモロジーにおける torsion の役割を調査すること。
• リー理論、ラスマセンの $ s $-不変量、クラボフ＝ロザンスキー・ホモロジーなどの変種を紹介し、それらが他の不変量とどのように関係するかを明らかにすること。
• リンクホモロジーの広範な文脈を動機づけ、グラフホモロジー、HOMFLYPT多項式、幾何的・物理的解釈との関係を概説すること。

提案手法

• 交差のスムージング（0-および1-スムージング）とフォローリング代数構造を用いて、リンク図 $ D $ からビグレードホモロジー複体 $ C^{*,*}(D) $ を構成する。
• スムージング間のcobordism写像を用いて微分を定義し、TQFTフレームワークにより Reidemeister 不変性を保証する。
• 複体にホモロジーを適用してクラボフホモロジー $ KH^{*,*}(D) $ を得る。これは Reidemeister 移動に対して不変である。
• グレーディング付きオイラー特徴量の公式 $ \sum (-1)^i q^j \dim KH^{i,j}(D) = \hat{J}(D) $ を用いて、非正規化ジョーンズ多項式のカテゴリフィケーションを示す。
• スペクトル系列を介してリー理論（微分 $ d_{\text{Lee}} $ を持つ）およびラスマセンの $ s $-不変量を導入する。
• フォローリング代数およびカテゴリフィケートド量子群を用いて、フレームワークをグラフホモロジーおよびクラボフ＝ロザンスキー・ホモロジーに拡張する。

実験結果

リサーチクエスチョン

• RQ1 ジョーンズ多項式を、より多くの位相的情報を保持するビグレードホモロジー理論にカテゴリフィケーションする方法は何か？
• RQ2 クラボフホモロジーの関手的性質および位相的性質、特に Reidemeister 移動における不変性は何か？
• RQ3 クラボフホモロジーにおける torsion は、ジョーンズ多項式では見えない情報をどのように明らかにするか？
• RQ4 クラボフホモロジーと HOMFLYPT 多項式やカラーリングジョーンズ多項式などの他のリンク不変量との関係は何か？
• RQ5 クラボフホモロジーの背後にある幾何的・物理的構造は何か？また、Floer ホモロジーまたは量子場理論とどのように関係するか？

主な発見

• クラボフホモロジー $ KH^{*,*}(D) $ は、Reidemeister 移動に対して不変であるビグレードホモロジー理論であり、リンク不変量である。
• クラボフホモロジーのグレーディング付きオイラー特徴量は、非正規化ジョーンズ多項式 $ \hat{J}(D) $ を回復し、カテゴリフィケーションを示している。
• クラボフホモロジーは torsion を検出でき、これはジョーンズ多項式では見えない情報であり、多項式単体よりも強い不変量であることを示している。
• リー理論におけるスペクトル系列から導かれるラスマセンの $ s $-不変量は、スライス genus を検出できる強力な同型不変量である。
• クラボフ＝ロザンスキー・ホモロジーは、より高い $ N $ への一般化を提供し、HOMFLYPT 多項式をカテゴリフィケーションし、量子群と関係づける。
• フォローリング代数フレームワークを用いて構成されたグラフホモロジーは、彩色多項式および二色多項式をカテゴリフィケーションし、削除・縮約関係を模倣する長完全系列を持つ。