[論文レビュー] Khovanov homology is a skew Howe 2-representation of categorified quantum sl(m)

Aaron D. Lauda, Hoel Queffélec+1 more|arXiv (Cornell University)|Dec 25, 2012

Algebraic structures and combinatorial models参考文献 65被引用数 39

ひとこと要約

この論文は、カテゴリフィケーションされた量子群の2表現として、Khovanovホモロジーとその sl3 形式が、カテゴリカルなスキー・ハウ双対性を介して得られることを確立している。2関手を ˙UQ(slm) からフォームカテゴリへ構成することにより、ネックカット、ドット移動、バブル関係といったすべてのフォーム関係が、カテゴリフィケーションされた量子群の高階関係から直接導かれる。これにより、ジョーンズ・ウェンツル射影子とリンクホモロジーの構成が、高階表現論の枠組み内で統一される。

ABSTRACT

We show that Khovanov homology (and its sl(3) variant) can be understood in the context of higher representation theory. Specifically, we show that the combinatorially defined foam constructions of these theories arise as a family of 2-representations of categorified quantum sl(m) via categorical skew Howe duality. Utilizing Cautis-Rozansky categorified clasps we also obtain a unified construction of foam-based categorifications of Jones-Wenzl projectors and their sl(3) analogs purely from the higher representation theory of categorified quantum groups. In the sl(2) case, this work reveals the importance of a modified class of foams introduced by Christian Blanchet which in turn suggest a similar modified version of the sl(3) foam category introduced here.

研究の動機と目的

• Khovanovホモロジーとカテゴリフィケーションされた量子群の直接的な関係を確立し、カテゴリ O や幾何的構成を経由する間接的つながりを回避すること。
• sl2 および sl3 におけるフォームベースのリンクホモロジー理論が、カテゴリカルなスキー・ハウ双対性を介して、カテゴリフィケーションされた量子群の自然な2表現として実現されることを示すこと。
• ネックカット、ドット移動、バブル関係を含む、すべてのフォーム関係がカテゴリフィケーションされた量子群の高階関係から直接導かれるようにすること。
• Cautis-Rozansky のカテゴリフィケーションされたクラスプを用いて、カテゴリフィケーションされた射影子（ジョーンズ・ウェンツルイデムポテンスおよびその sl3 形式）の構成を、カテゴリフィケーションされた量子群の枠組み内で統一すること。
• 修正されたフォームカテゴリ（Blanchet の sl2 における研究にインspired）が、カテゴリフィケーションされた量子群の視点から、これらの構成にとって最も自然な設定であると示唆すること。

提案手法

• カテゴリカルなスキー・ハウ双対性を用いて、2カテゴリ ˙UQ(slm) から sl2 および sl3 のフォームカテゴリへの2関手を定義すること。
• Cautis-Rozansky のカテゴリフィケーションされたクラスプを用いて、1-射の像としてカテゴリフィケーションされた射影子を構成し、ジョーンズ・ウェンツルイデムポテンスを高次に持ち上げること。
• NilHecke関係、ワイル群作用、KLR代数関係といった、˙UQ(slm) の重要な関係の像を分析することで、フォーム関係を導出すること。
• ˙UQ(slm) の次数構造を活用し、フォーム面およびドットの次数を制御することで、ドットスライディングおよびバブル評価規則を導出すること。
• 完全局所性の原理を適用し、特定の関係の局所的実現を仮定することで、複雑なフォーム関係（例えば、複素係数を含むシーム関係）を導出すること。
• 2関手の像における明示的計算により、導出されたフォーム関係が既知の関係（例：CMW関係、sl3 フォーム関係）と一致することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 Khovanovホモロジーとその sl3 形式は、2表現論の観点からカテゴリフィケーションされた量子群から直接構成可能か？
• RQ2 Khovanovホモロジーで用いられるフォーム関係は、カテゴリフィケーションされた量子群の高階関係から自然に生じるか？
• RQ3 カテゴリフィケーションされた射影子（ジョーンズ・ウェンツルイデムポテンスおよびその sl3 形式）は、カテゴリフィケーションされた量子群の構造のみから純粋に構成可能か？
• RQ4 カテゴリフィケーションされた量子群の2表現を自然に実現するフォームカテゴリが存在するか？ そして、それらは既知のフォームカテゴリと整合するか？
• RQ5 CMW フォーム関係に現れる複素係数は、追加の仮定（例：完全局所性）のもとでカテゴリフィケーションされた量子群から導出可能か？

主な発見

• Khovanovホモロジーとその sl3 形式は、カテゴリカルなスキー・ハウ双対性から構成された2関手を介して、カテゴリフィケーションされた量子群の2表現として実現される。
• ネックカット、ドット移動、バブル関係を含む、すべてのフォーム関係が、NilHecke関係やワイル群作用といったカテゴリフィケーションされた量子群の高階関係から導出される。
• 2関手の像には、修正された sl2 フォームカテゴリのバージョンが含まれており、Blanchet の修正されたフォームカテゴリがカテゴリフィケーションされた量子群の視点から最も自然な設定であることを示唆する。
• sl3 についても、同様の修正されたフォームカテゴリが提案され、θ-フォーム評価を含むすべての関係がカテゴリフィケーションされた量子群の構造から導出される。
• 重み ±1 および ±2 における次数ゼロのバブルの値は、2および3ドット付き球面の像によって決定され、次数および重みに応じて、球面の評価値が ±1 または 0 になる。
• ネックカット関係は、= • + • − •² の変形版として回復され、•² = 0 と特殊化することで、[21] における標準的なフォームカテゴリが再現される。