Hyperplane sections in arithmetic hyperbolic manifolds

We prove that the fundamental groups of ‘standard’ arithmetic hyperbolic manifolds virtually retract onto their geometrically finite subgroups. In particular, this implies that the homology groups of immersed totally geodesic hypersurfaces of compact arithmetic hyperbolic manifolds virtually inject in the homology groups of the ambient manifold.