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 - version of the 8/20/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.