[论文解读] Commensurated subgroups of arithmetic groups, totally disconnected groups and adelic rigidity

Yehuda Shalom, George A. Willis|ArXiv.org|Nov 10, 2009

Advanced Algebra and Geometry参考文献 37被引用 4

一句话总结

该论文通过引入外共轭正规化子性质，建立了算术群的阿代尔刚性，证明了在高秩 $S$-算术群中，共轭子群几乎正规。该研究在特征零情形下正面解决了 Margulis-Zimmer 共轭子群问题，表明所有此类子群均为标准子群或有限群，并通过局部整体原则将其与上刚性及 Deligne 的中心扩张联系起来。

ABSTRACT

Investigations into and around a 30-year old conjecture of Gregory Margulis and Robert Zimmer on the commensurated subgroups of S-arithmetic groups.

研究动机与目标

• 解决特征零下高秩 $S$-算术群的 Margulis-Zimmer 共轭子群问题（CmSP）。
• 建立强固定点性质——外共轭正规化子——使 CmSP 可作为黑箱问题归约为 Margulis 的正规子群定理。
• 通过局部整体原则，将 CmSP 与同余子群问题（CSP）及上刚性统一起来，针对代数群中心扩张的同态。
• 阐明 Deligne 中心扩张在确定 $S$-算术群（特别是有限指数子群）能否提升至完美中心扩张中的作用。
• 通过 $\tilde{G}^{(nc)}_\rho$ 的结构，提供从 $S$-算术群到连通、局部同构群的非平凡同态存在的判别准则。

提出的方法

• 引入外共轭正规化子性质，作为内性质的共轭稳定强化，确保在任意同态下共轭子群几乎正规化。
• 将 Margulis 的正规子群定理作为黑箱使用，将 CmSP 归约为证明 $S$-算术群满足外性质。
• 应用上刚性与射影化技术，分析 $S$-算术群到局部群 $G_v = \bf G(K_v)$ 乘积的中心扩张的同态。
• 利用 Deligne 对 $K$-有理点上代数群的中心扩张构造，分析提升障碍与分裂条件。
• 利用命题 7.8 中 $\tilde{G}^{(nc)}_\rho$ 的结构，判断给定中心扩张是否允许 $S$-算术群的非平凡提升。
• 建立对偶性：从 $S$-算术群 $\Gamma$ 到 $H$ 的非平凡同态存在，当且仅当 $H$ 是 $\tilde{G}^{(nc)}_\rho$ 的商群，通过局部整体原则统一 CmSP 与 CSP。

实验结果

研究问题

• RQ1 每个高秩 $S$-算术群 $Γ$ 的共轭子群是否都为标准 $S'$-算术子群或有限群？
• RQ2 外共轭正规化子性质能否在 $S$-算术群上成立，以确保在有限指数子群下保持稳定？
• RQ3 何种条件下，局部群 $G_v$ 乘积的中心扩张允许 $S$-算术群的非平凡提升？
• RQ4 Deligne 的中心扩张如何与 $S$-算术群的结构相互作用，特别是在有限指数子群上？
• RQ5 是否存在精确的局部整体对应关系，以判断从 $S$-算术群到连通、局部同构群的同态是否存在？

主要发现

• 在特征零下，Margulis-Zimmer 共轭子群问题得到肯定解答：高秩 $S$-算术群的每个共轭子群要么有限，要么为标准子群。
• 外共轭正规化子性质在 $S$-算术群上成立，确保在任意同态下共轭子群几乎正规化，且该性质在有限指数子群下保持稳定。
• 对于 $\Gamma = SL_n(\mathbb{Z}[1/p])$，其在 $\widetilde{SL_n(\mathbb{R})}$ 中的原像 $\tilde{\Gamma}$ 的任意有限指数子群既非中心自由，也非剩余有限；但在 $SL_n(\mathbb{Z})$ 的有限指数子群上，Deligne 的扩张可分裂。
• 在 $SL_n(\mathbb{Z})$ 的有限指数子群 $\Gamma'$ 上，中心扩张 $\pi: \widetilde{SL_n(\mathbb{R})} \to SL_n(\mathbb{R})$ 允许分裂，意味着 $\tilde{\Gamma}'$ 本质上是中心自由且剩余有限的。
• 从 $S$-算术群 $\Gamma$ 到连通、局部同构群 $H$ 的非平凡同态存在，当且仅当 $H$ 是 $\tilde{G}^{(nc)}_\Gamma$ 的商群，建立了提升障碍与存在性之间的精确对偶关系。