[论文解读] Developments on the congruence subgroup problem after the work of Bass, Milnor and Serre

Gopal Prasad, Andrei S. Rapinchuk|ArXiv.org|Sep 9, 2008

Finite Group Theory Research参考文献 44被引用 30

一句话总结

本文综述了巴丝、米尔诺与塞尔在奠基性工作之后，关于线性代数群的同余子群问题的发展。它证明了S-整数环群的有界生成性蕴含S-同余核的有限性（因此也蕴含其中心性），为在直接计算困难的情况下证明同余子群性质提供了新途径。

ABSTRACT

In this survey article we give an overview of the developments on the congruence subgroup and the metaplectic problems after the work of Bass, Milnor and Serre.

研究动机与目标

• 综述巴丝、米尔诺与塞尔开创性工作之后，线性代数群同余子群问题的研究进展。
• 阐明现代结果与技术（特别是有界生成性）如何统一并推广早期发现。
• 研究S-同余核有限的条件，特别是通过S-整数环群的有界生成性。
• 识别将同余子群性质推广至非分裂与非交换群时仍存在的开放问题与挑战。
• 通过有界生成性，将同余子群问题与K-理论、表示论以及卡兹丹性质(T)等更广泛领域联系起来。

提出的方法

• 利用S-整数环群上的S-整数拓扑与S-同余拓扑，将同余子群问题重新表述为这两种拓扑相等的问题。
• 将S-同余核定义为S-整数环群的豪斯多夫完备化之间自然连续同态的核。
• 应用投影群有界生成性的理论，分析S-同余核的结构。
• 运用代数K-理论与群上同调的技术，特别是借鉴Carter-Keller与Tavgen的结果。
• 利用组合群论与初等矩阵的交换关系，验证特定情形下的有界生成性。
• 应用p-进群与表示论的结果，证明在某些设定下，有界生成性蕴含表示刚性与卡兹丹性质(T)。

实验结果

研究问题

• RQ1 在全局域k上半单代数群G满足何种条件时，S-同余核C^S(G)是有限的？
• RQ2 S-整数环群G(O_S)的有界生成性是否可作为同余子群性质的充分条件？
• RQ3 是否存在k-非交换群，使得G(O_S)有界生成，从而C^S(G)有限？
• RQ4 能否在R为代数整数环或多项式环如Z[x]时，证明SL_n(R)具有有界生成性？
• RQ5 有界生成性与离散线性群中的卡兹丹性质(T)及表示刚性有何关联？

主要发现

• S-整数环群Γ = G(O_S)的投影完备化的有界生成性，蕴含S-同余核C^S(G)的有限性。
• 对于在数域上、k-秩大于1的绝对单连通群G，Γ的有界生成性蕴含同余子群性质。
• 当且仅当S-整数环群作为投影群有界生成时，S-同余核C^S(G)为平凡（即同余子群性质成立）。
• 该结果可推广至分裂群、拟分裂群以及某些正交群（例如，当n ≥ 5且Witt指标≥ 2，或指标为1且S中包含非阿基米德赋值时的SO(f)）。
• 对于SL_n(O_S)，n ≥ 3，若初等矩阵有界生成，则S-同余核有限，且可通过交换关系验证。
• 有界生成性蕴含表示刚性，并可估计卡兹丹常数，如Shalom对SL_n(O_S)的工作所示。