Semiclassical functional calculus on nilpotent Lie groups and their compact nilmanifolds

In this paper, we show that the semiclassical calculus recently developed on nilpotent Lie groups and nilmanifolds include the functional calculus of suitable subelliptic operators. Moreover, we obtain Weyl laws for these operators. Amongst these operators are sub-Laplacians in horizontal divergence form perturbed with a potential and their generalisations.