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

技術的要約：$GL_2(\mathbb{F}_q)$ の指標表における平均可分性

問題提起
本論文は、奇数素数冪 $q$ を動く有限一般線形群の族 $G_q = GL_2(\mathbb{F}_q)$ の指標表の算術的性質を調査するものである。具体的には、代数的整数環内における可分性を考慮した上で、固定された素数 $\ell$ で割り切れない指標表の成分の割合を研究している。この問いは、対称群 $S_N$ に関するミラーの予想について、PeluseとSoundararajanが行った最近の研究（$N \to \infty$ のとき、$S_N$ の指標表のほとんどすべての成分が任意の固定された素数 $\ell$ で割り切れることを確立したもの）によって動機付けられている。中心的な問いは、$q \to \infty$ において同様の現象が $GL_2(\mathbb{F}_q)$ でも起こるのか、それとも挙動が大きく異なるのかという点である。さらに、本論文では、複素平面における非ゼロの指標値の引数（角）の分布についても取り扱う。

手法
著者らは、$GL_2(\mathbb{F}_q)$ の既約複素表現および共役類（conjugacy classes）の分類に基づく構造的なアプローチを採用している。

1. 分類: 既約表現は、1次元、主系列（principal series）、ステンバーグ・ツイスト（Steinberg twists）、および尖点（cuspidal）の4つの族に分類される。同様に、共役類もスカラー、分解正則半単純（split regular semisimple）、楕円（elliptic）、および非半単純（ジョルダン/Jordan）の4つの族に分けられる。
2. ブロック分解: 指標表は $4 \times 4$ のブロック行列として分析される。著者らは、1次元表現およびステンバーグ表現に対応する行と、スカラーおよびジョルダン類に対応する列が「小さい」（サイズ $O(q)$）であり、全指標表のサイズ（$O(q^4)$）に対して密度ゼロの寄与しか持たないことを観察している。
3. 支配的ブロック: 漸近的挙動は、指標値が一般に非ゼロとなる2つの大きなブロックによって決定される：
   • 分解正元素（split regular semisimple）類上で評価された主系列表現。
   • 楕円類上で評価された尖点表現。
     他の2つの大きなブロック（楕円類上の主系列表現、および分解正類上の尖点表現）は、すべてゼロで構成されている。
4. 可分性の分析: これらの支配的な非ゼロブロックにおいて、指標値は1のべき根の和（例：$\chi_1(a)\chi_1(b) + \chi_1(b)\chi_1(a)$）の形式をとる。著者らは、円分多項式および1のべき根の初等的な性質（特に $1+\zeta$ の可分性に関する補題2.2）を利用して、これらの和が $\ell$ で割り切れる頻度を数えている。彼らは、このような可分性は稀な事象であり、疎なパラメータ集合においてのみ発生することを示している。
5. 角度分布: 引数の分布に対処するため、著者らはワイルの判定法（Weyl's criterion）の変種を適用する。彼らは、表現の指標群による $\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^r$ に対してもこの結果は成立する。また、非ゼロ成分のうち $\ell$ で割り切れない成分の割合は1に収束する：
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2 - M_0(q)} = 1$$

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)$) の指標表の算術統計学における根本的な相違を実証していると主張している。

• 対称群との対比: $S_N$ の指標表では、 $N \to \infty$ のとき、ほとんどすべての成分が固定された素数 $\ell$ で割り切れるが、$GL_2(\mathbb{F}_q)$ における極限は正確に $1/2$ である。著者らは、この違いの原因は、$GL_2(\mathbb{F}_q)$ において「割り切れる」成分が主にゼロの成分であり、非ゼロの成分はほとんどの場合 $\ell$ で割り切れないことにあると考えている。
• ミラーの問いの類似: 角度の等分布性の結果は、対称群の指標表における非ゼロ成分の符号（正 vs 負）の分布に関するミラーの問いの類似物として提示されている。$GL_2(\mathbb{F}_q)$ の指標値は一般に複素数であるため、「符号」の問題は「角度分布」の問題に置き換えられ、著者らはこれを肯定的に解決している。
• 手法的な相違: 著者らは、自らの証明が、対称群の研究で使用される組合せ論的な分割法とは異なり、$GL_2(\mathbb{F}_q)$ の既約表現および共役類の明示的な分類に基づいていることを指摘している。

本論文は、固定された $n$ に対して $q \to \infty$ とする場合、および固定された $q$ に対して $n \to \infty$ とする場合、ならびに他のリー型の有限群の族へのこれらの結果の拡張に関する未解決の問いを提示して締めくくられている。