Average divisibility in character tables of $\mathrm{GL}_2(\mathbb{F}_q)$

技术摘要：$GL_2(\mathbb{F}_q)$ 特征标表中的平均整除性

问题陈述
本文研究了有限一般线性群族 $G_q = GL_2(\mathbb{F}_q)$（其中 $q$ 为奇素数幂）的特征标表的算术性质。具体而言，作者研究了在代数整数环内考虑整除性时，特征标表中不被固定素数 $\ell$ 整除的条目比例。这一研究受到 Peluse 和 Soundararajan 关于对称群 $S_N$ 的 Miller 猜想研究的启发，后者已经证实，当 $N \to \infty$ 时，$S_N$ 特征标表中几乎所有的条目都能被任何固定的素数 $\ell$ 整除。核心问题在于，当 $q \to \infty$ 时，$GL_2(\mathbb{F}_q)$ 是否也存在类似的现象，或者其行为是否会有显著不同。此外，本文还探讨了复平面上非零特征标值的辐角（角度）的分布情况。

方法论
作者采用了一种基于不可约复表示分类和 $GL_2(\mathbb{F}_q)$ 共轭类分类的结构化方法。

1. 分类： 不可约表示被分为四类：一维表示、主系列表示、Steinberg 扭曲表示和尖点（cuspidal）表示。同样，共轭类也被分为四类：标量类、分裂正则半单类、椭圆类和非半单类（Jordan 类）。
2. 分块分解： 特征标表被分析为一个 $4 \times 4$ 的分块矩阵。作者观察到，对应于一维和 Steinberg 表示的行，以及对应于标量和 Jordan 类的列，都是“小规模”的（规模为 $O(q)$），对总表大小（$O(q^4)$）的贡献密度为零。
3. 主分块： 其渐近行为由两个特征标值通常为非零的大型分块决定：
   • 在分裂正则半单类上求值的由主系列表示构成的块。
   • 在椭圆类上求值的由尖点表示构成的块。
     其他两个大型分块（椭圆类上的主系列表示，以及分裂正则半单类上的尖点表示）则完全由零组成。
4. 整除性分析： 对于这些主导性的非零分块，特征标值取值为单位根之和的形式（例如 $\chi_1(a)\chi_2(b) + \chi_1(b)\chi_2(a)$）。作者利用分圆多项式和单位根的初等性质（特别是关于 $1+\zeta$ 整除性的引理 2.2）来计数特征标值何时能被 $\ell$ 整除。他们证明了这种整除性是一种稀有事件，仅发生于极小规模的参数集。
5. 角度分布： 为了解决辐角的分布问题，作者应用了 Weyl 判准的一个变体。他们通过分析特征标辐角的指数和，利用 $\mathbb{F}_q^\times$ 的特征群对表示集的动作，表明这些和在渐近意义下趋于零，从而证明了等分布性。

主要结果
本文建立了以下定量和渐近结果：

1. 整除性渐近性：
   令 $N_\ell(q)$ 为 $G_q$ 特征标表中不被 $\ell$ 整除的条目数，$M_0(q)$ 为零条目的数量。总条目数为 $(q^2-1)^2$。作者证明：
   $$N_\ell(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   $$M_0(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   因此，所有条目中不被 $\ell$ 整除的比例趋于 $1/2$：
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2} = \frac{1}{2}$$
   此外，非零条目中不被 $\ell$ 整除的比例趋于 1：
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2 - M_0(q)} = 1$$
   该结果对于任何固定的素数幂 $\ell^r$ 同样成立。

2. 角度等分布性：
   令 $P_q(I)$ 表示非零特征标值中其辐角落在区间 $I \subseteq [0, 2\pi]$ 内的比例。作者证明，当 $q \to \infty$ 时，这些辐角是等分布的：
   $$\lim_{q \to \infty} P_q(I) = \frac{b-a}{2\pi}$$
   对于任何区间 $I = [a, b]$。

意义与主张
本文声称展示了对称群（$S_N$）与一般线性群（$GL_2(\mathbb{F}_q)$）特征标的算术统计学之间的根本分歧。

• 与对称群的对比： 虽然在 $N \to \infty$ 时，$S_N$ 特征标表中几乎所有的条目都能被固定素数 $\ell$ 整除，但 $GL_2(\mathbb{F}_q)$ 的极限恰好为 $1/2$。作者将这种差异归因于对于 $GL_2(\mathbb{F}_q)$ 而言，“可整除”的条目主要是那些零条目，而非常规的非零条目几乎从不被 $\ell$ 整除。
• Miller 问题之类似物： 角度等分布的结果被视为 Miller 关于对称群特征标表中非零条目正负号（正 vs 负）分布问题的类似物。由于 $GL_2(\mathbb{F}_q)$ 的特征值通常是复数，因此“符号”问题被替换为“角度分布”问题，作者对后者给出了肯定的回答。
• 方法论区别： 作者指出，他们的证明依赖于对 $GL_2(\mathbb{F}_q)$ 表示和共轭类的显式分类，这与研究对称群时使用的组合划分方法有所不同。

论文最后提出了关于将这些结果扩展到 $GL_n(\mathbb{F}_q)$（对于固定的 $n$ 且 $q \to \infty$，以及对于固定的 $q$ 且 $n \to \infty$）以及其他李型有限群族的开放性问题。