Properness of nilprogressions and the persistence of polynomial growth of given degree

DOI10.19086/DA.5056MaRDI QIDQ4645042zbMATH OpenOpenAlexFDO

Authors Romain Tessera, Matthew C. H. Tointon

Publication date 9 January 2019

Published in Discrete Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1612.05152

Mathematics Subject Classification ID

Arithmetic progressions (11B25) Arithmetic combinatorics; higher degree uniformity (11B30) Nilpotent groups (20F18) Asymptotic properties of groups (20F69) Nilpotent and solvable Lie groups (22E25) Discrete subgroups of Lie groups (22E40)

Abstract: We show that an arbitrary nilprogression can be approximated by a proper coset nilprogression in upper-triangular form. This can be thought of as a nilpotent version of the Freiman-Bilu result that a generalised arithmetic progression can be efficiently contained in a proper generalised arithmetic progression, and indeed an important ingredient in the proof is a Lie-algebra version of the geometry-of-numbers argument at the centre of that result. We also present some applications. We verify a conjecture of Benjamini that if $S$ is a symmetric generating set for a group such that $1inS$ and $|S^n|leM{n}^D$ at some sufficiently large scale $n$ then $S$ exhibits polynomial growth of the same degree $D$ at all subsequent scales, in the sense that $|S^r|l{l}_{M,D}{r}^D$ for every $rgen$. Our methods also provide an important ingredient in a forthcoming companion paper in which we reprove and sharpen a result about scaling limits of vertex-transitive graphs of polynomial growth due to Benjamini, Finucane and the first author. We also note that our arguments imply that every approximate group has a large subset with a large quotient that is Freiman isomorphic to a subset of a torsion-free nilpotent group of bounded rank and step.

Recommendations

• Freiman's theorem in an arbitrary nilpotent group
• Polylogarithmic bounds in the nilpotent Freiman theorem
• Nilprogressions and groups with moderate growth
• Approximate subgroups of residually nilpotent groups
• A finitary version of Gromov's polynomial growth theorem.

Cites work

• A nilpotent Freiman dimension lemma
• An Introduction to the Geometry of Numbers
• Approximate algebraic structure
• Approximate groups. I: The torsion-free nilpotent case
• Approximate groups. II: The solvable linear case
• Approximate groups. III: The unitary case.
• Approximate multiplicative groups in nilpotent Lie groups
• Approximate subgroups of linear groups.
• Freiman's theorem for solvable groups
• Freiman's theorem in an arbitrary abelian group
• Freiman's theorem in an arbitrary nilpotent group
• Generalized arithmetical progressions and sumsets
• Growth and generation in \(\text{SL}_2(\mathbb{Z}/p\mathbb{Z})\).
• Growth in \(\mathrm{SL}_3(\mathbb Z/p\mathbb Z)\).
• Growth in finite simple groups of Lie type
• Growth in groups: ideas and perspectives
• Growth in solvable subgroups of \(\mathrm{GL}_r(\mathbb Z/p\mathbb Z)\).
• scientific article; zbMATH DE number 3425719 (Why is no real title available?)
• scientific article; zbMATH DE number 3758599 (Why is no real title available?)
• scientific article; zbMATH DE number 1315258 (Why is no real title available?)
• scientific article; zbMATH DE number 1315276 (Why is no real title available?)
• scientific article; zbMATH DE number 194915 (Why is no real title available?)
• scientific article; zbMATH DE number 3401201 (Why is no real title available?)
• Inverse theorems for sets and measures of polynomial growth
• Nilprogressions and groups with moderate growth
• On the scaling limit of finite vertex transitive graphs with large diameter
• Product set estimates for non-commutative groups
• Small Doubling in Groups
• Stable group theory and approximate subgroups
• The structure of approximate groups.
• The structure theory of set addition revisited

Cited in

(9)

• A finitary structure theorem for vertex-transitive graphs of polynomial growth
• Explicit universal minimal constants for polynomial growth of groups
• Approximate subgroups of residually nilpotent groups
• Inverse theorems for sets and measures of polynomial growth
• Growth and expansion in algebraic groups over finite fields
• On the Asymptotics of the Growth of 2-Step Nilpotent Groups
• Polylogarithmic bounds in the nilpotent Freiman theorem
• Residually finite groups with uniformly almost flat quotients
• Non-triviality of the phase transition for percolation on finite transitive graphs

This page was built for publication: Properness of nilprogressions and the persistence of polynomial growth of given degree

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645042)