A Koebe distortion theorem for quasiconformal mappings in the Heisenberg group
Abstract
We prove a Koebe distortion theorem for the average derivative of a quasiconformal mapping between domains in the sub-Riemannian Heisenberg group $\mathbb{H}_1$. Several auxiliary properties of quasiconformal mappings between subdomains of $\mathbb{H}_1$ are proven, including distortion of balls estimates and local BMO-estimates for the logarithm of the Jacobian of a quasiconformal mapping. Applications of the Koebe theorem include diameter bounds for images of curves, comparison of integrals of the average derivative and the operator norm of the horizontal differential, as well as the study of quasiconformal densities and metrics in domains in $\mathbb{H}_1$. The theorems are discussed for the sub-Riemannian and the Korányi distances. This extends results due to Astala--Gehring, Astala--Koskela, Koskela and Bonk--Koskela--Rohde.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2017
- DOI:
- 10.48550/arXiv.1707.02832
- arXiv:
- arXiv:1707.02832
- Bibcode:
- 2017arXiv170702832A
- Keywords:
-
- Mathematics - Metric Geometry;
- Mathematics - Analysis of PDEs;
- Mathematics - Complex Variables;
- 30L10 (Primary);
- 30C65;
- 30F45 (Secondary)
- E-Print:
- 40 pages, updated version, presentation reorganized, major change: quasisymmetry used instead of the modulus argument