Abstract:We study graphs of polynomial growth from the perspective of asymptotic geometry and descriptive set theory. The starting point of our investigation is a theorem of Krauthgamer and Lee who showed that every connected graph of polynomial growth admits an injective contraction mapping to $(\mathbb Z^n, \|\cdot\|_\infty)$ for some $n\in\mathbb N$. We strengthen and generalize this result in a number of ways. In particular, answering a question of Papasoglu, we construct coarse embeddings from graphs of polynomial growth to $\mathbb Z^n$. Moreover, we only require $n$ to be linear in the asymptotic polynomial growth rate of the graph; this confirms a conjecture of Levin and Linial, London, and Rabinovich "in the asymptotic sense." (The exact form of the conjecture was refuted by Krauthgamer and Lee.) All our results are proved for Borel graphs, which allows us to settle a number of problems in descriptive combinatorics. Roughly, we prove that graphs generated by free Borel actions of $\mathbb Z^n$ are universal for the class of Borel graphs of polynomial growth. This provides a general method for extending results about $\mathbb Z^n$-actions to all Borel graphs of polynomial growth. For example, an immediate consequence of our main result is that all Borel graphs of polynomial growth are hyperfinite, which answers a well-known question in the area. As another illustration, we show that Borel graphs of polynomial growth support a certain combinatorial structure called toast. An important technical tool in our arguments is the notion of padded decomposition from computer science, which is closely related to the concept of asymptotic dimension due to Gromov. Along the way we find an alternative, probabilistic proof of a theorem of Papasoglu that graphs of asymptotic polynomial growth rate $\rho<\infty$ have asymptotic dimension at most $\rho$ and establish the same bound in the Borel setting.

Decomposition complexity growth of finitely generated groups

Decomposition theorems for asymptotic property C and property A

Dynamic asymptotic dimension growth for group actions and groupoids

On Finite Decomposition Complexity of Thompson Group

Gorenstein modules and dimension over large families of infinite groups

Equi-variant and Stable Finite Decomposition Complexity

Growth Problems for Representations of Finite Groups

Finiteness criteria for Gorenstein homological dimension and some invariants of groups

Large-scale geometry of Borel graphs of polynomial growth

Large scale properties for bounded automata groups

New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences

Balls in groups: volume, structure and growth

The decomposition of permutation module for infinite Chevalley groups II

The decomposition theorem and the intersection cohomology of quotients in algebraic geometry

Topological asymptotic dimension

Gorenstein acyclic complexes and finitistic dimensions

Asymptotic dimension for covers with controlled growth

On the dynamic asymptotic dimension of étale groupoids

The Hopf Decomposition

Asymptotic dimension and geometric decompositions in dimensions 3 and 4

The asymptotic dimension of the grand arc graph is infinite