[论文解读] Strong approximation methods in group theory, an LMS/EPSRC Short course lecture notes

Nikolay Nikolov|ArXiv.org|Mar 28, 2008

Finite Group Theory Research参考文献 7被引用 5

一句话总结

本文针对特征零域上的线性群提出了强逼近的基础方法，重点研究Lubotzky替代：有限生成的线性群要么是几乎可解的，要么源于绝对单代数群的算术子群。关键贡献在于一种结构二分法，使得可通过典型李型有限单群研究其投影完备化。

ABSTRACT

These are the lecture notes for the LMS/EPSRC short course on strong approximation methods in linear groups organized by Dan Segal in Oxford in September 2007.

研究动机与目标

• 建立特征零域上有限生成线性群的结构二分法。
• 发展强逼近技术以理解线性群的投影完备化。
• 将Lubotzky替代作为核心结果，连接群结构与算术群。
• 通过Zariski闭包与算术子群，运用代数几何与数论研究线性群。
• 展示线性群的有限商如何源自算术群的同余商。

提出的方法

• 利用GL_n(K)中线性群的Zariski闭包分析其代数结构。
• 应用强逼近定理，证明在几乎所有素数模下，单连通且绝对单的代数群的算术子群具有在稠密像。
• 运用代数群理论，包括幂零根、导群与半单分解。
• 利用Hilbert零点定理与可构造集，将代数几何与群论性质关联。
• 应用Mal’cev–Platonov与Lie–Kolchin定理分析几乎可解子群与三角化性质。
• 通过投影完备化与同余商的结构，推导子群增长与子群结构。

实验结果

研究问题

• RQ1 在何种条件下，有限生成线性群不是几乎可解的？
• RQ2 算术群的同余商如何反映线性群的投影结构？
• RQ3 线性群的Zariski闭包在多大程度上决定其有限商？
• RQ4 当线性群具有多项式子群增长时，其必然成为几乎可解群的条件是什么？
• RQ5 在何种条件下，线性群能满射到典型李型的有限单群？

主要发现

• Lubotzky替代成立：特征零域上有限生成线性群要么是几乎可解的，要么源于单连通且绝对单代数群的算术子群。
• 对于此类算术群，强逼近定理表明同余商G(Z_S)在几乎所有素数p下满射到G(F_p)的积。
• 对所有除有限多个素数外的p，G(F_p)是固定李型有限单群积的完美中心扩张。
• 若线性群具有多项式子群增长，则Lubotzky替代的(b)类不可能成立，因此群必为几乎可解。
• Lie–Kolchin定理表明：在特征零代数闭域上，任何几乎可解线性群均存在一个仅依赖于次数n的有界指数三角化子群。
• 在特征零域上，若一个有限生成群在所有度数为n的几乎可解线性群类中是剩余的，则其自身必为几乎可解。