[论文解读] Modular representations of Hecke algebras

Meinolf Geck|ArXiv.org|Nov 22, 2005

Advanced Algebra and Geometry参考文献 58被引用 19

一句话总结

本文通过使用Kazhdan–Lusztig细胞和量子群的规范基，在非半单模设置下，建立了Iwahori–Hecke代数不可约表示的规范参数化。该理论被推广至不等参数情形，证明了分解矩阵的单位三角形性质，并通过晶图对经典类型（包括类型$D_n$和$B_n$）给出了规范基集的显式组合描述，解决了某些特殊情况下的长期猜想。

ABSTRACT

These notes are based on a course given at the EPFL in May 2005. It is concerned with the representation theory of Hecke algebras in the non-semisimple case. We explain the role that these algebras play in the modular representation theory of finite groups of Lie type and survey the recent results which complete the classification of the simple modules. These results rely on the theory of Kazhdan--Lusztig cells in finite Weyl groups (with respect to possibly unequal parameters) and the theory of canonical bases for representations of quantum groups.

研究动机与目标

• 将Iwahori–Hecke代数的单模分类从等参数情形推广至不等参数情形。
• 利用规范基集建立不可约表示的自然参数化。
• 在有限李型群的模表示理论中，证明分解矩阵的单位三角形性质。
• 利用量子群的晶图，提供规范基集的显式组合描述。
• 解决关于类型$B_n$和$D_n$在渐近情形下规范基与细胞理论的猜想。

提出的方法

• 利用具有不等参数的有限Weyl群中的Kazhdan–Lusztig细胞理论，推广了等参数情形下的早期结果。
• 应用量子群$U_v(\hat{\mathfrak{sl}}_l)$的规范基理论，构造规范基集。
• 运用Harish–Chandra级数和诱导表示的自同态代数，将Hecke代数与有限李型群联系起来。
• 通过从类型$B_n$到$D_n$的限制技术，基于前者已知结果，推导出后者的规范基集。
• 利用Jacon和Ariki关于LLT猜想与晶基理论的工作，实现显式参数化。
• 应用渐近情形框架（Lusztig, Bonnafé, Iancu, Geck）验证特定设置下Kazhdan–Lusztig基的猜想性质。

实验结果

研究问题

• RQ1 如何将Iwahori–Hecke代数的单模分类推广至不等参数情形？
• RQ2 在非半单模设置下，规范基集在不可约表示参数化中起什么作用？
• RQ3 Kazhdan–Lusztig细胞与量子群的规范基如何相互作用，以实现对单模的自然索引？
• RQ4 Kazhdan–Lusztig基的猜想性质在哪些情形下成立？能否通过渐近方法验证？
• RQ5 如何利用晶图为类型$B_n$和$D_n$的规范基集提供显式组合描述？

主要发现

• Iwahori–Hecke代数的分解矩阵在规范基集中是单位三角形的，确认了关键结构性质。
• 对于类型$B_n$，不可约表示自然地由$U_v(\hat{\mathfrak{sl}}_l)$的最高权模的晶基标记，提供了规范参数化。
• 在类型$B_n$的渐近情形下，规范基集显式描述为$\Lambda_{2,n}^{({\mathbf{u}})}$，其中${\mathbf{u}} = (0, l/2)$，在例6.9中得出新结果。
• 对于类型$D_n$，规范基集由$\{E^{[\lambda,\mu]} \mid \lambda \neq \mu\} \cup \{E^{[\lambda,\pm]} \mid n \text{ 为偶数且 } \lambda \vdash n/2 \text{ 是 } l/2\text{-正则} \}$给出，如定理8.7所证明。
• $D_3$的规范基集在表3中对不同$b$值显式计算，显示$b=0$给出标准参数化，而$b=4$（渐近情形）给出基于晶图的索引集$\Lambda_{2,3}^\circ$。
• 结果表明，即使Lusztig的猜想性质不成立，通过量子群晶基理论，规范基集的存在性仍可保证，从而确保在所有参数选择下均有稳健的参数化。