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

1. 研究背景与问题 (Problem)

核心问题：同余子群问题 (Congruence Subgroup Problem, CSP)
该问题旨在研究代数群 $G$ 在 $S$-整数环 $O(S)$ 上的点群 $G(O(S))$ 的有限指数正规子群是否都包含一个同余子群（即由理想定义的子群）。

• 定义： 令 $C_S(G)$ 为同余核（Congruence Kernel）。如果 $C_S(G)$ 是平凡群（即 $\{1\}$），则称 $G(O(S))$ 满足同余子群性质（CSP）。
• Serre 猜想： J.-P. Serre 猜想，对于有限集 $S$，如果 $G$ 的 $S$-秩（$rk_S G$）大于等于 2，则 $C_S(G)$ 是有限群。
• 无限集 $S$ 的情况： 对于无限集 $S$，如果 $G$ 在非阿基米德赋值 $v \in S \setminus V_\infty$ 上是各向同性的（即 $rk_{K_v}G > 0$），Serre 猜想结合之前的计算表明 $C_S(G)$ 应该是平凡的。
• 现有局限： 尽管在 $S$ 为余有限集（cofinite）或广义算术级数（generalized arithmetic progression）减有限集的情况下已得到证明，但对于更一般的无限集 $S$，特别是当 $S$ 仅具有**正狄利克雷密度（positive Dirichlet density）**时，该问题尚未完全解决。

本文目标：
证明当 $S$ 包含所有阿基米德赋值，且 $S$ 与 $G$ 分裂为内型形式的最小伽罗瓦扩张 $M$ 的完全分裂素数集合 $Spl(M/K)$的交集具有正狄利克雷密度时，同余核$C_S(G)$ 是平凡的。

---

2. 主要假设与设定 (Assumptions & Setup)

• 群 $G$： 定义在数域 $K$ 上的绝对几乎单、单连通代数群。
• 扩张 $M$： $G$ 在 $K$ 上成为分裂群的内型形式（inner form）的最小伽罗瓦扩张。
• 集合 $S$： $K$ 的赋值集合，包含所有阿基米德赋值 $V_\infty$。
• 关键条件：
  1. $S$ 不包含任何使得 $G$ 在 $K_v$ 上各向异性（anisotropic，即 $rk_{K_v}G = 0$）的非阿基米德赋值。
  2. $S \cap Spl(M/K)$ 的狄利克雷密度 $d_K(S \cap Spl(M/K)) > 0$。
• 马古利斯 - 普拉托诺夫猜想 (MP)： 假设 $G(K)$ 满足该猜想（关于 $G(K)$ 的正规子群结构）。该猜想在 $G$ 不是 $A_n$ 型内型形式时已证明，且对 $A_n$ 型各向异性内型形式也已证明。

---

3. 方法论与证明策略 (Methodology)

证明的核心在于证明同余核 $C_S(G)$ 是中心的（central），即同余核位于 $S$-算术完备化 $\hat{G}_S$ 的中心。一旦证明其为中心，结合 MP 猜想和之前关于“双曲核”（metaplectic kernel）的计算结果，即可推出 $C_S(G)$ 是平凡的。

证明步骤分解：

3.1 中心化条件 (Centrality Condition)

利用作者之前的工作 [13]，证明 $C_S(G)$ 为中心的一个充分条件是：存在整数 $n \ge 1$，使得对于 $C_S(G)$ 中的任意元素 $x$，其在 $\hat{G}_S$ 中的中心化子 $Z_{\hat{G}_S}(x)$ 在投影 $\pi$ 下的像包含 $\Gamma^n$（其中 $\Gamma = G(O(S))$）。
这等价于证明：对于 $\Gamma$ 的任意有限指数正规子群 $N$ 和任意 $y \in N \cap \Gamma$，有 $Z(N, y)(N \cap \Gamma) \supset \Gamma^n$。

3.2 几乎强逼近 (Almost Strong Approximation, ASA)

引入并应用了关于环面（tori）的几乎强逼近性质。

• 定义： 群 $G$ 关于 $S$ 具有 ASA，如果 $[G(A_S) : \overline{G(K)}]$ 是有限的。
• 关键定理 (Theorem 4.1)： 对于定义在 $K$ 上的 $d$ 维环面 $T$，如果 $S$ 与 $T$ 的分裂域 $P$ 的完全分裂素数集合的交集具有正的上狄利克雷密度 $\delta$，则指数 $[T(A_S) : T(K)]$ 被一个仅依赖于 $\delta$ 和 $d$ 的函数 $\phi(\delta, d)$ 整除。
• 意义： 这允许作者利用 $S$ 的密度性质来控制环面在 $S$-算术群中的指数。

3.3 通用独立环面的构造 (Construction of Generic Independent Tori)

利用作者之前的工作 [10] 构造一组“通用”且“独立”的最大环面。

• 通过选择特定的非阿基米德赋值，构造 $r$ 个最大环面 $T_1, \dots, T_r$。
• 这些环面的分裂域 $K_{T_k}$ 在 $M$ 上线性无关（linearly disjoint），且每个 $K_{T_k}$ 的伽罗瓦群包含 Weyl 群 $W(G, T)$。
• 这一构造确保了可以通过控制 $S$ 中素数的分布，找到满足特定分裂性质的环面。

3.4 密度论据 (Density Argument)

利用切博塔廖夫密度定理（Chebotarev's Density Theorem）和狄利克雷密度的性质（Lemma 3.1-3.5）：

• 将 $S \cap Spl(M/K)$ 分解为与 $Spl(P_k/K)$ 的交集。
• 证明在 $S$ 具有正密度的条件下，必然存在至少一个环面 $T_k$，使得 $S \cap Spl(K_{T_k}/K)$ 也具有正密度。
• 结合 ASA 定理，得出该环面 $T_k$ 在 $S$-算术群中的指数受控。

3.5 综合证明 (Synthesis in Section 6)

• Case 1 (S 几乎包含广义算术级数)： 利用之前的结果 [13], [17] 直接得出。
• Case 2 (S 为一般无限集)：
  1. 选取足够多的赋值 $v_{ij}$ 使得 $G$ 在这些局部域上分裂。
  2. 构造环面 $T_k$ 使得其分裂域 $P_k$ 在 $M$ 上线性无关。
  3. 利用密度引理证明存在某个 $k$，使得 $S \cap Spl(P_k/K)$ 的密度足够大。
  4. 应用 ASA 定理，证明 $T_k(K)$ 在 $T_k(A_S)$ 中的指数被 $n$ 整除。
  5. 利用 $T_k$ 的中心化性质，构造元素证明 $z^n$ 属于 $Z(N, y)(N \cap \Gamma)$，从而满足中心化条件。

---

4. 主要结果 (Key Results)

定理 1.1 (Main Theorem)：
设 $G$ 是定义在数域 $K$ 上的绝对几乎单、单连通代数群，$M$ 是 $G$ 成为分裂群内型形式的最小伽罗瓦扩张。假设 $G$ 满足马古利斯 - 普拉托诺夫猜想 (MP)。如果 $S \subset V_K$ 包含 $V_\infty$，不包含任何使 $G$ 各向异性的赋值，且满足 $d_K(S \cap Spl(M/K)) > 0$，则同余核 $C_S(G)$ 是平凡的（即 $C_S(G) = \{1\}$）。

推论：
对于满足上述条件的群和集合 $S$，$G(O(S))$ 满足经典同余子群性质。

---

5. 创新点与贡献 (Contributions)

1. 推广了 Serre 猜想的验证范围： 将 $S$-算术子群的同余子群性质的证明从“广义算术级数减有限集”推广到了任意具有正狄利克雷密度的集合。这是该方向上的“终极”结果（ultimate result）。
2. 无需分情况讨论： 证明过程是统一的，不依赖于群 $G$ 的具体类型（如 $A_n, B_n$ 等）或具体的代数结构，仅依赖于代数群的一般性质和密度论。
3. 技术融合： 成功结合了以下三个领域的最新进展：
   • 同余核的中心化条件（基于 [13]）。
   • 几乎强逼近（ASA）在环面上的应用（基于 [1], [17] 及作者的新证明）。
   • 通用环面（Generic Tori）的构造（基于 [9], [10], [12]）。
4. 对 MP 猜想的依赖： 虽然证明依赖于 MP 猜想，但 MP 猜想本身在绝大多数情况下（包括所有各向异性内型形式）已被证明，因此该结果在绝大多数实际情形下是成立的。

---

6. 意义 (Significance)

• 理论完整性： 该结果极大地完善了关于 $S$-算术群同余子群性质的理论框架，特别是解决了无限集 $S$ 情形下最一般的情况。
• 方法论启示： 展示了如何利用狄利克雷密度和环面的强逼近性质来解决代数群的全局结构问题。这种方法论可能适用于其他涉及 $S$-算术群性质的问题。
• 对 Serre 猜想的支撑： 为 Serre 关于同余子群性质的著名猜想提供了强有力的额外证据，表明只要 $S$ 足够“大”（正密度）且 $G$ 在 $S$ 上“足够分裂”（各向同性），同余子群性质就成立。

总结：
这篇论文通过巧妙的构造和密度论证，证明了在 $S$ 具有正狄利克雷密度的广泛条件下，简单代数群的 $S$-算术子群满足同余子群性质。这是代数群论和数论交叉领域的一个重要进展。