[论文解读] Approximate groups, III: the unitary case

Emmanuel Breuillard, Ben Green|arXiv (Cornell University)|Jun 26, 2010

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

一句话总结

该论文证明，对于酉群 $\mathrm{U}_n(\mathbb{C})$ 中的每个 $K$-近似子群，其均被一个 $K^C$-近似子群 $B$ 所控制，且 $B$ 由可同时对角化的矩阵构成，控制因子为 $n^{Cn^3}K^{Cn}$，从而表明此类近似子群几乎为阿贝尔群。该结果通过经典 Jordan 定理的初等推广得出，避免使用模型论或代数几何，且给出了明确、有效的界，与以往的定性结果形成对比。

ABSTRACT

By adapting the classical proof of Jordan's theorem on finite subgroups of linear groups, we show that every approximate subgroup of the unitary group U_n(C) is almost abelian.

研究动机与目标

• 对固定的 $n$，分类酉群 $\mathrm{U}_n(\mathbb{C})$ 中 $K$-近似子群的结构。
• 提供近似子群被阿贝尔型结构控制的显式、有效界，避免依赖超滤子或模型论方法。
• 建立此类近似子群位于连通阿贝尔子群附近的结果，且其在正规化子模阿贝尔子群的商映射下的像受控。
• 为近似群理论中的深奥结果（特别是依赖代数几何或有限单群分类定理的结果）提供更简单、更初等的替代方法。

提出的方法

• 将线性群中有限子群的 Jordan 定理经典证明，推广至 $\mathrm{U}_n(\mathbb{C})$ 中近似子群的设定。
• 利用 Hilbert-Schmidt 范数在 $\mathrm{Mat}_n(\mathbb{C})$ 上定义度量，通过 Besicovitch 覆盖性质实现几何控制。
• 在矩阵空间上应用弱 Besicovitch 常数 $k_{\text{bes}}(X) \leq 3^{2n^2}+1$，以控制覆盖数并控制对称邻域的大小。
• 在 $\mathbb{R}^{2n^2}$ 中使用体积打包论证，控制球内矩阵数量，从而控制近似子群的覆盖。
• 将问题约化为控制近似子群在商群 $N(S)/S$ 中的像，其中 $S$ 为连通阿贝尔子群。
• 利用 Platonov 关于代数群的结果，将拟阿贝尔子群分解为有限部分与连通部分，借助 Collins 对 Jordan 定理的界。

实验结果

研究问题

• RQ1 能否以显式、有效的方式，用阿贝尔子群控制 $\mathrm{U}_n(\mathbb{C})$ 中 $K$-近似子群的结构？
• RQ2 是否存在一种初等证明，表明 $\mathrm{U}_n(\mathbb{C})$ 中近似子群几乎为阿贝尔群，且不依赖模型论或代数几何时？
• RQ3 此类近似子群的控制参数对 $K$ 和 $n$ 的最佳可能依赖关系为何？
• RQ4 基于超滤子的方法所得的界在酉群情形下能否被改进或实现有效化？
• RQ5 能否在控制参数中实现对 $K$ 的多项式依赖，且独立于 $n$？

主要发现

• 每个 $K$-近似子群 $A \subseteq \mathrm{U}_n(\mathbb{C})$ 均被一个由可同时对角化矩阵构成的 $K^C$-近似子群 $B$ 所控制，控制因子为 $n^{Cn^3}K^{Cn}$。
• 在商映射 $\pi: N(S) \to N(S)/S$ 下，$A$ 的像大小至多为 $n^{Cn^4}K^{Cn^2}$，其中 $S$ 为连通阿贝尔子群。
• 控制界是显式且有效的，常数 $C$ 为绝对常数，且可能可计算，与依赖超滤子的先前结果形成对比。
• 该证明避免使用代数群理论、定量代数几何或模型论，仅依赖度量几何与初等群论。
• 该结果表明，满足 $|A^3| \leq K|A|$ 的集合 $A$ 与满足 $|A^2| \leq K|A|$ 的集合具有相同的结构控制，尽管后者仅被控制在连通阿贝尔子群的 $n^{Cn^3}K^{Cn}$ 个左陪集之内。
• 使用了界 $k_{\text{bes}}(\mathbb{R}^{2n^2}) \leq 3^{2n^2}+1$ 来控制矩阵空间中的覆盖数，从而实现主要结构结论。