By the same authors

From the same journal

From the same journal

Dimension rigidity in conformal structures

Research output: Contribution to journalArticlepeer-review



Publication details

JournalAdvances in Mathematics
DateAccepted/In press - 29 Dec 2016
DateE-pub ahead of print - 25 Jan 2017
DatePublished (current) - 21 Feb 2017
Number of pages59
Pages (from-to)1127-1186
Early online date25/01/17
Original languageEnglish


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).

Bibliographical note

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

    Research areas

  • math.DS, math.GT


Discover related content

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

View graph of relations