[论文解读] Bounds on the number and sizes of conjugacy classes in finite Chevalley groups with Applications to Derangements

Jason Fulman, Robert M. Guralnick|ArXiv.org|Feb 13, 2009

Finite Group Theory Research参考文献 26被引用 5

一句话总结

本文建立了有限Chevalley群中共轭类数量与大小的显式、统一的上界，证明了共轭类数量 $k(G^F)$ 不超过 $27.2q^r$，且当 $q \to \infty$ 时收敛于 $q^r$，并对半单类与幂零类给出了紧致上界。这些结果解决了关于有限单群本原置换作用中错位元比例的Boston-Shalev猜想的强形式版本。

ABSTRACT

We present explicit upper bounds for the number and size of conjugacy classes in finite Chevalley groups and their variations. These results have been used by many authors to study zeta functions associated to representations of finite simple groups, random walks on Chevalley groups, the final solution to the Ore conjecture about commutators in finite simple groups and other similar problems. In this paper, we solve a strong version of the Boston-Shalev conjecture on derangements in simple groups for most of the families of primitive permutation group representations of finite simple groups (the remaining cases are settled in two other papers of the authors and applications are given in a third).

研究动机与目标

• 推导有限Chevalley群中共轭类数量与大小的显式、统一上界，且不依赖于群的秩。
• 解决关于有限单群本生置换作用中错位元比例的Boston-Shalev猜想的强形式版本。
• 为zeta函数、随机游动、换位子理论以及李型有限群的表示理论等应用提供工具。
• 将上界扩展至具有任意外自同构的几乎单群，包括所有类型的群扩张。
• 分析几乎单群中极大子群对共轭类计数的贡献，尤其在错位元背景下的作用。

提出的方法

• 利用Lusztig的幂零类与特征 sheaf 理论，对有限Chevalley群中的共轭类数量进行上界估计。
• 应用Steinberg的张量积定理与表示理论，对几乎单群的极大子群进行分类。
• 根据表示类型与域结构，将极大子群划分为四类（$\mathcal{S}_1$ 至 $\mathcal{S}_4$）。
• 利用与秩相关的增长上界与指数估计，对每类中的共轭类数量进行上界控制。
• 通过定理6.15结合类数与中心化子大小的上界，控制 $G$ 中极大子群的测度。
• 使用生成函数与渐近分析，推导出当 $q \to \infty$ 时 $k(G^F)/q^r$ 的统一收敛结果。

实验结果

研究问题

• RQ1 在 $\mathbb{F}_q$ 上的秩为 $r$ 的有限Chevalley群中，共轭类数量的显式、统一上界是什么？
• RQ2 当 $q \to \infty$ 时，有限Chevalley群中共轭类的大小与数量如何渐近变化？
• RQ3 几乎单群的极大子群在总共轭类计数中的贡献程度如何？能否实现统一上界？
• RQ4 能否利用类数上界，以强形式证明Boston-Shalev关于本生作用中错位元比例的猜想？
• RQ5 经典与例外型Chevalley群的 $k(G^F)$ 精确增长速率是什么？与 $q^r$ 相比如何？

主要发现

• 在 $\mathbb{F}_q$ 上的秩为 $r$ 的有限Chevalley群 $G^F$ 中，共轭类数量 $k(G^F)$ 满足 $k(G^F) \leq 27.2q^r$，且对许多族类有更紧的上界 $15.2q^r$。
• 当 $q \to \infty$ 时，$k(G^F)/q^r \to 1$ 在 $r$ 上一致收敛，且该收敛的定量上界为 $k(G^F) \leq q^r + 68q^{r-1}$。
• 在 $G^F$ 中非半单共轭类的数量至多为 $68q^{r-1}$，表明当 $q$ 足够大时，几乎所有类都是半单的。
• 对于拟单部为秩 $r$ 的Chevalley群 $S$ 的几乎单群 $G$，有 $k(S) \leq 15.2q^r$ 且 $k(G) \leq 100q^r$，并给出了外自同构贡献的显式上界。
• 每个族 $\mathcal{S}_i(G)$ 中所有极大子群的并集在 $G$ 的元素中所占比例可忽略不计：$\mathcal{S}_3$ 为 $O(q^{-r/3})$，$\mathcal{S}_4$ 为 $O(q^{-r/2})$，$\mathcal{S}_2$ 为 $O(r^4(1+\log_q r)/q^{r-1})$。
• Boston-Shalev关于错位元的猜想以强形式得到证明：在本生作用中，无不动点元素的比例被统一地远离零，其上界由共轭类估计导出。