Change of variables operators in weighted Sobolev spaces on Carnot groups

We study mappings inducing a bounded composition operator on weighted Sobolev spaces on Carnot groups. An analytical description of these mappings is given in terms of integrability of weighted distortion function. For the special cases we prove that mapping which generates a bounded composition operator is partially absolutely continuous on almost all horizontal lines.