﻿

# Riemann curvature tensor

In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor is the most standard way to express curvature of Riemannian manifolds. It is one of many things named after Bernhard Riemann and Elwin Bruno Christoffel. The curvature tensor is given in terms of a Levi-Civita connection by the following formula:

:$R\left(u,v\right)w= abla_u abla_v w - abla_v abla_u w - abla_\left\{ \left[u,v\right] \right\} w .$

Here $R\left(u,v\right)$ is a linear transformation of the tangent space of the manifold; it is linear in each argument.

NB. Some authors define the curvature tensor with the opposite sign.

If $u=partial/partial x^i$ and $v=partial/partial x^j$ are coordinate vector fields then $\left[u,v\right] =0$ and therefore the formula simplifies to :$R\left(u,v\right)w= abla_u abla_v w - abla_v abla_u w$i.e. the curvature tensor measures "noncommutativity of the covariant derivative".

The linear transformation $wmapsto R\left(u,v\right)w$ is also called the curvature transformation or endomorphism.

The Riemann curvature tensor, especially in its coordinate expression (see below), is a central mathematical tool of general relativity, the modern theory of gravity.

Coordinate expression

In local coordinates $x^mu$ the Riemann curvature tensor is given by:$\left\{R^ ho\right\}_\left\{sigmamu u\right\} = dx^ ho\left(R\left(partial_\left\{mu\right\},partial_\left\{ u\right\}\right)partial_\left\{sigma\right\}\right)$where $partial_\left\{mu\right\} = partial/partial x^\left\{mu\right\}$ are the coordinate vector fields. The above expression can be written using Christoffel symbols::$\left\{R^ ho\right\}_\left\{sigmamu u\right\} = partial_muGamma^ ho_\left\{ usigma\right\} - partial_ uGamma^ ho_\left\{musigma\right\} + Gamma^ ho_\left\{mulambda\right\}Gamma^lambda_\left\{ usigma\right\} - Gamma^ ho_\left\{ ulambda\right\}Gamma^lambda_\left\{musigma\right\}$

The transformation of a vector $V^mu$ after circling an infinitesimal rectangle $dx^ u dx^sigma$ is:$delta V^mu = R^mu_\left\{ usigma au\right\} dx^ u dx^sigma V^ au$.

Also define the purely covariant version by:$R_\left\{ hosigmamu u\right\} = g_\left\{ ho zeta\right\} \left\{R^zeta\right\}_\left\{sigmamu u\right\} .$

ymmetries and identities

The Riemann curvature tensor has the following symmetries::$R\left(u,v\right)=-R\left(v,u\right)^\left\{\right\}_\left\{\right\}$:$langle R\left(u,v\right)w,z angle=-langle R\left(u,v\right)z,w angle^\left\{\right\}_\left\{\right\}$:$R\left(u,v\right)w+R\left(v,w\right)u+R\left(w,u\right)v=0 ^\left\{\right\}_\left\{\right\}.$

The last identity was discovered by Ricci, but is often called the first Bianchi identity or algebraic Bianchi identity, because it looks similar to the Bianchi identity below. These three identities form a complete list of symmetries of the curvature tensor, i.e. given any tensor which satisfies the identities above, one can find a Riemannian manifold with such a curvature tensor at some point. Simple calculations show that such a tensor has $n^2\left(n^2-1\right)/12$ independent components.

Yet another useful identity follows from these three::$langle R\left(u,v\right)w,z angle=langle R\left(w,z\right)u,v angle^\left\{\right\}_\left\{\right\}.$

The Bianchi identity (often called the second Bianchi identity or differential Bianchi identity)involves the covariant derivative:

:$abla_uR\left(v,w\right)+ abla_vR\left(w,u\right)+ abla_w R\left(u,v\right) = 0.$

Given any coordinate chart about some point on the manifold, the above identities may be written in terms of the components of the Riemann tensor at this point as:

:$R_\left\{abcd\right\}^\left\{\right\}=-R_\left\{bacd\right\}=-R_\left\{abdc\right\}$

:$R_\left\{abcd\right\}^\left\{\right\}=R_\left\{cdab\right\}$

:$R_\left\{a \left[bcd\right] \right\}^\left\{\right\}=0$ (first Bianchi identity)

:$R_\left\{ab \left[cd;e\right] \right\}^\left\{\right\}=0$ (second Bianchi identity)

where the square brackets denote cyclic symmetrisation over the indices and the semi-colon is a covariant derivative.

For surfaces

For a two-dimensional surface, the Bianchi identities imply that the Riemann tensor can be expressed as:$R_\left\{abcd\right\}^\left\{\right\}=K\left(g_\left\{ac\right\}g_\left\{db\right\}- g_\left\{ad\right\}g_\left\{cb\right\} \right)$where $g_\left\{ab\right\}$ is the metric tensor and $K$ is a function called the Gaussian curvature and "a", "b", "c" and "d" take values either "1" or "2". As expected we see that the Riemann curvature tensor only has one independent component.

The Gaussian curvature coincides with the sectional curvature of the surface. It is also exactly half the scalar curvature of the 2-manifold, while the Ricci curvature tensor of the surfaceis simply given by :$operatorname\left\{Ric\right\}_\left\{ab\right\} = Kg_\left\{ab\right\}.$

ee also

*Curvature of Riemannian manifolds
*Sectional curvature
*Curvature form
*Basic introduction to the mathematics of curved spacetime
*Holonomy

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Curvature tensor — In differential geometry, the term curvature tensor may refer to: the Riemann curvature tensor of a Riemannian manifold see also Curvature of Riemannian manifolds; the curvature of an affine connection or covariant derivative (on tensors); the… …   Wikipedia

• Curvature of Riemannian manifolds — In mathematics, specifically differential geometry, the infinitesimal geometry of Riemannian manifolds with dimension at least 3 is too complicated to be described by a single number at a given point. Riemann introduced an abstract and rigorous… …   Wikipedia

• Tensor — For other uses, see Tensor (disambiguation). Note that in common usage, the term tensor is also used to refer to a tensor field. Stress, a second order tensor. The tensor s components, in a three dimensional Cartesian coordinate system, form the… …   Wikipedia

• Curvature — In mathematics, curvature refers to any of a number of loosely related concepts in different areas of geometry. Intuitively, curvature is the amount by which a geometric object deviates from being flat, or straight in the case of a line, but this …   Wikipedia

• Curvature form — In differential geometry, the curvature form describes curvature of a connection on a principal bundle. It can be considered as an alternative to or generalization of curvature tensor in Riemannian geometry. Contents 1 Definition 1.1 Curvature… …   Wikipedia

• Tensor-Diagramm-Notation — Die penrosesche graphische Notation – auch als penrosesche diagrammatische Notation, Tensor Diagramm Notation oder auch einfach Penrose Notation bezeichnet – ist eine von Roger Penrose vorgeschlagene Notation in der Physik und Mathematik, um eine …   Deutsch Wikipedia

• Tensor contraction — In multilinear algebra, a tensor contraction is an operation on one or more tensors that arises from the natural pairing of a finite dimensional vector space and its dual. In components, it is expressed as a sum of products of scalar components… …   Wikipedia

• Riemann tensor (general relativity) — The Riemann tensor (general relativity) is a mathematical object that describes gravitation and its effects in Einstein s theory of general relativity. Curvature and geodesic deviationThe Riemann tensor can be used to express the idea of… …   Wikipedia

• Tensor de curvatura — En geometría diferencial, el tensor de curvatura de Riemann , o simplemente tensor de curvatura o tensor de Riemann, supone una generalización del concepto de curvatura de Gauss, definido para superficies, a variedades de dimensiones arbitrarias …   Wikipedia Español

• Curvature invariant (general relativity) — Curvature invariants in general relativity are a set of scalars called curvature invariants that arise in general relativity. They are formed from the Riemann, Weyl and Ricci tensors which represent curvature and possibly operations on them such… …   Wikipedia