[论文解读] On the number of simple modules of Iwahori--Hecke algebras of finite Weyl groups

Meinolf Geck|ArXiv.org|May 28, 2004

Advanced Algebra and Geometry参考文献 6被引用 4

一句话总结

本文证明了有限Weyl群的Iwahori–Hecke代数的单模个数是通用的，仅取决于参数 $ e $，其中 $ e $ 定义为满足 $ 1 + q + \cdots + q^{i-1} = 0 $ 的最小整数 $ i \geq 2 $。通过使用GAP中的CHEVIE软件包进行计算验证，并结合表示论中的已知结果，作者证明该个数与特征不为坏素数时，复数域上参数为 $ \zeta_e $（单位根）的群代数的单模个数一致。

ABSTRACT

Let $H_k(W,q)$ be the Iwahori--Hecke algebra associated with a finite Weyl group $W$, where $k$ is a field and $0 eq q \in k$. Assume that the characteristic of $k$ is not ``bad'' for $W$ and let $e$ be the smallest $i \geq 2$ such that $1+q+q^2+... +q^{i-1}=0$. We show that the number of simple $H_k(H,q)$-modules is ``generic'', i.e., it only depends on $e$. The proof uses some computations in the {\sf CHEVIE} package of {\sf GAP} and known results due to Dipper--James, Ariki--Mathas, Rouquier and the author.

研究动机与目标

• 确定有限Weyl群 $ W $ 的Iwahori–Hecke代数 $ H_k(W,q) $ 的单模个数，条件为域的特征满足特定要求。
• 证明该个数与域 $ k $ 和参数 $ q $ 无关，而仅取决于 $ e $，即 $ q $ 在 $ k $ 的乘法群中的阶。
• 验证例外Weyl型 $ E_7, E_8, G_2, F_4, E_6 $ 的单模个数具有通用性，此前该结果尚未在一般情形下完全确立。
• 利用计算代数系统（CHEVIE/GAP）确认有限个关键情形下的单模个数，特别是当 $ e = 2 $ 且 $ \ell = 5,7 $ 时。

提出的方法

• 将 $ e $ 定义为满足 $ \sum_{j=0}^{i-1} q^j = 0 $ 的最小整数 $ i \geq 2 $，若不存在这样的 $ i $，则令 $ e = \infty $。
• 应用Geck–Rouquier（2000）的约化技术，将问题简化为对例外Weyl型有限多个情形的验证。
• 在GAP/CHEVIE中实现程序，计算Hecke代数特殊化特征表的秩，从而得到单模个数。
• 在特征0中将参数 $ q $ 特殊化为单位根 $ \zeta_e $，并与模情形下的单模个数进行比较。
• 应用Dipper–James、Ariki–Mathas及Rouquier在复数域上Hecke代数表示论中的已知结果。
• 验证只要特征 $ \ell $ 不是 $ W $ 的坏素数，单模个数在域特殊化下保持不变。

实验结果

研究问题

• RQ1 Iwahori–Hecke代数 $ H_k(W,q) $ 的单模个数是否仅取决于参数 $ e $，其中 $ e $ 由 $ 1 + q + \cdots + q^{e-1} = 0 $ 定义？
• RQ2 在域特征不是 $ W $ 的坏素数的前提下，单模个数能否以通用方式计算，而与域 $ k $ 和参数 $ q $ 的选择无关？
• RQ3 对于例外Weyl群 $ E_7, E_8, G_2, F_4, E_6 $，单模个数是否等于复Hecke代数在参数 $ \zeta_e $ 下的个数？
• RQ4 坏素数在Iwahori–Hecke代数的表示理论中起什么作用？它们如何影响单模个数？

主要发现

• 单模个数与域 $ k $ 和参数 $ q $ 无关，仅取决于 $ e $，即 $ q $ 在 $ k $ 的乘法群中的阶。
• 当 $ e = 2 $ 且 $ \ell = 5 $ 或 $ 7 $ 时，$ E_7 $ 的单模个数为 12，与复数情形下 $ \zeta_2 = -1 $ 的结果一致。
• 当 $ e = 2 $ 且 $ \ell = 7 $ 时，$ E_8 $ 的单模个数为 23，与复数情形下 $ \zeta_2 = -1 $ 的结果一致。
• 若特征 $ \ell $ 为坏素数，结果不成立，反例表明 $ |\text{Irr}(H_k)| < |\text{Irr}(H_F)| $。
• GAP中的CHEVIE软件包成功通过特征表特殊化计算出单模个数，证实了结果的通用性。
• 证明依赖于Geck–Rouquier的理论约化与例外型的显式计算验证相结合。