Abstract:
We prove that a measurable mapping of domains in a complete Riemannian manifold induces an isomorphism of Sobolev spaces with the first generalized derivatives whose summability exponent equals the (Hausdorff) dimension of the manifold if and only if the mapping coincides with some quasiconformal mapping almost everywhere.