A short proof of unique ergodicity of horospherical foliations on infinite volume hyperbolic manifolds (Q507022)

\textit{H. Furstenberg} [Lect. Notes Math. 318, 95--115 (1973; Zbl 0256.58009)] showed that the Liouville measure is the unique invariant measure for the unstable horocycle flow on the unit tangent bundle of a compact hyperbolic surface, and this result has been extended to several noncompact settings. Among these results \textit{S. G. Dani} [Invent. Math. 47, 101--138 (1978; Zbl 0368.28021)] showed that (after excluding measures supported on periodic orbits) the Liouville measure is the only finite invariant ergodic measure on finite volume hyperbolic surfaces, and \textit{M. Burger} [Duke Math. J. 61, No. 3, 779--803 (1990; Zbl 0723.58041)] showed there is a unique locally finite ergodic invariant measure on convex co-compact hyperbolic surfaces. \textit{T. Roblin} [Mém. Soc. Math. Fr., Nouv. Sér. 95, 96 p. (2003; Zbl 1056.37034)] showed a more general result concerning unique ergodic Radon invariant measures for unstable horocycle flows. Here a new and simpler proof of the result of Roblin is given, by showing that the horospherical group acting on the frame bundle \(\Gamma\backslash \mathrm{SO}_o(d,1)\) of a hyperbolic manifold with infinite volume admits a unique invariant ergodic measure up to a scalar multiple supported on the set of frames whose geodesic orbits return infinitely often to a compact set.