Quasiconformal mapping

A quasiconformal mapping is a homeomorphism f between domains in Rⁿ (n≥2) that is absolutely continuous on almost every line and whose directional derivatives satisfy a uniform bound on the ratio of the maximum to minimum stretching. Specifically, the maximal dilatation K(f) is the essential supremum of the ratio of the major to minor axes of the image of infinitesimal balls; if K(f) is finite, f is K-quasiconformal. For n=2, this condition is equivalent to f satisfying the Beltrami equation ∂_z̄f = μ ∂_zf with ||μ||_∞ < 1, where μ is the Beltrami coefficient. Conformal maps are exactly the 1-quasiconformal maps. Quasiconformal maps preserve sets of measure zero and are differentiable almost everywhere, with the Jacobian positive almost everywhere.

The concept was introduced by Herbert Grötzsch in 1928 in the context of the distortion of rectangles under conformal-like maps. Lars Ahlfors, in his 1935 doctoral thesis and subsequent work, established the modern theory, showing that quasiconformal maps are precisely the solutions of the Beltrami equation and using them to prove the measurable Riemann mapping theorem. Ahlfors's work laid the foundation for applications in Teichmüller theory, where quasiconformal maps parameterize the space of Riemann surfaces. Oswald Teichmüller used extremal quasiconformal maps to define a metric on moduli space, leading to the Teichmüller distance. Later, in the 1960s, the theory was extended to higher dimensions by Gehring and Väisälä, who developed the geometric definition based on the distortion of moduli of curve families.

Quasiconformal maps are indispensable in the study of Riemann surfaces and Kleinian groups. The measurable Riemann mapping theorem, proved by Ahlfors and Bers in 1960, states that for any measurable Beltrami coefficient μ with ||μ||_∞<1, there exists a quasiconformal homeomorphism of the plane solving the Beltrami equation. This theorem is central to the construction of Teichmüller space and the proof of the Bers simultaneous uniformization theorem. In higher dimensions, quasiconformal maps are used to study the geometry of hyperbolic space and the boundary behavior of quasi-isometries. They also appear in the theory of quasiregular maps, which are the higher-dimensional analogue of holomorphic functions, and in the study of the conformal dimension of metric spaces.

Beyond the classical theory, quasiconformal maps have surprising connections to other fields. For instance, they are used in the study of quasiconformal surgery, a technique in complex dynamics for constructing rational maps with prescribed properties. In the theory of quasiconformal groups, one studies groups of quasiconformal maps acting on the sphere, which generalize Möbius transformations and are related to the theory of hyperbolic groups. A lesser-known fact is that the definition of quasiconformality can be given in terms of the modulus of curve families, a concept that extends to metric spaces and leads to the theory of quasiconformal maps on metric spaces developed by Heinonen and Koskela. Also, the boundary behavior of quasiconformal maps is subtle: they need not be Hölder continuous, but they are always quasisymmetric in the sense of Tukia and Väisälä. Finally, the extremal length method, introduced by Ahlfors and Beurling, is a powerful tool for estimating the dilatation of quasiconformal maps.

Beltrami coefficient

A complex-valued function μ with ||μ||∞<1 that encodes the infinitesimal distortion of a quasiconformal map in the plane.

Maximal dilatation

The least K≥1 such that the map is K-quasiconformal; it measures the maximal eccentricity of the image of infinitesimal circles.

Teichmüller space

The space of marked Riemann surfaces of a given genus, equipped with the Teichmüller metric defined via extremal quasiconformal maps.