[论文解读] Growth in finite simple groups of Lie type

László Pyber, Endre Szabó|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|Jan 25, 2010

Advanced Topology and Set Theory参考文献 3被引用 13

一句话总结

本文证明了在有限单李型群中，生成集在乘法下迅速增长，即要么 $|A^3| \gg |A|^{1+\varepsilon}$ 对某个仅依赖于李秩的 $\varepsilon > 0$ 成立，要么 $A^3 = G$。这表明此类群的凯莱图具有多对数直径界，并证实了对有界秩族的巴拜猜想。该结果还表明，当由泽里基稠子群生成时，$SL(d,\mathbb{Z}/m\mathbb{Z})$ 的凯莱图在 $m$ 为无平方因子数时构成一个膨胀图族。

ABSTRACT

We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^(1+epsilon) where epsilon depends only on the Lie rank of L, or AAA=L. This implies that for a family of simple groups L of Lie type the diameter of any Cayley graph is polylogarithmic in |L|. Combining our result on growth with known results of Bourgain,Gamburd and Varjú it follows that if LAMBDA is a Zariski-dense subgroup of SL(d,Z) generated by a finite symmetric set S, then for square-free moduli m which are relatively prime to some number m_0 the Cayley graphs Gamma(SL(d,m),pi_m(S)) form an expander family.

研究动机与目标

• 通过证明多对数直径界，解决巴拜关于有限单李型群凯莱图直径的猜想。
• 建立有限单李型群中对称生成集的增长结果，表明要么该集合迅速增长，要么在三步内生成整个群。
• 将赫尔福格特对 $SL(2,p)$ 和 $SL(3,p)$ 的增长结果推广到所有有界秩的有限单李型群。
• 证明当由泽里基稠子群生成时，$SL(d,\mathbb{Z}/m\mathbb{Z})$（$m$ 为无平方因子数）的凯莱图构成一个膨胀图族。
• 提供一种不依赖加法组合论的群论证明，而是基于代数几何与李理论。

提出的方法

• 使用‘逃离子簇’论证，以控制生成集与极大环面及其正则半单元素的交集。
• 应用二分法论证：若生成集 $A$ 不增长，则要么无法覆盖任何极大环面，要么能覆盖某个固定极大环面的所有共轭。
• 通过分析共轭类与中心化子的大小，利用维数与群的结构推导出 $|A^3|$ 的界。
• 利用极大环面中的正则半单元素唯一属于一个极大环面的性质，实现共轭类之间的不相交性论证。
• 利用代数群及其有限点的结构，将问题约化为在半单群与正规子群中的增长问题。
• 应用代数几何中的关键结果：若一个集合避开低维子簇，则其与这些子簇的交集大小较小。

实验结果

研究问题

• RQ1 每个有限单李型群（秩为 $r$）的对称生成集 $A$ 是否满足 $|A^3| \gg |A|^{1+\varepsilon}$，其中 $\varepsilon > 0$ 仅依赖于 $r$？
• RQ2 对于所有有界秩 $r$ 的有限单李型群，凯莱图 $\Gamma(L,S)$ 的直径是否可被 $C(r)(\log|L|)^{c(r)}$ 有界，其中 $C(r)$ 和 $c(r)$ 仅依赖于李秩 $r$？
• RQ3 该增长结果是否意味着当由 $SL(d,\mathbb{Z})$ 的泽里基稠子群生成时，$SL(d,\mathbb{Z}/m\mathbb{Z})$（$m$ 为无平方因子数）的凯莱图构成一个膨胀图族？
• RQ4 $\varepsilon$ 对李秩 $r$ 的依赖是否必要？在一般情况下能否避免？
• RQ5 该增长结果能否不依赖加法组合论，而仅通过代数群论与几何论证来证明？

主要发现

• 对任意有限单李型群 $L$（秩为 $r$）及其任意对称生成集 $A$，要么 $|A^3| \gg |A|^{1+\varepsilon}$（$\varepsilon > 0$ 仅依赖于 $r$），要么 $A^3 = L$。
• 凯莱图 $\Gamma(L,S)$ 的直径被有界为 $C(r)(\log|L|)^{c(r)}$，其中 $C(r)$ 与 $c(r)$ 仅依赖于李秩 $r$，从而证实了对有界秩族的巴拜猜想。
• 该结果表明，对于由有限对称集 $S$ 生成的 $SL(d,\mathbb{Z})$ 的泽里基稠子群 $\Lambda$，当 $m$ 为无平方因子数且与某 $m_0$ 互素时，凯莱图 $\Gamma(SL(d,\mathbb{Z}/m\mathbb{Z}), \pi_m(S))$ 构成一个膨胀图族，将先前结果推广至所有 $d \geq 2$。
• 构造了一个例子，表明 $\varepsilon$ 对 $r$ 的依赖是必要的：在 $SL(d,3)$ 中，当 $d$ 足够大时，存在大小为 $1.1^d$ 的生成集，使得 $|A^3| < 10|A|$。
• 该证明避免了加法组合论，转而依赖代数几何与群论结构，特别是正则半单元素及其共轭类的行为。
• 确立了根本性的二分法：若 $A$ 不增长，则要么无法覆盖任何极大环面（其与任一环面的交集均较小），要么能覆盖某个固定极大环面的所有共轭（意味着 $|A|$ 接近于 $|L|$）。