Abstract
AbstractWe 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}(\mathop {\log }\nolimits^{{O_s}(1)} K)}}$ contains a nilprogression of rank at most ${O_s}(\mathop {\log }\nolimits^{{O_s}(1)} K)$ and size at least $\exp ( - {O_s}(\mathop {\log }\nolimits^{{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.
Publisher
Cambridge University Press (CUP)
Reference28 articles.
1. Growth in groups: ideas and perspectives
2. Inverse theorems for sets and measures of polynomial growth;Tao;Q. J. Math.,2017
3. [11] Green, B. J. . Approximate algebraic structure. Proc. ICM 2014 vol. 1, 341–367.
4. Raconte-moi… les groupes approximatifs;Tointon;Gaz. Math.,2019
5. Freiman's theorem in an arbitrary abelian group