Schur's lemma (from Riemannian geometry)

Schur's lemma is a result in Riemannian geometry that says, heuristically, whenever certain curvatures are pointwise constant then they are forced to be globally constant. It is essentially a degree of freedom counting argument.

Statement of the Lemma

Suppose $(M^{n},g)_{{}}^{{}}$ is a Riemannian manifold and $n\geq 3$ . Then if

the sectional curvature is pointwise constant, that is, there exists some function $f:M\rightarrow {\mathbb {R}}$ such that

{\mathrm {sect}}_{{}}^{{}}(\Pi _{p})=f(p)

for all two-dimensional subspaces

\Pi _{p}\subset T_{p}M

and all

p\in M,

then

f

is constant, and the manifold has constant sectional curvature (also known as a space form when

M

is complete); alternatively

the Ricci curvature endomorphism is pointwise a multiple of the identity, that is, there exists some function $f:M\rightarrow {\mathbb {R}}$ such that

{\mathrm {Ric}}_{{}}^{{}}(X_{p})=f(p)X_{p}

for all

X_{p}\in T_{p}M

and all

p\in M,

then

f

is constant, and the manifold is Einstein.

The requirement that $n\geq 3$ cannot be lifted. This result is far from true on two-dimensional surfaces. In two dimensions sectional curvature is always pointwise constant since there is only one two-dimensional subspace $\Pi _{p}\subset T_{p}M$ , namely $T_{p}M$ . Furthermore, in two dimensions the Ricci curvature endomorphism is always a multiple of the identity (scaled by Gauss curvature). On the other hand, certainly not all two-dimensional surfaces have constant sectional (or Ricci) curvature.

References

S. Kobayashi, K. Nomizu. Foundations of Differential Geometry (Wiley Classics Library) Volume 1, page 202.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.