arXiv++ Combinatorics

We develop a fine-scale structural theory for balls of polynomial volume in finitely generated groups. Our main result shows that a polynomial-volume hypothesis on a single ball implies that every larger ball can, after quotienting by a certain canonical finite normal subgroup, be embedded in a lattice of a Lie group whose connected component is nilpotent with sharply bounded index and dimension. These Lie groups and lattices form chains of successive quotients that are essentially unique, giving a quantitative fine-scale analogue of Losert's strengthening of the Mal'cev completion. This describes the fine structure of the group with sharp algebraic and quantitative precision; for example, it leads to sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's polynomial-growth theorem. These results have a wide range of applications in various aspects of the theory of vertex-transitive graphs, including for instance random walks, percolation, and scaling limits. We obtain some of these applications in the present paper, and treat others in companion papers. Some are due to or joint with other authors.