Showing 1–26 of 26 results for author: Ntalampekos, D

Uniformization of metric surfaces: A survey

Authors: Dimitrios Ntalampekos

Abstract: In this survey we present the most recent developments in the uniformization of metric surfaces, i.e., metric spaces homeomorphic to two-dimensional topological manifolds. We start from the classical conformal uniformization theorem of Koebe and Poincaré. Then we discuss the Bonk-Kleiner theorem on the quasisymmetric uniformization of metric spheres, which marks the beginning of the study of the u… ▽ More In this survey we present the most recent developments in the uniformization of metric surfaces, i.e., metric spaces homeomorphic to two-dimensional topological manifolds. We start from the classical conformal uniformization theorem of Koebe and Poincaré. Then we discuss the Bonk-Kleiner theorem on the quasisymmetric uniformization of metric spheres, which marks the beginning of the study of the uniformization problem on fractal surfaces. The next result presented is Rajala's theorem on the quasiconformal uniformization of metric spheres. We conclude with the final result in this series of works, due to Romney and the author, on the weakly quasiconformal uniformization of arbitrary metric surfaces of locally finite area under no further assumption. △ Less

Submitted 5 May, 2025; originally announced May 2025.

Comments: 37 pages, 8 figures

MSC Class: Primary 30C62; 30C65; 30F10; 30L10; 53A05; Secondary 28A75; 51F99; 53C23; 53C45

Characterization of quasispheres via smooth approximation

Authors: Dimitrios Ntalampekos

Abstract: We prove that every two-dimensional quasisphere is the limit of a sequence of smooth spheres that are uniform quasispheres. In the case of metric spheres of finite area we provide necessary and sufficient geometric conditions for a quasisphere, involving the doubling property, linear local connectivity, the Loewner property, conformal modulus, and reciprocity. In particular, although an arbitrary… ▽ More We prove that every two-dimensional quasisphere is the limit of a sequence of smooth spheres that are uniform quasispheres. In the case of metric spheres of finite area we provide necessary and sufficient geometric conditions for a quasisphere, involving the doubling property, linear local connectivity, the Loewner property, conformal modulus, and reciprocity. In particular, although an arbitrary quasisphere does not satisfy necessarily all of those geometric conditions, we prove that every quasisphere can be approximated by uniform quasispheres that are uniformly doubling, linearly locally connected, 2-Loewner, reciprocal and satisfy a uniform bound for the modulus of annuli. △ Less

Submitted 14 February, 2025; originally announced February 2025.

Comments: 38 pages, 4 figures

MSC Class: Primary 30L10; 30C65; 53C23; Secondary 30F10; 51F99; 53A05

Uniformization of gasket Julia sets

Authors: Yusheng Luo, Dimitrios Ntalampekos

Abstract: The object of the paper is to characterize gasket Julia sets of rational maps that can be uniformized by round gaskets. We restrict to rational maps without critical points on the Julia set. Under these conditions, we prove that a Julia set can be quasiconformally uniformized by a round gasket if and only if it is a fat gasket, i.e., boundaries of Fatou components intersect tangentially. We also p… ▽ More The object of the paper is to characterize gasket Julia sets of rational maps that can be uniformized by round gaskets. We restrict to rational maps without critical points on the Julia set. Under these conditions, we prove that a Julia set can be quasiconformally uniformized by a round gasket if and only if it is a fat gasket, i.e., boundaries of Fatou components intersect tangentially. We also prove that a Julia set can be uniformized by a round gasket with a David homeomorphism if and only if every Fatou component is a quasidisk; equivalently, there are no parabolic cycles of multiplicity 2. Our theorem applies to show that gasket Julia sets and limit sets of Kleinian groups can be locally quasiconformally homeomorphic, although globally this is conjectured to be false. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Comments: 49 pages, 9 figures

MSC Class: Primary 37F10; 37F31; Secondary 30C62; 37F30

Piecewise quasiconformal dynamical systems of the unit circle

Authors: Yusheng Luo, Dimitrios Ntalampekos

Abstract: We study piecewise quasiconformal covering maps of the unit circle. We provide sufficient conditions so that a conjugacy between two such dynamical systems has a quasiconformal or David extension to the unit disk. Our main result generalizes the main result of arXiv:2010.11256, which deals with piecewise analytic maps. As applications, we provide a classification of piecewise quasiconformal maps o… ▽ More We study piecewise quasiconformal covering maps of the unit circle. We provide sufficient conditions so that a conjugacy between two such dynamical systems has a quasiconformal or David extension to the unit disk. Our main result generalizes the main result of arXiv:2010.11256, which deals with piecewise analytic maps. As applications, we provide a classification of piecewise quasiconformal maps of the circle up to quasisymmetric conjugacy, we prove a general conformal mating theorem for Blaschke products, and we study the quasiconformal geometry of parabolic basins. △ Less

Submitted 21 November, 2024; originally announced November 2024.

Comments: 38 pages, 9 figures

MSC Class: Primary 30J10; 37F10; 37F31; Secondary 30C62; 30C65

Metric surfaces and conformally removable sets in the plane

Authors: Dimitrios Ntalampekos

Abstract: We characterize conformally removable sets in the plane with the aid of the recent developments in the theory of metric surfaces. We prove that a compact set in the plane is $S$-removable if and only if there exists a quasiconformal map from the plane onto a metric surface that maps the given set to a set of linear measure zero. The statement fails if we consider maps into the plane rather than me… ▽ More We characterize conformally removable sets in the plane with the aid of the recent developments in the theory of metric surfaces. We prove that a compact set in the plane is $S$-removable if and only if there exists a quasiconformal map from the plane onto a metric surface that maps the given set to a set of linear measure zero. The statement fails if we consider maps into the plane rather than metric surfaces. Moreover, we prove that a set is $S$-removable (resp. $CH$-removable) if and only if every homeomorphism from the plane onto a metric surface (resp. reciprocal metric surface) that is quasiconformal in the complement of the given set is quasiconformal everywhere. △ Less

Submitted 30 August, 2024; originally announced August 2024.

Comments: 14 pages, 3 figures

MSC Class: Primary 30L10; Secondary 30C35; 30C62

Uniformization of Gromov hyperbolic domains by circle domains

Authors: Christina Karafyllia, Dimitrios Ntalampekos

Abstract: We prove that a domain in the Riemann sphere is Gromov hyperbolic if and only if it is conformally equivalent to a uniform circle domain. This resolves a conjecture of Bonk--Heinonen--Koskela and also verifies Koebe's conjecture (Kreisnormierungsproblem) for the class of Gromov hyperbolic domains. Moreover, the uniformizing conformal map from a Gromov hyperbolic domain onto a circle domain is uniq… ▽ More We prove that a domain in the Riemann sphere is Gromov hyperbolic if and only if it is conformally equivalent to a uniform circle domain. This resolves a conjecture of Bonk--Heinonen--Koskela and also verifies Koebe's conjecture (Kreisnormierungsproblem) for the class of Gromov hyperbolic domains. Moreover, the uniformizing conformal map from a Gromov hyperbolic domain onto a circle domain is unique up to Möbius transformations. We also undertake a careful study of the geometry of inner uniform domains in the plane and prove the above uniformization and rigidity results for such domains. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 27 pages, 1 figure

MSC Class: Primary 30C62; 30C65; Secondary 30C35

Exhaustions of circle domains

Authors: Dimitrios Ntalampekos, Kai Rajala

Abstract: Koebe's conjecture asserts that every domain in the Riemann sphere is conformally equivalent to a circle domain. We prove that every domain $Ω$ satisfying Koebe's conjecture admits an $\textit{exhaustion}$, i.e., a sequence of interior approximations by finitely connected domains, so that the associated conformal maps onto finitely connected circle domains converge to a conformal map $f$ from $Ω$… ▽ More Koebe's conjecture asserts that every domain in the Riemann sphere is conformally equivalent to a circle domain. We prove that every domain $Ω$ satisfying Koebe's conjecture admits an $\textit{exhaustion}$, i.e., a sequence of interior approximations by finitely connected domains, so that the associated conformal maps onto finitely connected circle domains converge to a conformal map $f$ from $Ω$ onto a circle domain. Thus, if Koebe's conjecture is true, it can be proved by utilizing interior approximations of a domain. The main ingredient in the proof is the construction of $\textit{quasiround}$ exhaustions of a given circle domain $Ω$. In the case of such exhaustions, if $\partial Ω$ has area zero then $f$ is a Möbius transformation. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Comments: 25 pages, 5 figures

Lipschitz-Volume rigidity and Sobolev coarea inequality for metric surfaces

Authors: Damaris Meier, Dimitrios Ntalampekos

Abstract: We prove that every 1-Lipschitz map from a closed metric surface onto a closed Riemannian surface that has the same area is an isometry. If we replace the target space with a non-smooth surface, then the statement is not true and we study the regularity properties of such a map under different geometric assumptions. Our proof relies on a coarea inequality for continuous Sobolev functions on metric… ▽ More We prove that every 1-Lipschitz map from a closed metric surface onto a closed Riemannian surface that has the same area is an isometry. If we replace the target space with a non-smooth surface, then the statement is not true and we study the regularity properties of such a map under different geometric assumptions. Our proof relies on a coarea inequality for continuous Sobolev functions on metric surfaces that we establish, and which generalizes a recent result of Esmayli--Ikonen--Rajala. △ Less

Submitted 12 May, 2023; originally announced May 2023.

Comments: 28 pages

MSC Class: Primary 53C23; 53C45; Secondary 30C65; 53A05

Journal ref: J. Geom. Anal. 34 (2024), no. 5, Paper No. 128, 30pp

CNED sets: countably negligible for extremal distances

Authors: Dimitrios Ntalampekos

Abstract: The author has recently introduced the class of CNED sets in Euclidean space, generalizing the classical notion of NED sets, and shown that they are quasiconformally removable. A set $E$ is CNED if the conformal modulus of a curve family is not affected when one restricts to the subfamily intersecting $E$ at countably many points. We prove that several classes of sets that were known to be removab… ▽ More The author has recently introduced the class of CNED sets in Euclidean space, generalizing the classical notion of NED sets, and shown that they are quasiconformally removable. A set $E$ is CNED if the conformal modulus of a curve family is not affected when one restricts to the subfamily intersecting $E$ at countably many points. We prove that several classes of sets that were known to be removable are also CNED, including sets of $σ$-finite Hausdorff $(n-1)$-measure and boundaries of domains with $n$-integrable quasihyperbolic distance. Thus, this work puts in common framework many known results on the problem of quasiconformal removability and suggests that the CNED condition should also be necessary for removability. We give a new necessary and sufficient criterion for closed sets to be (C)NED. Applying this criterion, we show that countable unions of closed (C)NED sets are (C)NED. Therefore we enlarge significantly the known classes of quasiconformally removable sets. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 48 pages, 5 figures; this paper is the second part of arXiv:2111.02918; exposition shortened and results slightly improved

MSC Class: Primary 30C62; 30C65; Secondary 30C35; 30C75; 30C85; 31A15; 31B15; 46E35

Journal ref: Selecta Math. (N.S.) 30 (2024), no. 4, Paper No. 61, 57pp

Rigidity and continuous extension for conformal maps of circle domains

Authors: Dimitrios Ntalampekos

Abstract: We present sufficient conditions so that a conformal map between planar domains whose boundary components are Jordan curves or points has a continuous or homeomorphic extension to the closures of the domains. Our conditions involve the notions of cofat domains and CNED sets, i.e., countably negligible for extremal distance, recently introduced by the author. We use this result towards establishing… ▽ More We present sufficient conditions so that a conformal map between planar domains whose boundary components are Jordan curves or points has a continuous or homeomorphic extension to the closures of the domains. Our conditions involve the notions of cofat domains and CNED sets, i.e., countably negligible for extremal distance, recently introduced by the author. We use this result towards establishing conformal rigidity of a class of circle domains. A circle domain is conformally rigid if every conformal map onto another circle domain is the restriction of a Möbius transformation. We show that circle domains whose point boundary components are CNED are conformally rigid. This result is the strongest among all earlier works and provides substantial evidence towards the rigidity conjecture of He-Schramm, relating the problems of conformal rigidity and removability. △ Less

Submitted 10 October, 2022; originally announced October 2022.

Comments: 18 pages, 2 figures

MSC Class: Primary 30C62; 30C65; Secondary 30C35

Journal ref: Trans. Amer. Math. Soc. 376 (2023), no. 7, 5221-5239

Conformal uniformization of planar packings by disk packings

Authors: Dimitrios Ntalampekos

Abstract: A Sierpiński packing in the $2$-sphere is a countable collection of disjoint, non-separating continua with diameters shrinking to zero. We show that any Sierpiński packing by continua whose diameters are square-summable can be uniformized by a disk packing with a packing-conformal map, a notion that generalizes conformality in open sets. Being special cases of Sierpiński packings, Sierpiński carpe… ▽ More A Sierpiński packing in the $2$-sphere is a countable collection of disjoint, non-separating continua with diameters shrinking to zero. We show that any Sierpiński packing by continua whose diameters are square-summable can be uniformized by a disk packing with a packing-conformal map, a notion that generalizes conformality in open sets. Being special cases of Sierpiński packings, Sierpiński carpets and some domains and can be uniformized by disk packings as well. As a corollary of the main result, the conformal loop ensemble (CLE) carpets can be uniformized conformally by disk packings, answering a question of Rohde-Werness. △ Less

Submitted 30 September, 2022; originally announced October 2022.

Comments: 48 pages, 7 figures

MSC Class: Primary 30C20; 30C65; Secondary 30C35; 30C62

Journal ref: Adv. Math. 428 (2023), Paper No. 109159, 58pp

Polyhedral approximation and uniformization for non-length surfaces

Authors: Dimitrios Ntalampekos, Matthew Romney

Abstract: We prove that any metric surface (that is, metric space homeomorphic to a 2-manifold with boundary) with locally finite Hausdorff 2-measure is the Gromov-Hausdorff limit of polyhedral surfaces with controlled geometry. We use this result, together with the classical uniformization theorem, to prove that any metric surface homeomorphic to the 2-sphere with finite Hausdorff 2-measure admits a weakly… ▽ More We prove that any metric surface (that is, metric space homeomorphic to a 2-manifold with boundary) with locally finite Hausdorff 2-measure is the Gromov-Hausdorff limit of polyhedral surfaces with controlled geometry. We use this result, together with the classical uniformization theorem, to prove that any metric surface homeomorphic to the 2-sphere with finite Hausdorff 2-measure admits a weakly quasiconformal parametrization by the Riemann sphere, answering a question of Rajala-Wenger. These results have been previously established by the authors under the assumption that the metric surface carries a length metric. As a corollary, we obtain new proofs of the uniformization theorems of Bonk-Kleiner for quasispheres and of Rajala for reciprocal surfaces. Another corollary is a simplification of the definition of a reciprocal surface, which answers a question of Rajala concerning minimal hypotheses under which a metric surface is quasiconformally equivalent to a Euclidean domain. △ Less

Submitted 2 June, 2022; originally announced June 2022.

Comments: 50 pages, 4 figures

MSC Class: 53C45; 30F10 (Primary); 30C65; 53A05 (Secondary)

Metric definition of quasiconformality and exceptional sets

Authors: Dimitrios Ntalampekos

Abstract: We show that a homeomorphism of Euclidean space is quasiconformal if and only if at each point there exists a sequence of uncentered open sets with bounded eccentricity shrinking to that point whose images also have bounded eccentricity. This generalizes the metric definition of quasiconformality of Gehring that uses balls instead. We also study exceptional sets for this definition, in connection… ▽ More We show that a homeomorphism of Euclidean space is quasiconformal if and only if at each point there exists a sequence of uncentered open sets with bounded eccentricity shrinking to that point whose images also have bounded eccentricity. This generalizes the metric definition of quasiconformality of Gehring that uses balls instead. We also study exceptional sets for this definition, in connection with sets that are negligible for extremal distances. We introduce the class of CNED sets, generalizing the classical notion of NED sets studied by Ahlfors--Beurling. A set $A$ is CNED if the conformal modulus of a curve family is not affected when one restricts to the subfamily intersecting the set $A$ at countably many points. We show as our main theorem that CNED sets are exceptional for the definition of quasiconformality. △ Less

Submitted 11 September, 2023; v1 submitted 4 November, 2021; originally announced November 2021.

Comments: 19 pages, 2 figures; version 2 contains only the first part of version 1; results and proofs improved; the second part of version 1 is in improved format in arXiv:2303.13187

MSC Class: Primary 30C62; 30C65; Secondary 31A15; 31B15

Journal ref: Math. Ann. 389 (2024), no. 3, 3231-3253

Polyhedral approximation of metric surfaces and applications to uniformization

Authors: Dimitrios Ntalampekos, Matthew Romney

Abstract: We prove that any length metric space homeomorphic to a 2-manifold with boundary, also called a length surface, is the Gromov-Hausdorff limit of polyhedral surfaces with controlled geometry. As an application, using the classical uniformization theorem for Riemann surfaces and a limiting argument, we establish a general "one-sided" quasiconformal uniformization theorem for length surfaces with loc… ▽ More We prove that any length metric space homeomorphic to a 2-manifold with boundary, also called a length surface, is the Gromov-Hausdorff limit of polyhedral surfaces with controlled geometry. As an application, using the classical uniformization theorem for Riemann surfaces and a limiting argument, we establish a general "one-sided" quasiconformal uniformization theorem for length surfaces with locally finite Hausdorff 2-measure. Our approach yields a new proof of the Bonk-Kleiner theorem characterizing Ahlfors 2-regular quasispheres. △ Less

Submitted 3 May, 2022; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: 48 pages, 1 figure; improved and shortened some arguments

MSC Class: 53C45 (Primary) 30C65; 53A05 (Secondary)

Journal ref: Duke Math. J. 172 (2023), no. 9, 1673-1734

Extension of boundary homeomorphisms to mappings of finite distortion

Authors: Christina Karafyllia, Dimitrios Ntalampekos

Abstract: We provide sufficient conditions so that a homeomorphism of the real line or of the circle admits an extension to a mapping of finite distortion in the upper half-plane or the disk, respectively. Moreover, we can ensure that the quasiconformal dilatation of the extension satisfies certain integrability conditions, such as $p$-integrability or exponential integrability. Mappings satisfying the latt… ▽ More We provide sufficient conditions so that a homeomorphism of the real line or of the circle admits an extension to a mapping of finite distortion in the upper half-plane or the disk, respectively. Moreover, we can ensure that the quasiconformal dilatation of the extension satisfies certain integrability conditions, such as $p$-integrability or exponential integrability. Mappings satisfying the latter integrability condition are also known as David homeomorphisms. Our extension operator is the same as the one used by Beurling and Ahlfors in their celebrated work. We prove an optimal bound for the quasiconformal dilatation of the Beurling--Ahlfors extension of a homeomorphism of the real line, in terms of its symmetric distortion function. More specifically, the quasiconformal dilatation is bounded above by an average of the symmetric distortion function and below by the symmetric distortion function itself. As a consequence, the quasiconformal dilatation of the Beurling--Ahlfors extension of a homeomorphism of the real line is (sub)exponentially integrable, is $p$-integrable, or has a $BMO$ majorant if and only if the symmetric distortion is (sub)exponentially integrable, is $p$-integrable, or has a $BMO$ majorant, respectively. These theorems are all new and reconcile several sufficient extension conditions that have been established in the past. △ Less

Submitted 29 January, 2021; originally announced February 2021.

Comments: 20 pages, 2 figures

MSC Class: Primary 30C62; 30C65; Secondary 37F31; 46E35

Journal ref: Proc. Lond. Math. Soc. 125 (2022), no. 3, 488-510

On the Hausdorff dimension of the residual set of a packing by smooth curves

Authors: Steven Maio, Dimitrios Ntalampekos

Abstract: Let a planar residual set be a set obtained by removing countably many disjoint topological disks from an open set in the plane. We prove that the residual set of a planar packing by curves that satisfy a certain lower curvature bound has Hausdorff dimension bounded away from 1, quantitatively, depending only on the curvature bound. As a corollary, the residual set of any circle packing has Hausdo… ▽ More Let a planar residual set be a set obtained by removing countably many disjoint topological disks from an open set in the plane. We prove that the residual set of a planar packing by curves that satisfy a certain lower curvature bound has Hausdorff dimension bounded away from 1, quantitatively, depending only on the curvature bound. As a corollary, the residual set of any circle packing has Hausdorff dimension uniformly bounded away from 1. This result generalizes the result of Larman, who obtained the same conclusion for circle packings inside a square. We also show that our theorem is optimal and does not hold in general without lower curvature bounds. In particular, we construct packings by strictly convex, smooth curves whose residual sets have dimension 1. On the other hand, we prove that any packing by strictly convex curves cannot have $σ$-finite Hausdorff 1-measure. △ Less

Submitted 28 October, 2020; originally announced October 2020.

Comments: 32 pages, 22 figures

MSC Class: Primary 52C15; 28A78; Secondary 52A10; 28A80

Journal ref: J. Lond. Math. Soc. 105 (2022), no. 3, 1752-1786

David extension of circle homeomorphisms, welding, mating, and removability

Authors: Mikhail Lyubich, Sergei Merenkov, Sabyasachi Mukherjee, Dimitrios Ntalampekos

Abstract: We provide a David extension result for circle homeomorphisms conjugating two dynamical systems such that parabolic periodic points go to parabolic periodic points, but hyperbolic points can go to parabolics as well. We use this result, in particular, to prove the existence of a new class of welding homeomorphisms, to establish an explicit dynamical connection between critically fixed anti-rationa… ▽ More We provide a David extension result for circle homeomorphisms conjugating two dynamical systems such that parabolic periodic points go to parabolic periodic points, but hyperbolic points can go to parabolics as well. We use this result, in particular, to prove the existence of a new class of welding homeomorphisms, to establish an explicit dynamical connection between critically fixed anti-rational maps and kissing reflection groups, to show conformal removability of the Julia sets of geometrically finite polynomials and of the limit sets of necklace reflection groups, to produce matings of anti-polynomials and necklace reflection groups, and to give a new proof of the existence of Suffridge polynomials (extremal points in certain spaces of univalent maps). △ Less

Submitted 23 December, 2020; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: Reorganized, and new sections added

Report number: Stony Brook IMS #2020/09 MSC Class: 30C50; 30C62; 30C75; 30D05; 30J10; 37F10; 37F31; 37F32; 51F15

Monotone Sobolev functions in planar domains: level sets and smooth approximation

Authors: Dimitrios Ntalampekos

Abstract: We prove that almost every level set of a Sobolev function in a planar domain consists of points, Jordan curves, or homeomorphic copies of an interval. For monotone Sobolev functions in the plane we have the stronger conclusion that almost every level set is an embedded $1$-dimensional topological submanifold of the plane. Here monotonicity is in the sense of Lebesgue: the maximum and minimum of t… ▽ More We prove that almost every level set of a Sobolev function in a planar domain consists of points, Jordan curves, or homeomorphic copies of an interval. For monotone Sobolev functions in the plane we have the stronger conclusion that almost every level set is an embedded $1$-dimensional topological submanifold of the plane. Here monotonicity is in the sense of Lebesgue: the maximum and minimum of the function in an open set are attained at the boundary. Our result is an analog of Sard's theorem, which asserts that for a $C^2$-smooth function in a planar domain almost every value is a regular value. As an application we show that monotone Sobolev functions in planar domains can be approximated uniformly and in the Sobolev norm by smooth monotone functions. △ Less

Submitted 15 November, 2019; originally announced November 2019.

Comments: 27 pages

MSC Class: 30E10 (Primary); 35J92; 41A65; 46E35 (Secondary)

Journal ref: Arch. Ration. Mech. Anal. 238 (2020), no. 3, 1199-1230

Non-removability of Sierpinski spaces

Authors: Dimitrios Ntalampekos, Jang-Mei Wu

Abstract: We prove that all Sierpiński spaces in ${\mathbb{S}}^n$, $n\geq 2$, are non-removable for (quasi)conformal maps, generalizing the result of the first named author arXiv:1809.05605. More precisely, we show that for any Sierpiński space $X\subset \mathbb{S}^n$ there exists a homeomorphism $f\colon \mathbb{S}^n\to \mathbb{S}^n$, conformal in $\mathbb{S}^n\setminus X$, that maps $X$ to a set of positi… ▽ More We prove that all Sierpiński spaces in ${\mathbb{S}}^n$, $n\geq 2$, are non-removable for (quasi)conformal maps, generalizing the result of the first named author arXiv:1809.05605. More precisely, we show that for any Sierpiński space $X\subset \mathbb{S}^n$ there exists a homeomorphism $f\colon \mathbb{S}^n\to \mathbb{S}^n$, conformal in $\mathbb{S}^n\setminus X$, that maps $X$ to a set of positive measure and is not globally (quasi)conformal. This is the first class of examples of non-removable sets in higher dimensions. △ Less

Submitted 20 May, 2019; v1 submitted 14 December, 2018; originally announced December 2018.

Comments: 10 pages

MSC Class: 30C65; 57N15 (Primary); 54C99 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 148 (2020), 203-212

On the inverse absolute continuity of quasiconformal mappings on hypersurfaces

Authors: Dimitrios Ntalampekos, Matthew Romney

Abstract: We construct quasiconformal mappings $f\colon \mathbb{R}^{3} \rightarrow \mathbb{R}^{3}$ for which there is a Borel set $E \subset \mathbb{R}^2 \times \{0\}$ of positive Lebesgue $2$-measure whose image $f(E)$ has Hausdorff $2$-measure zero. This gives a solution to the open problem of inverse absolute continuity of quasiconformal mappings on hypersurfaces, attributed to Gehring. By implication, o… ▽ More We construct quasiconformal mappings $f\colon \mathbb{R}^{3} \rightarrow \mathbb{R}^{3}$ for which there is a Borel set $E \subset \mathbb{R}^2 \times \{0\}$ of positive Lebesgue $2$-measure whose image $f(E)$ has Hausdorff $2$-measure zero. This gives a solution to the open problem of inverse absolute continuity of quasiconformal mappings on hypersurfaces, attributed to Gehring. By implication, our result also answers questions of Väisälä and Astala--Bonk--Heinonen. △ Less

Submitted 25 February, 2021; v1 submitted 13 October, 2018; originally announced October 2018.

Comments: 21 pages, 2 figures, minor edits based on referee report. To appear in Amer. J. Math

MSC Class: 30C65; 30L10

Journal ref: Amer. J. Math. 143 (2021), no. 5, 1633-1659

Non-removability of Sierpinski carpets

Authors: Dimitrios Ntalampekos

Abstract: We prove that all Sierpiński carpets in the plane are non-removable for (quasi)conformal maps. More precisely, we show that for any two Sierpiński carpets $S,S'\subset \hat{\mathbb{C}}$ there exists a homeomorphism $f\colon \hat{\mathbb{C}}\to \hat{\mathbb{C}}$ that is conformal in $\hat{\mathbb{C}}\setminus S$ and it maps $S$ onto $S'$. The proof is topological and it utilizes the ideas of the to… ▽ More We prove that all Sierpiński carpets in the plane are non-removable for (quasi)conformal maps. More precisely, we show that for any two Sierpiński carpets $S,S'\subset \hat{\mathbb{C}}$ there exists a homeomorphism $f\colon \hat{\mathbb{C}}\to \hat{\mathbb{C}}$ that is conformal in $\hat{\mathbb{C}}\setminus S$ and it maps $S$ onto $S'$. The proof is topological and it utilizes the ideas of the topological characterization of Whyburn. As a corollary, we obtain a partial answer to a question of Bishop, whether any planar continuum with empty interior and positive measure can be mapped to a set of measure zero with an exceptional homeomorphism of the plane, conformal off that set. △ Less

Submitted 3 September, 2019; v1 submitted 14 September, 2018; originally announced September 2018.

Comments: 7 pages; corrected typos, added details in the last section

MSC Class: 30C20; 30C35 (Primary) 30C62 (Secondary)

Journal ref: Indiana Univ. Math. J. 70 (2021), no. 3, 847-854

Rigidity theorems for circle domains

Authors: Dimitrios Ntalampekos, Malik Younsi

Abstract: A circle domain $Ω$ in the Riemann sphere is conformally rigid if every conformal map from $Ω$ onto another circle domain is the restriction of a Möbius transformation. We show that circle domains satisfying a certain quasihyperbolic condition, which was considered by Jones and Smirnov, are conformally rigid. In particular, Hölder circle domains and John circle domains are all conformally rigid. T… ▽ More A circle domain $Ω$ in the Riemann sphere is conformally rigid if every conformal map from $Ω$ onto another circle domain is the restriction of a Möbius transformation. We show that circle domains satisfying a certain quasihyperbolic condition, which was considered by Jones and Smirnov, are conformally rigid. In particular, Hölder circle domains and John circle domains are all conformally rigid. This provides new evidence for a conjecture of He and Schramm relating rigidity and conformal removability. △ Less

Submitted 6 September, 2019; v1 submitted 14 September, 2018; originally announced September 2018.

Comments: 43 pages, 1 figure. Added more details and topological preliminaries in Section 3. Results unchanged

MSC Class: Primary 30C20; 30C35; Secondary 30C62

Journal ref: Invent. Math. 220 (2020), no. 1, 129-183

Potential theory on Sierpinski carpets with applications to uniformization

Authors: Dimitrios Ntalampekos

Abstract: This research is motivated by the study of the geometry of fractal sets and is focused on uniformization problems: transformation of sets to canonical sets, using maps that preserve the geometry in some sense. More specifically, the main question addressed is the uniformization of planar Sierpinski carpets by square Sierpinski carpets, using methods of potential theory on carpets. We first devel… ▽ More This research is motivated by the study of the geometry of fractal sets and is focused on uniformization problems: transformation of sets to canonical sets, using maps that preserve the geometry in some sense. More specifically, the main question addressed is the uniformization of planar Sierpinski carpets by square Sierpinski carpets, using methods of potential theory on carpets. We first develop a potential theory and study harmonic functions on planar Sierpinski carpets. We introduce a discrete notion of Sobolev spaces on Sierpinski carpets and use this to define harmonic functions. Our approach differs from the classical approach of potential theory in metric spaces because it takes the ambient space that contains the carpet into account. We prove basic properties such as the existence and uniqueness of the solution to the Dirichlet problem, Liouville's theorem, Harnack's inequality, strong maximum principle, and equicontinuity of harmonic functions. Then we utilize this notion of harmonic functions to prove a uniformization result for Sierpinski carpets. Namely, it is proved that every planar Sierpinski carpet whose peripheral disks are uniformly fat, uniform quasiballs can be mapped to a square Sierpinski carpet with a map that preserves carpet modulus. If the assumptions on the peripheral circles are strengthened to uniformly relatively separated, uniform quasicircles, then the map is a quasisymmetry. The real part of the uniformizing map is the solution of a certain Dirichlet-type problem. Then a harmonic conjugate of that map is constructed using the methods developed by Rajala arXiv:1412.3348. △ Less

Submitted 31 May, 2018; originally announced May 2018.

Comments: 152 pages, 7 figures

MSC Class: 30L10; 31C45; 46E35 (Primary); 28A75; 30C62; 30C65 (Secondary)

Journal ref: Lecture Notes in Mathematics, vol. 2268, Springer, Cham, 2020

Non-removability of the Sierpinski Gasket

Authors: Dimitrios Ntalampekos

Abstract: We prove that the Sierpiński gasket is non-removable for quasiconformal maps, thus answering a question of Bishop. The proof involves a new technique of constructing an exceptional homeomorphism from $\mathbb R^2$ into some non-planar surface $S$, and then embedding this surface quasisymmetrically back into the plane by using the celebrated Bonk-Kleiner Theorem arXiv:math/0107171. We also prove th… ▽ More We prove that the Sierpiński gasket is non-removable for quasiconformal maps, thus answering a question of Bishop. The proof involves a new technique of constructing an exceptional homeomorphism from $\mathbb R^2$ into some non-planar surface $S$, and then embedding this surface quasisymmetrically back into the plane by using the celebrated Bonk-Kleiner Theorem arXiv:math/0107171. We also prove that all homeomorphic copies of the Sierpiński gasket are non-removable for continuous Sobolev functions of the class $W^{1,p}$ for $1\leq p\leq 2$, thus complementing and sharpening the results of the author's previous work arXiv:1706.07687. △ Less

Submitted 12 December, 2018; v1 submitted 26 April, 2018; originally announced April 2018.

Comments: 61 pages, 9 figures

MSC Class: 30C62 (Primary) 46E35; 30L10; 51F99 (Secondary)

Journal ref: Invent. Math. 216 (2019), no. 2, 519-595

A removability theorem for Sobolev functions and detour sets

Authors: Dimitrios Ntalampekos

Abstract: We study the removability of compact sets for continuous Sobolev functions. In particular, we focus on sets with infinitely many complementary components, called "detour sets", which resemble the Sierpiński gasket. The main theorem is that if $K\subset \mathbb R^n$ is a detour set and its complementary components are sufficiently regular, then $K$ is $W^{1,p}$-removable for $p>n$. Several examples… ▽ More We study the removability of compact sets for continuous Sobolev functions. In particular, we focus on sets with infinitely many complementary components, called "detour sets", which resemble the Sierpiński gasket. The main theorem is that if $K\subset \mathbb R^n$ is a detour set and its complementary components are sufficiently regular, then $K$ is $W^{1,p}$-removable for $p>n$. Several examples and constructions of sets where the theorem applies are given, including the Sierpiński gasket, Apollonian gaskets, and Julia sets. △ Less

Submitted 26 June, 2019; v1 submitted 23 June, 2017; originally announced June 2017.

Comments: 33 pages, 8 figures; added references and figures, corrected typos, revised arguments in Section 7, results unchanged

MSC Class: 46E35

Journal ref: Math. Z. 296 (2020), 41-72

Semi-hyperbolic rational maps and size of Fatou components

Authors: Dimitrios Ntalampekos

Abstract: Recently Merenkov and Sabitova introduced the notion of a homogeneous planar set. Using this notion they proved a result for Sierpi${ń}$ski carpet Julia sets of hyperbolic rational maps that relates the diameters of the peripheral circles to the Hausdorff dimension of the Julia set. We extend this theorem to Julia sets (not necessarily Sierpi${ń}$ski carpets) of semi-hyperbolic rational maps, and… ▽ More Recently Merenkov and Sabitova introduced the notion of a homogeneous planar set. Using this notion they proved a result for Sierpi${ń}$ski carpet Julia sets of hyperbolic rational maps that relates the diameters of the peripheral circles to the Hausdorff dimension of the Julia set. We extend this theorem to Julia sets (not necessarily Sierpi${ń}$ski carpets) of semi-hyperbolic rational maps, and prove a stronger version of the theorem that was conjectured by Merenkov and Sabitova. △ Less

Submitted 6 November, 2017; v1 submitted 15 February, 2017; originally announced February 2017.

Comments: 23 pages, 4 figures

MSC Class: 37F10

Journal ref: Ann. Acad. Sci. Fenn. Math. 43 (2018), 425-446