Polylogarithmic bounds in the nilpotent Freiman theorem
Abstract
We show that if $A$ is a finite $K$-approximate subgroup of an $s$-step nilpotent group then there is a finite normal subgroup $H\subset A^{K^{O_s(1)}}$ modulo which $A^{O_s(\log^{O_s(1)}K)}$ contains a nilprogression of rank at most $O_s(\log^{O_s(1)}K)$ and size at least $\exp(-O_s(\log^{O_s(1)}K))|A|$. This partially generalises the close-to-optimal bounds obtained in the abelian case by Sanders, and improves the bounds and simplifies the exposition of an earlier result of the author. Combined with results of Breuillard-Green, Breuillard-Green-Tao, Gill-Helfgott-Pyber-Szabó, and the author, this leads to improved rank bounds in Freiman-type theorems in residually nilpotent groups and certain linear groups of bounded degree.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2018
- DOI:
- 10.48550/arXiv.1812.06735
- arXiv:
- arXiv:1812.06735
- Bibcode:
- 2018arXiv181206735T
- Keywords:
-
- Mathematics - Combinatorics;
- Mathematics - Group Theory;
- Mathematics - Number Theory
- E-Print:
- 16 pages. Exceptionally minor corrections compared to V2. Final version