Equivalent Definitions of Quasiconformal Mappings

• Equivalent definitions of quasiconformal mappings describe homeomorphisms that uniformly control distortion to preserve conformal structures across metric measure spaces.
• The analytic, metric, and geometric formulations leverage Sobolev conditions, pointwise stretch, and modulus distortion bounds to establish quantitative equivalence.
• This equivalence underpins applications in uniformization, factorization, and curvature analysis, bridging theories across planar, metric, and subRiemannian geometries.

A homeomorphism between metric measure spaces is called quasiconformal if it quasi-preserves conformal structure, distortions, or moduli of curve families, up to a controlled multiplicative bound. Historically, several precise notions—metric, analytic, and geometric (modulus-based)—were developed in Euclidean spaces, with subsequent broad generalization to metric measure spaces, metric surfaces, and subRiemannian manifolds. A central result, established in a variety of settings, is that these definitions are quantitatively equivalent, characterizing the same mapping class, with the sharpness of the equivalence controlled by the underlying geometry of the spaces and the regularity of the maps (Williams, 2010, Meier et al., 2024, Hitruhin et al., 2023, Guo et al., 2016).

1. Formulations of Quasiconformal Mappings

Three principal definitions exist for quasiconformality, supplemented by further variants in specialized geometries:

• Metric Definition: Distortion is controlled pointwise in terms of the (limsup) ratios of maximal and minimal stretching of balls:

$$H_f(x) = \limsup_{r \to 0} \frac{\sup\{ d_Y(f(x),f(y)): d_X(x,y)=r \}}{\inf\{ d_Y(f(x),f(y)): d_X(x,y)=r \}}.$$

A map $f$ is $K$-quasiconformal if $H_f(x)\leq K$ a.e. (Williams, 2010, Hitruhin et al., 2023, Lahti, 2022, Meier et al., 2024, Guo et al., 2016).

• Analytic Definition: The map $f$ lies in the appropriate Sobolev/upper-gradient class, and for a.e.\ $x$,

$|\nabla f(x)|^Q \leq K J_f(x)$

where $|\nabla f|$ is the minimal weak upper gradient, and $J_f$ denotes the Jacobian density associated to the pushforward measure. The sharp analytic dilatation is given by $\esssup_{x} H_O(x, f)$, where

$$H_O(x,f) = \limsup_{r\to0} \frac{ \sup\{ d_Y(f(x'),f(x))^Q : d_X(x',x)=r \} \mu(B_r(x)) }{ r^Q \nu(f(B_r(x))) }.$$

When Ahlfors regularity and quasisymmetry hold, $H_O(x, f)=\frac{(\Lip f(x))^Q}{J_f(x)}$ (Williams, 2010, Hitruhin et al., 2023, Lahti, 2022, Meier et al., 2024).

• Geometric (Modulus) Definition: The mapping distorts the $Q$-modulus of curve families by at most $K$:

$\Mod_Q(\Gamma) \leq K \Mod_Q(f(\Gamma))$

for every family $\Gamma$ of rectifiable curves. Modulus is defined as

$\Mod_Q(\Gamma) = \inf_\rho \int_X \rho^Q \, d\mu,$

where $\rho$ ranges over Borel functions with $\int_\gamma \rho \, ds \geq 1$ for all $\gamma \in \Gamma$ (Williams, 2010, Hitruhin et al., 2023, Meier et al., 2024, Guo et al., 2016).

Additional definitions (e.g., relaxed metric/FDP, surface-modulus duality, Popp extension for subRiemannian manifolds) supplement the classical list in broader metric/geometric contexts (Lahti, 2022, Jones et al., 2019, Guo et al., 2016).

2. Equivalence Theorems and Sharp Constants

The cornerstone result is that, under appropriate (often minimal) regularity and geometric hypotheses, the metric, analytic, and modulus definitions are quantitatively equivalent, i.e., if $f$ is $K$-quasiconformal in one sense, then it is $CK$-quasiconformal in the others for a constant $C$ depending only on the ambient geometry. In settings such as separable, locally finite metric measure spaces, the following holds (Williams, 2010, Meier et al., 2024, Guo et al., 2016):

• If $f \in N^{1,Q}(X, Y)$ satisfies $|\nabla f(x)|^Q \leq K J_f(x)$ a.e., then $\Mod_Q(\Gamma) \leq K \Mod_Q(f(\Gamma))$ for all curve families $\Gamma$ and vice versa.
• In spaces with locally $Q$-bounded geometry and suitable curvature bounds on the target, the sharp equality

$K_{\mathrm{geo}}(f) = \esssup_x H_O(x, f) = K_{\mathrm{an}}(f)$

holds (Williams, 2010).

For mappings on metric surfaces, Meier–Rajala establish equivalence between finite analytic distortion, finite pathwise distortion (upper/lower gradients), and modulus distortion for homeomorphisms, crucially allowing passage of results such as uniformization to this general category (Meier et al., 2024). For subRiemannian manifolds, the Popp extension gives an invariant definition equivalent to the others in the $K=1$ case, with all definitions coinciding with horizontal conformality (Guo et al., 2016).

Table: Summary of Equivalent Definitions (Classical Settings)

Definition	Formal Criterion	Quantitative Condition
Metric	$H_f(x)$	$H_f(x)\le K$ a.e.
Analytic	$|\nabla f|^Q$, $J_f$	$|\nabla f|^Q \le KJ_f$ a.e.
Geometric	$\Mod_Q$	$\Mod_Q(\Gamma)\le K\Mod_Q(f(\Gamma))$ for all $\Gamma$

3. Duality: Surface-Modulus and Fine Topology Perspectives

Jones–Lahti develop a duality theory for the modulus of curve and surface (codimension-one) families in metric measure spaces with a doubling measure and Poincaré inequality. Specifically, under these conditions, the product of the $p$-modulus of curve families and the dual $q$-modulus of separating surfaces satisfies $1 \leq \Mod_p(\Gamma)\Mod_q(\Sigma)\le C$ for conjugate exponents $p, q$, up to geometric constants (Jones et al., 2019). A homeomorphism is $K$-quasiconformal if and only if it also quasi-preserves the modulus of all such surface families. This duality closes the equivalence triangle among metric/analytic symbolism, curve-modulus, and surface-modulus perspectives.

Lahti introduces finely quasiconformal mappings using a relaxed, fine-topology modification of the standard metric definition. In the plane, he proves that essential boundedness of the relaxed distortion controls the classical analytic and geometric definitions, thus further expanding the equivalence apparatus to include lower regularity scenarios (Lahti, 2022).

4. Specialized Contexts: Metric Surfaces, Higher Codimension, and SubRiemannian Manifolds

On metric surfaces (spaces homeomorphic to planar domains with locally finite Hausdorff measure), the analytic, modulus, and pathwise definitions coincide for homeomorphisms; the analytic inequality for the weak upper gradient implies pointwise control on maximal/minimal stretch and modulus distortion, and conversely provided the distortion function is locally integrable (Meier et al., 2024). The equivalence extends to higher codimension via the framework of quasiconformal $\omega$-curves, where a mapping satisfying a suitable distortion inequality relative to a nonvanishing closed $n$-form is analytic, modulus/curve, and metric quasiconformal, under mild projection and regularity hypotheses (Hitruhin et al., 2023).

In equiregular subRiemannian manifolds, the equivalence of the metric, analytic, geometric, and Popp extension definitions for $1$-quasiregularity is established. The Popp distortion ratio $K_P(x)$ encodes infinitesimal conformality at the level of the extended horizontal metric, and its boundedness equates to conformity across all frameworks (Guo et al., 2016).

5. Proof Strategies and Central Lemmas

Equivalence proofs are constructive and make deep use of measure-theoretic and potential-theoretic tools:

• Analytic ⇒ Geometric: Transfer admissible functions via composition and upper gradient bounds to produce admissible densities for the modulus in preimage curve families.
• Geometric ⇒ Analytic: Use modulus characterizations of upper gradients, fine decompositions, and Fuglede–Mazur selection principles to extract minimal upper gradients satisfying the analytic distortion inequality (Williams, 2010).
• Duality/Surface Modulus: Apply the coarea formula for BV functions, potential fine topology separations, and maximal-function chain arguments to relate curve and surface modulus control (Jones et al., 2019).
• Metric–Analytic Bridge: Establish through differentiability almost everywhere, blow-up analysis, covering arguments, and the identification of analytic quantities using fine or weak representatives (Lahti, 2022, Guo et al., 2016).

6. Applications: Uniformization, Stoilow Factorization, and Geometry

The equivalence theorems facilitate several major geometric consequences:

• Uniformization: Any metric surface admitting a nonconstant quasiregular map to $\mathbb{R}^2$ can be quasiconformally mapped to a planar domain (Meier et al., 2024).
• Stoilow Factorization: Every quasiregular map factors through a quasiconformal homeomorphism followed by a holomorphic map.
• Curvature and Ahlfors Regularity: In settings with Ahlfors regularity and curvature bounds, sharp constants ensure the extremality of the correspondence between analytic and geometric dilatations (Williams, 2010).
• Popp Geometry: In subRiemannian settings, the Popp extension enables a natural, invariant, and quantitatively equivalent definition of quasiconformality, harmonizing the finer geometry of the horizontal bundle with integral and pathwise modulus interpretations (Guo et al., 2016).

7. Examples, Counterexamples, and Extremal Phenomena

Extremal behaviors, such as “snowflaked” spaces or Rickman’s rug, demonstrate the criticality of geometric hypotheses: in some cases, a mapping may satisfy the analytic and geometric quasiconformality condition while its inverse does not, emphasizing the necessity for precise regularity and topology in the equivalence theorems (Williams, 2010). The sharp constants are generally optimal, though special symmetries or additional regularity may improve quantitative bounds.

---

References:

• (Williams, 2010) M. Williams, “Geometric and analytic quasiconformality in metric measure spaces”
• (Hitruhin et al., 2023) I. Hitruhin, E. Tsantaris, “Quasiconformal curves and quasiconformal maps in metric spaces”
• (Jones et al., 2019) P. Jones, P. Lahti, “Duality of moduli and quasiconformal mappings in metric spaces”
• (Lahti, 2022) P. Lahti, “Finely quasiconformal mappings”
• (Meier et al., 2024) A. Meier, K. Rajala, “Definitions of quasiconformality on metric surfaces”
• (Guo et al., 2016) L. Capogna et al., “Equivalence of quasiregular mappings on subRiemannian manifolds via the Popp extension”