[论文解读] On the Decomposition Numbers of the Ree Groups 2F4(q^2) in Non-Defining Characteristic

Frank Himstedt|ArXiv.org|Oct 11, 2009

Finite Group Theory Research参考文献 17被引用 4

一句话总结

该论文计算了所有奇素数 $\ell > 3$ 下的单 Ree 群 $^2F_4(q^2)$ 的 ℓ-模分解矩阵，表明其具有下三角形结构，并证明了普通 cuspidal 单值特征标在模 $\ell > 3$ 下的约化是不可约的 Brauer 特征标。利用这些矩阵，论文证明了 $^2F_4(q^2)$ 的非平凡不可约 ℓ-模表示的最小次数等于其普通不可约特征标的最小次数，从而将先前针对循环 Sylow ℓ-子群的结果推广至非循环 Sylow ℓ-子群的情形。

ABSTRACT

We compute the l-modular decomposition matrices of the simple Ree groups 2F4(q^2), where q^2=2^{2n+1} and n is a positive integer, for all primes l > 3 up to some entries in the unipotent characters. Using these matrices we determine the smallest degree of a non-trivial irreducible l-modular representation of 2F4(q^2) for all primes l > 3. We also obtain results on the 3-modular decomposition matrices of 2F4(q^2).

研究动机与目标

• 计算所有奇素数 $\ell > 3$ 下的单 Ree 群 $^2F_4(q^2)$ 的 ℓ-模分解矩阵，其中 Sylow ℓ-子群为非循环群。
• 确定所有 $\ell > 3$ 下 $^2F_4(q^2)$ 的非平凡不可约 ℓ-模表示的最小次数，将此前针对循环 Sylow ℓ-子群的结果加以推广。
• 尽管 3 是 $F_4$ 的坏素数，且 Sylow 3-子群为非交换群，仍研究 3-模分解矩阵的结构。
• 验证 Hiß 和 Geck 关于模 $\ell > 3$ 下 cuspidal 单值特征标的约化为不可约 Brauer 特征标的猜想。

提出的方法

• 使用 Malle 和 CHEVIE 提供的 $^2F_4(q^2)$ 的特征标表，以及先前工作中获得的适当抛物子群的特征标表。
• 通过从抛物子群诱导并与缺陷为 0 的特征标张量，构造投影特征标。
• 计算投影特征标与普通不可约特征标的内积，以逼近分解矩阵。
• 应用 Brauer 特征标基本集的关系以及模形式的 Harish-Chandra 理论，确定矩阵对角线以下的元素。
• 采用 Hecke 代数方法，并应用 Geck、Hiß 和 Malle 关于模形式 Steinberg 特征标的 cuspidality 的定理。
• 使用 Bonnafé 和 Rouquier 的模形式 Jordan 分解方法处理非单值块。

实验结果

研究问题

• RQ1 对于所有素数 $\ell > 3$，$^2F_4(q^2)$ 的 ℓ-模分解矩阵具有何种结构？
• RQ2 如 Hiß 和 Geck 所猜想，$^2F_4(q^2)$ 的所有普通 cuspidal 单值特征标在模 $\ell > 3$ 下的约化是否为不可约 Brauer 特征标？
• RQ3 对于 $\ell > 3$，$^2F_4(q^2)$ 的非平凡不可约 ℓ-模表示的最小次数是多少？
• RQ4 尽管 3 是坏素数且 Sylow 3-子群为非交换群，3-模分解矩阵的行为如何？
• RQ5 对于 $\ell \geq 3$，哪些分解数仍不确定？可为它们建立何种上界？

主要发现

• 所有 $\ell > 3$ 下 $^2F_4(q^2)$ 的 ℓ-模分解矩阵均具有下三角形结构。
• 所有 $\ell > 3$ 下 $^2F_4(q^2)$ 的普通 cuspidal 单值特征标的模 $\ell > 3$ 约化均为不可约 Brauer 特征标，从而证实了 Hiß 和 Geck 的猜想。
• 对于所有 $\ell > 3$，$^2F_4(q^2)$ 的非平凡不可约 ℓ-模表示的最小次数等于其普通不可约特征标的最小次数，即 $d_\ell(G) = d_0(G)$。
• 尽管 3 是坏素数，$^2F_4(q^2)$ 的 3-模分解矩阵仍具有下三角形结构。
• 对于 $\ell \geq 3$，唯一尚未确定的分解数是某些 cuspidal Brauer 特征标在大次数单值特征标约化中的重数，包括 Steinberg 特征标，对此仅能获得依赖于 $q$ 的上界。
• 对于固定的 $q$，分解矩阵可确定所有不可约 ℓ-模 Brauer 特征标，最多存在四个未知次数，且这些次数均大于 $d_0(G)$。