Abstract
We consider extensions of quasiconformal maps and the uniformization theorem to the setting of metric spaces X homeomorphic to \({{\mathbb {R}}}^2\). Given a measure \(\mu \) on such a space, we introduce \(\mu \)quasiconformal maps \(f:X \rightarrow {{\mathbb {R}}}^2\), whose definition involves deforming lengths of curves by \(\mu \). We show that if \(\mu \) is an infinitesimally metric measure, i.e., it satisfies an infinitesimal version of the metric doubling measure condition of David and Semmes, then such a \(\mu \)quasiconformal map exists. We apply this result to give a characterization of the metric spaces admitting an infinitesimally quasisymmetric parametrization.
1 Introduction
The quasisymmetric uniformization problem asks one to characterize, as meaningfully as possible, those metric spaces which may be mapped onto a domain in the Euclidean plane, or the 2sphere, by a quasisymmetric homeomorphism. Informally, a mapping is quasisymmetric if it roughly preserves the relative distance between triples of points. See Sect. 4 for the precise definition.
Significant results on the uniformization problem, such as the Bonk–Kleiner theorem [4] and its extensions in [21] and [22], have been obtained for surfaces that are nonfractal, i.e., their 2dimensional Hausdorff measure is locally finite. These spaces carry enough rectifiable paths for classical methods such as conformal modulus to be applicable. By surface, we mean a 2manifold equipped with a continuous metric.
In contrast, the class of fractal surfaces is too general for the standard methods. Consequently, understanding the quasisymmetric uniformization of fractal surfaces has proved extremely difficult. Any progress is desirable, especially due to applications to geometric group theory (cf. [3, 12]) and complex dynamics (cf. [5]).
The usual method for constructing quasisymmetric maps is to first show the existence of some conformal or quasiconformal map in the spirit of the classical uniformization theorem. Then, if the underlying surface has good geometric properties, one can use quasiconformal invariants to show that such a map is actually quasisymmetric.
A fundamental difficulty in extending this method to fractal surfaces is the lack of a suitable definition of quasiconformality. The classical metric definition (see Sect. 4) is too weak to lead to a satisfactory theory in this generality. The geometric definition (see Sect. 2) requires the existence of many rectifiable paths, which need not be the case for fractal surfaces.
In Sect. 2, we propose the definition of \(\mu \)quasiconformality for homeomorphisms \(f:X \rightarrow {{\mathbb {R}}}^2\), depending on a measure \(\mu \) on X. This is a modification of the geometric definition: we deform the metric on X using \(\mu \) to obtain the \(\mu \)length of a curve, and we define the corresponding \(\mu \)modulus of a family of curves in X. A homeomorphism f is \(\mu \)quasiconformal if the \(\mu \)modulus of every family of curves in X is comparable to the conformal modulus of its image under f in \({{\mathbb {R}}}^2\).
A quasisymmetric map \(f:X \rightarrow {{\mathbb {R}}}^2\) is \(\mu \)quasiconformal when \(\mu \) is the pullback of the Lebesgue measure on \({{\mathbb {R}}}^2\). Our goal is to find measures \(\mu \) on a given space X for which the existence of \(\mu \)quasiconformal maps can be shown.
In Sect. 3, we introduce the notion of infinitesimally metric measure on X. These correspond to the metric doubling measures of David and Semmes [6, 13], the correspondence being similar to the one between metrically quasiconformal (MQC) maps and quasisymmetric (QS) maps, where the former is an infinitesimal condition and the latter is a global condition. Metric doubling measures can be used to produce quasisymmetric maps via deformation of the metric on X. Our first main result shows that a \(\mu \)quasiconformal map exists if \(\mu \) is an infinitesimally metric measure.
Theorem 1.1
Let X be a metric space homeomorphic to \({\mathbb {R}}^2\) which supports an infinitesimally metric measure \(\mu \). Then there exists a \(\mu \)quasiconformal map \(f :X \rightarrow \Omega \), where \(\Omega ={\mathbb {D}}\subset \mathbb {R}^2\) or \(\Omega =\mathbb {R}^2\).
To prove Theorem 1.1, we first show that the metric d on X can be deformed using \(\mu \) to yield a “quasiconformally equivalent” metric q that has locally finite Hausdorff 2measure. Then, we apply the uniformization theorem in [14] to obtain a quasiconformal map \((X,q) \rightarrow {{\mathbb {R}}}^2\). Composing, we then get the desired \(\mu \)quasiconformal map.
In view of the correspondence between infinitesimally metric measures and metric doubling measures, it is natural to attempt to characterize the class of metric spaces X that admit metrically quasiconformal maps \(f:X \rightarrow {{\mathbb {R}}}^2\) in terms of infinitesimally metric measures. However, it turns out that the existence of such maps can be rather arbitrary unless strong conditions are imposed on X.
Instead, we consider the notion of infinitesimally quasisymmetric (IQS) mapping (Definition 4.1). Such maps form an intermediate class between those of MQC and QS maps. In our second main result, we characterize the metric spaces which admit such maps into \({{\mathbb {R}}}^2\) as the spaces that carry infinitesimally metric measures with suitable properties.
Theorem 1.2
Let X be a metric space homeomorphic to \(\mathbb {R}^2\). There exists an infinitesimally quasisymmetric map \(f:X \rightarrow \Omega \), where \(\Omega =\mathbb {D}\) or \(\Omega ={{\mathbb {R}}}^2\), if and only if X is infinitesimally linearly locally connected and supports an infinitesimally metric measure \(\mu \) such that \((X,\mu )\) is infinitesimally Loewner.
See Sect. 4 for definitions. The proof combines Theorem 1.1 with estimates for the \(\mu \)modulus that generalize the modulus estimates in [11].
One motivation for our work is to understand the conformal geometry of metric surfaces in the absence of strong geometric assumptions such as Ahlfors regularity, linear local connectedness, and the Loewner condition (see Sect. 4). In Sect. 5, we present four examples to illustrate possible behaviors of metric surfaces under weaker geometric assumptions. We remark that, while the main theorems of this paper are applicable to any metric space homeomorphic to \(\mathbb {R}^2\), including fractal spaces, all of these examples have locally finite Hausdorff 2measure. The four examples are summarized here, listed by section in which they appear.

5.1.
A surface that admits an MQC parametrization by \(\mathbb {R}^2\) but not an IQS parametrization. This surface is linearly locally connected (LLC) but not Loewner. This example also illustrates how metric quasiconformality is not preserved under taking inverses or precomposing with a QS map.

5.2.
A surface that admits a geometrically quasiconformal (QC) parametrization by \(\mathbb {R}^2\) but not a MQC parametrization. This surface is upper Ahlfors 2regular but not infinitesimally LLC.

5.3.
A surface that admits an IQS parametrization by \(\mathbb {R}^2\) but not a quasisymmetric parametrization. This surface is upper Ahlfors 2regular but not LLC.

5.4.
A surface that, despite being a geodesic space of locally finite Hausdorff 2measure, violates infinitesimal upper Ahlfors 2regularity at every point along a nondegenerate continuum. This surface is LLC, and it admits a QC parametrization by \(\mathbb {R}^2\) but not a MQC parametrization.
In particular, these examples show that the class of IQS maps from \(\mathbb {R}^2\) onto a metric space differs from both the class of QS maps and the class of MQC maps.
2 \(\mu \)Quasiconformal Maps
We assume throughout the paper that (X, d) is a metric space homeomorphic to the Euclidean plane \({{\mathbb {R}}}^2\). We denote \(B(x,r)=\{y \in X: \, d(x,y)<r\}\), \({{\overline{B}}}(x,r) =\{y \in X: \, d(x,y)\leqslant r\}\), and \(S(x,r)=\{y \in X: \, d(x,y)=r\}\). If B is a ball of radius r, we denote by \(\lambda B\) the ball with the same center and radius \(\lambda r\). A path in X is a continuous map \(\gamma :I \rightarrow X\), where I is an interval. The image of such a path is called a curve in X.
We recall the Carathéodory construction of measures, cf. [7, 2.10]. Let \(\mathcal {F}\) be a family of subsets of X, and \(\varphi :\mathcal {F}\rightarrow [0,\infty ]\). For \(A \subset X\) and \(\delta >0\), the \(\delta \)content \(\phi _\delta (A)\) is
where the infimum is taken over all countable
Then, since \(\phi _\delta (A)\) is decreasing with respect to \(\delta \), the limit
exists. Moreover, if every \(S\in \mathcal {F}\) is a Borel set, then \(\psi \) is a Borel regular measure in X.
Applying the Carathéodory construction with \(\mathcal {F}\) all the nonempty subsets of X and \(\phi (S)=\alpha (m)2^{m}{{\,\mathrm{diam}\,}}(S)^m\) gives the mdimensional Hausdorff measure \(\mathcal {H}^m\) in X, where \(\alpha (1)=2\) and \(\alpha (2)=\pi \).
Before defining \(\mu \)quasiconformal maps, we review the classical geometric definition of quasiconformality. However, we replace the standard modulus of path families with the modulus of curve families, which lead to equivalent definitions but are easier to work with in our setting.
Let \(\Gamma \) be a family of curves (i.e., images of paths) in X. A Borel function \(\rho :X \rightarrow [0,\infty ]\) is admissible for \(\Gamma \) if \(\int _{\mathcal {C}} \rho \, d\mathcal {H}^1 \geqslant 1\) for all \(\mathcal {C} \in \Gamma \) with locally finite \(\mathcal {H}^1\)measure. The (conformal) modulus of \(\Gamma \) is defined as
where the infimum is taken over all admissible functions \(\rho \).
Let X, Y be metric spaces homeomorphic to \(\mathbb {R}^2\) and \(f:X \rightarrow Y\) a homeomorphism. Then f is geometrically quasiconformal (QC), if there exists \(K \geqslant 1\) such that
for all curve families \(\Gamma \) in X. In this case, we also say that f is geometrically Kquasiconformal (KQC).
We now define \(\mu \)quasiconformal maps. Let \(\mu \) be a Radon measure in X with no atoms such that \(\mu (B)>0\) for every open ball \(B \subset X\). Recall that a Borel regular measure \(\mu \) is Radon if it is finite on compact sets.
We associate with \(\mu \) a collection \(\mathcal {B}\) of open balls in X such that for every point \(x \in X\) there is \(r_x>0\) such that \(B(x,r) \in \mathcal {B}\) for every \(r < r_x\). We also make the requirement that \(\overline{B}(x,r_x)\) is compact for all x. We refer to such a collection \(\mathcal {B}\) as an admissible cover. From now on we use the convention that every measure \(\mu \) comes equipped with an admissible cover \(\mathcal {B}\).
Definition 2.1
The \(\mu \)length measure \(\ell _\mu \) in X is defined by the Carathéodory construction with \(\mathcal {F}=\mathcal {B}\) and \(\varphi :\mathcal {B} \rightarrow [0, \infty ]\), \(\varphi (B)=2\pi ^{1/2} \mu (B)^{1/2}\).
The \(\ell _\mu \) is normalized so that if \(X=\mathbb {R}^2\) and \(\mu \) the Lebesgue measure, then \(\ell _\mu ={\mathcal {H}}^1\) (for any choice of \({\mathcal {B}}\)).
Definition 2.2
Let \(\Gamma \) be a family of curves in X. We say that a Borel function \(\rho :X \rightarrow [0,\infty ]\) is \(\mu \)admissible for \(\Gamma \) if \(\int _{{\mathcal {C}}} \rho \, d\ell _\mu \geqslant 1\) for all \({\mathcal {C}} \in \Gamma \) with locally finite \(\ell _\mu \)measure. We denote the set of such functions by \(\Phi _\mu (\Gamma )\). The \(\mu \)modulus of \(\Gamma \) is
Notice that if \(\ell _\mu (\mathcal {C})=0\) for some \(\mathcal {C} \in \Gamma \), then there are no \(\mu \)admissible functions for \(\Gamma \) and thus \({{\,\mathrm{mod}\,}}_\mu \Gamma =\infty \). On the other hand, if \(\ell _\mu \) is not locally finite on any \(\mathcal {C} \in \Gamma \), then \({{\,\mathrm{mod}\,}}_\mu \Gamma =0\). Definition 2.2 coincides with (1) when \(X={{\mathbb {R}}}^2\) and \(\mu \) the Lebesgue measure.
Definition 2.3
Let \(f :X \rightarrow \Omega \) be a homeomorphism, where \(\Omega \) is a domain in \({{\mathbb {R}}}^2\). We say that f and \(f^{1}\) are \(\mu \)quasiconformal, if there exists \(K \geqslant 1\) such that
for every curve family \(\Gamma \) in X.
Definition 2.3 naturally leads to the following questions:

(1)
How to decide if a given metric space X carries a measure \(\mu \) for which there exists a \(\mu \)quasiconformal map into \({{\mathbb {R}}}^2\)?

(2)
How to decide if there exists a \(\mu \)quasiconformal map for a given \((X,\mu )\)?
Concerning Question (2), it is reasonable to ask if the reciprocality condition (Definition 3.7 below) can be modified to yield a characterization similar to the one obtained in [14] for the 2dimensional Hausdorff measure. In the next section, we introduce infinitesimally metric measures and show that they lead to the existence of \(\mu \)quasiconformal maps.
3 Infinitesimally Metric Measures
We now define the infinitesimally metric measures. Let X, \(\mu \), \(\mathcal {B}\), and \(\ell _\mu \) be as above. Moreover, for \(x,y \in X\) let
where the infimum is taken over all curves \(\mathcal {C}(x,y)\) that join x and y in X. Thus q defines a pseudometric on X. In the following, we use the subscripts d and q to indicate which (pseudo)metric is being used in our notation for balls, spheres, and diameter.
Definition 3.1
The measure \(\mu \) is infinitesimally metric (IMM) if there exist \(\Lambda >1\), \(C_i \geqslant 1\) such that
for every \(B_d(x,r) \in {\mathcal {B}}\), \(y \in B_d(x,r/\Lambda )\), and \(z \in S_d(x,r)\).
It follows immediately from the definition that if \(\mu \) is IMM, then q is a metric on X.
Recall that a metric space X is (Ahlfors) 2regular if there exists \(C\geqslant 1\) such that \(C^{1}r^2 \leqslant \mathcal {H}^2(B(x,r)) \leqslant Cr^2\) for all \(x \in X\), \(r \in (0, {{\,\mathrm{diam}\,}}X)\). We say that X is lower or upper 2regular if, respectively, the first or second of these inequalities holds. Definition 3.1 imposes a similar infinitesimal condition on the measure \(\mu \). In fact, we show in Lemmas 3.4 and 3.5 that (X, q) is infinitesimally Ahlfors 2regular.
The remainder of this section is dedicated to the proof of Theorem 1.1. We first restate the theorem.
Theorem 3.2
Let X be a metric space homeomorphic to \(\mathbb {R}^2\) which supports an IMM \(\mu \). Then there exists a \(\mu \)quasiconformal map \(f :X \rightarrow \Omega \), where \(\Omega =\mathbb {D}\subset \mathbb {R}^2\) or \(\Omega =\mathbb {R}^2\).
As groundwork, we require several lemmas to estimate the 1 and 2dimensional Hausdorff measures corresponding to the metric q.
We fix an IMM \(\mu \). Let \({\mathcal {B}} =\{B_d(x,r): x \in X, r<r_x\}\) be the admissible cover associated with \(\mu \). The assumption that \(\mu \) has no atoms implies that \(\lim _{r \rightarrow 0} \mu (B_d(x,r)) = 0\) for all \(x \in X\). Definition 3.1 then implies that the metrics d and q are topologically equivalent.
Lemma 3.3
We have
for every \(B_d(x,r) \in {\mathcal {B}}\), where \(C_i\) is the constant in Definition 3.1.
Proof
Since \(\overline{B}_d(x,r)\) is compact and X homeomorphic to \({{\mathbb {R}}}^2\), there exists a point \(z \in \partial (X \setminus \overline{B}_d(x,r))\). Observe that \(z \in S_d(x,r)\). Let \(\varepsilon >0\), and let \(w \in B_q(z,\varepsilon )\) such that \(r<d(x,w)<r_x\). Now,
Letting \(\varepsilon \rightarrow 0\) proves the claim. \(\square \)
Lemma 3.4
We have
for every ball \(B_q(x,r)\) contained in \(B_d(x,r_x/2)\), where \(C_i\) is the constant in Definition 3.1.
Proof
Let
Clearly \(B_d(x,s) \subset B_q(x,r)\). We claim that there exists \(y \in S_d(x,s)\) such that \(q(x,y) \geqslant r\). If not, then \(X \setminus B_q(x,r)\) and \(\overline{B}_d(x,s)\) are disjoint closed sets, with \(\overline{B}_d(x,s)\) compact. This implies that \(\text {dist}(X \setminus B_q(x,r), \overline{B}_d(x,s))>0\), contradicting the definition of s. Since \(\mu \) is assumed to be IMM, we have \(\mu (B_q(x,r)) \geqslant \mu (B_d(x,s)) \geqslant C_i^{2}r^2\).
Likewise, \(B_q(x,r) \subset {\overline{B}}_d(x,t)\). Similarly to the first part of the proof, we note that \((X \setminus B_d(x,t)) \cap \overline{B}_q(x,r) \ne \emptyset \). Thus, there exists \(z \in S_d(x,t)\) such that \(q(x,z) \leqslant r\). Since \(\mu \) is IMM, Lemma 3.3 gives
\(\square \)
For \(s,\delta >0\), let \({\mathcal {H}}_q^s\) and \({\mathcal {H}}_{q,\delta }^s\) denote the sdimensional Hausdorff measure and Hausdorff \(\delta \)content on (X, q), respectively.
Lemma 3.5
We have
for any Borel set \(A \subset X\), where \(C_i\) is the constant in Definition 3.1.
Proof
Let \(\delta >0\), and let \(U\subset X\) be an open set with \(A \subset U\) and \(\mu (U) \leqslant \mu (A) + \delta \). Using the basic covering theorem (see [9, Thm. 1.2]), choose a sequence of pairwise disjoint balls \(B_j =B_q(x_j,r_j)\) with \(B_j \subset U\), \(B_j \subset B_d(x_j,r_{x_j}/2)\) and \(10r_j<\delta \) for all j, such that \(U \subset \cup _{j=1}^\infty 5B_j\). Then
where \(C=100C_i^2\) (the \(\pi \) comes from the normalization of \(\mathcal {H}^2\)). The upper bound for \({\mathcal {H}}_q^2(A)\) follows.
For the lower bound, fix n and define the Borel set
Let \(\{E_j\}\) be a cover for \(A_n\) with \({{\,\mathrm{diam}\,}}_q(E_j) < \frac{1}{2n}\) for all j. Removing sets from the cover if necessary, we may assume that for every j there exists \(x_j \in A_n\) such that \(E_j \subset B_q(x_j,2{{\,\mathrm{diam}\,}}_q E_j)\) and \(B_q(x_j,1/n) \subset B_d(x_j,r_{x_j}/2)\). Since
we get
Since \(\mu (A)=\lim _{n\rightarrow \infty }\mu (A_n)\), the claim follows. \(\square \)
Lemma 3.6
We have
for any Borel set \(A \subset X\), where \(C_i\) is the constant in Definition 3.1.
Proof
Since X is homeomorphic to \({{\mathbb {R}}}^2\), it is locally compact and can be exhausted by compact sets \(X^j\). We can also approximate both \(\ell _\mu (A)\) and \({\mathcal {H}}^1_q(A)\) from below with the measures of the sets \(A^j=A \cap X^j\), and by considering some compact neighborhood \(X^{j+k}\) of \(A^j\) we can assume that
We first consider Borel sets
Let \(\sigma >0\) be arbitrary and \(\delta >0\) small enough so that \({{\,\mathrm{diam}\,}}_d (B_q(x,2\delta )) < \min \{\sigma , 1/n \}\) for every x. Fix any cover \(\{E_j\}\) of \(A_n\) with \({{\,\mathrm{diam}\,}}_q(E_j) < \delta \) for all j. Removing sets from the cover if necessary, we may assume that for every j there exists \(x_j \in A_n\) such that \(\text {dist}(\{x_j\},E_j) < {{\,\mathrm{diam}\,}}_q(E_j)\) and \(r_{x_j} > 1/n\). Let
Then for every j we have \(E_j \subset {\overline{B}}_d(x_j,t_j)\). Moreover, since
we have \(t_j < \min \{ \sigma , 1/n \}\).
For every \(j, m \in {\mathbb {N}}\) there exists \(y_m^j \in E_j \setminus B_d(x_j,t_j1/m)\), so that
Since \(y_m^j \in B_q(x_j,2{{\,\mathrm{diam}\,}}_q E_j),\) we have \(\mu (B_d(x_j,t_j))^{1/2} \leqslant 2 C_i {{\,\mathrm{diam}\,}}_q(E_j)\). Recall that \(\ell _\mu \) is defined by the Carathéodory construction: \(\ell _\mu (A_n)=\lim _{\sigma \rightarrow 0} \ell _{\mu ,\sigma }(A_n)\), where \(\ell _{\mu ,\sigma }\) is the corresponding \(\sigma \)content. By Lemma 3.3 we get
(the \(2\pi ^{1/2}\) comes from the normalization of \(\ell _\mu \)) and hence \(\ell _{\mu ,\sigma }(A_n) \leqslant 2\pi ^{1/2}C_i^3 \mathcal {H}^1_q(A_n)\). This holds for all \(\sigma >0\) and \(n \in {\mathbb {N}}\), so we have \(\ell _\mu (A) \leqslant 4 \pi ^{1/2}C_i^3{\mathcal {H}}^1_q(A)\).
The other inequality can be proved more directly, with similar arguments but without the need to consider the sets \(A_n\). \(\square \)
We will apply the main result in [14]. It depends on the following definition. A quadrilateral \(Q=Q(\zeta _1, \zeta _2, \zeta _3, \zeta _4)\) is a set homeomorphic to a closed square in \({{\mathbb {R}}}^2\), with boundary edges \(\zeta _1, \zeta _2, \zeta _3, \zeta _4\) (in cyclic order). For sets \(E,F \subset G\), \(\Gamma (E,F;G)\) denotes the family of curves in G that join E and F. While path families were considered in [14], the results applied below remain valid when they are replaced with curve families.
Definition 3.7
Let Y be a metric space homeomorphic to \({{\mathbb {R}}}^2\) with locally finite Hausdorff 2measure. The space Y is reciprocal if there exists \(\kappa \geqslant 1\) such that for all quadrilaterals \(Q = Q(\zeta _1, \zeta _2, \zeta _3, \zeta _4)\) in X,
and for all \(x \in X\) and \(R>0\) such that \(X \setminus B(x,R) \ne \emptyset \),
It was shown in [15] that the inequality opposite to (3) holds in every Y. That is, there exists a universal constant \(\kappa '>0\) such that
for all quadrilaterals \(Q \subset Y\).
Theorem 3.8
(Theorem 1.4 [14]) Let Y be a metric space homeomorphic to \({{\mathbb {R}}}^2\), with locally finite Hausdorff 2measure. There exists a QC map \(h :Y \rightarrow \Omega \subset {{\mathbb {R}}}^2\) if and only if Y is reciprocal.
The next proposition is a generalization of Theorem 1.6 from [14], where the mass upper bound is assumed for every radius.
Proposition 3.9
Let Y be a metric space homeomorphic to \({{\mathbb {R}}}^2\). Suppose there exist \(C_U>0\) and for every \(y\in Y\) a radius \(r_y>0\) such that
for every \(r<r_y\). Then Y is reciprocal.
Proof
Condition (4) follows by considering the admissible function
To prove (3), we modify the proof of [14, Proposition 15.5]. We give the main steps and refer to [14] for the missing details. Let \(Q=Q(\zeta _1, \zeta _2, \zeta _3, \zeta _4)\) be a quadrilateral. Then there exists a \(\rho \) that is weakly admissible (admissible outside an exceptional curve family of zero modulus) for \(\Gamma (\zeta _1,\zeta _3;Q)\), such that
Fix a curve \(\mathcal {C} \in \Gamma (\zeta _2,\zeta _4;Q)\). We may assume that \(\mathcal {C}\) is homeomorphic to [0, 1] and has finite length. Using the basic covering theorem, we find a finite cover \(\{5B_j\}=\{B(y_j,5r_j)\}\) of \(\mathcal {C}\) such that \(y_j \in \mathcal {C}\) and \(36r_j<r_y\) for all j, and such that the balls \(B_j\) are pairwise disjoint. Moreover, let \(g:Q \rightarrow [0,\infty ]\),
Since every \(\mathcal {C}'\) in \(\Gamma (\zeta _1,\zeta _3;Q)\) intersects at least one of the balls \(5B_j\), it follows that g is admissible for \(\Gamma (\zeta _1,\zeta _3;Q)\). Moreover, since \(\rho \) is a minimizer for \({{\,\mathrm{mod}\,}}\Gamma (\zeta _1, \zeta _3; Q)\), applying the weak admissibility of \((1t)\rho +tg\) and letting \(t \rightarrow 0\) leads to
For the maximal function \(\mathcal {M}\rho :Q \rightarrow [0,\infty \)],
standard arguments show that
Now we apply (5) to estimate the righthand term of (7) from above by
Since the righthand term is bounded from above by \(1296C_U \int _\mathcal {C} \mathcal {M}\rho \, d\mathcal {H}^1\), we conclude that
is admissible for \(\Gamma (\zeta _2,\zeta _4;Q)\). Combining the admissibility with (6) and (8), we have
from which (4) follows. \(\square \)
Proof of Theorem 1.1
By Lemmas 3.4 and 3.5, the space (X, q) satisfies the assumption of Proposition 3.9. Thus by Theorem 3.8 there exists a QC map \(h :(X,q) \rightarrow \Omega \subset {{\mathbb {R}}}^2\). By the Riemann mapping theorem, we can choose h such that \(\Omega =\mathbb {D}\) or \(\Omega ={{\mathbb {R}}}^2\). Moreover, by Lemmas 3.5 and 3.6 the \(\mu \)modulus \({{\,\mathrm{mod}\,}}_\mu (\Gamma )\) and the conformal 2modulus \({{\,\mathrm{mod}\,}}_2(\Gamma )\) in X are comparable for any curve family \(\Gamma \), so h precomposed with the identity map from (X, d) to (X, q) is \(\mu \)quasiconformal. \(\square \)
4 Infinitesimally Quasisymmetric Maps
In this section, we introduce the notion of infinitesimally quasisymmetric map and apply our results on infinitesimally metric measures to give a characterization for the spaces that admit such a parametrization by a Euclidean planar domain.
Recall that a homeomorphism \(f :(X,d) \rightarrow (Y,d')\) between metric spaces is quasisymmetric (QS) if there exists a homeomorphism \(\eta :[0,\infty ) \rightarrow [0, \infty )\) such that
for all distinct points \(x, y, z \in X\). Closely related is the following definition. A homeomorphism \(f:(X,d) \rightarrow (Y,d')\) between metric spaces is metrically quasiconformal (MQC) if there exists \(H \geqslant 1\) such that
for all \(x \in X\).
Definition 4.1
A homeomorphism \(f :(X,d) \rightarrow (Y,d')\) is infinitesimally quasisymmetric (IQS) if there exists a homeomorphism \(\eta :[0,\infty ) \rightarrow [0, \infty )\) such that for every \(x \in X\) there exists a radius \(r_x>0\) such that (9) holds for all \(y,z \in B(x,r_x)\).
It is a standard exercise to show that if \(f:X \rightarrow Y\) and \(g:Y \rightarrow Z\) are QS, then \(g \circ f\) and \(f^{1}\) are also QS. These properties also hold for the class of IQS maps. Note that both properties may fail for MQC maps, even for metric spaces homeomorphic to \(\mathbb {R}^2\). In Sect. 5.1, we give an example of this.
It is immediate from the definitions that any QS map is IQS, and any IQS is MQC. Thus infinitesimal quasisymmetry is an intermediate condition between quasisymmetry and metric quasiconformality. In Sect. 5.3, we give an example of a map which is IQS but not QS.
Recall that a metric space (X, d) is linearly locally connected (LLC) if there exists \(\lambda \geqslant 1\) such that the following properties hold:

(1)
For any \(x \in X\), \(r>0\) and \(y,z \in B(x,r)\) there exists a continuum \(K \subset B(x,\lambda r)\) with \(y,z \in K\).

(2)
For any \(x \in X\), \(r>0\) and \(y,z \in X \setminus B(x,r)\) there exists a continuum \(K \subset X \setminus B(x,\lambda ^{1}r)\) with \(y,z \in K\).
Definition 4.2
A metric space (X, d) is infinitesimally linearly locally connected (ILLC) if there exists \(\Lambda \geqslant 1\) such that for every \(x \in X\) there exists a radius \(r_x>0\) such that the above properties hold for all \(r<r_x\).
It is easy to see that the LLC property is preserved under QS maps. Similarly, IQS maps preserve the ILLC property. Since every planar domain is ILLC, any metric space that admits an IQS map to such a domain must also be ILLC.
Finally, we introduce a modification of the Loewner condition of Heinonen and Koskela [11]. We denote by \(\Gamma (A,B)\) the family of curves which join sets A and B in X. Recall that X (equipped with \(\mathcal {H}^2\)) is Loewner if there exists a decreasing function \(\phi :(0,\infty ) \rightarrow (0,\infty )\) such that \({{\,\mathrm{mod}\,}}\Gamma (E,F) \geqslant \phi (t)\) for all disjoint nondegenerate continua E, F satisfying
Also, recall our convention that any measure \(\mu \) comes equipped with an admissible cover \(\mathcal {B}=\{B(x,r): \, 0<r<r_x\}\).
Definition 4.3
A metric space X equipped with a measure \(\mu \) is infinitesimally Loewner (ILoewner) if there exists a decreasing function \(\phi :(0,\infty ) \rightarrow (0,\infty )\) such that \({{\,\mathrm{mod}\,}}_\mu \Gamma (E,F) \geqslant \phi (T)\) for all disjoint continua E, F such that E joins x and S(x, t), \(F\supset S(x,r_x)\) joins S(x, s) and \(S(x,r_x)\), and \(0<s,t<r_x/2\), \(s/t \leqslant T\).
It follows from the Loewner property of \(\mathbb {R}^2\) that every planar domain, equipped with Lebesgue measure and any admissible cover, is ILoewner. The remainder of this section is dedicated to the proof of Theorem 1.2. We first restate the theorem.
Theorem 4.4
Let X be a metric space homeomorphic to \(\mathbb {R}^2\). There exists an IQS map \(f:X \rightarrow \Omega \), where \(\Omega =\mathbb {D}\) or \(\Omega ={{\mathbb {R}}}^2\), if and only if X is ILLC and supports an IMM \(\mu \) such that \((X,\mu )\) is ILoewner.
To prove the theorem, we first show in Lemma 4.5 and Proposition 4.7 that if \(f:X \rightarrow \Omega \) is IQS, then the pullback of Lebesgue measure satisfies the conditions of the theorem (we already noticed that the existence of f forces X to be ILLC). For the other direction, we show in Proposition 4.8 that \(\mu \)quasiconformal maps \(X \rightarrow \Omega \subset {{\mathbb {R}}}^2\), such as the map in Theorem 1.1, are IQS under these conditions. Proposition 4.8 can be seen as an infinitesimal analog of [11, Theorem 4.7], and it is proved using similar arguments.
Lemma 4.5
Let \(f :X \rightarrow \Omega \subset {{\mathbb {R}}}^2\) be an IQS map, and \(\mu = f^*\mathcal {L}_2\) the pullback measure of the Lebesgue measure \(\mathcal {L}_2\). Equip \(\mu \) with admissible cover \(\mathcal {B}=\{B(x,r): \, 0<r<r_x\}\), where the \(r_x\) are the radii in Definition 4.1 of IQS maps. Then
for any curve \({\mathcal {C}} \subset X\).
Proof
We may assume that the curve \({\mathcal {C}}\) is simple and compact. As in Lemma 3.5, it suffices to prove the claim for sets \(\mathcal {C}\) for which there exists \(\delta >0\) such that the set of points x satisfying \(B(x,\delta ) \in {\mathcal {B}}\) is dense in \({\mathcal {C}}\).
Fix such a \(\delta \) and a sequence \((B_j)=(B(x_j,r_j))\) of disjoint balls such that \(x_j \in {\mathcal {C}}\), \(5B_j \in {\mathcal {B}}\), \(5r_j < \delta \), and \({\mathcal {C}} \subset \cup _j 5B_j\), ordered so that if \(\gamma \) is any injective parametrization of \({\mathcal {C}}\) then \(s_j=\gamma ^{1}(x_j)\) is a monotone sequence.
Let
for every j. Then there exists \(z_j \in X\) with \(d(x_j,z_j) \geqslant r_j\) and \({\vert }f(x_j)f(z_j){\vert } \leqslant 2 T_j\). Using the infinitesimal quasisymmetry of f we find that for any \(y_j \in 5B_j\)
so that \(f(5B_j) \subset B(f(x),2\eta (5)T_j)\). By the choice of \(T_j\) also \(B(f(x),T_j) \subset f(B_j)\) and thus
for all \(k \ne j\) as the balls \(B_j\) are disjoint. Now the \(\delta \)content \(\ell _{\mu ,\delta }\) satisfies
Since \(f({\mathcal {C}})\) is the nonoverlapping union of the subcurves connecting \(f(x_j)\) and \(f(x_{j+1})\), we have \(\ell _{\mu ,\delta }({\mathcal {C}}) \leqslant 4\eta (5) {\mathcal {H}}^1(f({\mathcal {C}}))\) for any \(\delta >0\) and thus \(\ell _\mu ({\mathcal {C}}) \leqslant 4\eta (5) {\mathcal {H}}^1(f({\mathcal {C}})).\)
To prove the other inequality, fix \(\varepsilon >0\) and let \(B_j=B(x_j,r_j)\) be a sequence of balls in \({\mathcal {B}}\) covering \({\mathcal {C}}\) with \({{\,\mathrm{diam}\,}}B_j < \sigma \) and \(B_j \cap {\mathcal {C}} \ne \emptyset \) for all j and some \(\sigma >0\). Since X is locally compact and \({\mathcal {C}}\) is compact, \({{\,\mathrm{diam}\,}}f(B_j) < \varepsilon \) for all j when \(\sigma \) is sufficiently small.
By the infinitesimal quasisymmetry of f we have
for every j, and hence
Thus \({\mathcal {H}}^1_\varepsilon (f({\mathcal {C}})) \leqslant \eta (1) \ell _{\mu ,\sigma }({\mathcal {C}}) \leqslant \eta (1)\ell _\mu ({\mathcal {C}})\), and the same upper bound holds for \({\mathcal {H}}^1\) since \(\varepsilon \) was arbitrary. \(\square \)
Corollary 4.6
Let f and \(\mu \) be as in Lemma 4.5. Then f is \(\mu \)quasiconformal.
Proof
Let \(\Gamma \) be a curve family in X and \(\varepsilon >0\). We choose a \(\mu \)admissible function \(\rho \) with \(\int _X \rho ^2 \, d \mu \leqslant \text {mod}_\mu (\Gamma )+\varepsilon \) and define \({{\tilde{\rho }}} = \rho \circ f^{1}\) in \(\Omega \). If a curve \({\mathcal {C}} \in \Gamma \) has locally finite \(\ell _\mu \)measure, then by Lemma 4.5 and a change of variables
so that \( 4\eta (5) {{\tilde{\rho }}}\) is admissible for \(f(\Gamma )\). Thus using the definition of \(\mu \) and a change of variables we have
The other direction can be proved similarly using the other inequality of Lemma 4.5. \(\square \)
Proposition 4.7
Let f, \(\mu \), and \(\mathcal {B}\) be as in Lemma 4.5. Then \(\mu \) is IMM and satisfies the ILoewner condition.
Proof
Let \(\Lambda >1\) be large enough so that \(\eta (1/\Lambda ) \leqslant \frac{1}{2}\). Fix \(x \in X\) and \(0<r<r_x/2\) so that \(\overline{B}(f(x),{{\,\mathrm{diam}\,}}f(B(x,r))) \subset \Omega \). In order to prove the IMM condition (2), fix \(y \in B(x,r/\Lambda )\) and \(z \in S(x,r)\). Then the segment [f(y), f(z)] is contained in \(\Omega \). Let \({\mathcal {C}}=f^{1}([f(y),f(z)])\), which is a curve connecting y and z.
Now let
Using Lemma 4.5 and infinitesimal quasisymmetry, we have
so the first inequality in (2) holds.
For the reverse inequality, notice first that our choice of \(\Lambda \) implies that \({\vert }f(x)f(y){\vert }\leqslant \frac{1}{2} {\vert }f(x)f(z){\vert }\) and thus \({\vert }f(y)f(z){\vert }\geqslant \frac{1}{2} {\vert }f(x)f(z){\vert }\). Let \({\mathcal {C}}\) be any curve connecting y and z. Now by Lemma 4.5
since \(f(B(x,r)) \subset B(f(x),\eta (1){\vert }f(x)f(z){\vert })\). Hence also the second inequality in (2) holds. We conclude that \(\mu \) is IMM.
Finally, we show the ILoewner condition. Fix \(x \in X\) and disjoint continua E and F as in Definition 4.3, so that there are \(y \in F \cap S(x,s)\) and \(z \in E \cap S(x,t)\). By infinitesimal quasisymmetry,
By definition, F contains \(S(x,r_x)\). In particular, \(fS(x,r_x)\) surrounds f(x), and we have \(\text {dist}(fE,fF) \leqslant {{\,\mathrm{diam}\,}}fF\). Combining the estimates yields
Since \(\mathbb {R}^2\) is Loewner, there is \(\phi '\) such that
On the other hand f is \(\mu \)quasiconformal by Theorem 1.1, so
for some \(K \geqslant 1\). We conclude that the ILoewner condition holds with \(\phi (T)=K^{1}\phi '(\max \{\eta (T),1\})\). \(\square \)
Proposition 4.8
Let \(\mu \) be an IMM on X, and \(f :X \rightarrow \Omega \) a \(\mu \)quasiconformal homeomorphism. Suppose that X is ILLC and \(\mu \) satisfies the ILoewner condition. Then f is IQS.
Proof
Let \(\Lambda \) and \(\lambda \) be the constants in Definitions 3.1 and 4.2 of IMM and ILLC, respectively. We will prove the equivalent statement that \(g=f^{1}\) is IQS. In this proof, for a point \(a \in \Omega \) and set \(A \subset \Omega \), let \(a'=g(a)\) and \(A'=g(A)\).
Fix \(x \in \Omega \) and \(r>0\) so that
and \(y,z \in B(x,r)\). By our choice of r, we can choose \(w \in g^{1}S(x',r_{x'})\) so that the segment [x, w] contains z. Moreover, taking r to be sufficiently small, we can ensure that the segment [x, w] lies in \(\Omega \). Notice that \(w \notin B(x,3r)\). Let \(m=d(x',y')\) and \( \ell = d(x',z')\). Let \(t>0\). We must find an upper bound \(\eta (t)\) on \(m/\ell \) that holds whenever \({\vert }xy{\vert }/{\vert }xz{\vert } \leqslant t\), such that \(\eta (t) \rightarrow 0\) as \(t \rightarrow 0\). Assume then that y, z satisfy \({\vert }xy{\vert }/{\vert }xz{\vert } \leqslant t\).
Suppose first that \(m/\ell \geqslant \Lambda \lambda ^2\). Then, by the ILLC property, we can connect \(x'\) to \(z'\) by a continuum \(E'\) contained in \(B(x',\lambda \ell )\), and \(y'\) to \(w'\) by a continuum \(F'\) contained in \(X \setminus B(x',m/\lambda )\). Let \(k = \lceil \log _\Lambda (m/(\ell \lambda ^2)) \rceil \),
Then, by the definition of IMM,
is \(\mu \)admissible for \(\Gamma (E',F')\). Thus
Hence \({{\,\mathrm{mod}\,}}_\mu \Gamma (E',F')\) becomes arbitrarily small as \(m/\ell \) increases to infinity.
Since g is \(\mu \)quasiconformal, \({{\,\mathrm{mod}\,}}\Gamma (E,F)\) is also small, where \(E=g^{1}(E')\) and \(F=g^{1}(F')\). But these sets connect x to z and y to w, respectively, and have relative distance
Thus, by the Loewner property of \({{\mathbb {R}}}^2\), we have \({\vert }xy{\vert }/{\vert }xz{\vert } \rightarrow \infty \) as \(m/\ell \rightarrow \infty \), establishing the distortion inequality in this case.
Suppose then that \(0<m/\ell < \Lambda \lambda ^2\). In this case we choose \(E=[x,y]\) and \(F=[z,w]\cup g^{1}S(x',r_{x'})\). We may assume that \(2{\vert }xy{\vert }<{\vert }xz{\vert }\), since otherwise there is nothing to prove. Applying the ILoewner condition to \(E'\) and \(F'\), we have
Combining with the \(\mu \)quasiconformality of g, we get \({{\,\mathrm{mod}\,}}\Gamma (E,F) \geqslant K^{1}\phi (\ell /m)\). On the other hand, by our choice of w we can estimate \({{\,\mathrm{mod}\,}}\Gamma (E,F)\) from above as follows:
Combining the estimates, we see that \(\phi (\ell /m) \leqslant 2\pi K(\log (1/t))^{1}\). Observe that this bound becomes arbitrarily small as \(t \rightarrow 0\). Since \(\phi \) is decreasing, this yields an upper bound \(\eta (t)\) on \(m/\ell \) that goes to zero as \(t \rightarrow 0\). \(\square \)
5 Examples
In this section, we work out in detail a number of specific examples of metric spaces homeomorphic to the plane. All of our examples have locally finite Hausdorff 2measure, and we assume throughout this section that a given metric space is equipped with the Hausdorff 2measure. We write a point x in coordinates as \(x = (x_1, x_2)\) if \(x \in \mathbb {R}^2\) or \(x = (x_1, x_2, x_3)\) if \(x \in \mathbb {R}^3\).
In addition to the examples of this section, we refer the reader to Example 4.7 of [10] for a family of uniformly LLC surfaces in \(\mathbb {R}^3\), equipped with the ambient Euclidean metric, that are conformally equivalent but not uniformly QS equivalent to the Euclidean plane. We also refer to Example 2.1 of [14] for an example of a nonreciprocal metric on the plane, and to Example 17.1 of [14] for a nonrectifiable surface in \(\mathbb {R}^3\) that is QC equivalent to the Euclidean plane. Finally, see [17] for the construction of a surface of locally finite Hausdorff 2measure that is QS equivalent to the plane but not QC equivalent.
5.1 Conformal Weight that Decreases Rapidly Near the Origin
Define a metric d on the Riemann sphere \(\widehat{\mathbb {R}}^2 = \mathbb {R}^2 \cup \{\infty \}\) via the conformal weight
That is, for all \(x,y \in \widehat{\mathbb {R}}^2\), the metric d is given by \(d(x,y) = \inf _\gamma \int _\gamma \omega \, ds\), where the infimum is taken over all absolutely continuous paths \(\gamma :[0,1] \rightarrow \widehat{\mathbb {R}}^2\) such that \(\gamma (0) = x\) and \(\gamma (1) = y\).
It is easy to check that \(d(0,x) = e^{1/{\vert }x{\vert }}\) for all \(x \in \widehat{\mathbb {R}}^2 \setminus \{0\}\). In particular, \(d(0,\infty ) = 1\) and we see that d is finite. Next, let \(x,y \in \widehat{\mathbb {R}}^2 \setminus \{0\}\) and assume that \({\vert }x{\vert } \leqslant {\vert }y{\vert }\). By considering the concatenation of the straightline path from x to \(({\vert }y{\vert } / {\vert }x{\vert })x\) and a circular arc from \(({\vert }y{\vert } / {\vert }x{\vert })x\) to y, we obtain the estimate
As a consequence, if \((x_j)\) and \((y_j)\) are sequences in \(\widehat{\mathbb {R}}^2\) such that \(x_j \rightarrow \infty \) and \(y_j \rightarrow \infty \), then \(d(x_j, y_j) \rightarrow 0\). This is sufficient to conclude that \((\widehat{\mathbb {R}}^2, d)\) is homeomorphic to the Riemann sphere.
In fact, by considering the pushforward of \(\omega \) under the inversion map \(x \mapsto x/{\vert }x{\vert }^2\), we see that \((\widehat{\mathbb {R}}^2,d)\) is isometric to the metric space \((\widehat{\mathbb {R}}^2,{\widetilde{d}})\), where \({\widetilde{d}}\) is the metric generated by the conformal weight \({\widetilde{\omega }}(x) = e^{{\vert }x{\vert }}\). In particular, any ball in \((\widehat{\mathbb {R}}^2,d)\) centered at \(\infty \) not containing the origin is biLipschitz equivalent to a Euclidean disk.
In Fig. 1, a number of geodesics emanating from the point \(p=(.3,0)\) are plotted. Observe that the lengthminimizing path from p to a point q in the upper left region of the plot is the concatenation of the straightline path from p to the origin and the straightline path from the origin to q.
This example illustrates how metric quasiconformality is not preserved in general under taking inverses or under precomposition with a quasisymmetry, as the following proposition shows.
Proposition 5.1
Let \(\iota :(\mathbb {R}^2,{\vert }\cdot {\vert }) \rightarrow (\mathbb {R}^2,d)\) be the identity map, and let \(h:\mathbb {R}^2 \rightarrow \mathbb {R}^2\) be the linear map defined by \(h(x_1,x_2) = (x_1/2, x_2)\).

(a)
\(\iota \) is MQC with \(H=1\), as is its inverse.

(b)
\(\iota \) is 1QC.

(c)
\(\iota \) is not IQS.

(d)
\((\iota \circ h)^{1}\) is MQC.

(e)
\(\iota \circ h\) is not MQC.
Proof
Claim (a) is immediate for all \(x \ne 0\) by virtue of \(\omega \) being a conformal weight, and it also holds for \(x=0\) by the radial symmetry of \(\omega \).
Claim (b) is also immediate if we exclude \(x=0\). However, observe that reciprocality condition (4) holds for the metric d at the origin. Thus the geometric definition is unaffected by adding the origin back in, so the claim holds on all of \(\mathbb {R}^2\).
For claim (c), let \((t_j)\) be a sequence of positive numbers converging to zero, and let \(y_j = (2t_j,0)\), \(z_j = (t_j,0)\). Then \({\vert }y_j  0{\vert } = 2t_j\), \({\vert }z_j  0{\vert } = t_j\), \(d(y_j,0) = \sqrt{e^{1/t_j}}\), and \(d(z_j,0) = e^{1/t_j}\). But then \({\vert }y_j  0{\vert }/{\vert }z_j0{\vert } = 2\) while \(d(y_j,0)/d(z_j,0) \rightarrow \infty \), violating the IQS condition.
For claim (d), note that \((\iota \circ h)^{1}=h^{1} \circ \iota ^{1}:(\mathbb {R}^2,d) \rightarrow (\mathbb {R}^2,{\vert }\cdot {\vert })\) is the postcomposition of a MQC map by a QS map, which is always MQC.
Claim (e) follows from a variation of the argument for (c). Let \((t_j)\) again be a sequence of positive numbers converging to zero, and let \(y_j = (t_j,0)\) and \(z_j = (0,t_j)\). Then \(h(y_j) = (t_j/2,0)\) and \(h(z_j) = z_j\). This gives \(d(h(y_j),0) = \sqrt{e^{1/t_j}}\) and \(d(z_j,0) = e^{1/t_j}\), showing that \(\iota \circ h\) is not MQC. \(\square \)
Claim (c) of Proposition 5.1 can be strengthened to the following.
Proposition 5.2
There is no IQS map \(f:(\mathbb {R}^2,{\vert }\cdot {\vert }) \rightarrow (\mathbb {R}^2,d)\).
Proof
Suppose that such an IQS map f exists. Then \(f^{1}\) is also IQS. Since metric quasiconformality is preserved under postcomposition by an IQS map, it follows that \(f^{1}\circ \iota \) is an MQC map of the Euclidean plane. By the equivalence of definitions of quasiconformality in the Euclidean setting (for example, see [20, Thm. 34.1]), we conclude that \(f^{1}\circ \iota \) is QS and thus that \(\iota \) itself is IQS. This contradicts claim (c) of Proposition 5.1. \(\square \)
Note that the claims in Proposition 5.1 all hold if we replace \(\mathbb {R}^2\) with \(\widehat{\mathbb {R}}^2\) equipped with the spherical metric. We also observe that \((\mathbb {R}^2,d)\) is not upper 2regular: The Hausdorff 2measure of the ball \(B_r=B(0,r)\), where \(r \in [0,1]\), is given by
where \(R = (\log r)^{1}\). This evaluates to
Since \(\log r \rightarrow \infty \) as \(r \rightarrow 0\), we see that upper 2regularity fails.
Proposition 5.3
The space \((\widehat{\mathbb {R}}^2, d)\) is linearly locally connected. However, it is not a Loewner space.
The proof of linear local connectedness uses the following lemma.
Lemma 5.4
Let \(x \in \mathbb {R}^2\) and \(r>0\) be such that \(B(x,r) \subset B(0, e^{2})\). Then B(x, r) is simply connected.
Proof
The claim is obvious when \(x=0\), so we assume that \(x \ne 0\). We argue by contradiction. Suppose that \(B = B(x,r)\) is not simply connected. Since \((\widehat{\mathbb {R}}^2,d)\) is a geodesic space, all metric balls are connected. Hence the failure of simple connectivity implies that there exists a component V of \(\widehat{\mathbb {R}}^2 \setminus B\) not containing \(\infty \).
Observe that \(B(0,e^{2})\) coincides with the Euclidean ball B(0, 1/2). In this region, \(\omega \) is increasing as a function of the radius. Let L be the Euclidean straight line which contains x and the origin. The increasing property of \(\omega \) implies that \(L \cap B(0,e^{2})\) is a geodesic segment. Thus \(L \cap B(x,r)\) is connected, and in particular \(V \cap L = \emptyset \).
It follows that V is contained in one of the two open halfplanes defined by the line L, denoted by W. Let \(z \in V\) and let S denote the Euclidean circle of radius \({\vert }z{\vert }\) centered at the origin. Let \(L'\) denote the Euclidean straight line containing 0 and z. Then \(W \setminus L'\) consists of two disjoint open sets \(W_1, W_2\), where \(x \in \partial W_1\). We observe that there exists a point \(y \in S \cap B \cap \overline{W}_2\). A lengthminimizing curve from x to y must cross \(L'\) at some point v. However, the radial symmetry of \(\omega \) implies that \(d(v,z) \leqslant d(v,y)\), and thus that \(d(x,z) \leqslant d(x,y)\). This gives a contradiction, and we conclude that B is simply connected. \(\square \)
Proof of Proposition 5.3
That \((\widehat{\mathbb {R}}^2, d)\) is linearly locally connected can be shown from Lemma 5.4 as follows. By Lemma 2.5 in [4], it suffices to show that there exists \(r_0>0\) and \(\lambda \geqslant 1\) such that every ball B(x, r) of radius \(r \in (0,r_0)\) is contractible inside the ball \(B(x,\lambda r)\).
Let \(s =e^{2}/4\) and let \(L\geqslant 1\) be such that \((\widehat{\mathbb {R}}^2\setminus B(0,s), d)\) is LbiLipschitz equivalent to a Euclidean disk. Let \(r_0 = e^{2}/(4L^2)\) and \(\lambda = L^2\). For any \(r \in (0,r_0)\) and \(x \in \widehat{\mathbb {R}}^2\), the ball \(B(x,\lambda r)\) is contained in \(B(0,e^{2})\) or it is contained in \((\widehat{\mathbb {R}}^2\setminus B(0,s), d)\). In the first case, B(x, r) is simply connected by Lemma 5.4 and hence contractible. In the second case, the LbiLispchitz equivalence of \((\widehat{\mathbb {R}}^2\setminus B(0,s), d)\) with a Euclidean disk implies that B(x, r) is contractible inside \(B(x,\lambda r)\). We conclude that \((\widehat{\mathbb {R}}^2, d)\) is linearly locally connected.
We now show that \((\widehat{\mathbb {R}}^2,d)\) is not Loewner. Let \(E = (\infty ,0) \times \{0\}\) and let \(F_t = [r_t,R_t] \times \{0\}\) for \(t\in (0,1)\), where \(r_t = 1/\log (t/2)\) and \(R_t = 1/\log t\). Then \(\text {dist}(E,F_t) = {{\,\mathrm{diam}\,}}(F_t) = t\), so that \(\Delta (E,F_t) = 1\) for all t. Observe that \(\lim _{t \rightarrow 0} R_t/r_t = 1\).
Since the identity map \(\iota :(\mathbb {R}^2,{\vert }\cdot {\vert }) \rightarrow (\mathbb {R}^2,d)\) is 1QC, the modulus of \(\Gamma (E,F_t)\) relative to the metric d is the same as the modulus of the same curve family relative to the Euclidean metric. These curve families arise classically in the Teichmüller ring problem [1, Chapter III]. One can give an upper bound on their modulus as follows. Let \(\Gamma _t\) denote the family of curves which span the open Euclidean annulus \(A_t = A((r_t,0);R_tr_t,r_t)\), where t is sufficiently small so that \(R_t < 2r_t\). For sufficiently small t, the annulus \(A_t\) does not intersect E. The family \(\Gamma _t\) majorizes \(\Gamma (E,F_t)\) and has modulus \(2\pi /\log (r_t/(R_t  r_t))\).
As \(t \rightarrow 0\), we have that \({{\,\mathrm{mod}\,}}\Gamma (E,F_t)\) goes to zero. Hence \((\mathbb {R}^2, d)\) is not Loewner. \(\square \)
The Loewner condition and linear local connectedness are conceptually similar in that they both rule out the existence of cusps and sequences of bottlenecks that become arbitrarily thin. In fact, the two properties are equivalent for the class of Ahlfors 2regular metric spheres. This follows from Theorem 1.1 and Theorem 1.2 in [4] together with the quasisymmetric invariance of the Loewner condition [19, Cor. 1.6]. This example illustrates how, for metric spheres of finite Hausdorff 2measure, linear local connectedness does not imply the Loewner condition without the assumption of Ahlfors regularity.
5.2 An Accumulation of Spikes, I
The purpose of this example is to give a metric surface X so that the Hausdorff 2measure on X is upper 2regular but X fails to be ILLC. Upper regularity implies, by Proposition 3.9, that there is a QC parametrization of X by the Euclidean plane. However, X does not admit an MQC parametrization by the Euclidean plane, as shown by the following simple lemma.
Lemma 5.5
Suppose there is an MQC map \(g:\Omega \rightarrow X\), where \(\Omega \) is a domain in \(\mathbb {R}^2\). Then X is ILLC.
Proof
Let \(x \in X\) and \(x' = g^{1}(x)\). Let \(R_x>0\) be sufficiently small so that \(H_g(x',R) \leqslant 2H\) for all \(R<R_x\).
For small \(r>0\), \(g^{1}(B(x,r)) \subset B(x',R_x)\). Let \(y,z \in B(x,r)\), \(y' = g^{1}(y)\), \(z' = g^{1}(z)\), and \(R' = \sup \{{\vert }x'w'{\vert }: w' \in g^{1}(B(x,r))\}\). Then there is a curve \(\mathcal {C}\) from \(y'\) to \(z'\) which is contained in \(B(x',R')\). The metric quasiconformality implies that \(g(\mathcal {C})\) is a curve from y to z contained in B(x, 2Hr).
Similarly, let \(y,z \in X \setminus B(x,r)\), with \(y' = g^{1}(y)\) and \(z' = g^{1}(z)\). Now, let \(R' = \inf \{{\vert }x'w'{\vert }: w' \in \Omega \setminus g^{1}(B(x,r))\}\). Connect \(y'\) to \(z'\) by a curve \(\mathcal {C}\) in \(\Omega \setminus B(x',R')\). Then metric quasiconformality implies that \(g(\mathcal {C})\) is a curve from y to z contained in \(X \setminus B(x,r/(2H))\). This establishes that X is ILLC. \(\square \)
We construct this example as a surface in \(\mathbb {R}^3\) containing a sequence of spikes that become progressively smaller and converge to a point. For all \(n \in \mathbb {N}\), let \(t_n = 2^{n}\), \(h_n = 2^{n/2}\), and \(r_n = 2^{2}\cdot 2^{3n/2}\). The surface X is constructed by removing each Euclidean disk \(B((t_n,0),r_n)\) from \(\mathbb {R}^2\), identified here with \(\mathbb {R}^2 \times \{0\}\), and replacing it with a cone \(S_n\) of height \(h_n\). That is, \(S_n\) has vertex \((t_n,0,h_n)\) and joins to \(\mathbb {R}^2\) along the circle \(S((t_n,0),r_n)\). We equip X with the ambient Euclidean metric from \(\mathbb {R}^3\), though the example works just as well if we were to take the induced length metric.
We check that X is upper 2regular. Let \(x \in X\) and \(r>0\). In the first case, assume that \(r \leqslant {\vert }x{\vert }/20\), where \({\vert }\cdot {\vert }\) is the Euclidean norm in \(\mathbb {R}^3\). A computation shows that B(x, r) intersects at most one of the cones \(S_n\). It is clear that \(\mathcal {H}^2(B(x,r) \cap (\mathbb {R}^2 \times \{0\})) \leqslant \pi r^2\). By the elementary geometry of cones in \(\mathbb {R}^3\), it also holds that \(\mathcal {H}^2(B(x,r) \cap S_n) \leqslant \pi r^2\). We conclude that \(\mathcal {H}^2(B(x,r) \leqslant 2\pi r^2\).
In the second case, assume that \(r> {\vert }x{\vert }/20\). Then \(B(x,r) \subset B(0,21r)\), writing 0 to denote the origin in \(\mathbb {R}^3\). For this, we compute
We deduce that \(\mathcal {H}^2(B(0,21r)) \lesssim r^2\), and therefore that X is upper 2regular.
Finally, the point \(y_n= (t_n,0,h_n)\) lies outside the ball \(B_n = B(0,{\vert }y_n{\vert }/2)\). Any continuum connecting \(y_n\) to the unbounded component of \(\mathbb {R}^2 \setminus B_n\) must pass through the smaller ball \(X \setminus B(0,2t_n)\). However, \(\lim _{n \rightarrow \infty } t_n/{\vert }y_n{\vert } = 0\), violating the ILLC property.
5.3 An Accumulation of Spikes, II
By modifying the previous example, we construct a space which is IQS equivalent to the plane but not QS equivalent.
We carry out the same construction as above, now taking \(t_n = 2^{n}\), \(h_n = 2^{n}\), and \(r_n = 2^{2} \cdot 2^{2n}\). Instead of cones, we replace the Euclidean disks \(B((t_n,0),r_n)\) with cylinders \(C_n\) of height \(h_n\). More precisely, \(C_n= E_n \cup F_n\), where \(E_n=\{(x_1,x_2,x_3): \, (x_1,x_2) \in S((t_n,0),r_n), \, 0\leqslant x_3 \leqslant h_n\}\) and \(F_n=B((t_n,0),r_n)+(0,0,h_n)\). Again, we equip the resulting space X with the restriction of the ambient Euclidean metric to X to get (X, d).
The space X is not LLC because the cylinders get progressively narrower; thus X is not QS equivalent to the Euclidean plane. However, we claim that X equipped with \(\mu ={{\mathcal {H}}}^2\) satisfies the conditions of Theorem 1.2 and therefore admits an IQS map from \({{\mathbb {R}}}^2\).
First, notice that for every \(x \in X \setminus \{(0,0,0)\}\) there is \(r_x>0\) so that \(B(x,r_x) \subset X\) is 10biLipschitz equivalent to a planar disk. In particular, the conditions of Theorem 1.2 hold for all such points x.
We still need to verify the conditions of Theorem 1.2 for \(x=\mathbf {0}=(0,0,0)\). Take \(r_{\mathbf {0}}=1/2\). The ILLC condition follows from our choices of \(t_n\), \(h_n\), and \(r_n\). Also, calculating as in Sect. 5.2, we conclude that \(r^2 \lesssim \mathcal {H}^2(B(\mathbf {0},r)) \lesssim r^2\) for all \(r>0\). Therefore, the qmetric on X is comparable to the metric d, and \(\mu \) is IMM.
Finally, we show that the ILoewner condition is satisfied at \(\mathbf {0}\). For a fixed \(T>0\), let \(s,t>0\) satisfy \(s/t \leqslant T\). Let \(n \in \mathbb {N}\) be such that \(2^{n1} \leqslant s < 2^{n}\). Consider two disjoint continua \(E,F \subset X\) as in Definition 4.3. We make the observation that the cylinders \(C_n\) and \(C_{n1}\) are separated by a distance of at least \(2^{n1}\). Thus \(F \cap (\mathbb {R}^2 \times \{0\}) \cap B(\mathbf {0},2^{n+1})\) contains a continuum \(F'\) of diameter at least \(2^{n1}\). Next, we split into two cases. If \(t \geqslant s\), then by similar reasoning \(E \cap (\mathbb {R}^2 \times \{0\}) \cap B(\mathbf {0},2^{n})\) contains a continuum \(E'\) of diameter at least \(2^{n2}\). If \(t \leqslant s\), then take \(E'\) to be a continuum in \(E \cap (\mathbb {R}^2 \times \{0\}) \cap B(\mathbf {0},t)\) of diameter at least t/16.
Then \(d(E',F') \leqslant 2^{n+2}\), and \(E'\) and \(F'\) have relative distance
Let \(T' = \max \{128T,16\}\), so that \(\Delta (E',F') \leqslant T'\). Consider the domain
The domain G is Loewner; let \({\widetilde{\varphi }}\) be the associated Loewner function. We have then the inequality
We conclude that the ILoewner condition is satisfied at \(\mathbf {0}\).
5.4 Gluing a Grushin HalfPlane to a Euclidean HalfPlane
The Grushin plane is a basic example of a subRiemannian manifold. See [2, Sect. 3.1] for an overview. One approach to the Grushin plane, studied in [16], is given by the following definition. For each \(\beta \in (0,1)\), the \(\beta \)Grushin plane is \(\mathbb {R}^2\) equipped with the metric \({\widetilde{d}}\) obtained from the singular conformal weight \({\widetilde{\omega }}:\mathbb {R}^2 \rightarrow [0, \infty ]\) defined by \({\widetilde{\omega }}(x) = {\vert }x_1{\vert }^{\beta }\). The standard Grushin plane is obtained by taking \(\beta = 1/2\). Note that the standard Grushin plane does not have locally finite Hausdorff 2measure. However, in the case when \(\beta \in (0,1/2)\), it was shown in [18] and [23] that the \(\beta \)Grushin plane is biLipschitz equivalent to the Euclidean plane. In particular, the \(\beta \)Grushin plane is Ahlfors 2regular. Moreover, the identity map \(\mathbb {R}^2 \rightarrow (\mathbb {R}^2, {\widetilde{d}})\) is QS. A proof of this can be found in [16, Thm. 4.3].
Here, we present a modified version of the Grushin plane. Let \(\beta \in (0,1/2)\). Define the conformal weight \(\omega :\mathbb {R}^2 \rightarrow [0,\infty ]\) by
Let d denote the resulting metric.
First, we establish a ball–box relationship. For all \(r \leqslant 1\), let
Note that, for all \(x_2 \in \mathbb {R}\), the straightline curve from \((0,x_2)\) to \(((1\beta )r^{1/(1\beta )},x_2)\) has length r. Observe further that \(\omega \geqslant 1\) on \(D_r\). From this, it follows that \(d(x,0) \geqslant r\) for all \(x \in \partial D_r\). Next, by considering the concatenation of the vertical line segment from 0 to \((0, x_2)\) with the horizontal line segment from \((0,x_2)\) to x, we see that \(d(x,0) \leqslant 2r\) for all \(x \in \partial D_r\). We conclude that
for all \(r \leqslant 1\).
Next, observe that \(\mathcal {H}^2(B_d(0,2r))\) is bounded from below by
For \(\beta \in (0,1/2)\), the inequality \((23\beta )/(1\beta )<2\) holds, from which we conclude that
for all x lying on the vertical axis. On the other hand, (12) is an upper bound on \(\mathcal {H}^2(B_d(x,r))\), showing that \((\mathbb {R}^2,d)\) has locally finite Hausdorff 2measure.
Since \(\omega \) is constant on each vertical line, we see that metric balls are simply connected. In particular, \((\mathbb {R}^2,d)\) is LLC.
This example illustrates how a metric surface with locally finite 2measure can violate infinitesimal upper 2regularity at every point in a fairly large set, namely a nondegenerate continuum. Since any metric surface that is infinitesimally upper 2regular is reciprocal, this suggests the following question.
Question 5.6
Is there a metric surface for which reciprocality condition (4) fails at every point on a nondegenerate continuum?
The space \((\mathbb {R}^2,d)\) in this example is reciprocal and hence does not answer this question. In fact, the identity map onto the Euclidean plane is 1QC. This can be shown by a change of variables argument; see also Proposition 3.5 in [8], where the corresponding fact is proved for the \(\beta \)Grushin plane. In contrast, we have the following.
Proposition 5.7
There is no MQC map from the Euclidean plane to \((\mathbb {R}^2,d)\).
Proof
Assume there is a MQC map \(f:\mathbb {R}^2 \rightarrow (\mathbb {R}^2,d)\). Observe that the identity map \(\iota :\mathbb {R}^2 \rightarrow (\mathbb {R}^2,d)\) is locally quasisymmetric outside of the vertical axis Z. This implies that \(F = \iota ^{1} \circ f :\mathbb {R}^2 \rightarrow \mathbb {R}^2 \) is MQC outside of the set \(f^{1}(Z)\). By a classical removability theorem for planar quasiconformal mappings [20, Thm. 35.1], it follows that F is globally QS; see also Proposition 2.5 of [8].
Let \(x \in f^{1}(Z)\). By quasisymmetry, there exists \(H \geqslant 1\) such that
for all \(r>0\), where \(s(r) = \inf \{F(x)  F(y): y \in \mathbb {R}^2 \setminus B_{\text {Euc}}(x,r)\}\). Comparing this with the ball–box relationship (11), we conclude that f is not MQC. This is a contradiction. \(\square \)
A similar argument shows that there is no MQC map from \((\mathbb {R}^2,d)\) to \(\mathbb {R}^2\).
References
Ahlfors, L.V.: Lectures on Quasiconformal Mappings. Manuscript prepared with the assistance of Clifford J. Earle, Jr. Van Nostrand Mathematical Studies, No. 10. D. Van Nostrand Co., Inc., Toronto, Ont.New YorkLondon (1966)
Bellaïche, A.: The tangent space in subRiemannian geometry. In: SubRiemannian Geometry, vol. 144 of Progr. Math., pp. 1–78. Birkhäuser, Basel (1996)
Bonk, M.: Quasiconformal geometry of fractals. In: International Congress of Mathematicians, vol. II, pp. 1349–1373. Eur. Math. Soc., Zürich (2006)
Bonk, M., Kleiner, B.: Quasisymmetric parametrizations of twodimensional metric spheres. Invent. Math. 150(1), 127–183 (2002)
Bonk, M., Meyer, D.: Expanding Thurston Maps, vol. 225 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI (2017)
David, G., Semmes, S.: Strong \(A_\infty \) weights, Sobolev inequalities and quasiconformal mappings. In: Analysis and Partial Differential Equations, vol. 122 of Lecture Notes in Pure and Appl. Math., pp. 101–111. Dekker, New York (1990)
Federer, H.: Geometric Measure Theory. Die Grundlehren der mathematischen Wissenschaften, Band 153. Springer, New York Inc., New York (1969)
Gartland, C., Jung, D., Romney, M.: Quasiconformal mappings on the Grushin plane. Math. Z. 287(3–4), 915–928 (2017)
Heinonen, J.: Lectures on Analysis on Metric Spaces. Universitext. Springer, New York (2001)
Heinonen, J., Koskela, P.: Definitions of quasiconformality. Invent. Math. 120(1), 61–79 (1995)
Heinonen, J., Koskela, P.: Quasiconformal maps in metric spaces with controlled geometry. Acta Math. 181(1), 1–61 (1998)
Kleiner, B.: The asymptotic geometry of negatively curved spaces: uniformization, geometrization and rigidity. In: International Congress of Mathematicians, vol. II, pp. 743–768. Eur. Math. Soc., Zürich (2006)
Lohvansuu, A., Rajala, K., Rasimus, M.: Quasispheres and metric doubling measures. Proc. Am. Math. Soc. 146(7), 2973–2984 (2018)
Rajala, K.: Uniformization of twodimensional metric surfaces. Invent. Math. 207(3), 1301–1375 (2017)
Rajala, K., Romney, M.: Reciprocal lower bound on modulus of curve families in metric surfaces. Ann. Acad. Sci. Fenn. Math. 44(2), 681–692 (2019)
Romney, M.: Conformal Grushin spaces. Conform. Geom. Dyn. 20, 97–115 (2016)
Romney, M.: Singular quasisymmetric mappings in dimensions two and greater. Adv. Math. 351, 479–494 (2019)
Romney, M., Vellis, V.: BiLipschitz embedding of the generalized Grushin plane into Euclidean spaces. Math. Res. Lett. 24(4), 1177–1203 (2017)
Tyson, J.: Quasiconformality and quasisymmetry in metric measure spaces. Ann. Acad. Sci. Fenn. Math. 23(2), 525–548 (1998)
Väisälä, J.: Lectures on \(n\)Dimensional Quasiconformal Mappings. Lecture Notes in Mathematics, vol. 229. Springer, Berlin (1971)
Wildrick, K.: Quasisymmetric parametrizations of twodimensional metric planes. Proc. Lond. Math. Soc. (3) 97(3), 783–812 (2008)
Wildrick, K.: Quasisymmetric structures on surfaces. Trans. Am. Math. Soc. 362(2), 623–659 (2010)
Wu, J.M.: Geometry of Grushin spaces. Illinois J. Math. 59(1), 21–41 (2015)
Acknowledgements
We thank the referee for a careful reading of the paper and detailed feedback, which helped us improve the text significantly.
Funding
Open access funding provided by University of Jyväskylä (JYU).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
All authors were supported by the Academy of Finland, project number 308659.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rajala, K., Rasimus, M. & Romney, M. Uniformization with Infinitesimally Metric Measures. J Geom Anal 31, 11445–11470 (2021). https://doi.org/10.1007/s1222002100689y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1222002100689y
Keywords
 Metric doubling measure
 Quasiconformal mapping
 Quasisymmetric mapping
 Conformal modulus
Mathematics Subject Classification
 Primary 30L10
 Secondary 30C65
 28A75
 51F99