TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)audited 2026-10-08

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Every 1-quasiconformal homeomorphism is conformal

Statement

Assume the Axiom of Choice. Let $Ω, Ω^{'} \subseteq C$ be complex domains (A complex domain is a nonempty connected open subset of $C$ ) and $f : Ω \to Ω^{'}$ a homeomorphism. The following are equivalent.

(a) $f$ is $1$ -quasiconformal, in either the geometric or the analytic sense (Orientation-preserving homeomorphisms and the geometric definition of quasiconformality, The ACL and Sobolev analytic definition of quasiconformality, The geometric and analytic definitions of quasiconformality agree).

(b) $f \in W_{l o c}^{1, 2} (Ω)$ and its weak Wirtinger derivative satisfies $\partial_{\overset{ˉ}{z}} f = 0$ almost everywhere; under this Sobolev hypothesis this is equivalent to $μ_{f} = 0$ almost everywhere together with $\partial_{\overset{ˉ}{z}} f = 0$ almost everywhere on ${\partial_{z} f = 0}$ (The ACL and Sobolev analytic definition of quasiconformality, The Beltrami coefficient and the maximal dilatation).

(c) $f$ is holomorphic; equivalently, it is a biholomorphism of $Ω$ onto $Ω^{'}$ (Biholomorphic maps between complex domains).

Thus the conformal maps in this library's orientation-preserving sense are exactly the $1$ -quasiconformal homeomorphisms; in particular, they preserve angles.

Facts & Assumptions

Given: Choice, complex domains $Ω, Ω^{'}$ , and a homeomorphism $f : Ω \to Ω^{'}$ .

[F1]

The geometric and analytic definitions have the same least dilatation. In the analytic class, $K_{f} = 1$ iff $μ_{f} = 0$ almost everywhere; the defining inequality then gives $f_{\overset{ˉ}{z}} = 0$ almost everywhere. Conversely, if $f$ is analytic quasiconformal and $f_{\overset{ˉ}{z}} = 0$ almost everywhere, then its Beltrami coefficient is zero (including the set where $f_{z} = 0$ ), so $K_{f} = 1$ (The ACL and Sobolev analytic definition of quasiconformality, The Beltrami coefficient and the maximal dilatation, The geometric and analytic definitions of quasiconformality agree).

[F2]

Distributional derivatives commute, and $Δ = 4 \partial_{z} \partial_{\overset{ˉ}{z}}$ on distributions (Linearity, locality, and commutation of weak derivatives, Distributional harmonicity and Poisson's equation on an open subset of Rn).

[F3]

A locally integrable distribution with zero Laplacian has a smooth harmonic representative; if the original function is continuous, it equals that representative everywhere (Weyl's lemma for the Laplacian, Locally integrable weakly harmonic functions are smooth).

[F4]

For a smooth function, the Cauchy–Riemann equation $\partial_{\overset{ˉ}{z}} f = 0$ is equivalent to holomorphy. An injective holomorphic map on a complex domain has nowhere-vanishing derivative and a holomorphic inverse onto its open image (Complex differentiability is equivalent to real total differentiability together with a complex-linear derivative, with $\partial_{\overset{ˉ}{z}} f = 0$ , or with the Cauchy–Riemann equations, An injective holomorphic map has no critical point and is biholomorphic onto its image).

[F5]

At a differentiability point, a real-linear derivative given by multiplication by a nonzero complex number has determinant $∣ f^{'} (z) ∣^{2} > 0$ and hence preserves the local orientation (The Wirtinger derivatives $\partial_{z} f$ and $\partial_{\overset{ˉ}{z}} f$ , and antiholomorphic functions, A real linear isomorphism preserves or reverses orientation according to the sign of its determinant, Smooth orientation sign is the local integral homology multiplier).

[F6]

A one-to-one holomorphic map preserves extremal length of every path family by conformal invariance, and thus satisfies the geometric modulus inequalities with constant $1$ (Conformal invariance, monotonicity, and the series and parallel laws for extremal length, Orientation-preserving homeomorphisms and the geometric definition of quasiconformality).

Proof

technique · reduce the unit-dilatation condition to the weak Cauchy–Riemann equation, apply Weyl's lemma, and use conformal invariance for the converse

1.1F1given

By [F1], an analytically $1$ -quasiconformal map satisfies (b) and has $μ_{f} = 0$ almost everywhere. If the hypothesis in (a) is geometric, the equivalence theorem first supplies the analytic condition with the same constant. Conversely, (b) is exactly the analytic $1$ -quasiconformal condition, so its least constant is $1$ . Under the Sobolev hypothesis, $μ_{f} = 0$ forces $f_{\overset{ˉ}{z}} = 0$ off ${f_{z} = 0}$ ; the additional condition on that set gives $f_{\overset{ˉ}{z}} = 0$ almost everywhere, proving the coefficient reformulation in (b).

1.2F2given

Assume (b). The map $f$ is continuous, hence locally integrable, and its weak Wirtinger derivative vanishes as a distribution. By [F2], $Δ f = 4 \partial_{z} (\partial_{\overset{ˉ}{z}} f) = 0$ distributionally, componentwise.

2.1F3F4step 1.2given

By [F3], $f$ agrees almost everywhere with a smooth harmonic function. The representative is actually $f$ everywhere: the difference of two continuous functions that vanishes almost everywhere must vanish everywhere, since any point where it were nonzero would have a neighborhood of positive area where it remained nonzero. Thus $f$ is smooth and harmonic. Its classical $\partial_{\overset{ˉ}{z}} f$ is continuous and represents the zero distribution, so it vanishes pointwise; [F4] gives that $f$ is holomorphic. Since $f$ is injective, [F4] also shows its inverse is holomorphic onto its open image; surjectivity identifies that image with $Ω^{'}$ . Therefore $f$ is a biholomorphism, proving (b) $\Rightarrow$ (c).

3.1F1F4F5F6step 1.1step 1.2step 2.1given∎

Assume (c). Then $f$ is injective and holomorphic, so [F4] gives $f^{'} (z) \neq 0$ everywhere and a holomorphic inverse. By [F5], $f$ preserves orientation. By [F6], it preserves the modulus of every quadrilateral family exactly, hence is geometrically $1$ -quasiconformal; the equivalence theorem in [F1] makes it analytically $1$ -quasiconformal as well. This proves (c) $\Rightarrow$ (a); steps 1.1 and 1.2 prove (a) $\Rightarrow$ (b), and step 2.1 proves (b) $\Rightarrow$ (c).

Depends on

Used by

Dependency tree · two levels

105 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

Mikhail Lyubich, Conformal Geometry and Dynamics of Quadratic Polynomials, vol. I (book draft, Stony Brook) (standard reference, not scraped)
Christopher J. Bishop, Quasiconformal Mappings (Stony Brook Math 627 lecture notes) (standard reference, not scraped)