Research output: Contribution to journal › Article › peer-review

**DIMENSION RIGIDITY IN CONFORMAL STRUCTURES**657 KB, PDF document

Journal | Advances in Mathematics |
---|---|

Date | Accepted/In press - 29 Dec 2016 |

Date | E-pub ahead of print - 25 Jan 2017 |

Date | Published (current) - 21 Feb 2017 |

Volume | 308 |

Number of pages | 59 |

Pages (from-to) | 1127-1186 |

Early online date | 25/01/17 |

Original language | English |

Let $\Lambda$ be the limit set of a conformal dynamical system, i.e. a Kleinian group acting on either finite- or infinite-dimensional real Hilbert space, a conformal iterated function system, or a rational function. We give an easily expressible sufficient condition, requiring that the limit set is not too much bigger than the radial limit set, for the following dichotomy: $\Lambda$ is either a real-analytic manifold or a fractal in the sense of Mandelbrot (i.e. its Hausdorff dimension is strictly greater than its topological dimension). Our primary focus is on the infinite-dimensional case. An important component of the strategy of our proof comes from the rectifiability techniques of Mayer and Urba\'nski ('03), who obtained a dimension rigidity result for conformal iterated function systems (including those with infinite alphabets). In order to handle the infinite dimensional case, both for Kleinian groups and for iterated function systems, we introduce the notion of pseudorectifiability, a variant of rectifiability, and develop a theory around this notion similar to the theory of rectifiable sets. Our approach also extends existing results in the finite-dimensional case, where it unifies the realms of Kleinian groups, conformal iterated function systems, and rational functions. For Kleinian groups, we improve on the rigidity result of Kapovich ('09) by substantially weakening its hypothesis of geometrical finiteness. Moreover, our proof, based on rectifiability, is entirely different than that of Kapovich, which depends on homological algebra. Another advantage of our approach is that it allows us to use the "demension" of \v{S}tan$'$ko ('69) as a substitute for topological dimension. For example, we prove that any dynamically defined version of Antoine's necklace must have Hausdorff dimension strictly greater than 1 (i.e. the demension of Antoine's necklace).

© 2016 Elsevier Inc. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy.

- math.DS, math.GT

## Programme Grant-New Frameworks in metric Number Theory

Project: Research project (funded) › Research

Find related publications, people, projects, datasets and more using interactive charts.