[論文レビュー] Quiver Hecke algebras and 2-Lie algebras

Raphaël Rouquier|arXiv (Cornell University)|Dec 15, 2011

Algebraic structures and combinatorial models参考文献 20被引用数 8

ひとこと要約

この論文は、クーヴァー・ヘック代数と2-リー代数の間に深い接続を確立し、半分のカク＝ムーディ代数とその量子群の categorification を実現する2圏的枠組みを構成する。 perverse sheaves の圏が標準基底を categorify することを証明し、cyclotomic quiver Hecke 代数が普遍的単純2表現を実現することを示し、非分解的射影的モジュールが標準基底のベクトルに対応すること—Arikiの定理の一般化。

ABSTRACT

This text provides an introduction and complements to some basic constructions and results in 2-representation theory of Kac-Moody algebras.

研究の動機と目的

• クーヴァー・ヘック代数を用いたカク＝ムーディ代数の2圏的枠組みを構築し、半分のカク＝ムーディ代数を categorify すること。
• クーヴァー表現のモジュライスタックと perverse sheaves を用いたクーヴァー・ヘック代数の幾何的実現を確立すること。
• cyclotomic quiver Hecke 代数上の非分解的射影的モジュールの圏が、最高重量表現の標準基底に対応することを証明すること。
• クーヴァー・グラスマンニアン上の層の圏における2表現が、普遍的単純2表現と同型であることの証明。
• 2表現と畳み込み関手を通じて、代数的および幾何的構成の両方による標準基底の統一。

提案手法

• 多項式実現を用いてクーヴァー・ヘック代数を構成し、それがカク＝ムーディ代数の半分を categorify することを示す。
• クーヴァー表現のモジュライスタック上の畳み込み関手を用いて、カク＝ムーディ代数に付随する2圏の2表現を定義する。
• Lusztigのクーヴァー・グラスマンニアン上の perverse sheaves の圏を用いて、クーヴァー・ヘック代数のモノイダル圏を実現する。
• 畳み込み関手が、クーヴァー・グラスマンニアン上の層の導来圏に作用することで、普遍的単純2表現と同型な2表現が誘導されることを示す。
• クーヴァー・グラスマンニアン上の層の圏の Grothendieck 群が、量子群の作用によって単純最高重量モジュールを実現することを証明する。
• Zhengの微局所化された層の圏を用いて、Graded 2表現を構成し、その Grothendieck 群が最高重量 λ の単純モジュールと同型になることを示す。

実験結果

リサーチクエスチョン

• RQ1 クーヴァー・ヘック代数を用いて、カク＝ムーディ代数の半分とその量子群をどのように categorify できるか？
• RQ2 クーヴァー表現のモジュライスタックと perverse sheaves を用いたクーヴァー・ヘック代数の幾何的実現とは何か？
• RQ3 cyclotomic quiver Hecke 代数は、カク＝ムーディ代数の2圏の普遍的単純2表現とどのように関係するか？
• RQ4 cyclotomic quiver Hecke 代数上の非分解的射影的モジュールは、非可約最高重量モジュールの標準基底ベクトルに対応するか？
• RQ5 クーヴァー・グラスマンニアン上の層の圏における2表現が、普遍的単純2表現と同型であることを示せるか？

主な発見

• クーヴァー表現のモジュライスタック上の perverse sheaves の圏は、クーヴァー・ヘック代数のモノイダル圏と同型であり、幾何的 categorification を確立する。
• クーヴァー・グラスマンニアン上の層の導来圏における畳み込み関手の作用は、普遍的単純2表現と同型な2表現を誘導する。
• クーヴァー・グラスマンニアン上の層の圏の Grothendieck 群は、量子群の作用によって単純最高重量モジュールを実現し、E_i と F_i の作用が Serre の関係を満たす。
• 標数 0 の体上の cyclotomic quiver Hecke 代数の非分解的射影的モジュールは、非可約最高重量モジュール L(λ) の標準基底要素に対応する。
• P(λ) における2表現は、普遍的単純2表現と同型であり、2圏 A(Γ) の重み付き作用が畳み込み作用から拡張される。
• 等式 (B(λ) ⊗k k^Γ ⊗Z Q̄_l)^i-gr ≅ P(λ) が成り立ち、標準基底が層の圏を通じて幾何的に実現されることを示す。