Exceptional Sets for Quasiconformal Mappings in General Metric Spaces II

Abstract: A homemorphism between domains in $\mathbb R<sup>n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved that it will suffice to verify the uniform bound up to a set of measure zero as long as we can show that the dilatation is finite outside a subset of finite Hausdorff--$(n-1)$ measure. In short, we say that we can allow an exceptional codimension $1$ subset. In the metric setting, it has been proved, roughly speaking, that one can allow an exceptional codimension $p$ subset, $p \ge 1$, if the source space satisfies a $p$-Poincaré inequality. We prove, effectively, the sharpness of the latter claim.

• The paper establishes that the sharp threshold for exceptional sets in quasiconformal mappings is dictated by a precise p-Poincaré inequality condition.
• It constructs explicit metric spaces using self-similar Cantor sets to delineate when Sobolev regularity holds and fails.
• The work quantifies the interplay between analytic regularity and the codimension of singular sets through pointwise inequalities and modulus estimates.

Summary and Context

The paper "Exceptional Sets for Quasiconformal Mappings in General Metric Spaces II" (2603.29769) provides a significant sharpening of the relationship between quasiconformal mappings, exceptional sets, and Poincaré inequalities within general metric spaces. The central goal is to determine the sharp threshold for the codimension of exceptional sets that can be tolerated in the metric definition of quasiconformality—specifically, how large a non-regular set may be, given structural analytic constraints on the ambient space.

Classically, in the Euclidean context, a homeomorphism between domains is quasiconformal if the pointwise linear dilatation is uniformly bounded. However, Gehring's theorem allows the dilatation to be unbounded on a set of measure zero, provided it is finite outside a subset of finite codimension-1 Hausdorff measure. In recent work on metric spaces, this threshold codimension can be generalized to $p$, contingent upon the space satisfying a $p$-Poincaré inequality. The present paper demonstrates, with explicit constructions and analytic estimates, that this threshold is not only necessary but also sharp.

Main Results and Technical Innovations

The principal results include:

• Sharpness of the Poincaré Inequality Threshold: The paper constructs metric spaces $\mathbf{X}$ (parameterized by self-similar Cantor sets) that are compact, geodesic, and Ahlfors 2-regular, for which the following equivalence is established: $\mathbf{X}$ supports a $p$-Poincaré inequality if and only if $p > \textswab{p}_0$, where $\textswab{p}_0$ is an explicit function of the Cantor set parameters. When $p \le \textswab{p}_0$, full Sobolev regularity fails.
• Explicit Construction of Exceptional Sets and Path Families: Spaces $\mathbf{X}$ are built as unions of cubes defined by Cartesian products of intervals associated to two Cantor sets. These cubes are arranged with a precise combinatorial structure, reflecting the analytic and geometric interplay of exceptional sets and the underlying measure.
• Construction and Analysis of Quasiconformal Maps with Singular Sets: By using the Cantor–Vitali function, homeomorphisms $f : \mathbf{X} \to Y$ are constructed such that $p$0 outside an exceptional set $p$1 of codimension $p$2, yet $p$3 fails absolute continuity on a family of paths of positive $p$4-modulus for $p$5 (i.e., $p$6).
• Proof Techniques via Pointwise Inequalities, Modulus Estimates, and Semmes's Pencils of Curves: The analysis leverages pointwise-metric inequalities, quantitative topological curve families (Semmes pencils), and maximal function estimates to establish and negate $p$7-Poincaré inequalities in a highly technical metric measure environment.

The primary assertions are summarized:

Construction	Regularity Achieved	Exceptional Set Codimension	Poincaré Inequality Supported
$p$8	Sobolev $p$9 iff $\mathbf{X}$0	Hausdorff $\mathbf{X}$1	Only for $\mathbf{X}$2

Strong Claims and Numerical Thresholds

A key numerical claim is the identification of the explicit threshold

$\mathbf{X}$3

where $\mathbf{X}$4 is the scaling parameter of the Cantor sets and $\mathbf{X}$5 is an arithmetic parameter controlling their complexity.

It is shown that, for every $\mathbf{X}$6 and $\mathbf{X}$7, one can construct spaces with exceptional sets of Hausdorff $\mathbf{X}$8 measure for which the threshold $\mathbf{X}$9 satisfies $\mathbf{X}$0, and the corresponding regularity and absolute continuity properties exhibit sharp failure for $\mathbf{X}$1.

Analytic and Geometric Implications

The results clarify that the metric and geometric structure of exceptional sets fundamentally limit the degree of analytic regularity possible under quasiconformal mappings. The sharp threshold for the Poincaré inequality dictates the maximal codimension of singular sets one can tolerate for absolute continuity of Sobolev-type mappings. This leads to:

• Failure Modes: When the Poincaré inequality is not satisfied for the optimal $\mathbf{X}$2, even if the metric dilatation is bounded outside a singular set, Sobolev regularity and absolute continuity on path families fails. Thus, the analytic definition cannot be relaxed further.
• Generalizations to Higher Dimensions: The construction methodology and threshold results naturally extend to higher-dimensional settings, allowing for explicitly computable analogues, which the paper notes but does not fully pursue.
• Modulus and Connectivity in Metric Spaces: The paper's approach deepens understanding of the interplay between modulus estimates, path connectivity, and fractal exceptional sets in non-Euclidean metric measure spaces.

Relation to Prior Literature and Future Directions

This work builds on foundational results by Heinonen, Koskela, Semmes, and others, both in Euclidean and non-Euclidean settings, and sharpens conjectures by Koskela–Wildrick concerning the exact regularity thresholds implied by modulus and Poincaré-type conditions for quasiconformal mappings.

Potential future lines of inquiry include:

• Classification of Metric Spaces by Poincaré Thresholds: The techniques and explicit parameterization provide a blueprint for classifying fractal and even more pathological metric spaces by their analytic regularity thresholds.
• Implications for Rigidity and Dynamics: Since exceptional sets occur naturally in the study of rigidity and dynamics (complex and geometric group settings), these sharp results may impact further work on dynamical systems, geometric group theory, and fractal geometry.
• Extensions to Non-Ahlfors Regular Spaces: The methods, though currently developed in the context of Ahlfors regularity, are amenable to further adaptation for spaces with irregular local dimension, as partially explored in cited recent work.

Conclusion

"Exceptional Sets for Quasiconformal Mappings in General Metric Spaces II" (2603.29769) establishes the necessity and sufficiency of sharp Poincaré inequality thresholds for Sobolev regularity of quasiconformal mappings in general metric spaces, contingent upon the codimension of exceptional subsets. By explicit construction and analytic proof, the authors determine precisely how the interplay of geometric complexity and analytic connectivity controls the extension of classical quasiconformal regularity to highly non-Euclidean settings. This work rigorously closes the gap between metric definitions and analytic consequences for exceptional sets and sets the stage for new advances in the analysis on metric spaces, fractal geometry, and related fields.