A Koebe distortion theorem for quasiconformal mappings in the Heisenberg group

  title={A Koebe distortion theorem for quasiconformal mappings in the Heisenberg group},
  author={Tomasz Adamowicz and Katrin F{\"a}ssler and Ben Warhurst},
  journal={Annali di Matematica Pura ed Applicata (1923 -)},
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}$$ H 1 . Several auxiliary properties of quasiconformal mappings between subdomains of $${\mathbb {H}}^{1}$$ H 1 are proven, including BMO estimates for the logarithm of the Jacobian. Applications of the Koebe theorem include diameter bounds for images of curves, comparison of integrals of the average derivative and the operator… Expand


Logarithmic potentials and quasiconformal flows on the Heisenberg group
Let $\mathbb{H}$ be the sub-Riemannian Heisenberg group. That $\mathbb{H}$ supports a rich family of quasiconformal mappings was demonstrated by Kor\'{a}nyi and Reimann using the so-called flowExpand
Metric and geometric quasiconformality in Ahlfors regular Loewner spaces
Recent developments in geometry have highlighted the need for abstract formulations of the classical theory of quasiconformal mappings. We modify Pansu’s generalized modulus to study quasiconformalExpand
Distortion of quasiconformal maps in terms of the quasihyperbolic metric
Abstract We extend a theorem of Gehring and Osgood from 1979–relating to the distortion of the quasihyperbolic metric by a quasiconformal mapping between Euclidean domains–to the setting of metricExpand
Uniform domains and quasiconformal mappings on the Heisenberg group
We prove that in the Heisenberg group the image of a uniform domain under a global quasiconformal homeomorphism is still a uniform domain. As a consequence, the class of NTA (non-tangentiallyExpand
TheLp-integrability of the partial derivatives of A quasiconformal mapping
Jf(x) = lim sup m(f(B(x, r)))/m(B(x, r)), r->0 where B(x, r) denotes the open ^-dimensional ball of radius r about x and m denotes Lebesgue measure in R. We call Lf(x) and Jf(x\ respectively, theExpand
Besicovitch Covering Property for homogeneous distances in the Heisenberg groups
Our main result is a positive answer to the question whether one can find homogeneous distances on the Heisenberg groups that have the Besicovitch Covering Property (BCP). This property is well knownExpand
Hausdorff dimension distribution of quasiconformal mappings on the Heisenberg group
We construct quasiconformal mappings on the Heisenberg group which change the Hausdorff dimension of Cantor-type sets in an arbitrary fashion. On the other hand, we give examples of subsets of theExpand
Sobolev classes of Banach space-valued functions and quasiconformal mappings
We give a definition for the class of Sobolev functions from a metric measure space into a Banach space. We give various characterizations of Sobolev classes and study the absolute continuity inExpand
Definitions of quasiconformality
SummaryWe establish that the infinitesimal “H-definition” for quasiconformal mappings on Carnot groups implies global quasisymmetry, and hence the absolute continuity on almost all lines. Our methodExpand
Quasiconformal maps in metric spaces with controlled geometry
This paper develops the foundations of the theory of quasiconformal maps in metric spaces that satisfy certain bounds on their mass and geometry. The principal message is that such a theory is bothExpand