### A quantitative version of Gromov's theorem

Analysis and Geometry Seminar

5th December 2017, 3:00 pm – 4:00 pm

Howard House, 2nd Floor Seminar Room

In joint work with Matt Tointon, we give an effective proof of the fact that if *(G _{n},S_{n})* is a sequence of Cayley graphs such that |S

_{n}

^{n}| << n

^{D}|S

_{n}| , then the sequence (G

_{n}, (1/n)d

_{Sn}) is relatively compact for the Gromov-Hausdorff topology and every cluster point is a connected nilpotent Lie group equipped with a left-invariant sub-Finsler metric. This enables us to show that the dimension of such a cluster point is bounded by D, and that, under the stronger bound |S

_{n}

^{n}| << n

^{D}, the homogeneous dimension of a cluster point is bounded by D.

Our approach is roughly to use a well-known structure theorem for approximate groups due to Breuillard, Green and Tao to replace S

_{n}

^{n}with a coset nilprogression of bounded rank, and then to use results about nilprogressions from a previous paper of ours to study the ultralimits of such coset nilprogressions. As an application we sharply bound the dimension of the scaling limit of a sequence of vertex-transitive graphs of large diameter. We also recover and effectivise parts of an argument of Tao concerning the further growth of single set S satisfying the bound |S

^{n}| <= Mn

^{D}|S|.

## Comments are closed.