[论文解读] The structure of approximate groups

Emmanuel Breuillard, Ben Green+1 more|arXiv (Cornell University)|Oct 22, 2011

Geometric and Algebraic Topology参考文献 44被引用 10

一句话总结

本文证明了K-近似群——在群中具有小倍增性质的有限对称集——本质上是有限幂零群，将Freiman-Ruzsa定理推广至非交换群。通过与局部紧致群的对应原理及Gleason型分析的应用，作者表明近似群可被李群良好地近似，从而解决Helfgott与Lindenstrauss的猜想，并得出Gromov定理的初等化改进版本以及广义Margulis引理。

ABSTRACT

Let K >= 1 be a parameter. A K-approximate group is a finite set A in a (local) group which contains the identity, is symmetric, and such that A^2 is covered by K left translates of A. The main result of this paper is a qualitative description of approximate groups as being essentially finite-by-nilpotent, answering a conjecture of H. Helfgott and E. Lindenstrauss. This may be viewed as a generalisation of the Freiman-Ruzsa theorem on sets of small doubling in the integers to arbitrary groups. We begin by establishing a correspondence principle between approximate groups and locally compact (local) groups that allows us to recover many results recently established in a fundamental paper of Hrushovski. In particular we establish that approximate groups can be approximately modeled by Lie groups. To prove our main theorem we apply some additional arguments essentially due to Gleason. These arose in the solution of Hilbert's fifth problem in the 1950s. Applications of our main theorem include a finitary refinement of Gromov's theorem, as well as a generalized Margulis lemma conjectured by Gromov and a result on the virtual nilpotence of the fundamental group of Ricci almost nonnegatively curved manifolds.

研究动机与目标

• 对任意群中的K-近似群结构进行刻画，将Freiman-Ruzsa定理从阿贝尔情形推广至非阿贝尔情形。
• 解决Helfgott与Lindenstrauss提出的猜想，即近似群本质上是有限幂零群。
• 建立近似群与局部紧致群之间的对应关系，从而启用模型论与几何方法。
• 将希尔伯特第五问题中Gleason型论证应用于近似群，推导其结构结果。
• 为几何定理（如Gromov关于多项式增长群的定理）及广义Margulis引理提供初等化版本。

提出的方法

• 引入一个对应原理，将K-近似群与局部紧致（局部）群联系起来，从而可运用拓扑与模型论工具。
• 应用Hrushovski的李群模型定理，表明近似群可被李群近似。
• 定义并分析逃逸范数，利用其构造Gleason型引理，借鉴希尔伯特第五问题解法中的技术。
• 以陪集幂零进步（coset nilprogressions）作为近似群的主要结构模型，对换位子关系与标准型实施控制。
• 建立李群模型的维数界，表明李群的秩受倍增常数K的控制。
• 应用结构定理，推导出几何结果的初等化版本，包括Ricci曲率几乎非负的流形的基本群的虚拟幂零性。

实验结果

研究问题

• RQ1 能否以类似于阿贝尔群中Freiman-Ruzsa定理的方式，对任意群中的K-近似群结构进行分类？
• RQ2 是否每个K-近似群如Helfgott与Lindenstrauss所猜想的那样，本质上是有限幂零群？
• RQ3 近似群能否被李群近似？倍增常数K与李群秩之间有何关系？
• RQ4 希尔伯特第五问题的解法在近似群设定下可多大程度上被适配？
• RQ5 从结构定理可推出哪些初等几何推论，特别是在Gromov定理与Ricci曲率的背景下？

主要发现

• 每个K-近似群在模去一个有限正规子群后为幂零群，即本质上是有限幂零群。
• 通过Hrushovski李群模型定理，近似群可被李群一致近似，且李群的秩受K的控制。
• 建立了Gromov关于多项式增长群定理的初等化版本，表明此类群的增长为多项式，且具有明确的次数界。
• Ricci曲率几乎非负的流形的基本群为虚拟幂零群，证实了Gromov的一个猜想。
• 证明了广义Margulis引理：在近似群设定下，小等距变换的结构由幂零子群控制。
• 确立了陪集幂零进步的多项式增长：|P^m| ≪_{C,r} m^{O_{C,r}(1)} |P|，提供了定量的结构界。