Resumen de Sub-Riemannian vs. Euclidean dimension comparison and fractal geometry on Carnot groups

Zoltán M. Balogh, Jeremy T. Tyson, Ben Warhurst

• We solve Gromov's dimension comparison problem for Hausdorff and box counting dimension on Carnot groups equipped with a Carnot�Carathéodory metric and an adapted Euclidean metric. The proofs use sharp covering theorems relating optimal mutual coverings of Euclidean and Carnot�Carathéodory balls, and elements of sub-Riemannian fractal geometry associated to horizontal self-similar iterated function systems on Carnot groups. Inspired by Falconer's work on almost sure dimensions of Euclidean self-affine fractals we show that Carnot�Carathéodory self-similar fractals are almost surely horizontal. As a consequence we obtain explicit dimension formulae for invariant sets of Euclidean iterated function systems of polynomial type. Jet space Carnot groups provide a rich source of examples.