Riemann curvature tensor

Riemann curvature tensor
Name	Riemann curvature tensor
Field	Differential geometry
Introduced by	Bernhard Riemann
Introduced in	1854 lecture

Riemann curvature tensor The Riemann curvature tensor is a fourth-rank tensor encoding intrinsic curvature of a smooth manifold with a connection and metric, central to modern differential geometry and general relativity. It arose in the work of Bernhard Riemann and was developed in the contexts of Gaussian curvature, Levi-Civita connection, and tensor analysis by Elwin Bruno Christoffel, Tullio Levi-Civita, and Gregorio Ricci-Curbastro, later becoming fundamental in the formulations by Albert Einstein and Marcel Grossmann. The tensor governs geodesic deviation, influences Einstein field equations, and interfaces with index theorems, topology, and global analysis.

Definition and notation

One defines the Riemann curvature tensor from a connection ∇ on the tangent bundle by R(X,Y)Z = ∇_X∇_Y Z − ∇_Y∇_X Z − ∇_[X,Y] Z, a map taking vector fields X, Y, Z to a vector field; this construction builds on ideas in the lectures of Bernhard Riemann and the Ricci calculus of Gregorio Ricci-Curbastro and Tullio Levi-Civita. In local coordinates {x^i} one writes components R^i{}_{jkl} relative to a coordinate frame using Christoffel symbols Γ^i_{jk}, which trace back to Elwin Bruno Christoffel and later treatments by Élie Cartan and Hermann Weyl. When a metric g is present the Riemann tensor relates to the Levi-Civita connection, and index positions are raised and lowered with g as in works by Élie Cartan and Marcel Grossmann used in the development of general relativity by Albert Einstein.

Symmetries and algebraic properties

The tensor satisfies antisymmetry R_{ijkl} = −R_{jikl} and R_{ijkl} = −R_{ijlk}, the first Bianchi identity R_{i[jkl]} = 0 and the pair symmetry R_{ijkl} = R_{klij} in the metric-compatible, torsion-free case, properties emphasized in the expositions of Élie Cartan and Hermann Weyl. These symmetries reduce independent components; for an n-dimensional manifold the count is n^2(n^2 − 1)/12, a result discussed in texts by Shiing-Shen Chern and John Milnor and appearing in computations by Constantin Carathéodory and Hermann Minkowski. The algebraic classification of the Riemann tensor in four dimensions under the action of the orthogonal group connects to Petrov classification in studies by Aleksei Petrov and works on exact solutions by Kurt Gödel and Roy Kerr.

Relation to geodesics and parallel transport

Geodesic deviation is governed by the equation of geodesic deviation (Jacobi equation) which relates second covariant derivatives of separation vectors to the Riemann curvature tensor; this linkage is central to the analysis of tidal forces in Albert Einstein's general relativity and to stability questions studied by Henri Poincaré and Aleksandr Lyapunov. Parallel transport around infinitesimal loops produces holonomy determined by the Riemann tensor; the Ambrose–Singer theorem and the work of Shiing-Shen Chern relate holonomy groups to curvature, echoing contributions by Élie Cartan and Wilhelm Killing. In applications to gravitational lensing and the motion of test particles the tensor appears directly in Raychaudhuri’s equation developed in contexts associated with Subrahmanyan Chandrasekhar and Roger Penrose.

Coordinate expressions and computation

In coordinates the components are given by R^i{}_{jkl} = ∂_k Γ^i_{jl} − ∂_l Γ^i_{jk} + Γ^i_{km} Γ^m_{jl} − Γ^i_{lm} Γ^m_{jk}, an expression appearing in the foundational corpus of Gregorio Ricci-Curbastro and Tullio Levi-Civita and used extensively in calculations by Albert Einstein and David Hilbert. For metrics with high symmetry—such as those studied by Karl Schwarzschild, Roy Kerr, and Willem de Sitter—explicit componentwise computation exploits Killing vector fields studied by Elie Cartan and Sophus Lie to reduce effort. Symbolic computation packages used in modern research incorporate algorithms inspired by Élie Cartan’s method of moving frames and the tensor calculus codified by Ricci and Levi-Civita, enabling evaluation for metrics arising in the work of Stephen Hawking and Roger Penrose.

Decompositions and related tensors

The Riemann tensor decomposes into the Weyl tensor, the Ricci tensor, and the scalar curvature in dimensions ≥3; this decomposition underpins conformal geometry developed by Hermann Weyl and the study of Einstein manifolds advanced by Arthur Lichnerowicz and Eugenio Calabi. The Ricci tensor R_{ij} = R^k{}_{ikj} and the scalar curvature R = g^{ij} R_{ij} enter the Einstein tensor G_{ij} = R_{ij} − 1/2 R g_{ij} used by Albert Einstein and David Hilbert in gravitational field equations. The Cotton tensor and Schouten tensor appear in three-dimensional and conformal analyses linked to Élie Cartan and Jean-Pierre Serre, while the Bel–Robinson tensor and energy conditions studied by Roger Penrose and Stephen Hawking relate curvature to conservation-like quantities in relativity.

Examples and applications in geometry and physics

Constant curvature spaces such as the sphere S^n and hyperbolic space H^n furnish Riemann tensors proportional to the metric, examples foundational in the works of Carl Friedrich Gauss and Nikolai Lobachevsky and used in cosmological models by Alexander Friedmann and Georges Lemaître. In general relativity the Schwarzschild solution, Kerr metric, Friedman–Lemaître–Robertson–Walker models, and exact solutions catalogued by Hans Stephani invoke Riemann tensor components to analyze singularities examined by Roger Penrose and Stephen Hawking. In global analysis and topology the Gauss–Bonnet theorem and Atiyah–Singer index theorem relate integrals of curvature invariants to topological invariants, developments credited to Henri Poincaré, René Thom, Michael Atiyah, and Isadore Singer, with further implications for gauge theories studied by Yang and Mills and for string theory investigations by Edward Witten and John Schwarz.

Category:Riemannian geometry