[论文解读] On the cyclotomic Hecke algebras of complex reflection groups

Maria Chlouveraki|ArXiv.org|Oct 3, 2007

Advanced Algebra and Geometry被引用 12

一句话总结

本文通过Rouquier的块理论，建立了一个广义框架，用于在复反射群的分裂数Hecke代数中定义特征族，将Lusztig的经典特征族概念推广至非Coxeter群。证明了这些特征族恰好对应于在合适系数环上的分裂数Hecke代数的块，为Spetses中统一刻画单值表示提供了方法，并解决了此前分解矩阵中的不一致问题。

ABSTRACT

Following the definition of Rouquier for the "families of characters" of a Weyl group and its generalization to the case of complex reflection groups, already appeared in the works of Broue-Kim and Malle-Rouquier, we show that these "families" depend on a numerical datum of the group, its "essential hyperplanes". Using this characterization, we provide the algorithm and the results of the determination of the Rouquier blocks of the cyclotomic Hecke algebras of all exceptional complex reflection groups.

研究动机与目标

• 将Lusztig的特征族概念从Weyl群推广至所有复反射群。
• 解决复反射群的分裂数Hecke代数现有分解矩阵中的不一致问题。
• 通过在数域上的分裂数Hecke代数的块，提供特征族的统一定义。
• 通过修正G5、G13、G9、G10、G32、G34和G36等群的分解矩阵中的已知错误，验证该框架。
• 为利用分裂数Hecke代数定义Spetses中的单值特征提供基础。

提出的方法

• 本文使用Rouquier在系数环上Hecke代数的块理论，将特征族定义为分裂数Hecke代数的块。
• 通过将参数映射为变量y的幂次，对通用Hecke代数进行特化，得到Z_K[y, y^{-1}]上的分裂数Hecke代数。
• 利用braid群在正则点集上的作用所给出的分圆多项式和单值数据，计算代数的Schur元。
• 该框架依赖于对称化迹的存在性以及Tits的形变定理，以确保特化后的半单性。
• 将该理论应用于特定群（如G32、G34、G36），并通过在分裂域上对Schur元进行显式因式分解来验证结果。
• 系统地推导出先前发表的分解矩阵的修正，基于新的基于块的定义。

实验结果

研究问题

• RQ1 如何为非Coxeter型的复反射群的分裂数Hecke代数一致地定义特征族？
• RQ2 在数域上的分裂数Hecke代数的块是否以与Weyl群相同的方式对应于Lusztig风格的特征族？
• RQ3 G5在p=3时的分裂数Hecke代数的正确分解矩阵是什么？它与先前的主张有何不同？
• RQ4 如何在分裂域上对分裂数Hecke代数的Schur元进行因式分解，以验证块结构？
• RQ5 G9、G10、G34和G36的Hecke代数的正确块分解是什么？它们如何解决了先前的错误？

主要发现

• 复反射群的特征族恰好是其在合适系数环上的分裂数Hecke代数的块，推广了Rouquier对Weyl群的结果。
• 对于G32，分裂数Hecke代数的分裂域为Q(ζ3)(X0,X1,X2)，且Schur元的因式分解符合理论预测。
• G5在p=3时的分解矩阵得到修正：一次特征和二次特征不位于同一3-块中，与先前主张相矛盾。
• 对于G13在p=2时，先前的分解矩阵无效：二次特征和四次特征不位于同一2-块中。
• G9和G10的块分解得到修正：原始块结构错误，现提供新的、准确的块结构。
• 对于G34和G36，识别出并补充了两个缺失的M(Z2)型族，解决了先前工作中存在的遗漏。