Riemann curvature tensor

G_{\mu \nu} + \Lambda g_{\mu \nu}= {8\pi G\over c^4} T_{\mu \nu}

Fundamental concepts

Phenomena

Spacetime
Kepler problem Gravitational lensing Gravitational waves Frame-dragging Geodetic effect Event horizon Singularity Black hole
Spacetime diagrams Minkowski spacetime Einstein–Rosen bridge

Equations
Formalisms

Equations
Linearized gravity Einstein field equations Friedmann Geodesics Mathisson–Papapetrou–Dixon Hamilton–Jacobi–Einstein
Formalisms
ADM BSSN Post-Newtonian
Advanced theory
Kaluza–Klein theory Quantum gravity

Solutions

Scientists

In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor (after Bernhard Riemann and Elwin Bruno Christoffel) is the most common method used to express the curvature of Riemannian manifolds. It associates a tensor to each point of a Riemannian manifold (i.e., it is a tensor field), that measures the extent to which the metric tensor is not locally isometric to that of Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.

It is a central mathematical tool in the theory of general relativity, the modern theory of gravity, and the curvature of spacetime is in principle observable via the geodesic deviation equation. The curvature tensor represents the tidal force experienced by a rigid body moving along a geodesic in a sense made precise by the Jacobi equation.

The curvature tensor is given in terms of the Levi-Civita connection $\nabla$ by the following formula:

R(u,v)w=\nabla_u\nabla_v w - \nabla_v \nabla_u w - \nabla_{[u,v]} w

where [u,v] is the Lie bracket of vector fields. For each pair of tangent vectors u, v, R(u,v) is a linear transformation of the tangent space of the manifold. It is linear in u and v, and so defines a tensor. Occasionally, the curvature tensor is defined with the opposite sign.

If $u=\partial/\partial x^i$ and $v=\partial/\partial x^j$ are coordinate vector fields then $[u,v]=0$ and therefore the formula simplifies to

R(u,v)w=\nabla_u\nabla_v w - \nabla_v \nabla_u w .

The curvature tensor measures noncommutativity of the covariant derivative, and as such is the integrability obstruction for the existence of an isometry with Euclidean space (called, in this context, flat space). The linear transformation $w\mapsto R(u,v)w$ is also called the curvature transformation or endomorphism.

The curvature formula can also be expressed in terms of the second covariant derivative defined as:^[1]

\nabla^2_{u,v} w = \nabla_u\nabla_v w - \nabla_{\nabla_u v} w

which is linear in u and v. Then:

R(u,v)=\nabla^2_{u,v} - \nabla^2_{v,u}

Thus in the general case of non-coordinate vectors u and v, the curvature tensor measures the noncommutativity of the second covariant derivative.

Geometrical meaning

An illustration of the motivation of Riemann curvature on a sphere-like manifold. The fact that this transport may define two different vectors at the start point gives rise to Riemann curvature tensor. The right angle symbol denotes that the inner product (given by the metric tensor) between transported vectors (or tangent vectors of the curves) is 0.

Informally

Imagine walking around the bounding white line of a tennis court with a stick held out in front of you. When you reach the first corner of the court, you turn to follow the white line, but you keep the stick held out in the same direction, which means you are now holding the stick out to your side. You do the same when you reach each corner of the court. When you get back to where you started, you are holding the stick out in exactly the same direction as you were when you started (no surprise there).

Now imagine you are standing on the equator of the earth, facing north with the stick held out in front of you. You walk north up along a line of longitude until you get to the north pole. At that point you turn right, ninety degrees, but you keep the stick held out in the same direction, which means you are now holding the stick out to your left. You keep walking until you get to the equator. There, you turn right again (and so now you have to hold the stick pointing out behind you) and walk along the equator until you get back to where you started from. But here is the thing: the stick is pointing back along the equator from where you just came, not north up to the pole how it was when you started!

The reason for the difference is that the surface of the earth is curved, whereas the surface of a tennis court is flat, but it is not quite that simple. Imagine that the tennis court is slightly humped along its centre-line so that it is like part of the surface of a cylinder. If you walk around the court again, the stick still points in the same direction as it did when you started. This is a consequence of that the tennis court still has zero Gaussian curvature (such as for the surface of a sheet of paper that is bent but not stretched) and the Gauss–Bonnet theorem.

The Riemann curvature tensor is a way to capture a measure of the intrinsic curvature. When you write it down in terms of its components (like writing down the components of a vector), it consists of a multi-dimensional array of sums and products of partial derivatives (some of those partial derivatives can be thought of as akin to capturing the curvature imposed upon someone walking in straight lines on a curved surface).

Formally

When a vector in a Euclidean space is parallel transported around a loop, it will again point in the initial direction after returning to its original position. However, this property does not hold in the general case. The Riemann curvature tensor directly measures the failure of this in a general Riemannian manifold. This failure is known as the non-holonomy of the manifold.

Let x_t be a curve in a Riemannian manifold M. Denote by τ_{x_t} : T_x₀M → T_{x_t}M the parallel transport map along x_t. The parallel transport maps are related to the covariant derivative by

\nabla_{\dot{x}_0} Y = \lim_{h\to 0} \frac{1}{h}\left(Y_{x_0}-\tau^{-1}_{x_h}(Y_{x_h})\right) = \left.\frac{d}{dt}(\tau_{x_t}Y)\right|_{t=0}

for each vector field Y defined along the curve.

Suppose that X and Y are a pair of commuting vector fields. Each of these fields generates a one-parameter group of diffeomorphisms in a neighborhood of x₀. Denote by τ_tX and τ_tY, respectively, the parallel transports along the flows of X and Y for time t. Parallel transport of a vector Z ∈ T_x₀M around the quadrilateral with sides tY, sX, −tY, −sX is given by

\tau_{sX}^{-1}\tau_{tY}^{-1}\tau_{sX}\tau_{tY}Z.

This measures the failure of parallel transport to return Z to its original position in the tangent space T_x₀M. Shrinking the loop by sending s, t → 0 gives the infinitesimal description of this deviation:

\left.\frac{d}{ds}\frac{d}{dt}\tau_{sX}^{-1}\tau_{tY}^{-1}\tau_{sX}\tau_{tY}Z\right|_{s=t=0} = (\nabla_X\nabla_Y - \nabla_Y\nabla_X - \nabla_{[X,Y]})Z = R(X,Y)Z

where R is the Riemann curvature tensor.

Coordinate expression

Converting to the tensor index notation, the Riemann curvature tensor is given by

R^\rho{}_{\sigma\mu\nu} = dx^\rho(R(\partial_{\mu},\partial_{\nu})\partial_{\sigma})

where $\partial_{\mu} = \partial/\partial x^{\mu}$ are the coordinate vector fields. The above expression can be written using Christoffel symbols:

R^\rho{}_{\sigma\mu\nu} = \partial_\mu\Gamma^\rho{}_{\nu\sigma} - \partial_\nu\Gamma^\rho{}_{\mu\sigma} + \Gamma^\rho{}_{\mu\lambda}\Gamma^\lambda{}_{\nu\sigma} - \Gamma^\rho{}_{\nu\lambda}\Gamma^\lambda{}_{\mu\sigma}

The Riemann curvature tensor is also the commutator of the covariant derivative of an arbitrary covector $A_{\nu}\,$ with itself:^[2]^[3]

A_{\nu ; \rho \sigma} - A_{\nu ; \sigma \rho} = A_{\beta} R^{\beta}{}_{\nu \rho \sigma} \, ,

since the connection $\Gamma^\alpha{}_{\beta\mu}\,$ is torsionless, which means that the torsion tensor $\Gamma^\lambda{}_{\mu\nu}-\Gamma^\lambda{}_{\nu\mu}\,$ vanishes.

This formula is often called the Ricci identity.^[4] This is the classical method used by Ricci and Levi-Civita to obtain an expression for the Riemann curvature tensor.^[5] In this way, the tensor character of the set of quantities $R^{\beta}{}_{\nu \rho \sigma}\,$ is proved.

This identity can be generalized to get the commutators for two covariant derivatives of arbitrary tensors as follows

\begin{align} T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s ; \gamma \delta} - T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s ; \delta \gamma} = \, & - R^{\alpha_1}{}_{\rho \gamma \delta} T^{\rho \alpha_2 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s} - \cdots - R^{\alpha_r}{}_{\rho \gamma \delta} T^{\alpha_1 \cdots \alpha_{r-1} \rho}{}_{\beta_1 \cdots \beta_s} \\ & + \, R^\sigma{}_{\beta_1 \gamma \delta} T^{\alpha_1 \cdots \alpha_r}{}_{\sigma \beta_2 \cdots \beta_s} + \cdots + R^\sigma{}_{\beta_s \gamma \delta} T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_{s-1} \sigma} \,. \end{align}

This formula also applies to tensor densities without alteration, because for the Levi-Civita (not generic) connection one gets:^[4]

\nabla_{\mu}(\sqrt{g}\,)\equiv (\sqrt{g}\,)_{;\mu}=0 \, , \quad {\mathrm{where}} \quad {g}=|{\mathrm{det}}(g_{\mu\nu})|\, .

It is sometimes convenient to also define the purely covariant version by

R_{\rho\sigma\mu\nu} = g_{\rho \zeta} R^\zeta{}_{\sigma\mu\nu} \,.

Symmetries and identities

The Riemann curvature tensor has the following symmetries:

R(u,v)=-R(v,u)^{}_{}

\langle R(u,v)w,z \rangle=-\langle R(u,v)z,w \rangle^{}_{}

R(u,v)w+R(v,w)u+R(w,u)v=0 ^{}_{}.

Here the bracket $\langle,\rangle$ refers to the inner product on the tangent space induced by the metric tensor. 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. (Also, if there is nonzero torsion, the first Bianchi identity becomes a differential identity of the torsion tensor.) 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(n^2-1)/12$ independent components.

Yet another useful identity follows from these three:

\langle R(u,v)w,z \rangle=\langle R(w,z)u,v \rangle^{}_{}.

On a Riemannian manifold one has the covariant derivative $\nabla_u R$ and the Bianchi identity (often called the second Bianchi identity or differential Bianchi identity) takes the form:

(\nabla_uR)(v,w)+(\nabla_vR)(w,u)+(\nabla_w R)(u,v) = 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:

Skew symmetry

R_{abcd}^{}=-R_{bacd}=-R_{abdc}

Interchange symmetry

R_{abcd}^{}=R_{cdab}

First Bianchi identity

R_{abcd}+R_{acdb}+R_{adbc}^{}=0

This is often written

R_{a[bcd]}^{}=0,

where the brackets denote the antisymmetric part on the indicated indices. This is equivalent to the previous version of the identity because the Riemann tensor is already skew on its last two indices.

Second Bianchi identity

R_{abcd;e}^{}+R_{abde;c}^{}+R_{abec;d}^{}=0

The semi-colon denotes a covariant derivative. Equivalently,

R_{ab[cd;e]}^{}=0

again using the antisymmetry on the last two indices of R.

The algebraic symmetries are also equivalent to saying that R belongs to the image of the Young symmetrizer corresponding to the partition 2+2.

Special cases

Surfaces

For a two-dimensional surface, the Bianchi identities imply that the Riemann tensor can be expressed as

R_{abcd}^{}=K(g_{ac}g_{db}- g_{ad}g_{cb}) \,

where $g_{ab}$ 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. The Riemann tensor has only one functionally 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 surface is simply given by

\operatorname{Ric}_{ab} = Kg_{ab}. \,

Space forms

A Riemannian manifold is a space form if its sectional curvature is equal to a constant K. The Riemann tensor of a space form is given by

R_{abcd}^{}=K(g_{ac}g_{db}-g_{ad}g_{cb}).

Conversely, except in dimension 2, if the curvature of a Riemannian manifold has this form for some function K, then the Bianchi identities imply that K is constant and thus that the manifold is (locally) a space form.

Notes

↑ Lawson, H. Blaine, Jr.; Michelsohn, Marie-Louise (1989). Spin Geometry. Princeton U Press. p. 154. ISBN 0-691-08542-0.
↑ Synge J.L., Schild A. (1949). Tensor Calculus. first Dover Publications 1978 edition. pp. 83; 107. ISBN 978-0-486-63612-2.
↑ P. A. M. Dirac (1996). General Theory of Relativity. Princeton University Press. ISBN 0-691-01146-X.
1 2 Lovelock, David; Rund, Hanno (1989) [1975]. Tensors, Differential Forms, and Variational Principles. Dover. p. 84,109. ISBN 978-0-486-65840-7.
↑ Ricci, Gregorio; Levi-Civita, Tullio (March 1900), "Méthodes de calcul différentiel absolu et leurs applications" (PDF), Mathematische Annalen (Springer) 54 (1–2): 125–201, doi:10.1007/BF01454201

References

Besse, A.L. (1987), Einstein manifolds, Springer
Kobayashi, S.; Nomizu, K. (1963), Foundations of differential geometry, vol. 1, Interscience
Misner, Charles W.; Thorne, Kip S.; Wheeler, John A. (1973), Gravitation, W. H. Freeman, ISBN 0-7167-0344-0

Various notions of curvature defined in differential geometry

Differential geometry of curves	Curvature Torsion of a curve Frenet–Serret formulas Radius of curvature (applications) Affine curvature Total curvature Total absolute curvature

Differential geometry of surfaces	Principal curvatures Gaussian curvature Mean curvature Darboux frame Gauss–Codazzi equations First fundamental form Second fundamental form Third fundamental form

Riemannian geometry	Curvature of Riemannian manifolds Riemann curvature tensor Ricci curvature Scalar curvature Sectional curvature

Curvature of connections	Curvature form Torsion tensor Cocurvature Holonomy

Theories of gravitation

Standard

Newtonian gravity (NG)	Newton's law of universal gravitation History of gravitational theory

General relativity (GR)	Introduction History Mathematics Resources Tests Post-Newtonian formalism Linearized gravity ADM formalism

Alternatives to
general relativity

Paradigms	Classical theories of gravitation Quantum gravity Theory of everything

Classical	Einstein–Cartan Bimetric theories Gauge theory gravity Teleparallelism Composite gravity f(R) gravity Massive gravity Modified Newtonian dynamics (MOND) Nonsymmetric gravitation Scalar–tensor theories Brans–Dicke Scalar–tensor–vector Conformal gravity Scalar theories Nordström Whitehead Geometrodynamics Induced gravity Tensor–vector–scalar Chameleon Pressuron

Quantisation	Euclidean quantum gravity Canonical quantum gravity Wheeler–DeWitt equation Loop quantum gravity Spin foam Causal dynamical triangulation Causal sets DGP model

Unification	Kaluza–Klein theory Dilaton Supergravity

Unification and quantisation	Noncommutative geometry Self-creation cosmology Semiclassical gravity Superfluid vacuum theory Logarithmic BEC vacuum String theory M-theory F-theory Heterotic string theory Type I string theory Type 0 string theory Bosonic string theory Type II string theory Little string theory Twistor theory Twistor string theory

Generalisations / Extensions of GR	Scale relativity Liouville gravity Lovelock theory (2+1)-dimensional topological gravity Gauss–Bonnet gravity Jackiw–Teitelboim gravity

Pre-Newtonian theories
and Toy models

Tensors

Glossary of tensor theory

Scope

Mathematics	coordinate system multilinear algebra Euclidean geometry tensor algebra differential geometry exterior calculus tensor calculus

Physics Engineering	continuum mechanics electromagnetism transport phenomena general relativity computer vision

Notation

Tensor definitions

Operations

Related abstractions

Notable tensors

Mathematics	Kronecker delta Levi-Civita symbol metric tensor nonmetricity tensor Christoffel symbols Ricci curvature Riemann curvature tensor Weyl tensor torsion tensor

Physics	moment of inertia angular momentum tensor spin tensor Cauchy stress tensor stress–energy tensor EM tensor gluon field strength tensor Einstein tensor metric tensor (GR)

Mathematicians

This article is issued from Wikipedia - version of the Sunday, December 20, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.