Isomorphisms of Sobolev spaces on Carnot groups and quasiconformal mappings

We prove that a measurable mapping of domains on a Carnot group induces by the corresponding change of variables an isomorphism of the Sobolev spaces whose integrability exponent is equal to the Hausdorff dimension of the group if and only if the mapping coincides with a quasiconformal mapping almost everywhere.