Integrable distortion I: Weil--Petersson circle homeomorphisms and the Schoen conjecture
Abstract
A circle homeomorphism β:𝕊→𝕊 is Weil--Petersson if it has a quasiconformal disk extension whose Beltrami coefficient is square integrable for hyperbolic area. We minimise the hyperbolic anti-holomorphic energy E2(h)=∫Dη(h)|hw̅|2,dA, equivalently ∫D|μf|2/(1−|μf|2),dAη, f=h−1, over all monotone Sobolev maps with boundary values β. For Weil--Petersson data, the unique minimiser is a real analytic hyperbolic harmonic diffeomorphism, globally quasiconformal and asymptotically conformal, with an explicit dilatation bound in terms of any admissible barrier's energy. We prove that a circle homeomorphism is Weil--Petersson if and only if it admits a finite-distortion homeomorphic extension satisfying ∫D(𝕂F−1),dAη<∞. For every p>1, the boundary values of a finite-distortion homeomorphism satisfying ∫D|μF|p(1−|μF|2)−p*/2,dAη<∞ lie in Guo's p-integrable Teichm"uller space Tp. A capacity estimate for boundary moduli for the quasisymmetric ratio yields a derivative-free characterisation of Tp, essentially Bishop's theorem when p=2. The minimum defines a M"obius-invariant boundary energy, quantitatively comparable to the weighted square norm of the minimiser's Hopf differential. For arbitrary quasisymmetric data, we prove Markovi'c's theorem (the Schoen conjecture) by approximation with our smooth quadratic minimisers. Mori's theorem and the mean-value property of a logarithm verify the averaged-distance hypothesis in Riestenberg--Smillie's interior comparison, giving explicit displacement, energy-density and dilatation bounds in terms of the quasisymmetry constant. The nonquadratic (p≠2) theory is developed in Part~II.
Related
- Integrable distortion II: the p-Weil-Petersson variational problem
- Modulus of Continuity for Finite Energy Homeomorphisms of the Circle
- Minimal sets for torus homeomorphisms with an irrational circle factor
- Numerical experiments on the Hardy conjecture for the Gauss circle problem
- Jacobians of BV homeomorphisms and their weak-* limits
BibTeX
@misc{martin2026integrable,
title = {{Integrable distortion I: Weil--Petersson circle homeomorphisms and the Schoen conjecture}},
author = {Gaven Martin and Cong Yao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.25580},
eprint = {2610.25580},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.25580},
}
RIS
TY - UNPB
TI - Integrable distortion I: Weil--Petersson circle homeomorphisms and the Schoen conjecture
AU - Gaven Martin
AU - Cong Yao
PY - 2026
DA - 2026/10/18
PB - arXiv
DO - 10.48550/arxiv.2610.25580
UR - https://arxiv.org/abs/2610.25580
AB - A circle homeomorphism β:𝕊→𝕊 is Weil--Petersson if it has a quasiconformal disk extension whose Beltrami coefficient is square integrable for hyperbolic area. We minimise the hyperbolic anti-holomorphic energy E_2(h)=∫_Dη(h)|h_w̅|^2,dA, equivalently ∫_D|μ_f|^2/(1−|μ_f|^2),dA_η, f=h^−1, over all monotone Sobolev maps with boundary values β. For Weil--Petersson data, the unique minimiser is a real analytic hyperbolic harmonic diffeomorphism, globally quasiconformal and asymptotically conformal, with an explicit dilatation bound in terms of any admissible barrier's energy. We prove that a circle homeomorphism is Weil--Petersson if and only if it admits a finite-distortion homeomorphic extension satisfying ∫_D(𝕂_F−1),dA_η<∞. For every p>1, the boundary values of a finite-distortion homeomorphism satisfying ∫_D|μ_F|^p(1−|μ_F|^2)^−p_*/2,dA_η<∞ lie in Guo's p-integrable Teichm"uller space T^p. A capacity estimate for boundary moduli for the quasisymmetric ratio yields a derivative-free characterisation of T^p, essentially Bishop's theorem when p=2. The minimum defines a M"obius-invariant boundary energy, quantitatively comparable to the weighted square norm of the minimiser's Hopf differential. For arbitrary quasisymmetric data, we prove Markovi'c's theorem (the Schoen conjecture) by approximation with our smooth quadratic minimisers. Mori's theorem and the mean-value property of a logarithm verify the averaged-distance hypothesis in Riestenberg--Smillie's interior comparison, giving explicit displacement, energy-density and dilatation bounds in terms of the quasisymmetry constant. The nonquadratic (p≠2) theory is developed in Part~II.
ER -