Invariant measures and arithmetic quantum unique ergodicity

We classify measures on the locally homogeneous space \ SL(2, R) L which are invariant and have positive entropy under the diagonal subgroup of SL(2, R) and recurrent under L. This classification can be used to show arithmetic quantum unique ergodicity for compact arithmetic surfaces, and a similar but slightly weaker result for the finite volume case. Other applications are also presented.