[论文解读] Quiver Hecke algebras and 2-Lie algebras

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

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

一句话总结

本文通過構造一個二 categorical 框架，建立了 quiver Hecke 代數與 2-李代數之間的深刻聯繫，實現了對 Kac-Moody 代數及其量子群的一半的 categorification。證明了 quiver Grassmannian 上的 perverse sheaf 類別實現了 canonical basis，並表明 cyclotomic quiver Hecke 代數實現了 universal simple 2-表示，其中 indecomposable projective 模對應於 canonical basis 向量——推廣了 Ariki 定理。

ABSTRACT

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

研究动机与目标

• 透過 quiver Hecke 代數構造 Kac-Moody 代數的二 categorical 框架，實現對 Kac-Moody 代數一半的 categorification。
• 透過 quiver 表示的模堆疊與 perverse sheaf，實現 quiver Hecke 代數的幾何實現。
• 證明 cyclotomic quiver Hecke 代數上的 indecomposable projective 模類別對應於最高權表示的 canonical basis。
• 證明 quiver Grassmannian 上的層類別上的 2-表示與 universal simple 2-表示等價。
• 透過 2-表示與卷積函子，統一 algebraic 與 geometric 對 canonical basis 的構造。

提出的方法

• 透過多項式實現構造 quiver Hecke 代數，並證明其實現了 Kac-Moody 代數的一半。
• 在 quiver 表示的模堆疊上使用卷積函子，定義 Kac-Moody 代數 2-類別的 2-表示。
• 應用 Lusztig 對 quiver Grassmannian 上 perverse sheaf 的類別，實現 quiver Hecke 代數的 monoidal 類別。
• 證明卷積函子在 sheaf 的導出類別上的作用，產生與 universal simple 2-表示同構的 2-表示。
• 證明 quiver Grassmannian 上層類別的 Grothendieck group 透過量子群作用實現了簡單最高權模，其中 E_i 與 F_i 滿足 Serre 關係。
• 使用 Zheng 的微局部化層類別，構造一個格拉斯化的 2-表示，其 Grothendieck group 同構於最高權 λ 的簡單模。

实验结果

研究问题

• RQ1 如何利用 quiver Hecke 代數對 Kac-Moody 代數的一半及其量子群進行 categorification？
• RQ2 如何透過 quiver 表示的模堆疊與 perverse sheaf 實現 quiver Hecke 代數的幾何實現？
• RQ3 cyclotomic quiver Hecke 代數與 Kac-Moody 代數 2-類別的 universal simple 2-表示有何關係？
• RQ4 cyclotomic quiver Hecke 代數上的 indecomposable projective 模是否對應於不可約最高權模的 canonical basis 向量？
• RQ5 能否證明 quiver Grassmannian 上層類別上的 2-表示與 universal simple 2-表示等價？

主要发现

• quiver 表示模堆疊上 perverse sheaf 的類別與 quiver Hecke 代數的 monoidal 類別等價，建立了幾何 categorification。
• 卷積函子在 quiver Grassmannian 上層的導出類別上的作用，產生與 universal simple 2-表示同構的 2-表示。
• quiver Grassmannian 上層類別的 Grothendieck group 透過量子群作用實現了簡單最高權模，其中 E_i 與 F_i 滿足 Serre 關係。
• 特徵為 0 的域上，cyclotomic quiver Hecke 代數的 indecomposable projective 模對應於不可約最高權模 L(λ) 的 canonical basis 元素。
• 類別 P(λ) 上的 2-表示與 universal simple 2-表示等價，且 2-類別 A(Γ) 的格拉斯化作用由卷積作用推廣而來。
• 等式 (B(λ) ⊗k k^Γ ⊗Z Q̄_l)^i-gr ≅ P(λ) 成立，證明了 canonical basis 透過層類別實現了幾何實作。