Bochner's theorem (Riemannian geometry)
In mathematics, Salomon Bochner proved in 1946 that any Killing vector field of a compact Riemannian manifold with negative Ricci curvature must be zero. Consequently the isometry group of the manifold must be finite. Discussion. The theorem is a corollary of Bochner's more fundamental result which says that on any connected Riemannian manifold of negative Ricci curvature, the length of a nonzero Killing vector field cannot have a local maximum. In particular, on a closed Riemannian manifold of negative Ricci curvature, every Killing vector field is identically zero. Since the isometry group of  a complete Riemannian manifold is a Lie group whose Lie algebra is naturally identified with the vector space of Killing vector fields, it follows that the isometry group is zero-dimensional. Bochner's theorem then follows from the fact that the isometry group of a closed Riemannian manifold is compact. Bochner's result on Killing vector fields is an application of the maximum principle as follows. As an application of the Ricci commutation identities, the formula holds for any vector field on a pseudo-Riemannian manifold. As a consequence, there is In the case that is a Killing vector field , this simplifies to In the case of a Riemannian metric, the left-hand side is nonpositive at any local maximum of the length of . However, on a Riemannian metric of negative Ricci curvature, the right-hand side is strictly positive wherever is nonzero. So if has a local maximum, then it must be identically zero in a neighborhood. Since Killing vector fields on connected manifolds are uniquely determined from their value and derivative at a single point, it follows that must be identically zero.