Conformality and <i>Q</i>-harmonicity in Sub-Riemannian Manifolds

Abstract

We establish regularity of conformal maps between sub-Riemannian manifolds from regularity of Q-harmonic functions, and in particular we prove a Liouville-type theorem, i.e., 1-quasiconformal maps are smooth in all contact sub-Riemannian manifolds. Together with the recent results in [15], our work yields a new proof of the smoothness of boundary extensions of biholomorphims between strictly pseudoconvex smooth domains [29].