[論文レビュー] Colored sl(N) link homology via matrix factorizations

Hao Wu|arXiv (Cornell University)|Oct 10, 2011

Geometric and Algebraic Topology参考文献 28被引用数 3

ひとこと要約

この論文は、行列式因子を用いて、定義表現のウェッジ巾で色分けされたリンクのカラフルな$ \mathfrak{sl}(N)$リンク不変量のカテゴリフィケーションを提示する。これは、コホロジーの一般化であるコホロジーの三重次数理論を構築し、リーディメイスター移動に関して不変であり、すべての成分が色1（未色分け）の場合に元のコホロジーの構成を回復する。

ABSTRACT

The Reshetikhin-Turaev sl(N) polynomial of links colored by wedge powers of the defining representation has been categorified via several different approaches. Here, we give a concise introduction to the categorification using matrix factorizations, which is a direct generalization of the Khovanov-Rozansky homology. Full details of the construction are given in [arXiv:0907.0695]. We also briefly review deformations and applications of this categorification given in [arXiv:1002.2662, arXiv:1011.2254, arXiv:1102.0586].

研究の動機と目的

• 定義表現のウェッジ巾で色分けされたリンクのリシュチキン＝トゥレイの$ \mathfrak{sl}(N)$多項式のカテゴリフィケーションを、行列式因子を用いて簡潔に導入すること。
• コホロジーの一般化として、行列式因子を用いて未色分けリンクに限らない色分けリンクを含むコホロジー構成を拡張すること。
• 得られたコホロジーがリーディメイスター移動に関して不変であることを確立し、リンク不変量を定義すること。
• 新しい構成と未色分けの場合の元のコホロジーとの関係を明確にすること。
• 先行研究からの主要な技術的道具と結果（変形や応用を含む）を自己完結的に要約すること。

提案手法

• 対称多項式からのマークイングと代数的データを用いて、ねじれMOYグラフ$D$に関連する有界なグレーディング行列式因子のチェーン複体$C(D)$を構築する。
• リシュチキン＝トゥレイの$ \mathfrak{sl}(N)$多項式を評価するためのMOY計算（図式的関係）を、行列式因子の枠組み内で用いる。
• $ \mathbb{Z}_2$、量子、ホモロジーの三重グレーディングを持つ複体を定義し、コホロジーのグレーディング構造を一般化する。
• 局所的移動（例：フォークのスライド、円の生成／消滅、エッジの分割／統合）によって誘導される射影を用いて、リーディメイスター移動に関しての不変性を確立する。
• クルール＝シュマイドの性質と行列式因子のホモトピー論を用いて、チェーン複体の構造を分析する。
• 最終的なコホロジー$H(D)$を定義するために、まず行列式因子微分$ d_{mf} $に関して、次にチェーン複体微分$ d^* $に関して、それぞれコホロジーを取る。

実験結果

リサーチクエスチョン

• RQ1 定義表現のウェッジ巾で色分けされたリンクのリシュチキン＝トゥレイの$ \mathfrak{sl}(N)$多項式は、どのように行列式因子を用いてカテゴリフィケーションできるか？
• RQ2 得られたコホロジー理論の構造は何か？また、未色分けリンクのコホロジーの一般化としてどのように機能するか？
• RQ3 この行列式因子フレームワーク内でのコホロジーのリーディメイスター移動に関する不変性はどのように確立されるか？
• RQ4 すべての成分が1で色分けされた場合、新しい構成と元のコホロジーとの関係は何か？
• RQ5 このカテゴリフィケーションの変形と応用は、標準的な場合を超えて理論の範囲をどのように拡張するか？

主な発見

• tangle図式$D$に関連するチェーン複体$C(D)$は、グレーディング行列式因子のホモトピー圏上の有界複体であり、$ \mathbb{Z}_2 \oplus \mathbb{Z} \oplus \mathbb{Z} $-グレーディングを持つ。
• $C(D)$のホモトピー型はリーディメイスター移動に関して不変であり、これにより得られるコホロジー$H(D)$がリンク不変量であることが保証される。
• すべての成分が1で色分けされている場合、構成は元のコホロジーのチェーン複体を回復し、未色分けの場合との整合性が確認される。
• $H(D)$のオイラー特徴はリシュチキン＝トゥレイの$ \mathfrak{sl}(N)$多項式を回復し、カテゴリフィケーションの正当性が裏付けられる。
• MOY関係と局所的移動に基づく再帰的フレームワークを用い、（例：サドル移動、円の生成）図式的変化によって誘導される射影が不変性を保証する。
• 最終的なコホロジー$H(D)$は、まず行列式因子微分$ d_{mf} $に関して、次にチェーン複体微分$ d^* $に関してコホロジーを取ることで定義され、三重グレーディング不変量が得られる。