Bochner–Yano theorem


In differential geometry, the Bochner–Yano theorem states that the isometry group of a compact Riemannian manifold with negative Ricci curvature is finite. It is named after its publication by.