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 Salomon Bochner and Kentaro Yano (1953).