Shrinking targets for discrete time flows on hyperbolic manifolds

We prove dynamical Borel Canteli Lemmas for discrete time homogenous flows hitting a sequence of shrinking targets in a hyperbolic manifold. These results apply to both diagonalizable and unipotent flows, and to any family of measurable shrinking targets in the manifold. As a special case, we establish logarithm laws for the first hitting times to shrinking balls and shrinking cusp neighborhoods, refining and improving on perviously known results.