[论文解读] Growth in solvable subgroups of GL_r(Z/pZ)

Nick Gill, H. A. Helfgott|arXiv (Cornell University)|Aug 31, 2010

Finite Group Theory Research参考文献 26被引用 25

一句话总结

本文为 $\operatorname{GL}_r(\mathbb{Z}/p\mathbb{Z})$ 的子集 $A$ 建立了一种类结构二分法：要么 $A$ 展现强多项式增长（即 $|A_3| \geq C|A|$），要么其高度结构化，位于一个幂零商群为 $S/U_R$ 的可解子群 $S$ 的少数陪集中。关键贡献在于将 $\operatorname{GL}_r(\mathbb{Z}/p\mathbb{Z})$ 中可解子群的增长问题约化至幂零情形，且定量界仅依赖于 $r$，并通过与 Pyber 和 Szabó 的合作将该结果推广至所有子集。

ABSTRACT

Let $K=Z/pZ$ and let $A$ be a subset of $\GL_r(K)$ such that $$ is solvable. We reduce the study of the growth of $A$ under the group operation to the nilpotent setting. Specifically we prove that either $A$ grows rapidly (meaning $|A\cdot A\cdot A|\gg |A|^{1+δ}$), or else there are groups $U_R$ and $S$, with $S/U_R$ nilpotent such that $A_k\cap S$ is large and $U_R\subseteq A_k$, where $k$ is a bounded integer and $A_k = \{x_1 x_2...b x_k : x_i \in A \cup A^{-1} \cup {1}}$. The implied constants depend only on the rank $r$ of $\GL_r(K)$. When combined with recent work by Pyber and Szabó, the main result of this paper implies that it is possible to draw the same conclusions without supposing that $$ is solvable.

研究动机与目标

• 理解当 $\langle A \rangle$ 为可解群时，$A \subseteq \mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ 的子集的增长行为。
• 建立二分法：要么 $A$ 呈现快速增长（即 $|A_3| \geq C|A|$），要么其包含于一个结构良好、商群为幂零的可解子群 $S$ 的少数陪集中。
• 通过构造幂零商群为 $S/U_R$ 的幂零正规子群 $U_R$ 和可解群 $S$，将可解子群中的增长研究约化至幂零情形。
• 通过与 Pyber 和 Szabó 的工作结合，将结果推广至所有子集 $A \subseteq \mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$，证明相同的二分法对任意子集均成立。
• 将结构结果应用于 $C$-近似子群，证明其受具有多项式秩和指数控制的陪集幂零进步控制。

提出的方法

• 使用群作用的改进型和积型结果（命题 2.11）分析环作用与幂零子群之间的相互作用。
• 将可解群分解为极大环（作用者）与被作用的幂零正规子群，利用 $\mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ 的结构。
• 应用三倍引理和覆盖引理（如引理 9.3）通过陪集结构控制集合的增长。
• 通过构造正规子群 $U_R$ 和可解群 $S$，使得 $S/U_R$ 为幂零群，且 $A_k$ 包含 $U_R$，从而将问题约化至幂零情形。
• 利用 Pyber 和 Szabó 的结果，推广出无需假设 $\langle A \rangle$ 为可解群的版本（定理 2），从而去除可解性假设。
• 应用 Tointon 关于近似子群的结果，证明 $C$-近似子群受秩为 $C^{O_r(1)}$、步长至多为 $r$ 的陪集幂零进步控制，且其控制范围为 $\exp(C^{O_r(1)})$，控制依赖仅与 $r$ 和 $C$ 有关。

实验结果

研究问题

• RQ1 当 $A \subseteq \mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ 且 $\langle A \rangle$ 为可解群时，其在何种条件下呈现强增长，即 $|A_3| \geq C|A|$？
• RQ2 当 $A$ 不呈现快速增长时，其结构能否被刻画，特别是以包含于一个商群为幂零的可解子群的少数陪集中？
• RQ3 在多大程度上可以去除对 $\langle A \rangle$ 的可解性假设，从而为 $\mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ 的所有子集建立统一的结构二分法？
• RQ4 如何定量描述 $\mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$ 中 $C$-近似子群的结构，以幂零进步表示？
• RQ5 结构控制的定量依赖关系在秩 $r$ 和近似常数 $C$ 上如何体现？

主要发现

• 对任意 $C \geq 1$，要么 $|A_3| \geq C|A|$，表示强增长；要么 $A$ 包含于 $C^{O_r(1)}$ 个 $S$ 的陪集中，其中 $S$ 为可解子群且 $S/U_R$ 为幂零群。
• 存在 $k \ll_r 1$，使得 $A_k$ 包含一个幂零正规子群 $U_R \lhd \langle A \rangle$，且 $|A_k \cap S| \geq C^{-O_r(1)}|A|$，其中隐含常数仅依赖于 $r$。
• 通过与 Pyber 和 Szabó 的合作，该结果推广至所有子集 $A \subseteq \mathrm{GL}_r(\mathbb{Z}/p\mathbb{Z})$，无需假设 $\langle A \rangle$ 为可解群，得到子群链 $H_1 \lhd H_2 \lhd \langle A \rangle$，其中 $H_2/H_1$ 为幂零群，且 $A_k$ 包含 $H_1$。
• 对 $C$-近似子群，$A$ 受秩为 $C^{O_r(1)}$、步长至多为 $r$ 的陪集幂零进步 $\exp(C^{O_r(1)})$ 控制，且该幂零进步包含于 $A^{C^{O_r(1)}}$ 中，控制仅依赖于 $r$ 和 $C$。
• 结构结果表明，若 $A$ 不呈现快速增长，则 $A$ 包含于一个结构良好可解群的少数陪集中，其数量被 $C^{O_r(1)}$ 控制，当 $C < |A|^{\delta_r}$ 且 $\delta_r > 0$ 时具有实际意义。
• 证明依赖于对幂零群中子群链长度的有界性（长度 $< r^2$），并结合有限域上 Borel 子群与 Sylow 子群的结果，提取有界类的幂零商群。