No label defined (Q4400697)

The author describes homeomorphisms of domains in Carnot-Carathéodory spaces inducing isomorphisms of Sobolev classes defined in the geometry of vector fields satisfying some conditions. One of the main results of the article is the following theorem. Let \(\Omega \Subset M\) and \(\Omega' \Subset M'\) be compact domains in Carnot-Carathéodory spaces \(M\) and \(M'\) respectively. If a homeomorphism \(\varphi: \Omega\to \Omega'\) induces a bounded operator \(\varphi^*: L^1_{p'} (\Omega') \to L^1_p (\Omega)\) of Sobolev spaces with \(p=\nu\), \(p'= \nu'\) (a bounded isomorphism with \(1\leq p\leq \infty\), \(p\neq\nu\), \(1\leq p'\leq \infty\), \(p'\neq \nu')\) by the composition rule \(\varphi^* (u)=u \circ\varphi\) then \(\varphi\) is a quasi-conformal (quasi-isometric) mapping. Moreover, the Hausdorff dimensions of \(M\) and \(M'\) coincide, and \(p=p'\). For the entire collection see [Zbl 0883.00022].