[论文解读] Approximate subgroups of linear groups

Emmanuel Breuillard, Ben Green+1 more|arXiv (Cornell University)|May 11, 2010

Finite Group Theory Research参考文献 31被引用 20

一句话总结

本文证明了有限域上线性群的近似子群——例如 SLₙ(𝔽ₚ)——要么非常小，要么几乎等于整个群，推广了 Helfgott 对 n=2,3 的结果。利用代数几何、模型论以及和积现象的工具，作者证明了任何生成 SLₙ(𝔽ₚ) 的 K-近似子群，除非非常小，否则其大小至少为 |SLₙ(𝔽ₚ)|^{1−o(1)}，从而为线性代数群中的近似子群提供了强有力的结构定理。

ABSTRACT

We establish various results on the structure of approximate subgroups in linear groups such as SL_n(k) that were previously announced by the authors. For example, generalising a result of Helfgott (who handled the cases n = 2 and 3), we show that any approximate subgroup of SL_n(F_q) which generates the group must be either very small or else nearly all of SL_n(F_q). The argument generalises to other absolutely almost simple connected (and non-commutative) algebraic groups G over a finite field k. In a subsequent paper, we will give applications of this result to the expansion properties of Cayley graphs.

研究动机与目标

• 对有限域上线性代数群中的近似子群进行分类，将 Helfgott 对 SL₂ 和 SL₃ 的结果推广至更高秩群。
• 建立二分法：任何生成 SLₙ(𝔽ₚ) 的近似子群，要么非常小，要么几乎等于整个群。
• 应用代数几何、模型论以及和积现象的工具，分析近似子群的结构。
• 为后续工作中关于 Cayley 图扩张性质的研究奠定基础。

提出的方法

• 使用 Larsen-Pink 不等式控制代数群中乘积集的增长，适用于近似子群。
• 应用超滤子方法与定量代数几何，分析近似子群的 Zariski 闭包。
• 运用有限域上的和积定理，排除某些构型中的中间增长。
• 使用 Malcev–Platonov 引理控制 GLₙ(ℂ) 中的几乎可解子群，辅助近似子群的分类。
• 改编逃逸子群论证方法，表明非平凡近似子群必须生成大集合。
• 利用代数簇的诺特性，提取极小正规子群，并在非逃逸情形下导出矛盾。

实验结果

研究问题

• RQ1 在何种条件下，SLₙ(𝔽ₚ) 的近似子群会生成整个群，或保持很小？
• RQ2 能否将高秩线性代数群中近似子群的结构分类方式，类比 SL₂ 和 SL₃ 的方法？
• RQ3 和积估计与代数几何如何相互作用，以控制有限域中乘积集的增长？
• RQ4 群的几乎单性在迫使近似子群要么很小要么很大方面起什么作用？
• RQ5 逃逸子群性质能否用于推导出近似子群大小的二分法？

主要发现

• 任何生成 SLₙ(𝔽ₚ) 的 K-近似子群，若不非常小，则当 p→∞ 时，其大小至少为 |SLₙ(𝔽ₚ)|^{1−o(1)}。
• 该二分法适用于所有绝对几乎单的有限域代数群，不仅限于 SLₙ。
• 建立了近似子群的 Larsen-Pink 不等式，并用于控制乘积集的维数。
• 本文证明了一般性结构定理：线性群中的近似子群要么很小，要么接近整个群。
• 该方法依赖于逃逸子群性质，以及利用代数几何排除中间维数子簇。
• 该结果为后续工作中证明有限单群 Cayley 图的扩张性提供了关键要素。