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 (Gn,Sn) is a sequence of Cayley graphs such that |Snn| << nD|Sn| , then the sequence (Gn, (1/n)dSn) 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 |Snn| << nD, 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 Snn 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 |Sn| <= MnD|S|.