In the

_{''t''} be a curve in a Riemannian manifold ''M''. Denote by τ_{''x''''t''} : T_{x0}''M'' → T_{xt}''M'' the parallel transport map along ''x''_{t}. The parallel transport maps are related to the covariant derivative by
:$\backslash nabla\_\; Y\; =\; \backslash lim\_\; \backslash frac\backslash left(Y\_\; -\; \backslash tau^\_\backslash left(Y\_\backslash right)\backslash right)\; =\; \backslash left.\backslash frac\backslash left(\backslash tau\_Y\backslash right)\backslash \_$
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''_{0}. 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_{x0}''M'' around the quadrilateral with sides ''tY'', ''sX'', −''tY'', −''sX'' is given by
:$\backslash tau\_^\backslash tau\_^\backslash tau\_\backslash tau\_Z.$
This measures the failure of parallel transport to return ''Z'' to its original position in the tangent space T_{x0}''M''. Shrinking the loop by sending ''s'', ''t'' → 0 gives the infinitesimal description of this deviation:
:$\backslash left.\backslash frac\backslash frac\backslash tau\_^\backslash tau\_^\backslash tau\_\backslash tau\_Z\backslash \_\; =\; \backslash left(\backslash nabla\_X\backslash nabla\_Y\; -\; \backslash nabla\_Y\backslash nabla\_X\; -\; \backslash nabla\_\backslash right)Z\; =\; R(X,\; Y)Z$
where ''R'' is the Riemann curvature tensor.

mathematical
Mathematics (from Greek: ) includes the study of such topics as quantity (number theory), structure (algebra), space (geometry), and change (analysis). It has no generally accepted definition.
Mathematicians seek and use patterns to formulate ...

field of differential geometry
Differential geometry is a mathematical discipline that uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra to study problems in geometry. The theory of plane and space curves and surfaces in th ...

, the Riemann curvature tensor or Riemann–Christoffel tensor (after Bernhard Riemann
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to analysis, number theory, and differential geometry.
In the field of real analysis, he is mostly known for the first rigo ...

and Elwin Bruno Christoffel
Elwin Bruno Christoffel (; November 10, 1829 – March 15, 1900) was a German mathematician and physicist. He introduced fundamental concepts of differential geometry, opening the way for the development of tensor calculus, which would later provi ...

) is the most common way used to express the curvature of Riemannian manifoldsFrom left to right: a surface of negative cylinder),_and_a_surface_of_positive_Gaussian_curvature_(sphere.html" style="text-decoration: none;"class="mw-redirect" title="hyperboloid">Gaussian curvature (hyperboloid), a surface of zero Gaussian cur ...

. It assigns a tensor
In mathematics, a tensor is an algebraic object that describes a (multilinear) relationship between sets of algebraic objects related to a vector space. Objects that tensors may map between include vectors and scalars, and even other tensors. Te ...

to each point of a Riemannian manifold
In differential geometry, a Riemannian manifold or Riemannian space is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent space ''T'p'M'' at each point ''p''. A common convention is to ta ...

(i.e., it is a tensor field
In mathematics and physics, a tensor field assigns a tensor to each point of a mathematical space (typically a Euclidean space or manifold). Tensor fields are used in differential geometry, algebraic geometry, general relativity, in the analysis o ...

), that measures the extent to which the metric tensor
In the mathematical field of differential geometry, one definition of a metric tensor is a type of function which takes as input a pair of tangent vectors and at a point of a surface (or higher dimensional differentiable manifold) and produces a ...

is not locally isometric to that of Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold
In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the requ ...

, or indeed any manifold equipped with an affine connection
In differential geometry, an affine connection is a geometric object on a smooth manifold which ''connects'' nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a ...

.
It is a central mathematical tool in the theory of general relativity
General relativity, also known as the general theory of relativity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics. General relativity generalizes spec ...

, the modern theory of gravity
Gravity (), or gravitation, is a natural phenomenon by which all things with mass or energy—including planets, stars, galaxies, and even light—are brought toward (or ''gravitate'' toward) one another. On Earth, gravity gives weight to p ...

, and the curvature of spacetime
In physics, spacetime is any mathematical model which fuses the three dimensions of space and the one dimension of time into a single four-dimensional manifold. The fabric of space-time is a conceptual model combining the three dimensions of space ...

is in principle observable via the geodesic deviation equationIn general relativity, geodesic deviation describes the tendency of objects to approach or recede from one another while moving under the influence of a spatially varying gravitational field. Put another way, if two objects are set in motion along tw ...

. The curvature tensor represents the tidal force
The tidal force is a gravitational effect that stretches a body along the line towards the center of mass of another body due to a gradient (difference in strength) in gravitational field from the other body; it is responsible for diverse phenomena, ...

experienced by a rigid body moving along a geodesic
In geometry, a geodesic () is commonly a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connec ...

in a sense made precise by the Jacobi equation.
This curvature tensor ''R'' is given in terms of the Levi-Civita connection
In Riemannian or pseudo Riemannian geometry (in particular the Lorentzian geometry of general relativity), the Levi-Civita connection is the unique connection on the tangent bundle of a manifold (i.e. affine connection) that preserves the (pseudo- ...

$\backslash nabla$ by the following formula:
:$R(u,\; v)w\; =\; \backslash nabla\_u\backslash nabla\_v\; w\; -\; \backslash nabla\_v\; \backslash nabla\_u\; w\; -\; \backslash nabla\_\; w$
or equivalently
:$R(u,\; v)\; =;\; href="/html/ALL/s/nabla\_u,\backslash nabla\_v.html"\; ;"title="nabla\_u,\backslash nabla\_v">nabla\_u,\backslash nabla\_v$
where 'u'', ''v''is the Lie bracket of vector fields and $;\; href="/html/ALL/s/nabla\_u,\backslash nabla\_v.html"\; ;"title="nabla\_u,\backslash nabla\_v">nabla\_u,\backslash nabla\_v$ is a commutator of differential operators. 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\; =\; \backslash partial/\backslash partial\; x^i$ and $v\; =\; \backslash partial/\backslash partial\; x^j$ are coordinate vector fields then $[u,\; v]\; =\; 0$ and therefore the formula simplifies to
:$R(u,\; v)w\; =\; \backslash nabla\_u\backslash nabla\_v\; w\; -\; \backslash nabla\_v\backslash nabla\_u\; w\; .$
The curvature tensor measures ''noncommutativity of the covariant derivative'', and as such is the integrability condition, integrability obstruction for the existence of an isometry with Euclidean space (called, in this context, ''flat'' space). The linear transformation $w\; \backslash 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:
: $\backslash nabla^2\_\; w\; =\; \backslash nabla\_u\backslash nabla\_v\; w\; -\; \backslash nabla\_\; w$
which is linear in ''u'' and ''v''. Then:
: $R(u,\; v)\; =\; \backslash nabla^2\_\; -\; \backslash nabla^2\_$
Thus in the general case of non-coordinate vectors ''u'' and ''v'', the curvature tensor measures the noncommutativity of the second covariant derivative.
Geometric meaning

Informally

One can see the effects of curved space by comparing a tennis court and the Earth. Start at the lower right corner of the tennis court, with a racket held out towards north. Then while walking around the outline of the court, at each step make sure the tennis racket is maintained in the same orientation, parallel to its previous positions. Once the loop is complete the tennis racket will be parallel to its initial starting position. This is because tennis courts are built so the surface is flat. On the other hand, the surface of the Earth is curved: we can complete a loop on the surface of the Earth. Starting at the equator, point a tennis racket north along the surface of the Earth. Once again the tennis racket should always remain parallel to its previous position, using the local plane of the horizon as a reference. For this path, first walk to the north pole, then turn 90 degrees and walk down to the equator, and finally turn 90 degrees and walk back to the start. However now the tennis racket will be pointing backwards (towards the east). This process is akin to parallel transporting a vector along the path and the difference identifies how lines which appear "straight" are only "straight" locally. Each time a loop is completed the tennis racket will be deflected further from its initial position by an amount depending on the distance and the curvature of the surface. It is possible to identify paths along a curved surface where parallel transport works as it does on flat space. These are thegeodesic
In geometry, a geodesic () is commonly a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connec ...

of the space, for example any segment of a great circle of a sphere.
The concept of a curved space in mathematics differs from conversational usage. For example, if the above process was completed on a cylinder one would find that it is not curved overall as the curvature around the cylinder cancels with the flatness along the cylinder, this is a consequence of Gaussian curvature and the Gauss–Bonnet theorem. A familiar example of this is a floppy pizza slice which will remain rigid along its length if it is curved along its width.
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 generalRiemannian manifold
In differential geometry, a Riemannian manifold or Riemannian space is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent space ''T'p'M'' at each point ''p''. A common convention is to ta ...

. This failure is known as the non-holonomy of the manifold.
Let ''x''Coordinate expression

Converting to the tensor index notation, the Riemann curvature tensor is given by :$R^\backslash rho\_\; =\; dx^\backslash rho\backslash left(R\backslash left(\backslash partial\_\backslash mu,\; \backslash partial\_\backslash nu\backslash right)\backslash partial\_\backslash sigma\backslash right)$ where $\backslash partial\_\backslash mu\; =\; \backslash partial/\backslash partial\; x^\backslash mu$ are the coordinate vector fields. The above expression can be written using Christoffel symbols: :$R^\backslash rho\_\; =\; \backslash partial\_\backslash mu\backslash Gamma^\backslash rho\_\; -\; \backslash partial\_\backslash nu\backslash Gamma^\backslash rho\_\; +\; \backslash Gamma^\backslash rho\_\backslash Gamma^\backslash lambda\_\; -\; \backslash Gamma^\backslash rho\_\backslash Gamma^\backslash lambda\_$ (see also the list of formulas in Riemannian geometry). The Riemann curvature tensor is also the commutator of the covariant derivative of an arbitrary covector $A\_$ with itself: :$A\_\; -\; A\_\; =\; -A\_\; R^\_,$ since the Connection (mathematics), connection $\backslash Gamma^\backslash alpha\_$ is torsionless, which means that the torsion tensor $\backslash Gamma^\backslash lambda\_\; -\; \backslash Gamma^\backslash lambda\_$ vanishes. This formula is often called the ''Ricci identity''. This is the classical method used by Gregorio Ricci-Curbastro, Ricci and Tullio Levi-Civita, Levi-Civita to obtain an expression for the Riemann curvature tensor. In this way, the tensor character of the set of quantities $R^\_$ is proved. This identity can be generalized to get the commutators for two covariant derivatives of arbitrary tensors as follows :$\backslash begin\; \&\backslash nabla\_\backslash delta\; \backslash nabla\_\backslash gamma\; T^\_\; -\; \backslash nabla\_\backslash gamma\; \backslash nabla\_\backslash delta\; T^\_\; \backslash \backslash [3pt]\; =\; \&R^\_\; T^\_\; +\; \backslash ldots\; +\; R^\_\; T^\_\; -\; R^\backslash sigma\_\; T^\_\; -\; \backslash ldots\; -\; R^\backslash sigma\_\; T^\_\; \backslash end$ This formula also applies to tensor density, tensor densities without alteration, because for the Levi-Civita (''not generic'') connection one gets: :$\backslash nabla\_\backslash left(\backslash sqrt\backslash right)\; \backslash equiv\; \backslash left(\backslash sqrt\backslash right)\_\; =\; 0,$ where :$g\; =\; \backslash left,\; \backslash det\backslash left(g\_\backslash right)\backslash .$ It is sometimes convenient to also define the purely covariant version by :$R\_\; =\; g\_\; R^\backslash zeta\_.$Symmetries and identities

The Riemann curvature tensor has the following symmetries and identities: where the bracket $\backslash langle,\backslash rangle$ refers to the inner product on the tangent space induced by themetric tensor
In the mathematical field of differential geometry, one definition of a metric tensor is a type of function which takes as input a pair of tangent vectors and at a point of a surface (or higher dimensional differentiable manifold) and produces a ...

.
The first (algebraic) Bianchi identity was discovered by Gregorio Ricci-Curbastro, Ricci, but is often called the first Bianchi identity or algebraic Bianchi identity, because it looks similar to the Luigi Bianchi, Bianchi identity below. (Also, if there is nonzero Torsion tensor, torsion, the first Bianchi identity becomes a differential identity of the torsion tensor.) . It is often written: $$R\_\; =\; 0,$$where the brackets denote the antisymmetric tensor, 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.
The first 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\backslash left(n^2\; -\; 1\backslash right)/12$ independent components. Interchange symmetry follows from these. The algebraic symmetries are also equivalent to saying that ''R'' belongs to the image of the Young symmetrizer corresponding to the partition 2+2.
On a Riemannian manifold one has the covariant derivative $\backslash nabla\_u\; R$ and the Bianchi identity (often called the second Bianchi identity or differential Bianchi identity) takes the form of the last identity in the table.
Ricci curvature

The Ricci curvature tensor is the Tensor_contraction, contraction of the first and third indices of the Riemann tensor. :$\backslash underbrace\_\; \backslash equiv\; \backslash underbrace\_\; =\; g^\; \backslash underbrace\_$Special cases

Surfaces

For a two-dimensional surface (topology), surface, the Bianchi identities imply that the Riemann tensor has only one independent component, which means that the Ricci scalar completely determines the Riemann tensor. There is only one valid expression for the Riemann tensor which fits the required symmetries: :$R\_\; =\; f(R)\; \backslash left(g\_g\_\; -\; g\_g\_\backslash right)$ and by contracting with the metric twice we find the explicit form: :$R\_\; =\; K\backslash left(g\_g\_\; -\; g\_g\_\backslash right)\; ,$ where $g\_$ is themetric tensor
In the mathematical field of differential geometry, one definition of a metric tensor is a type of function which takes as input a pair of tangent vectors and at a point of a surface (or higher dimensional differentiable manifold) and produces a ...

and $K\; =\; R/2$ 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
:$R\_\; =\; Kg\_.$
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\_\; =\; K\backslash left(g\_g\_\; -\; g\_g\_\backslash right).$ 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.See also

*Introduction to the mathematics of general relativity *Ricci decomposition, Decomposition of the Riemann curvature tensor *Curvature of Riemannian manifolds *Ricci curvature, Ricci curvature tensorNotes

References

* * * {{DEFAULTSORT:Riemann Curvature Tensor Tensors in general relativity Curvature (mathematics) Riemannian geometry Bernhard Riemann