Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Riemann curvature tensor
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
{{Short description|Tensor field in Riemannian geometry}} {{General relativity sidebar}} 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 that measures the failure of the second [[Covariant derivative|covariant derivatives]] to commute. A Riemannian manifold has zero curvature if and only if it is ''flat'', i.e. locally [[Isometry|isometric]] to the [[Euclidean space]].{{sfn|Lee|2018|p=193}} 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]]. 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 field|Jacobi equation]]. == Definition == Let <math>(M, g)</math> be a [[Riemannian manifold|Riemannian]] or [[pseudo-Riemannian manifold]], and <math>\mathfrak{X}(M)</math> be the space of all [[Vector field|vector fields]] on <math>M</math>. We define the '''Riemann curvature tensor''' as a map <math>\mathfrak{X}(M)\times\mathfrak{X}(M)\times\mathfrak{X}(M)\rightarrow\mathfrak{X}(M)</math> by the following formula{{sfn|Lee|2018|p=196}} where <math>\nabla</math> is the [[Levi-Civita connection]]: : <math>R(X, Y)Z = \nabla_X\nabla_Y Z - \nabla_Y \nabla_X Z - \nabla_{[X, Y]} Z</math> or equivalently : <math>R(X, Y) = [\nabla_X,\nabla_Y] - \nabla_{[X, Y]} </math> where <math>[X,Y]</math> is the [[Lie bracket of vector fields]] and <math>[\nabla_X,\nabla_Y] </math> is a commutator of differential operators. It turns out that the right-hand side actually only depends on the value of the vector fields <math>X, Y, Z</math> 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, <math>R</math> is a <math>(1,3)</math>-tensor field. For fixed <math>X,Y</math>, the linear transformation <math>Z \mapsto R(X, Y)Z</math> 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 condition|integrability obstruction]] for the existence of an isometry with Euclidean space (called, in this context, ''flat'' space). Since the Levi-Civita connection is torsion-free, its curvature can also be expressed in terms of the [[second covariant derivative]]<ref name="lawson">{{cite book |last1=Lawson |first1=H. Blaine Jr. |last2=Michelsohn |first2=Marie-Louise |author2-link=Marie-Louise Michelsohn |title=Spin Geometry |url=https://archive.org/details/spingeometry00laws |url-access=limited |year=1989 |page=[https://archive.org/details/spingeometry00laws/page/n166 154] |publisher=Princeton U Press |isbn=978-0-691-08542-5}}</ref> : <math display="inline">\nabla^2_{X,Y} Z = \nabla_X\nabla_Y Z - \nabla_{\nabla_X Y}Z </math> which depends only on the values of <math>X, Y</math> at a point. The curvature can then be written as : <math>R(X, Y) = \nabla^2_{X,Y} - \nabla^2_{Y,X} </math> Thus, the curvature tensor measures the noncommutativity of the second covariant derivative. In [[abstract index notation]], <math display="block">R^d{}_{cab} Z^c = \nabla_a \nabla_b Z^d - \nabla_b \nabla_a Z^d . </math>The Riemann curvature tensor is also the [[commutator]] of the covariant derivative of an arbitrary covector <math>A_{\nu}</math> with itself:<ref>{{cite book |author=Synge J.L., Schild A. |url=https://archive.org/details/tensorcalculus00syng/page/83 |title=Tensor Calculus |publisher=first Dover Publications 1978 edition |year=1949 |isbn=978-0-486-63612-2 |pages=[https://archive.org/details/tensorcalculus00syng/page/83 83; 107]}}</ref><ref>{{cite book |author=P. A. M. Dirac |title=General Theory of Relativity |publisher=[[Princeton University Press]] |year=1996 |isbn=978-0-691-01146-2}}</ref> : <math>A_{\nu;\rho\sigma} - A_{\nu;\sigma\rho} = A_{\beta} R^{\beta}{}_{\nu\rho\sigma}.</math> This formula is often called the ''Ricci identity''.<ref name="lovelockrund">{{cite book |last1=Lovelock |first1=David |title=Tensors, Differential Forms, and Variational Principles |last2=Rund |first2=Hanno |publisher=Dover |year=1989 |isbn=978-0-486-65840-7 |page=84,109 |author-link2=Hanno Rund |orig-year=1975}}</ref> 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.<ref>{{citation |last1=Ricci |first1=Gregorio |title=Méthodes de calcul différentiel absolu et leurs applications |date=March 1900 |url=https://zenodo.org/record/1428270 |journal=Mathematische Annalen |volume=54 |issue=1–2 |pages=125–201 |doi=10.1007/BF01454201 |s2cid=120009332 |last2=Levi-Civita |first2=Tullio |author-link=Gregorio Ricci-Curbastro}}</ref> This identity can be generalized to get the commutators for two covariant derivatives of arbitrary tensors as follows <ref>{{cite journal |vauthors=Sandberg, Vernon D |date=1978 |title=Tensor spherical harmonics on S 2 and S 3 as eigenvalue problems |url=https://authors.library.caltech.edu/32877/1/SANjmp78.pdf |journal=[[Journal of Mathematical Physics]] |volume=19 |issue=12 |pages=2441–2446 |bibcode=1978JMP....19.2441S |doi=10.1063/1.523649}}</ref> : <math>\begin{align} &\nabla_\delta \nabla_\gamma T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s} - \nabla_\gamma \nabla_\delta T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s} \\[3pt] ={} &R^{\alpha_1}{}_{\rho\delta\gamma} T^{\rho\alpha_2 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s} + \ldots + R^{\alpha_r}{}_{\rho\delta\gamma} T^{\alpha_1 \cdots \alpha_{r-1}\rho}{}_{\beta_1 \cdots \beta_s} - R^{\sigma}{}_{\beta_1\delta\gamma} T^{\alpha_1 \cdots \alpha_r}{}_{\sigma\beta_2 \cdots \beta_s} - \ldots - R^{\sigma}{}_{\beta_s\delta\gamma} T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_{s-1}\sigma} \end{align}</math> This formula also applies to [[tensor density|tensor densities]] without alteration, because for the Levi-Civita (''not generic'') connection one gets:<ref name="lovelockrund" /> : <math>\nabla_{\mu}\left(\sqrt{g}\right) \equiv \left(\sqrt{g}\right)_{;\mu} = 0,</math> where : <math>g = \left|\det\left(g_{\mu\nu}\right)\right|.</math> It is sometimes convenient to also define the purely covariant version of the curvature tensor by :<math>R_{\sigma\mu\nu\rho} = g_{\rho\zeta} R^{\zeta}{}_{\sigma\mu\nu}.</math> == Geometric meaning == [[File:Riemann_curvature_motivation_shpere.gif|thumbnail|Figure showing the geometric meaning of the Riemann curvature tensor in a spherical curved manifold. The fact that this transfer can define two different arrows at the starting point gives rise to the Riemann curvature tensor. The orthogonal symbol indicates that the [[dot product]] (provided by the metric tensor) between the transmitted arrows (or the tangent arrows on the curve) is zero. The angle between the two arrows is zero when the space is flat and greater than zero when the space is curved. The more curved the space, the greater the angle.]] === 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 walk sideways (i.e. without turning), then down to the equator, and finally walk backwards to your starting position. Now the tennis racket will be pointing towards the west, even though when you began your journey it pointed north and you never turned your body. This process is akin to [[parallel transport]]ing 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 the [[geodesics]] 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, which is a consequence of [[Gaussian curvature]] and Gauss's [[Theorema Egregium]]. 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 transport]]ed 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 <math>x_t</math> be a curve in a Riemannian manifold <math>M</math>. Denote by <math>\tau_{x_t}:T_{x_0}M \to T_{x_t}M</math> the parallel transport map along <math>x_t</math>. The parallel transport maps are related to the [[covariant derivative]] by : <math> \nabla_{\dot{x}_0} Y = \lim_{h\to 0} \frac{1}{h}\left(\tau^{-1}_{x_h}\left(Y_{x_h}\right) - Y_{x_0}\right) = \left.\frac{d}{dt}\left(\tau_{x_t}^{-1}(Y_{x_t})\right)\right|_{t=0} </math> for each [[vector field]] <math>Y</math> defined along the curve. Suppose that <math>X</math> and <math>Y</math> are a pair of commuting vector fields. Each of these fields generates a one-parameter group of diffeomorphisms in a neighborhood of <math>x_0</math>. Denote by <math>\tau_{tX}</math> and <math>\tau_{tY}</math>, respectively, the parallel transports along the flows of <math>X</math> and <math>Y</math> for time <math>t</math>. Parallel transport of a vector <math>Z \in T_{x_0}M</math> around the quadrilateral with sides <math>tY</math>, <math>sX</math>, <math>-tY</math>, <math>-sX</math> is given by : <math>\tau_{sX}^{-1}\tau_{tY}^{-1}\tau_{sX}\tau_{tY}Z.</math> The difference between this and <math>Z</math> measures the failure of parallel transport to return <math>Z</math> to its original position in the tangent space <math>T_{x_0}M</math>. Shrinking the loop by sending <math>s, t \to 0</math> gives the infinitesimal description of this deviation: : <math>\left.\frac{d}{ds}\frac{d}{dt}\tau_{sX}^{-1}\tau_{tY}^{-1}\tau_{sX}\tau_{tY}Z\right|_{s=t=0} = \left(\nabla_X\nabla_Y - \nabla_Y\nabla_X - \nabla_{[X,Y]}\right)Z = R(X, Y)Z</math> where <math>R</math> is the Riemann curvature tensor. == Coordinate expression == Converting to the [[tensor index notation]], the Riemann curvature tensor is given by : <math>R^{\rho}{}_{\sigma\mu\nu} = dx^{\rho}\left(R\left(\partial_{\mu}, \partial_{\nu}\right)\partial_{\sigma}\right)</math> where <math>\partial_{\mu} = \partial/\partial x^{\mu}</math> are the coordinate vector fields. The above expression can be written using [[Christoffel symbols]]: : <math> 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} </math> (See also ''[[List of formulas in Riemannian geometry]]''). == Symmetries and identities == The Riemann curvature tensor has the following symmetries and identities: {| !Skew symmetry |<math>R(u, v) = -R(v, u)</math> |<math>R_{abcd} = -R_{abdc} \Leftrightarrow R_{ab(cd)}=0</math> |- !Skew symmetry |<math>\langle R(u, v)w, z \rangle = -\langle R(u, v)z, w \rangle</math> |<math>R_{abcd} = -R_{bacd} \Leftrightarrow R_{(ab)cd}=0</math> |- !First (algebraic) Bianchi identity |<math>R(u, v)w + R(v, w)u + R(w, u)v = 0</math> |<math>R_{abcd} + R_{acdb} + R_{adbc} = 0 \Leftrightarrow R_{a[bcd]}=0</math> |- !Interchange symmetry |<math>\langle R(u, v)w, z \rangle = \langle R(w, z)u, v \rangle</math> |<math>R_{abcd} = R_{cdab}</math> |- !Second (differential) Bianchi identity |<math>\left(\nabla_uR\right)(v, w) + \left(\nabla_vR\right)(w, u) + \left(\nabla_w R\right)(u, v) = 0</math> |<math>R_{abcd;e} + R_{abde;c} + R_{abec;d} = 0 \Leftrightarrow R_{ab[cd;e]} = 0</math> |} where the bracket <math>\langle,\rangle</math> refers to the inner product on the tangent space induced by the [[metric tensor]] and the brackets and parentheses on the indices denote the [[antisymmetric tensor|antisymmetrization]] and [[symmetric tensor|symmetrization]] operators, respectively. If there is nonzero [[Torsion tensor|torsion]], the Bianchi identities involve the [[torsion tensor]]. 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 differential [[Luigi Bianchi|Bianchi]] identity.{{Citation needed|date=March 2022}} 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 <math>n^2\left(n^2 - 1\right)/12</math> independent components.<ref>{{cite book |author=Bergmann P.G. |title=Introduction to the Theory of Relativity |publisher=Dover |pages=[https://archive.org/details/introductiontoth00berg/page/172 172–174] |year=1976 |isbn=978-0-486-63282-7 |url=https://archive.org/details/introductiontoth00berg/page/172 }}</ref> 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 <math> \nabla_u R </math> 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. : <math> \underbrace{R_{ab}}_{\text{Ricci}} \equiv R^c{}_{acb} = g^{cd} \underbrace{R_{cadb}}_{\text{Riemann}} </math> == 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: : <math>R_{abcd} = f(R) \left(g_{ac}g_{db} - g_{ad}g_{cb}\right)</math> and by contracting with the metric twice we find the explicit form: : <math>R_{abcd} = K\left(g_{ac}g_{db} - g_{ad}g_{cb}\right) ,</math> where <math>g_{ab}</math> is the [[metric tensor]] and <math>K = R/2</math> is a function called the [[Gaussian curvature]] and <math>a</math>, <math>b</math>, <math>c</math> and <math>d</math> 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 : <math>R_{ab} = Kg_{ab}.</math> === Space forms === A Riemannian manifold is a [[space form]] if its [[sectional curvature]] is equal to a constant <math>K</math>. The Riemann tensor of a space form is given by : <math>R_{abcd} = K\left(g_{ac}g_{db} - g_{ad}g_{cb}\right).</math> Conversely, except in dimension 2, if the curvature of a Riemannian manifold has this form for some function <math>K</math>, then the Bianchi identities imply that <math>K</math> 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 tensor]] [[Category:Theorems about circles]] == Citations == {{reflist}} == References == {{refbegin}} * {{cite book|author-last=Lee|author-first=John M.|author-link=John M. Lee|title=Introduction to Riemannian Manifolds|date=2018|publisher=[[Springer Science+Business Media|Springer-Verlag]]|isbn=978-3-319-91754-2}} * {{citation|first=A.L.|last=Besse|title=Einstein Manifolds|publisher=Springer|year=1987|isbn=0-387-15279-2|url-access=registration|url=https://archive.org/details/einsteinmanifold0000bess}} * {{citation |first1=S.|last1=Kobayashi|first2=K.|last2=Nomizu|title=Foundations of Differential Geometry | volume=1 |publisher=Interscience|year=1963}} * {{citation | first1=Charles W. | last1=Misner | author-link1=Charles W. Misner | first2=Kip S. | last2=Thorne | author-link2=Kip S. Thorne | first3=John A. | last3=Wheeler | author-link3=John Archibald Wheeler | title=Gravitation | publisher= W. H. Freeman | year=1973 | isbn=978-0-7167-0344-0| title-link=Gravitation (book) }} {{refend}} {{Curvature}} {{Riemannian geometry}} {{Manifolds}} {{theories of gravitation}} {{tensors}} {{Bernhard Riemann}} {{DEFAULTSORT:Riemann Curvature Tensor}} [[Category:Bernhard Riemann]] [[Category:Curvature (mathematics)]] [[Category:Differential geometry]] [[Category:Riemannian geometry]] [[Category:Riemannian manifolds]] [[Category:Tensors in general relativity]]
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)
Pages transcluded onto the current version of this page
(
help
)
:
Template:Bernhard Riemann
(
edit
)
Template:Citation
(
edit
)
Template:Citation needed
(
edit
)
Template:Cite book
(
edit
)
Template:Cite journal
(
edit
)
Template:Curvature
(
edit
)
Template:General relativity sidebar
(
edit
)
Template:Manifolds
(
edit
)
Template:Refbegin
(
edit
)
Template:Refend
(
edit
)
Template:Reflist
(
edit
)
Template:Riemannian geometry
(
edit
)
Template:Sfn
(
edit
)
Template:Short description
(
edit
)
Template:Tensors
(
edit
)
Template:Theories of gravitation
(
edit
)