Galois representations are surjective for almost all Drinfeld modules

技術要約：ほとんどすべてのドリンフェルト加群においてガロア表現は全射である

問題提起
本論文は、有理関数体上のドリンフェルト加群に関連するガロア表現の全射性について扱う。セールの開像定理は、$\mathbb{Q}$上の楕円曲線におけるアデール的ガロア表現が一般線形群の有限指数であることを確立しており、またDuke [Duk97] は、「ほとんどの」楕円曲線には例外的な素数が存在しないこと（すなわち、そのmod-$\ell$表現はすべての$\ell$に対して全射であること）を証明した。これに対し、ドリンフェルト加群に関する同様の分類は、関数体においては発展が遅れていた。具体的には、PinkとRütsche [PR09] が個別のドリンフェルト加群に対するセールの定理の類似性を証明し、Zywina [Zyw11] が全射なアデール像を持つランク2の加群の具体的な例を構成したが、ランク $r \ge 2$ の「ほとんどすべての」ドリンフェルト加群について全射性を確立する統計的な結果は、これまで未知であった。本論文は、$T$-進ガロア表現が密度1の集合に対して全射であることを証明することを目的としている。

手法
証明は、ガロア理論、算術統計学、およびドリンフェルト加群の理論から得られる手法を統合したものである。アプローチは、PinkとRütsche [PR09] による判定法（Proposition 4.2）に依拠しており、これは、その像 $H$ に関する以下の3つの条件を検証することによって、$T$-進表現 $\hat{\rho}_{\phi,T}$ の全射性の問題を還元するものである：

1. mod-$T$ 簡約 $H[0]$ がフル・グループ $GL_r(\mathbb{F}_q)$ であること。
2. 行列式写像が $\mathbb{F}_q\llbracket T \rrbracket^\times$ への全射であること。
3. 第1次次数成分 $H[1]$ が非スカラー行列を含むこと。

手法は主に2つの段階で進行する：

• Mod-$T$ 全射性： 著者は、関数体上のヒルベルトの既約性定理の類似物（[BSE21] を引用）を利用して、密度1のドリンフェルト加群の集合に対してmod-$T$ 表現が全射であることを示す。これにより、条件(1)がほとんどすべての加群で成立することが確立される。行列式の全射性（条件2）は、ヴェイユ・ペアリングの性質およびGekelerによるランク1加群の結果を介して、mod-$T$ 全射性から導かれることが示される。
• 非スカラー条件 ($H[1]$)： 条件(3)を満たすために、本論文は素数 $\mathfrak{l} \neq (T)$ における局所条件を導入する。安定な簡約を持つ加群に対するドリンフェルト–テイトの単化（Theorem 3.2）を分析することにより、著者はドリンフェルト加群の係数に関する特定の合同条件を構成する。具体的には、係数 $g_{r-1}$ の付値が0であり、$g_r$ の付値がある素数 $\mathfrak{l}$ において $p$ で割り切れないような加群の集合 $\Pi_r$ において、剰余体の慣性作用が $T^2$ 捩れ点上で非スカラー行列を生成することが示される。

最後に、標準的な篩法を用いて、集合 $\Pi_r$（およびしたがって条件3を満たすモジュールの集合）が密度1であることを示す。これには、特定の付値制約を満たすタプルの密度を推定すること、および局所密度の積が1に収束することを示す作業が含まれる。

主要な貢献と結果

• 主定理 (Theorem 6.3): 任意の整数 $r \ge 2$ に対して、$A = \mathbb{F}_q[T]$ 上のランク $r$ のドリンフェルト加群 $\phi$ のうち、$T$-進ガロア表現 $\hat{\rho}_{\phi,T}: \text{Gal}(F^{\text{sep}}/F) \to GL_r(\mathbb{F}_q\llbracket T \rrbracket)$ が全射となる集合の密度は1である。
• 先行研究の洗練： この結果は、ランク2において正の密度を確立した著者の以前の研究 [Ray24] を改良したものであり、結果をすべてのランク $r \ge 2$ へ拡張し、結論を密度1（ほとんどすべて）へと強化したものである。
• 技術的統合： 本論文は、ドリンフェルト–テイトの単化を用いて、安定な簡約におけるガロア表現の局所構造の詳細な分析を提供している。これは、加群の係数の付値の性質と、関連する分割体の分岐挙動を明示的に結びつけ、特定の合同条件が、フィルタリングの第1次次数成分における像の中に非スカラー要素を強制することを証明している。

意義と限界
本論文は、ドリンフェルト加群のガロア表現の「平均的な全射性」を確立したと主張しており、これは楕円曲線に関するDukeの結果を反映している。これは、ドリンフェルト加群の算術に関する基礎的な統計的理解を提供するものであり、最大ガロア像が例外ではなく、生成的（ジェネリック）なケースであることを示唆している。

しかし、本論文はその手法の範囲と今後の方向性については控えめな記述となっている：

• アデール的全射性： 著者は、この結果が $T$-進表現に適用されることを明示している。全射性（すべての素数に対して同時）を伴う完全なアデール的ガロア表現を証明することは、依然として未解決かつ困難な問題である。本論文は、表現が異なる素数に対して全射であっても、分割体間の算術的な絡み合いによって、大域的な像がフル・プロダクト群にならない可能性があることを指摘している。
• 手法的な制約： 引数は、例外的な素数を制御するためにラージ・篩（large sieve）に依存している。著者は、楕円曲線（$\mathbb{Q}$上）に関するJones [Jon10] の解析的な推定（フルヴィッツ類数や半整数重みのモジュラー形式を含むもの）には、大域的関数体における既知の類似が存在しないため、それらの証明をドリンフェルトの設定に直接適応させることはできないと述べている。
• 明示的な構成： 本論文は、全射な像を持つ密度1のモジュルの集合の存在を証明しているが、一般的なランク $r$ についてそのようなモジュルの明示的な構成法は提供しておらず、一般的なランクで最大ガロア像を持つ例を構成することは未解決の問題であると述べている。