Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
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 way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold (i.e., it is a tensor field). It is a local invariant of Riemannian metrics which measures the failure of the second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is flat, i.e. locally isometric to the 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. Let (M, g) be a Riemannian or pseudo-Riemannian manifold, and be the space of all vector fields on M. We define the Riemann curvature tensor as a map by the following formula where is the Levi-Civita connection: or equivalently where [X, Y] is the Lie bracket of vector fields and is a commutator of differential operators. It turns out that the right-hand side actually only depends on the value of the vector fields at a given point, which is notable since the covariant derivative of a vector field also depends on the field values in a neighborhood of the point. Hence, is a -tensor field. For fixed , the linear transformation is also called the curvature transformation or endomorphism. Occasionally, the curvature tensor is defined with the opposite sign. 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).