Finiteness of totally geodesic hypersurfaces

Abstract

We prove that a negatively curved analytic Riemannian manifold that contains infinitely many totally geodesic hypersurfaces is isometric to an arithmetic hyperbolic manifold.