[论文解读] Splitting fields of characteristic polynomials of random elements in arithmetic groups

Florent Jouve, Emmanuel Kowalski+1 more|arXiv (Cornell University)|Aug 21, 2010

Advanced Algebra and Geometry参考文献 15被引用 7

一句话总结

该论文证明，对于数域上半单代数群的算术子群中的随机元素，其忠实表示的特征多项式的分裂域的伽罗瓦群几乎必然同构于该群的威尔群，且随着随机游走长度的增加，这一概率趋于1。该结果依赖于大筛法、弗罗贝尼乌斯共轭类的等分布性，以及有限马尔可夫链的大偏差估计，从而证明了在半单群情形下，伽罗瓦群在威尔群上的指数集中性。

ABSTRACT

We discuss rather systematically the principle, implicit in earlier works, that for a "random" element in an arithmetic subgroup of a (split, say) reductive algebraic group over a number field, the splitting field of the characteristic polynomial, computed using any faitfhful representation, has Galois group isomorphic to the Weyl group of the underlying algebraic group. Besides tools such as the large sieve, which we had already used, we introduce some probabilistic ideas (large deviation estimates for finite Markov chains) and the general case involves a more precise understanding of the way Frobenius conjugacy classes are computed for such splitting fields (which is related to a map between regular elements of a finite group of Lie type and conjugacy classes in the Weyl group which had been considered earlier by Carter and Fulman for other purposes; we show in particular that the values of this map are equidistributed).

研究动机与目标

• 建立一个一般性原理：半单代数群算术子群中随机元素的特征多项式的分裂域的伽罗瓦群同构于该群的威尔群。
• 将以往零散的结果推广为基于概率和群论工具的系统性框架。
• 量化伽罗瓦群小于预期的概率，表明其随随机游走长度呈指数衰减。
• 分析有限李型群中弗罗贝尼乌斯共轭类的等分布性，将其与威尔群共轭类联系起来。
• 精确描述极限伽罗瓦群 Π(G)，并证明当 G 为分裂群时，其与威尔群 W(G) 一致。

提出的方法

• 通过算术群 Γ 的凯莱图上长随机游走建模随机元素，其中生成集 S 为有限对称集。
• 使用大筛法控制特征多项式分裂域的伽罗瓦群小于预期的概率。
• 应用有限马尔可夫链的大偏差估计，以控制随机游走在群上的混合行为。
• 建立有限李型群中正则元素到威尔群共轭类的映射的等分布性，推广卡特与富尔曼的工作。
• 将特征多项式的分裂域与极大环面的分裂域联系起来，将问题约化为在 G 的分裂基域上的伽罗瓦理论。
• 证明分裂域在分裂基域 k_G 上的伽罗瓦群与威尔群 W(G) 同构，且误差呈指数衰减。

实验结果

研究问题

• RQ1 在半单代数群的算术子群中，随机元素的特征多项式分裂域的伽罗瓦群是什么？
• RQ2 随着随机游走长度的增加，伽罗瓦群的渐近行为如何？
• RQ3 有限李型群中的弗罗贝尼乌斯共轭类在多大程度上与威尔群共轭类等分布？
• RQ4 极限伽罗瓦群 Π(G) 是否可显式描述？在何种条件下其与威尔群 W(G) 一致？
• RQ5 收敛到预期伽罗瓦群的速率如何？能否用指数界进行量化？

主要发现

• 对于半单群 G，随机游走元素的分裂域伽罗瓦群同构于威尔群 W(G) 的概率为 1 + O(c⁻ⁿ)，其中 c > 1，表明指数收敛。
• 在一般重性群情形下，伽罗瓦群同构于包含 W(G) 的有限群的子商群 Π(G)，且当 n → ∞ 时该性质的概率趋于 1。
• 当 G 为分裂群时，群 Π(G) 恰好等于威尔群 W(G)，且分裂域在 k 上的伽罗瓦群与 W(G) 同构，误差呈指数衰减。
• 分裂域在分裂基域 k_G 上的伽罗瓦群与 W(G) 同构，且误差呈指数衰减，确认了在几何分裂情形下的基本原理。
• 建立了有限李型群中正则元素到威尔群共轭类的映射的等分布性，这是筛法论证的核心。
• 随机游走模型使得能够对具有伽罗瓦群 W(G) 的多项式进行具体计算，如构造出长度有界的此类多项式。