[论文解读] On graded presentations of Hecke algebras and their generalizations

Ben Webster|arXiv (Cornell University)|May 2, 2013

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

一句话总结

本文建立了'Hecke族'代数（包括仿射Hecke代数、环型Hecke代数和q-Schur代数）的完备化与'KLR族'代数（包括加权KLR代数和环型KLR代数）之间的分级同构。关键贡献是一个统一框架，通过形式参数的完备化实现这些同构，推广了Brundan-Kleshchev同构，并为A型和仿射A型中的广泛表示论对象提供了分级表示。

ABSTRACT

In this paper, we define a number of closely related isomorphisms. On one side of these isomorphisms sit a number of of algebras generalizing the Hecke and affine Hecke algebras, which we call the "Hecke family"; on the other, we find generalizations of KLR algebras in finite and affine type A, the "KLR family." We show that these algebras have compatible isomorphisms generalizing those between Hecke and KLR algebras given by Brundan and Kleshchev. This allows us to organize a long list of algebras and categories into a single system, including (affine/cyclotomic) Hecke algebras, (affine/cyclotomic) $q$-Schur algebras, (weighted) KLR algebras, category $\mathcal{O}$ for $\mathfrak{gl}_N$ and for the Cherednik algebras for the groups $\mathbb{Z}/e\mathbb{Z}\wr S_m$, and give graded presentations of all of these objects.

研究动机与目标

• 将表示论中多种代数——如仿射Hecke代数、环型Hecke代数、q-Schur代数和KLR代数——统一于一个结构化框架之下。
• 将Brundan-Kleshchev同构从Hecke代数与KLR代数之间的关系推广至包含加权、带框架及WF型代数的情形。
• 为一大类代数与范畴（包括glN的O范畴和Cherednik代数）提供分级表示。
• 通过形式参数与幂等元滤子，建立Hecke型与KLR型代数完备化之间的同构。
• 通过完备化与分级Morita等价，厘清代数的退化与非退化情形之间的关系。

提出的方法

• 定义两类代数族：'Hecke族'（推广Hecke代数与q-Schur代数）和'KLR族'（推广KLR代数与加权KLR代数），两者均由秩n与参数q参数化。
• 引入这些代数的形式完备化，使用形式参数h；Hecke侧使用q = qeh，KLR侧使用h来形变Dynkin图。
• 通过保持幂等元的映射，在四种类型（O、W、F、WF）中构造Hecke型与KLR型代数完备化之间的同构。
• 利用图解演算与多项式表示验证同构，特别比较红色线与鬼线涉及的交叉与幂等元。
• 在KLR侧定义分级幂等元（如e′′），使其对应Hecke侧的非稳定幂等元，确保与分级相容。
• 借助已知的Morita等价与分级Morita等价结果（如与Ariki的q-Schur代数的关系），确认分级结构的一致性。

实验结果

研究问题

• RQ1 能否在所有类型（O、W、F、WF）中建立广义Hecke代数与KLR代数之间的统一同构框架？
• RQ2 在完备化下，环型Hecke代数与q-Schur代数的分级表示如何与KLR代数的表示相关联？
• RQ3 形式参数h在统一这些同构中的退化与非退化情形中起什么作用？
• RQ4 在KLR图解中，同构在幂等元约化与鬼线结构下如何表现？
• RQ5 这些同构在多大程度上保持了如O范畴与量子群的 categorified 量子群等范畴结构？

主要发现

• 本文构造了WF型Hecke代数与WF型KLR代数完备化之间的显式同构，推广了Brundan-Kleshchev同构。
• 该同构将Hecke侧的幂等元ǫu映射到KLR侧的对应幂等元eu，保持鬼线与交叉的结构。
• 该映射保持Xr与ψr算子的作用，其关系由(6.4a)与(6.4b)中的显式公式给出，涉及鬼线标签的求和与有理函数。
• 环型q-Schur代数的分级结构通过一个齐次幂等元e′′实现，其与Ariki的分级在分级Morita等价意义下一致。
• 完备化过程确保同构在形式幂级数代数（如bHh与bRh）层面上成立，从而统一了退化与非退化情形。
• 该框架将Cherednik代数Z/eZ ≀ Sn的O范畴作为WF型Hecke代数的特例包含在内，为该范畴提供了新的分级表示。