Schur theorem in pseudo-Riemannian geometry (source code)

= Schur theorem in pseudo-Riemannian geometry
{c}

In dimension greater than two, if sectional curvature is pointwise independent of the two-plane, the contracted Bianchi identity forces that curvature to be constant on each connected component.

The positive-definite specialization is <Schur's lemma (Riemannian geometry)>.