[論文レビュー] sl(N)-Web categories

Marco Mackaay, Y. Yonezawa|arXiv (Cornell University)|Jun 26, 2013

Algebraic structures and combinatorial models参考文献 28被引用数 17

ひとこと要約

本稿は、色付き$σρ_N$-行列式因子化を用いて、量子スケュー・ハウ双対性のカテゴリフィケーションを構成し、レベル$N$の巡回KLR代数上の有限次元階数付き射影モジュールのカテゴリと同値であるウェブカテゴリのカルーブイ包のカテゴリと、カテゴリフィケーションされた量子$σρ_m$の2表現を確立する。主な結果は、このウェブカテゴリのカルーブイ包が、レベル$N$の巡回KLR代数上の有限次元階数付き射影モジュールのカテゴリと同値であり、ウェブ空間がグロテンディック群としてカテゴリフィケーション的に実現されることである。

ABSTRACT

In this paper we use colored sl(N)-matrix factorizations, due to Wu and Y.Y., in order to categorify part of the quantum skew Howe duality defined by Cautis, Kamnitzer and Morrison. In particular, we define web categories and 2-representations of Khovanov and Lauda's categorical quantum sl(m) on them. We show that each such web category is equivalent to the category of finite dimensional graded projective modules over a certain level N cyclotomic Khovanov-Lauda-Rouquier algebra.

研究の動機と目的

• 行列式因子化を用いて、$σρ_m$と$σρ_N$の間の量子スケュー・ハウ双対性をカテゴリフィケーションすること。
• 階数付きウェブカテゴリ上で、カテゴリフィケーションされた量子$σρ_m$の2表現を定義すること。
• ウェブカテゴリのカルーブイ包と、レベル$N$の巡回KLR代数上の有限次元階数付き射影モジュールのカテゴリとの同値性を確立すること。
• $N=2$のカホヴァンのアーキテクチャと$N=3$のパーン-トゥーベンハウアー・マッカーレイのウェブ代数を任意の$N$に一般化すること。

提案手法

• カホヴァン＝ローダのカテゴリフィケーションされた量子$σρ_m$から、色付き$σρ_N$-行列式因子化の2カテゴリへの2ファンクター$Γ_{m,d,N}$を構成する。
• ウェイト$Λ = N\ell \omega_\ell$を添え字とするウェブ空間の直和として、階数付きウェブカテゴリ$ω_{Λ}^{∘}$を定義する。$d = N\ell$である。
• ウェブカテゴリ$ω_{m,d,N}$における1-射と2-射を、$σρ_N$-ウェブに関連する行列式因子化を用いて定義する。
• ラダーの接続と行列式因子化とのテンソル積を用いて、カテゴリフィケーションされた$σρ_m$のウェブカテゴリ上での作用を定義する。
• ルーキエの普遍性に関する命題を用いて、得られた2表現が強く、普遍的であることを証明する。
• 非退化な$q$-セスクイリニア形式を用いて、カルーブイ包$ω_{Λ}^{∘}$のスプリットグロテンディック群と元のウェブ空間$W_{Λ}$との間に同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 色付き$σρ_N$-行列式因子化は、コウティス＝カムニッツァー＝モリソンの量子スケュー・ハウ双対性をカテゴリフィケーションするために用いられるか。
• RQ2 カテゴリフィケーションされた量子$σρ_m$のウェブカテゴリ$ω_{Λ}^{∘}$上での2表現は、強2表現に拡張可能か。
• RQ3 カルーブイ包$ω_{Λ}^{∘}$は、レベル$N$の巡回KLR代数$R_{Λ}$上の有限次元階数付き射影モジュールのカテゴリと同値か。
• RQ4 $N=2$の場合、ウェブカテゴリはスプリンガー多様体の幾何とアーキテクチャの関係はどのように関係するか。
• RQ5 この枠組みは、$N \geq 4$の$σρ_N$-フォームについて、完全な関係式の集合を定義するために拡張可能か。

主な発見

• 2ファンクター$Γ_{m,d,N}$は、カテゴリフィケーションされた$σρ_m$を$σρ_N$-行列式因子化の2カテゴリへ写像する量子スケュー・ハウ双対性のカテゴリフィケーションを提供する。
• ウェブカテゴリ$ω_{Λ}^{∘}$は、行列式因子化の接続を用いて、カテゴリフィケーションされた量子$σρ_m$の明確な強2表現を備えている。
• カルーブイ包$ω_{Λ}^{∘}$は、レベル$N$の巡回KLR代数$R_{Λ}$上の有限次元階数付き射影モジュールのカテゴリと同値である。
• スプリットグロテンディック群$K_0^q(\dot{\mathcal{W}}_{Λ}^{∘})$は、元のウェブ空間$W_{Λ}$と同型であり、同型は$q$次元写像によって与えられる。
• ウェブカテゴリはブロックに分解され、それぞれが$σρ_N$-ウェブ代数上の有限次元階数付き射影モジュールのカテゴリと同値である。
• $N=2$の場合、ウェブ代数はカホヴァンのアーキテクチャである。$N=3$の場合、パーン-トゥーベンハウアー・マッカーレイの構成を一般化し、この枠組みは任意の$N$に拡張可能である。