A Poincaré Section for the Horocycle Flow on the Space of Lattices.

We construct a Poincaré section for the horocycle flow on the modular surface , and study the associated first return map, which coincides with a transformation [the Boca-Cobeli-Zaharescu (BCZ) map] defined by Boca et al. [7]. We classify ergodic invariant measures for this map and prove equidistribution of periodic orbits. As corollaries, we obtain results on the average depth of cusp excursions and on the distribution of gaps for Farey sequences and slopes of lattice vectors. [ABSTRACT FROM AUTHOR]