The congruence subgroup property for $S$-arithmetic subgroups of simple algebraic groups when $S$ has positive Dirichlet density

1. 研究の背景と問題設定

研究対象:
数体 $K$ 上で定義された、絶対的に単純かつ単連結な代数群 $G$ と、$K$ の値の集合 $S$（$S$ にはすべてのアルキメデス値が含まれる）に対する $S$-整数環 $O(S)$ 上の点の群 $G(O(S))$。

核心的な問題（合同部分群問題：CSP）:
$G(O(S))$ の有限指数部分群がすべて「合同部分群（congruence subgroup）」を含むかどうかを問う問題。
この問題の解決度は、合同核（Congruence Kernel） $C_S(G)$ の構造によって決まる。

• $C_S(G) = \{1\}$ ならば、古典的な合同部分群性質（CSP）が成り立つ（すべての有限指数部分群が合同部分群を含む）。
• $C_S(G)$ が有限群ならば、CSP は「有限」である。

既存の知見と未解決課題:

• セルの予想（Serre's Conjecture）: $S$ が有限集合で、$S$ における $G$ のランクの和が 2 以上（かつ非アルキメデス値でランクが正）である場合、$C_S(G)$ は有限であるはずである。
• 無限集合 $S$ の場合: $S$ が無限集合（特に $S$ の補集合が有限な場合や、一般化された算術級数から有限集合を除いた場合）に対して、$C_S(G)$ が自明（$\{1\}$）であることは、マルグリス - プラトノフ予想（MP）の下で以前に示されていた。
• 本論文の課題: より一般的な無限集合 $S$ に対して、$C_S(G)$ が自明であることを証明すること。具体的には、$S$ が $M/K$（$G$ が内形式になる最小のガロア拡大）において完全に分裂する非アルキメデス値の集合と交わり、その交差のディリクレ密度が正である場合に焦点を当てている。

2. 主要定理

定理 1.1:
$G$ を数体 $K$ 上の絶対的に単純かつ単連結な代数群、$M$ を $G$ が分裂群の内形式となる最小のガロア拡大とする。$G$ が $K$ 上でマルグリス - プラトノフ予想（MP）を満たすと仮定する。
$S \subset V_K$ が以下の条件を満たすとき、合同核 $C_S(G)$ は自明である（$C_S(G) = \{1\}$）。

1. $S$ はすべてのアルキメデス値を含む。
2. $S$ は $G$ が $K_v$ 上で非等方的（anisotropic、ランク 0）となる非アルキメデス値 $v$ を含まない。
3. $S$ と、$M/K$ において完全に分裂する非アルキメデス値の集合 $\text{Spl}(M/K)$ の交差のディリクレ密度が正である（$d_K(S \cap \text{Spl}(M/K)) > 0$）。

3. 証明の手法と構成

証明は、合同核の**中心性（centrality）**を示すことに帰着される。具体的には、以下の 2 つの主要な構成要素を組み合わせている。

A. 合同核の中心性の条件（Section 2）

• 戦略: $C_S(G)$ が中心拡大であること（すなわち、完全系列 $1 \to C_S(G) \to \hat{G}_S \to G_S \to 1$ が中心的であること）を示せば、MP 仮定の下で $C_S(G)$ がメタプレクティック核 $M(S, G)$ と同型になり、無限 $S$ に対してこれが自明であることが既知の結果（[8]）から導かれる。
• 定理 2.1: 合同核が中心であるための十分条件として、ある整数 $n \ge 1$ が存在し、任意の $x \in C_S(G)$ に対して、$\pi(Z_{\hat{G}_S}(x)) \supset \Gamma^n$ （$\Gamma = G(O(S))$）が成り立つことを示す。
• Proposition 2.4: この条件は、有限指数正規部分群 $N$ とその元 $y$ に対して、$Z(N, y)(N \cap \Gamma) \supset \Gamma^n$ が成り立つことと同値であることを示す。

B. ほぼ強近似（Almost Strong Approximation: ASA）とトーラスの構成（Section 4, 5）

• ほぼ強近似（ASA）: 代数群 $G$ が $S$ に関して ASA を持つとは、$[G(\mathbb{A}_S) : \overline{G(K)}] < \infty$ であることをいう。
• 定理 4.1（トーラスの ASA）: $d$ 次元のトーラス $T$ に対して、$S$ と $T$ の分裂体の完全分裂値の集合の交差のディリクレ密度 $\delta > 0$ ならば、指数 $[T(\mathbb{A}_S) : T(K)]$ は $\delta$ と $d$ のみに依存する数で割り切れる。これは、Y. Cao と Y. Wang の結果を拡張し、上ディリクレ密度を用いて定式化したものである。
• 一般化された独立なトーラスの構成（Section 5）:
  • $G$ のウェール群 $W$ の共役類の数 $c$ と、$S$ の密度に基づき、多数の非アルキメデス値 $v_i^{(j)}$ を選択する。
  • これらの値において $G$ が分裂していることを利用し、Proposition 5.2 を用いて、互いに線形に独立（$M$ 上で線形独立）な最大トーラス $T_1, \dots, T_r$ を構成する。
  • これらのトーラスの分裂体 $K_{T_k}$ は、$M$ 上で線形独立であり、かつ $G$ のウェール群の作用を適切に反映する。

C. 主要定理の証明（Section 6）

• ケース分け:
  • Case 1: $S$ が有限（または補集合が有限）。これは既存の結果（[13], [17]）で解決済み。
  • Case 2: $S$ が無限。
• 証明の流れ:
  1. $S \cap \text{Spl}(M/K)$ の密度 $\omega > 0$ を利用し、Proposition 3.5 を適用して、$r$ 個の独立なトーラス $T_k$ のうち少なくとも一つ $T_k$ が、$S$ とその分裂体の完全分裂値の交差の密度が $\delta = \omega/(2r)$ 以上であることを示す。
  2. 定理 4.1 より、そのトーラス $T_k$ に対して $[T_k(\mathbb{A}_S) : T_k(K)]$ が $n = \phi(\delta, d)$ で割り切れる。
  3. 任意の $z \in \Gamma$ に対して、$z^n$ が $N \cap \Gamma$ と可換な元と合同になることを示すために、$z$ を適当な $N$ の元で共役変換し、$T_k$ の元と関連付ける（Lemma 6.2）。
  4. これにより、Proposition 2.4 の条件 $Z(N, y)(N \cap \Gamma) \supset \Gamma^n$ が満たされ、定理 2.1 により $C_S(G)$ が中心であることが導かれる。
  5. 最終的に、$C_S(G)$ の自明性が結論される。

4. 主要な貢献と新規性

1. 条件の緩和: 従来の結果（$S$ が一般化された算術級数から有限集合を除いた形など）を、正のディリクレ密度を持つより広範な無限集合 $S$ に拡張した。
2. ケースバイケースの排除: 証明は、代数群のタイプ（$A_n, B_n$ など）ごとの個別の検討を必要とせず、一般的な論理構成（トーラスの構成と ASA の利用）に基づいている。
3. ASA の一般化: 無限集合 $S$ に対するトーラスのほぼ強近似（ASA）に関する結果を、上ディリクレ密度を用いて再定式化・拡張し、これが合同核の自明性の証明に決定的な役割を果たした。
4. セルの予想への新たな証拠: 無限 $S$ における合同部分群性質の自明性を示すことで、有限 $S$ におけるセルの予想（$C_S(G)$ が有限であること）に対する強力な支持を提供している。

5. 意義

この論文は、数論的代数群論における古典的な未解決問題の一つである「合同部分群問題」の進展において重要なマイルストーンである。特に、$S$ が無限集合である場合の振る舞いを、ディリクレ密度という解析的な概念と、代数群の構造論（トーラス、ガロア作用）を巧みに組み合わせることで解明した点は画期的である。

また、証明手法が「ケースバイケース」に依存しない一般論であることは、他の代数群や類似の問題への応用可能性を示唆しており、数論的群論の理論的基盤をさらに強化するものとなっている。