[论文解读] Centers of degenerate cyclotomic Hecke algebras and parabolic category O

Jonathan Brundan|ArXiv.org|Jul 27, 2006

Algebraic structures and combinatorial models参考文献 23被引用 13

一句话总结

本文证明了与复反射群 $B_d(l)$ 相关联的退化共轭赫尔代数的中心恰好由其交换生成元的对称多项式构成，从而实现了其块的完全分类。该结果随后被用于证明：对于 $\mathfrak{gl}_n(\mathbb{C})$ 的抛物范畴 $\mathcal{O}$ 的任意整数块，其中心均由其普遍包络代数 $U(\mathfrak{gl}_n)$ 的中心生成，从而解决了表示论中的一个关键结构性问题。

ABSTRACT

We prove that the center of each degenerate cyclotomic Hecke algebra associated to the complex reflection group of type B_d(l) consists of symmetric polynomials in its commuting generators. The classification of the blocks of the degenerate cyclotomic Hecke algebras is an easy consequence. We then deduce that the center of an integral block of parabolic category O for the Lie algebra gl_n(C) is generated by the center of its universal enveloping algebra.

研究动机与目标

• 确定与复反射群 $B_d(l)$ 相关联的退化共轭赫尔代数中心的结构。
• 利用中心结构对这些代数的块进行分类。
• 建立 $\mathfrak{gl}_n(\mathbb{C})$ 的抛物范畴 $\mathcal{O}$ 中心与其中心普遍包络代数之间的联系。
• 为柯霍诺夫关于范畴化猜想的结果提供表示论基础。

提出的方法

• 利用已知的退化仿射赫尔代数 $H_d$ 的中心结构为朱吉斯-墨菲元素的对称多项式这一事实。
• 通过商掉由 $f(x_1)$ 生成的双边理想（其中 $f$ 为次数为 $l$ 的首一多项式）来定义退化共轭赫尔代数 $H_d^f$。
• 利用从 $H_d$ 到 $H_d^f$ 的自然满同态保持中心结构这一事实，证明 $H_d^f$ 的中心由生成元 $x_1, \dots, x_d$ 的对称多项式构成。
• 应用通过中心特征标对块进行分类的方法，推导出 $H_d^f$ 的块由 $d$ 的 $l$-多分拆参数化。
• 利用范畴 $\mathcal{O}^\mu_\nu$ 与退化共轭赫尔代数商代数模范畴的等价性，将 $\mathcal{O}^\mu_\nu$ 的中心与 $H_d^f$ 的中心联系起来。
• 建立一个包含 $Z(\mathfrak{g})$、$Z(\mathcal{O}^\mu_\nu)$ 以及一个投射生成元的自同态代数的自然映射的交换图，证明从 $Z(\mathfrak{g})$ 到 $Z(\mathcal{O}^\mu_\nu)$ 的映射是满射，且 $Z(\mathcal{O}^\mu_\nu)$ 同构于一个退化共轭赫尔代数的中心。

实验结果

研究问题

• RQ1 退化共轭赫尔代数 $H_d^f$（对应复反射群 $B_d(l)$）的中心结构是什么？
• RQ2 $H_d^f$ 的块如何与 $d$ 的 $l$-多分拆等组合数据对应？
• RQ3 $\mathfrak{gl}_n(\mathbb{C})$ 的抛物范畴 $\mathcal{O}$ 的整数块的中心是否由 $U(\mathfrak{gl}_n)$ 的中心生成？
• RQ4 $\mathcal{O}^\mu_\nu$ 的中心能否与一个退化共轭赫尔代数的中心相等同？
• RQ5 $Z(\mathcal{O}^\mu_\nu)$ 的维数是多少，它与块中不可约模的同构类数有何关系？

主要发现

• 退化共轭赫尔代数 $H_d^f$ 的中心恰好是生成元 $x_1, \dots, x_d$ 的对称多项式子代数。
• 中心 $Z(H_d^f)$ 是一个自由 $R$-模，其基由 $d$ 的 $l$-多分拆索引。
• $H_d^f$ 的块由 $d$ 的 $l$-多分拆分类，每个块对应于由 $x_i$ 的特征值确定的中心特征标。
• 对任意整数中心特征标 $\nu$，自然映射 $m^\mu_\nu: Z(\mathfrak{g}) \to Z(\mathcal{O}^\mu_\nu)$ 是一个满射代数同态。
• $Z(\mathcal{O}^\mu_\nu)$ 同构于一个退化共轭赫尔代数的中心，且其维数等于 $\mathcal{O}^\mu_\nu$ 中不可约模的同构类数。
• 映射 $f^\mu_\nu: Z(\mathcal{O}^\mu_\nu) \to Z(\operatorname{End}_{\mathfrak{g}}((P^\mu \otimes V^{\otimes d})e^\mu_\nu)^{\mathrm{op}})$ 是一个同构，且整个中心图交换，所有映射均为满射。