Invariant measures for the horocycle flow on periodic hyperbolic surfaces

We classify the ergodic invariant Radon measures for the horocycle flow on geometrically infinite regular covers of compact hyperbolic surfaces. The method is to establish a bijection between these measures and the positive minimal eigenfunctions of the Laplacian of the surface. Two consequences arise: if the group of deck transformations G is of polynomial growth, then these measures are classified by the homomorphisms from G ₀ to ℝ where G ₀ ≤ G is a nilpotent subgroup of finite index; if the group is of exponential growth, then there may be more than one Radon measure which is invariant under the geodesic flow and the horocycle flow. We also treat regular covers of finite volume surfaces. The first author was supported by NSF grant 0500630. The second author was supported by NSF grant 0400687.