The structure of approximate groups
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 fini...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
2011
|
| _version_ | 1826290999773626368 |
|---|---|
| author | Breuillard, E Green, B Tao, T |
| author_facet | Breuillard, E Green, B Tao, T |
| author_sort | Breuillard, E |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-07T02:52:47Z |
| format | Journal article |
| id | oxford-uuid:ae409a96-e9ab-4d08-917b-61399a92ab4e |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:52:47Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:ae409a96-e9ab-4d08-917b-61399a92ab4e2022-03-27T03:41:16ZThe structure of approximate groupsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:ae409a96-e9ab-4d08-917b-61399a92ab4eSymplectic Elements at Oxford2011Breuillard, EGreen, BTao, TLet 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. |
| spellingShingle | Breuillard, E Green, B Tao, T The structure of approximate groups |
| title | The structure of approximate groups |
| title_full | The structure of approximate groups |
| title_fullStr | The structure of approximate groups |
| title_full_unstemmed | The structure of approximate groups |
| title_short | The structure of approximate groups |
| title_sort | structure of approximate groups |
| work_keys_str_mv | AT breuillarde thestructureofapproximategroups AT greenb thestructureofapproximategroups AT taot thestructureofapproximategroups AT breuillarde structureofapproximategroups AT greenb structureofapproximategroups AT taot structureofapproximategroups |