Quasiregular Map of the Riemann Sphere

• Quasiregular maps are nonconstant Sobolev mappings that satisfy bounded distortion inequalities, generalizing holomorphic and rational dynamics.
• These maps exhibit complex Fatou–Julia dynamics with chaotic Julia sets and unique rigidity properties, especially on Sierpiński carpet structures.
• They introduce novel features such as variable Hausdorff dimensions and asymptotic conjugacy via Böttcher coordinates in polynomial-type settings.

A quasiregular map of the Riemann sphere $\widehat{\mathbb{C}}$ generalizes holomorphic and rational dynamics by permitting bounded distortion under iteration while retaining discrete branching and a rich dynamical structure. These maps are foundational in higher-dimensional analysis, providing the natural analogues of analytic and rational self-maps in settings with less regularity, and are central to recent advances in the structure and rigidity of Julia sets, particularly those of Sierpiński carpet type.

1. Definitions and Basic Properties of Quasiregular Maps

A quasiregular map $f: U \subset \mathbb{C} \to \mathbb{C}$ is a nonconstant mapping in the Sobolev class $W^{1,2}_{\mathrm{loc}}(U)$ satisfying a uniform distortion inequality: for almost every $z \in U$,

$\|Df(z)\|^2 \le K\,\det Df(z)$

where $\|Df(z)\|$ is the operator norm of the weak derivative matrix and $K \ge 1$ is the dilatation constant. Equivalently, $f$ solves the Beltrami equation $\bar\partial f = \mu(z)\,\partial f$ with $\|\mu\|_\infty < 1$. Maps that are homeomorphisms are termed quasiconformal; conformal maps correspond to $K=1$. By Stoilow's factorization, any planar quasiregular map admits a decomposition into a holomorphic map composed with a quasiconformal map. Critical points are isolated, and off this set, a quasiregular map is locally homeomorphic (Merenkov et al., 26 Jan 2026, Bergweiler, 2013).

The topological degree $\deg(f)$ is the maximal multiplicity over all fibers, and the branch set $B_f$ consists of points with local index at least two, governed by the two-dimensional Riemann–Hurwitz formula.

2. Fatou–Julia Theory for Quasiregular Self-Maps of $\widehat{\mathbb{C}}$

For quasiregular self-maps $f: \widehat{\mathbb{C}} \to \widehat{\mathbb{C}}$ with $\deg(f) > K(f)$, the foundational elements of the Fatou–Julia theory hold essentially unchanged from rational dynamics. The Julia set $J(f)$ is the locus of chaotic dynamics, defined by the property that its forward orbit under $f$ is not locally normal except for possibly two points (the exceptional set $E(f)$). Backward orbits are dense in $J(f)$, the escaping set $I(f)$ is open with boundary $J(f)$, and periodic Fatou components conform to the classical trichotomy: attracting basins, parabolic basins, Siegel disks, or Herman rings (Bergweiler, 2013).

However, unlike the purely rational case, the Hausdorff dimension of $J(f)$ may collapse to zero in suitable non-uniformly quasiregular examples, despite remaining dynamically nontrivial. For each $f$ as above, there exists a gauge function $h(t) = (\log(1/t))^{-\alpha}$, $\alpha = \frac{\log d}{\log K}$, such that the $h$-Hausdorff measure of $J(f)$ is always positive, possibly finite, but with $\dim_H J(f)$ potentially vanishing (Bergweiler, 2013).

3. Rigidity for Quasiregular Maps on Sierpiński Carpet Julia Sets

Consider postcritically finite rational maps $f$ and $g$ whose Julia sets $J(f), J(g) \subset \widehat{\mathbb{C}}$ are topological Sierpiński carpets, i.e., compact nowhere-dense sets with complementary components being countably many disjoint Jordan domains. Any quasiregular map $\xi: \widehat{\mathbb{C}} \to \widehat{\mathbb{C}}$ with $\xi^{-1}(J(g)) = J(f)$ exhibits extreme rigidity: on $J(f)$, such a $\xi$ can be uniquely extended to all of $\widehat{\mathbb{C}}$ as a rational map $\widehat\xi$. There exist iterates $F = f^a$ and $G = g^b$ and $\ell \ge 1$ such that

$$G^{n+\ell} \circ \widehat\xi = G^n \circ \widehat\xi \circ F^\ell \quad \text{for all } n \ge 1,$$

reflecting a deep intertwining of the dynamics of $f, g, \xi$. In the case $f = g$, there are integers $k, \ell \ge 1$ with

$f^k \circ \widehat\xi^\ell = f^{2k},$

and $\widehat\xi$ itself is postcritically finite with $J(\widehat\xi) = J(f)$ if its degree exceeds one (Merenkov et al., 26 Jan 2026).

The proof employs:

• The conformal elevator lemma for definite size control of images under iteration,
• Schottky map local rigidity and the density of repelling cycles,
• Montel-type theorems for quasiregular maps and Stoilow factorization to promote local functional equations globally,
• Analytic extension in Fatou components.

These results signify that any topological conjugacy between carpet Julia sets is dynamically algebraic: every such $\xi$ arises from the rational dynamics itself (Merenkov et al., 26 Jan 2026).

4. Breakdown of Rigidity Beyond the Carpet Case

This rigidity is particular to the Sierpiński carpet topological type. For tree-like or gasket Julia sets, the structure admits a large collection of non-dynamical quasiconformal or quasiregular symmetries, and global algebraic relations analogous to those in the carpet case do not necessarily exist. Explicit counterexamples include:

• The Basilica ($f(z) = z^2 - 1$), where quasisymmetries from Thompson group $T$ act nontrivially on $J(f)$ without arising from rational maps. Degrees of functional equations such as $f^k \circ \xi^\ell = f^{2k}$ cannot be forced in general.
• The Apollonian gasket Julia set for $f(z) = \frac{3z^2}{2z^3+1}$, where quasiregular involutions can be constructed piecemeal, producing no global algebraic dynamical identity for $\xi$ (Merenkov et al., 26 Jan 2026).

A plausible implication is that the local porosity and Schottky structure of the carpet, as reflected in Schottky-map rigidity, are essential for promoting local functional equations into global constraints.

5. Böttcher Coordinates and Polynomial-Type Quasiregular Maps

In the setting where $f = p \circ h$ with $h$ an affine stretch of constant complex dilatation and $p$ a polynomial, $f$ is termed a "polynomial-type" quasiregular map. A Böttcher-type quasiconformal coordinate $\phi$ conjugating $f$ near infinity to the model map $H(z) = h(z)^d$ exists with

$$\phi(f(z)) = H(\phi(z)), \quad \phi(z) = z + o(1) \text{ as } z \to \infty,$$

ensuring asymptotic "linearization" of the dynamics at infinity. This construction holds uniformly in the class, with $\phi$ asymptotically conformal and unique up to root-of-unity scaling (Fletcher et al., 2012).

For maps of the form $F(z) = h(z)^2 + c$, no uniform quasiregularity is possible; the iterated dilatation $K(F^{\circ n})$ diverges along invariant rays, precluding global conjugacy to holomorphic dynamics. This illustrates the genuinely new dynamical features arising from the inclusion of distortion in quasiregular maps, even when their degree exceeds their dilatation.

6. Comparison with Classical Rational and Uniformly Quasiregular Dynamics

While rational maps satisfy $\deg(f) > K(f) = 1$, ensuring absolute rigidity and invariance properties for Julia sets of positive dimension, non-uniformly quasiregular maps (with unbounded dilatation under iteration) may exhibit Julia sets of vanishing Hausdorff dimension and fail to be uniformly quasiregular. In contrast, uniformly quasiregular maps preserve many of the fine structural properties of conformal dynamics, including dimensional lower bounds on Julia sets and structural theorems for Fatou components (Bergweiler, 2013, Fletcher et al., 2012).

The principal new dynamical phenomenon is the flexibility in the fractal geometry of Julia sets: for non-uniformly quasiregular mappings, the theory yields explicitly constructed maps whose Julia sets are dynamically significant yet have Hausdorff dimension zero, a scenario impossible for rational or uniformly quasiregular maps.

---

References:

• (Merenkov et al., 26 Jan 2026) Quasiregular maps of Sierpiński carpet Julia sets
• (Bergweiler, 2013) The size of Julia sets of quasiregular maps
• (Fletcher et al., 2012) On Böttcher coordinates and quasiregular maps