1: \begin{abstract} 

2: %We introduce  a new PDE argument, in the spirit  of harmonic coordinates, to show that

3: %any isometry

4: % (i.e.,  distance-preserving homeomorphism) between open subsets of equiregular  subRiemannian manifolds is smooth. We also investigate applications of this regularity result to establish (i) the group  of isometries of an equiregular subRiemannian manifold is a (finite dimensional) Lie group and  (ii)  there exists a correspondence between subRiemannian and Riemannian isometries.

5:   We    show that

6:   the group  of isometries 

7:    (i.e.,  distance-preserving homeomorphisms) 

8:   of an equiregular subRiemannian manifold is a finite-dimensional Lie group of smooth transformations.

9:   The proof is based on  a new PDE argument, in the spirit  of harmonic coordinates, establishing  that

10:   in an arbitrary subRiemannian manifold   

11: there exists an open dense subset   where

12: all isometries are smooth.

13:   

14: %any isometry  between open subsets of    subRiemannian manifolds is smooth, whenever

15: % there exist smooth measures with respect to which the   isometry is volume preserving.

16: %We prove that this is the case for   Popp measures on  

17: %equiregular  subRiemannian manifolds.

18: %For arbitrary subRiemannian manifolds we conclude that 

19: %there exists an open dense subset   where

20: %all isometries are smooth.

21:    \end{abstract}

22: