Conformality and Q-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].