[論文レビュー] Link homology and categorification

Mikhail Khovanov|ArXiv.org|May 12, 2006

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

ひとこと要約

この論文は、量子リンク不変量のカテゴライゼーションを調査し、ジョーンズ多項式、アレクサンダー多項式、HOMFLY-PT多項式が、二重次数付きおよび三重次数付きリンクホモロジー理論のオイラー特徴量として生じることを確立している。代数的トポロジーと表現論を用いて、量子不変量をホモロジー理論へと上げるための枠組みを提示しており、主要な構成は行列因子化、ホッフハルドホモロジー、多項式環上の双モジュールに基づく。

ABSTRACT

This is a short survey of algebro-combinatorial link homology theories which have the Jones polynomial and other link polynomials as their Euler characteristics.

研究の動機と目的

• ケーブルとリンクの量子不変量をカテゴライズするという新たな分野であるリンクホモロジー理論を統合的かつ概説すること。
• ジョーンズ多項式、アレクサンダー多項式、HOMFLY-PT多項式が、二重次数付きおよび三重次数付きホモロジー理論のオイラー特徴量としてどのように生じるかを説明すること。
• 修正されたホモロジー群と微分付き代数を用いて、すべてのリンク、特に多成分リンクに対してもこれらのホモロジー理論を拡張するための枠組みを提案すること。
• これらのホモロジー理論が、ケーブルフロアホモロジーおよび3次元多様体不変量のようなより深い不変量をカテゴライズする可能性を探索すること。
• 任意の複素単純リー代数に関連する不変量および3次元多様体のウィッテン＝レシュチキン＝トゥラエインバリアントをカテゴライズする際の未解決問題を特定すること。

提案手法

• 交差点に関する帰納法を用いてリンクホモロジーを構成し、長完全系列を用い、無結びと単結びのホモロジーを $\mathcal{A} = \mathbb{Z}[X]/(X^2)$ として出発点とする。
• カウフマンブラケットを用いてジョーンズ多項式のカテゴライゼーションを定義し、二重次数付きホモロジー理論 $\mathcal{H}(L)$ を導入し、そのオイラー特徴量を $P_2(L)$ とする。
• パラメータ付き行列因子化を用いて、ブレード表現および多項式環上のホッフハルドホモロジーから導かれる三重次数付きHOMFLY-PTホモロジー理論 $\mathrm{H}(L)$ を定義する。
• 多項式環 $R = \mathbb{Z}[x_1,\dots,x_{m-1}]$ 上の次数付き双モジュールの複体にホッフハルドホモロジーを適用し、三重次数付きホモロジー群を生成する。
• k-成分リンクに対して、$\mathbb{Q}[a]$-モジュールを割り当て、自由な $\mathbb{Q}[a]$-モジュールへの分解を施すことにより、有限次元性を保証する修正ホモロジー $\widetilde{\mathrm{H}}(L)$ を提案する。
• 修正ホモロジー $\widetilde{\mathrm{H}}(L)$ が $\mathbb{Q}$ とテンソル積を取ると、$n>1$ に対して $\mathrm{H}_n(L)$ と同型になるという予想を述べ、次数が単一の次数に統合されることを示唆する。

実験結果

リサーチクエスチョン

• RQ1 ジョーンズ多項式やアレクサンダー多項式といった量子リンク不変量は、どのように二重次数付きホモロジー理論へと上げることができるか？
• RQ2 HOMFLY-PT多項式の全貌は、すべてのリンクへと拡張可能な三重次数付きホモロジー理論へとカテゴライズ可能か？
• RQ3 三重次数付きホモロジー $\mathrm{H}(L)$ とケーブルフロアホモロジーの関係は何か？また、それらを結ぶスペクトル系列が存在するか？
• RQ4 ホモロジー理論をリンクcobordismの圏上の射影的関手へと拡張可能か？特に、表面に写像を割り当てるか？
• RQ5 任意の複素単純リー代数に関連する不変量および3次元多様体のウィッテン＝レシュチキン＝トゥラエインバリアントをカテゴライズすることは可能か？

主な発見

• ジョーンズ多項式 $P_2(L)$ は、カウフマンブラケットと長完全系列を用いて構成された二重次数付きリンクホモロジー理論 $\mathcal{H}(L)$ のオイラー特徴量である。
• アレクサンダー多項式 $P_0(L)$ は、オルツヴァース＝ツァボーとラスマセンによって発見された二重次数付きケーブルホモロジー理論のオイラー特徴量であり、アレクサンダー不変量をカテゴライズする。
• 各 $n \geq 1$ に対して、オイラー特徴量が $P_n(L)$ である二重次数付きリンクホモロジー理論 $\mathrm{H}_n(L)$ が存在し、$\mathrm{H}_2(L) \cong \mathcal{H}(L) \otimes \mathbb{Q}$ が成り立つ。
• HOMFLY-PT多項式 $P(L)$ は、多項式環上の双モジュールのホッフハルドホモロジーを用いて構成された三重次数付きホモロジー理論 $\mathrm{H}(L)$ のオイラー特徴量である。
• 理論 $\mathrm{H}(L)$ はブレード表現と退化した行列因子化を用いて定義され、ウの正規化により次数の整合性が保証される。
• 修正された理論 $\widetilde{\mathrm{H}}(L)$ は、すべてのリンクに対して有限次元ホモロジーを割り当てるとされ、スペクトル系列を介してケーブルフロアホモロジーに退化する可能性があると予想されている。