nLab Ricci curvature

Redirected from "Ricci tensors".
Contents

Contents

Idea

Formally, the Ricci curvature RicRic of a Riemannian manifold is a symmetric rank-2 tensor obtained by contraction from the Riemann curvature. Geometrically one may think Ric(v,w)Ric(v, w) as the first order approximation of the infinitesimal behavior of the surface spanned by vectors vv and ww. This is made explicit by the following formula for the volume element around some point

dμ g=[116Ric jkx jx k+O(|x| 3)]dμ Euclidean d\mu _{g} \;=\; \left[1-{\tfrac {1}{6}}Ric_{jk}x^{j}x^{k}+O\left(|x|^{3}\right)\right]d\mu _{Euclidean}

(where we are using the Einstein summation convention).

A spacetime with vanishing Ricci curvature is also called Ricci flat.

Properties

Harmonic coordinate representation and regularity

By a trick of Lanczos 1922, rediscovered by DeTurck & Kazdan 1981, in harmonic coordinates the Ricci tensor can be expressed as

Ric lm=12 j,kg jk j kg lm+Q lm(g,g), Ric_{lm} \;=\; -\frac{1}{2} \sum_{j,k} g^{j k} \partial_j \partial_k g_{lm} + Q_{lm}(g, \nabla g) \,,

where g jkg^{j k} denotes the inverse of the metric tensor and Q lmQ_{lm} is a quadratic form in g\nabla g with coefficients that are rational expressions in which numerators are polynomials gg and the denominator depends only on detg\sqrt{\det g}.

Note that this formula describes the metric tensor as a quasilinear elliptic PDE. This is especially useful in two ways:

  1. There are theorems that give bounds on the regularity of the metric tensor in harmonic coordinates under geometric assumptions (Anderson 1990, Anderson & Cheeger 1992, Cheeger & Naber 2013).

  2. As this expression is a quasilinear elliptic PDE, one can conclude on regularity bounds for the metric tensor from regularity estimates for the Ricci tensor.

This argument allows for a regularity bootstrap in case of Einstein manifolds: given a rough Einstein metric with kk derivatives, the regularity theory for quasilinear PDEs gives k+2k+2-regularity of the metric tensor. But the Einstein property g=λRicg = \lambda Ric implies the same regularity for the Ricci tensor. Hence one can apply the argument again and add infinitum.

Cheeger-Gromoll theorem

See at Cheeger-Gromoll theorem.

Examples

Example

For n >0n \in \mathbb{N}_{\gt 0} and r >0r \in \mathbb{R}_{\gt 0}, the Ricci tensor of the round n n -sphere S nS^n of radius rr satisfies

Ric(v,v)=n1r 2 Ric(v,v) \;=\; \frac{n-1}{r^2}

for all unit-length tangent vectors vTS nv \in T S^n, |v|=1{\vert v \vert} = 1.

Accordingly, the scalar curvature of the round n n -sphere of radius rr is the constant function with value

R=n(n1)r 2. \mathrm{R} \;=\; \frac{n(n-1)}{r^2} \,.

(e.g. Lee 2018, Cor. 11.20)

curvature in Riemannian geometry
Riemann curvature
Ricci curvature
scalar curvature
sectional curvature
p-curvature

References

See most references listed at Riemannian geometry, for instance:

  • John M. Lee, Riemannian manifolds. An introduction to curvature, Graduate Texts in Mathematics 176 Springer (1997) [ISBN: 0-387-98271-X]

    second edition (retitled):

    John M. Lee, Introduction to Riemannian Manifolds, Springer (2018) [ISBN:978-3-319-91754-2, doi:10.1007/978-3-319-91755-9]

See also:

On Lanczos’s trick:

  • Lanczos, Ein vereinfachendes Koordinatensystem für die Einsteinschen Gravitationsgleichungen, Phys. Z. 23 (1922) 537-539

  • Dennis DeTurck, Jerry Kazdan, Some regularity theorems in Riemannian geometry, Annales scientifiques de l’École Normale Supérieure, Serie 4, Volume 14 (1981) no. 3, pp. 249-260 [numdam:ASENS_1981_4_14_3_249_0]

On regularity results:

For weaker but more general regularity results see also:

A conjecture that all compact Ricci flat manifolds either have special holonomy or else are “unstable”:

Last revised on July 30, 2024 at 13:34:42. See the history of this page for a list of all contributions to it.