Composition operators in weighted Sobolev spaces on the Carnot group

We study the properties of the mappings inducing bounded change-of-variable operators in weighted Sobolev spaces on the Carnot group. We obtain an analytical description of these mappings in terms of integrability of the weighted distortion function. In some cases we prove that the mapping inducing a bounded operator is piecewise absolutely continuous on almost all horizontal lines.