Approximating sub-riemannian structures by Riemannian metrics and spectral convergence

We construct an approximating sequence of Riemannian metrics tailored to a given sub-Riemannian structure. We prove that the sequence of associated Riemannian volumes converge to Popp’s volume and we then proceed to study the spectral convergence of the associated Laplace operators.