[論文レビュー] 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$-数論的群における可換部分群がほとんど正規であることを証明する。特徴値がゼロの状況において、マーガリス＝ジンメルの可換部分群問題を肯定的に解決し、すべてのこのような部分群が標準的または有限であることを示し、局所的・大域的原理を通じて補強性とデリーニュの中心拡大とを結びつける。

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$-数論的群において特徴値がゼロの状況で、マーガリス＝ジンメルの可換部分群問題（CmSP）を解決すること。
• CmSP をマーガリスの正規部分群定理としてブラックボックス化できる強力な固定点性質—外部可換子正規化子—を確立すること。
• CmSP を合同部分群問題（CSP）と補強性により、代数群の中心拡大へのホモーモルフィズムに関する局所的・大域的原理を通じて統一すること。
• デリーニュの中心拡大が、$S$-数論的群が有限指数部分群上で完全中心拡大に引き上げられる条件を決定する役割を明確にすること。
• 群 $ ilde{G}^{(nc)}_ ho$ の構造を用いて、$S$-数論的群から連結かつ局所同型な群への非自明なホモーモルフィズムの存在を特定する基準を提供すること。

提案手法

• 内部性質の可換子に安定する強化版として、外部可換子正規化子性質を導入し、任意のホモーモルフィズムにおいて可換部分群がほとんど正規化されることを保証する。
• マーガリスの正規部分群定理をブラックボックスとして用い、CmSP を $S$-数論的群において外部性質が成り立つことを示すことに帰着させる。
• 補強性および射影化技術を用いて、$S$-数論的群から局所群 $G_v = f G(K_v)$ の積の中心拡大へのホモーモルフィズムを分析する。
• デリーニュによる $K$-有理点上の代数群の中心拡大の構成を活用し、引き上げ障害および分裂条件を分析する。
• 命題 7.8 における群 $ ilde{G}^{(nc)}_ ho$ の構造を用いて、与えられた中心拡大が $S$-数論的群の非自明な引き上げを許容するかどうかを決定する。
• 双対性を確立する：$S$-数論的群から $H$ への非自明なホモーモルフィズムが存在するための必要十分条件は、$H$ が $ ilde{G}^{(nc)}_ ho$ の商群であることである。これにより、CmSP と CSP が局所的・大域的原理によって統一される。

実験結果

リサーチクエスチョン

• RQ1 高ランクの $S$-数論的群 $Γ$ の任意の可換部分群は、標準的 $S'$-数論的部分群であるか、有限であるか？
• RQ2 外部可換子正規化子性質は $S$-数論的群に対して成り立つか？ 有限指数部分群においても安定性が保証されるか？
• RQ3 局所群 $G_v$ の積の中心拡大が、$S$-数論的群の非自明な引き上げを許容するのはどのような条件下か？
• RQ4 デリーニュの中心拡大は、特に有限指数部分群上での $S$-数論的群の構造とどのように作用するか？
• RQ5 ある $S$-数論的群から連結かつ局所同型な群へのホモーモルフィズムの存在を特定する明確な局所的・大域的対応関係は存在するか？

主な発見

• マーガリス＝ジンメルの可換部分群問題は特徴値がゼロの状況で肯定的に解決された：高ランクの $S$-数論的群の任意の可換部分群は、有限または標準的である。
• 外部可換子正規化子性質は $S$-数論的群に対して成り立つ。これにより、任意のホモーモルフィズムにおいて可換部分群がほとんど正規化され、有限指数部分群においても安定性が保証される。
• $\Gamma = SL_n(\mathbb{Z}[1/p])$ に対して、$\widetilde{SL_n(\mathbb{R})}$ 内の前像 $\tilde{\Gamma} < \widetilde{SL_n(\mathbb{R})}$ の任意の有限指数部分群は中心を含まず、かつ残留有限でないが、$SL_n(\mathbb{Z})$ の有限指数部分群上ではデリーニュの拡大が分裂する。
• $SL_n(\mathbb{Z})$ の有限指数部分群 $\Gamma'$ 上で、中心拡大 $\pi: \widetilde{SL_n(\mathbb{R})} \to SL_n(\mathbb{R})$ は分裂する。これにより $\tilde{\Gamma}'$ はほとんど中心を含まず、残留有限である。
• $S$-数論的群 $\Gamma$ から連結かつ局所同型な群 $H$ への非自明なホモーモルフィズムが存在するための必要十分条件は、$H$ が $ ilde{G}^{(nc)}_\Gamma$ の商群であることである。これにより、引き上げ障害と存在性の明確な双対性が確立される。