Abstract
We show that if \({f\colon X\to Y}\) is a quasisymmetric mapping between Ahlfors regular spaces, then \({dim_H f(E)\leq dim_H E}\) for “almost every” bounded Ahlfors regular set \({E\subseteq X}\). If additionally, \({X}\) and \({Y}\) are Loewner spaces then \({dim_H f(E)=dim_H E}\) for “almost every" Ahlfors regular set \({E\subset X}\). The precise statements of these results are given in terms of Fuglede’s modulus of measures. As a corollary of these general theorems we show that if \({f}\) is a quasiconformal map of \({\mathbb{R}^N}\), \({N\geq 2}\), then for Lebesgue a.e. \({y\in\mathbb{R}^N}\) we have \({dim_H f(y+E) = dim_H E}\). A similar result holds for Carnot groups as well. For planar quasiconformal maps, our general estimates imply that if \({E \subset {\mathbb{R}}}\) is Ahlfors \({d}\)-regular, \({d < 1}\), then some component of \({f(E \times {\mathbb{R}})}\) has dimension at most \({2/(d+1)}\), and we construct examples to show this bound is sharp. In addition, we show there is a \({1}\)-dimensional set \({S\subseteq \mathbb R}\) and planar quasiconformal map \({f}\) such that \({f({\mathbb{R}} \times S)}\) contains no rectifiable sub-arcs. These results generalize work of Balogh et al. (J Math Pures Appl (2)99:125–149, 2013) and answer questions posed in Balogh et al. (J Math Pures Appl (2)99:125–149, 2013) and Capogna et al. (Mapping theory in metric spaces. http://aimpl.org/mappingmetric, 2016).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Assouad P.: Plongements lipschitziens dans \({{\mathbb {R}}^n}\). Bull. Soc. Math. Fr. 111, 429–448 (1983)
Ahlfors L. V.: On quasiconformal mappings. J. Anal. Math. 3, 1–58 (1954)
L. V. Ahlfors. Lectures on quasiconformal mappings. In: University Lecture Series, Vol. 38. American Mathematical Society, Providence (2006).
Badger M.: Beurling’s criterion and extremal metrics for Fuglede modulus.. Ann. Acad. Sci. Fenn. Math. 38(2), 677–689 (2013)
Balogh Z. M., Mattila P., Tyson J.: Grassmannian frequency of Sobolev dimension distortion. Comput. Methods Funct. Theory 14(2–3), 505–523 (2014)
Balogh Z. M., Monti R., Tyson J.: Frequency of Sobolev and quasiconformal dimension distortion. J. Math. Pures Appl. 99(2), 125–149 (2013)
Balogh Z. M., Tyson J., Wildrick K.: Dimension distortion by Sobolev mappings in foliated metric spaces. Anal. Geom. Metr. Spaces 1, 232–254 (2013)
Z. M. Balogh, J. Tyson and K. Wildrick. Frequency of Sobolev dimension distortion of horizontal subgroups of Heisenberg groups. To appear in Ann. Sc. Norm. Super. Pisa Cl. Sci (5) (2016).
Bishop C.J.: A quasisymmetric surface with no rectifiable curves. Proc. Am. Math. Soc. 127(7), 2035–2040 (1999)
L. Capogna, J. Tyson, S. Wenger (editors). Mapping theory in metric spaces. American Institute of Mathematics (2012). http://aimpl.org/mappingmetric.
David G., Toro T.: Reifenberg flat metric spaces, snowballs, and embeddings. Math. Ann. 315(4), 641–710 (1999)
Fuglede B.: Extremal length and functional completion. Acta Math. 98, 171–219 (1957)
J. Garnett and D. Marshall. Harmonic measure. In: New Mathematical Monographs, Vol. 2. Cambridge University Press, Cambridge (2005), pp. xvi+571.
Gehring F.W.: The definitions and exceptional sets for quasiconformal mappings. Ann. Acad. Sci. Fenn. Ser. AI Math. 281, 1–28 (1960)
F.W. Gehring and J.C. Kelly. Quasi-conformal mappings and Lebesgue density. Discontinuous groups and Riemann surfaces (Proc. Conf., Univ. Maryland, College Park, Md., 1973). In: Ann. of Math. Studies, Vol. 79. Princeton Univ. Press, Princeton (1974), pp. 171–179.
Hajlasz P., Koskela P.: Sobolev Met Poincare. Mem. Amer. Math. Soc. 145, 688 (2000)
H. Hakobyan. Conformal dimension: Cantor sets and Fuglede Modulus. Int. Math. Res. Not., (1) (2010), 87–111.
J. Heinonen. Lectures on analysis in metric spaces. In: Universitext. Springer, New York (2001).
Heinonen J., Koskela P.: Quasiconformal maps in metric spaces with controlled geometry. Acta Math. 181, 1–61 (1998)
Heinonen J., Koskela P.: Definitions of quasiconformality. Invent. Math. 120(1), 61–79 (1995)
Heinonen J., Koskela P., Shanmugalingam N., Tyson J.: Sobolev classes of Banach space-valued functions and quasiconformal mappings. J. Anal. Math., 85, 87–139 (2001)
Heinonen J., Rohde S.: The Gehring-Hayman inequality for quasihyperbolic geodesics. Math. Proc. Camb. Philos. Soc. 114(3), 393–405 (1993)
Hencl S., Honzik P.: Dimension of images of subspaces under Sobolev mappings. Ann. Inst. H. Poincare Anal. Non Lineaire, 29, 401–411 (2012)
Hencl S., Honzik P.: Dimension of images of subspaces under mappings in Triebel–Lizorkin spaces. Math. Nachr. 287(7), 748–763 (2014)
Hencl S., Honzik P.: Dimension distortion of images of sets under Sobolev mappings. Ann. Acad. Sci. Fenn. Math. 40, 427–442 (2015)
Korte R., Marola N., Shanmugalingam N.: Quasiconformality, homeomorphisms between metric measure spaces preserving quasiminimizers, and uniform density property. Ark. Mat. 50(1), 111–134 (2012)
Luukkainen J., Saksman E.: Every complete doubling metric space carries a doubling measure. Proc. Am. Math. Soc. 126(2), 531–534 (1998)
Kovalev L.V., Onninen J.: Variation of quasiconformal mappings on lines. Stud. Math. 195(3), 257–274 (2009)
Mackay J.: Assaud dimension of self-affine carpets. Conform. Geom. Dyn. 15, 177–187 (2011)
P. Mattila. Geometry of sets and measures in Euclidean spaces. In: Cambridge Stud. Adv. Math., Vol. 44. Cambridge University Press, Cambridge (1995).
Mattila P., Saaranen P.: Ahlfors–David regular sets and bilipschitz maps. Ann. Acad. Sci. Fenn. Math. 34(2), 487–502 (2009)
Randolph J.: Distances between points of the Cantor set. Am. Math. Mon. 47(8), 549–551 (1940)
Tyson J.: Lowering the Assouad dimension by quasisymmetric mappings. Ill. J. Math. 45(2), 641–656 (2001)
Tyson J.: Sets of minimal Hausdorff dimension for quasiconformal maps. Proc. Am. Math. Soc. 128(11), 3361–3367 (2000)
Tyson J.: Quasiconformality and quasisymmetry in metric measure spaces. Ann. Acad. Sci. Fenn. Math. 23, 525–548 (1998)
J. Väisälä. Lectures on n-dimensional quasiconformal mappings. In: Lecture Notes in Mathematics, Vol. 229. Springer, Berlin (1971).
J. Väisälä. On quasiconformal mappings in space. In: Ann. Acad. Sci. Fenn. Ser. A I No. 298 (1961).
A. L. Volberg and S. V. Konyagin. On measures with the doubling condition. Math. USSR-Izv., 30 (1988), 629–638. (Russian).
Williams M.: Geometric and analytic quasiconformality in metric measure spaces. Proc. Am. Math. Soc. 140, 1251–1266 (2012)
Ziemer W. P.: Extremal length and p-capacity. Mich. Math. J. 16, 43–51 (1969)
Author information
Authors and Affiliations
Corresponding author
Additional information
C. J. Bishop was partially supported by NSF Grant DMS-13-05233. H. Hakobyan was partially supported by Kansas NSF EPSCoR Grant NSF68311.
Rights and permissions
About this article
Cite this article
Bishop, C.J., Hakobyan, H. & Williams, M. Quasisymmetric dimension distortion of Ahlfors regular subsets of a metric space. Geom. Funct. Anal. 26, 379–421 (2016). https://doi.org/10.1007/s00039-016-0368-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-016-0368-5