[论文解读] Linear Approximate Groups

Emmanuel Breuillard, Ben Green+1 more|arXiv (Cornell University)|Jan 26, 2010

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

一句话总结

本文证明了在如 $\mathrm{SL}_n(\mathbb{F}_q)$ 和 Chevalley 群这样的线性群中，近似子群要么非常小，要么几乎就是整个群，推广了 Helfgott 对 $\mathrm{SL}_2$ 的结果。证明方法包括维数下降、代数群结构分析以及通过幂零近似子群进行控制，进而应用于膨胀图和有限单线性群的直径界。

ABSTRACT

This is an informal announcement of results to be described and proved in detail in a paper to appear. We give various results on the structure of approximate subgroups in linear groups such as $\SL_n(k)$. 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 is valid for all Chevalley groups $G(\F_q)$.

研究动机与目标

• 对如 $\mathrm{SL}_n(\mathbb{F}_q)$ 和 Chevalley 群 $G(\mathbb{F}_q)$ 这类线性群中的近似子群进行分类，将 Helfgott 的结果从 $\mathrm{SL}_2$ 推广至更高秩情形。
• 证明任何生成群 $\mathrm{SL}_n(\mathbb{F}_q)$ 的 $K$-近似子群，其大小要么有界于 $K^{C}$，要么几乎就是整个群 $\mathrm{SL}_n(\mathbb{F}_q)$。
• 在 $\mathrm{GL}_n(\mathbb{C})$ 中，建立近似子群由幂零近似子群控制的结论，利用代数群结构和可解根部。
• 将该分类结果应用于证明有限单线性群的 Cayley 图具有对数直径界。
• 将 Bourgain-Gamburd 的膨胀图结果推广至所有 Chevalley 群 $G(\mathbb{F}_p)$，表明 $G(\mathbb{Z})$ 的商群可生成膨胀图族。

提出的方法

• 使用维数下降论证，证明 $\mathrm{GL}_n(\mathbb{C})$ 中的 $K$-近似子群 $A$ 在某个复杂度有界的代数子群 $G$ 中是 Zariski-稠密的。
• 应用 Larsen-Pink 不等式，通过其与真子群的交集来控制 $A$ 的大小。
• 通过投影到 $G/\mathrm{Rad}(G)$ 将问题约化至半单情形，其中 $G$ 是由 $A$ 生成的代数群。
• 利用近似单群的分类，并结合在单情形下有 $|A| \leq K^C$ 的事实，来控制半单情形下 $A$ 的大小。
• 通过文献 [2] 的结果，利用一个 $K^{C'}$-近似子群控制 $A$ 在可解根部 $\mathrm{Rad}(G)$ 中的像，而该 $K^{C'}$-近似子群本身又由一个幂零 $K^{C'}$-近似子群控制。
• 借助强逼近定理和 Tits 交替性，建立随机 Cayley 图的对数周长界，从而为膨胀性证明提供支持。

实验结果

研究问题

• RQ1 在何种条件下，$\mathrm{SL}_n(\mathbb{F}_q)$ 的近似子群要么非常小，要么几乎就是整个群？
• RQ2 Helfgott 对 $\mathrm{SL}_2(\mathbb{F}_p)$ 的分类结果能否推广至更高秩的 Chevalley 群 $G(\mathbb{F}_q)$？
• RQ3 如何通过幂零结构控制 $\mathrm{GL}_n(\mathbb{C})$ 中的近似子群？这对其增长性有何含义？
• RQ4 该分类对有限线性群 Cayley 图的直径有何影响？
• RQ5 Bourgain-Gamburd 方法在证明基于 $\mathrm{SL}_2(\mathbb{F}_p)$ 的 Cayley 图具有膨胀性，能否推广至所有 Chevalley 群？

主要发现

• 任何生成 $\mathrm{SL}_n(\mathbb{F}_q)$ 的 $K$-近似子群，其大小要么不超过 $K^C$，要么几乎就是整个群 $\mathrm{SL}_n(\mathbb{F}_q)$，推广了 Helfgott 对 $\mathrm{SL}_2$ 的结果。
• 该结论对所有 Chevalley 群 $G(\mathbb{F}_q)$ 同样成立，且界仅依赖于 $K$ 和 $G$ 的秩。
• $\mathrm{GL}_n(\mathbb{C})$ 中的近似子群由一个 $K^C$-控制的幂零 $K^{C'}$-近似子群控制，确立了其结构层次。
• 每个 $G(\mathbb{F}_p)$ 的 Cayley 图的直径至多为 $C \log^C p$，其中 $C = C(G)$ 依赖于群 $G$。
• 当 $S \subseteq G(\mathbb{Z})$ 生成一个 Zariski-稠密子群时，Cayley 图 $\mathcal{G}(G(\mathbb{F}_p), S_p)$ 随着 $p \to \infty$ 构成一个膨胀图族。
• 这些结果使得仿射筛法可在更广泛的情境下应用，如通过与 Varjú 关于非集中性的研究建立联系所示。