I see the scalar curvature $R$ as an indicator of how a manifold curves locally (the easiest example is for a $2$-dimensional manifold $M$, where the $R=0$ in a point means that it is flat there, $R>0$ that it makes like a hill and $R<0$ that it is a saddle point).

Are there analogous interpretations for the Riemann tensor $Rm$ and for the Ricci curvature $Rc$? I tried to think about it but I really can't get anything making sense.

  • 14
    Terry Tao wrote an excellent article on how to view Ricci Curvature. You might find it helpful. The pdf is here. – user1729 Aug 16 '13 at 13:20
up vote 46 down vote accepted

We consider the Riemann tensor first. A crucial observation is that if we parallel transport a vector $u$ at $p$ to $q$ along two different pathes $vw$ and $wv$, the resulting vectors at $q$ are different in general (following figure). If, however, we parallel transport a vector in a Euclidean space, where the parallel transport is defined in our usual sense, the resulting vector does not depend on the path along which it has been parallel transported. We expect that this non-integrability of parallel transport characterizes the intrinsic notion of curvature, which does not depend on the special coordinates chosen.

Riemnnian curvature

It is useful to say that in this sense visualization of the first Bianchi identity is very easy:

enter image description here


We can give a quantitative geometric interpretation to the sectional curvature tensor in any dimension. Let M be a Riemannian n-manifold and p ∈ M. If $\Pi$ is any $2$-dimensional subspace of $T_pM$, and $V \subset T_pM$ is any neighborhood of zero on which $\exp_p$ is a diffeomorphism, then $S_\Pi := \exp_p(\Pi \cap V)$ is a $2$-dimensional submanifold of $M$ containing $p$ (following figure), called the plane section determined by $\Pi$. Note that $S_\Pi$ is just the set swept out by geodesics whose initial tangent vectors lie in $\Pi$. We define the sectional curvature of $M$ associated with $\Pi$, denoted $K(\Pi)$, to be the Gaussian curvature of the surface $S_\Pi$ at $p$ with the induced metric. If $(X, Y)$ is any basis for $\Pi$, we also use the notation $K(X, Y)$ for $K(\Pi)$.

enter image description here

Proposition: If $(X, Y)$ is any basis for a $2$-plane $\Pi \subset T_pM$, then $$K(X,Y)=\frac{Rm(X,Y,Y,X)}{|X|^2 |Y|^2 -\langle X,Y \rangle ^2}$$

We can also give a geometric interpretation for the Ricci and scalar curvatures. Given any unit vector $V \in T_pM$, choose an orthonormal basis $\{E_i\}$ for $T_pM$ such that $E_1 = V$ . Then $Rc(V, V )$ is given by

$$Rc(V,V)=R_{11}=R_{k11}^k=\sum_{k=1}^{n} Rm(E_k,E_1,E_1,E_k)=\sum_{k=2}^{n}K(E_1,E_k)$$

Therefore the Ricci tensor has the following interpretation: For any unit vector $V \in T_pM$, $Rc(V, V )$ is the sum of the sectional curvatures of planes spanned by $V$ and other elements of an orthonormal basis. Since $Rc$ is symmetric and bilinear, it is completely determined by its values of the form $Rc(V, V )$ for unit vectors $V$ .

Similarly, the scalar curvature is

$$S=R_j^j=\sum_{j=1}^n Rc(E_j,E_j)=\sum_{j,k=1}^{n}Rm(E_k,E_j,E_j,E_k)=\sum_{j\ne k}K(E_j,E_k)$$

Therefore the scalar curvature is the sum of all sectional curvatures of planes spanned by pairs of orthonormal basis elements.

  • 11
    I like the visualisation of the Bianchi identity, haven't seen that before! – Anthony Carapetis Aug 16 '13 at 14:02
  • 2
    Please tell me where I can get more geometric interpretations of concepts in differential geometry like your Bianchi identity picture! – bolbteppa Aug 17 '13 at 8:27
  • 13
    I found it 1 year ago in a paper titled "A visual introduction to Riemannian curvatures and some discrete generalizations" by Yann Ollivier. – Sepideh Bakhoda Aug 17 '13 at 8:53
  • Thanks for the reference, fantastic stuff! – bolbteppa Aug 17 '13 at 12:48

Note that your 2-dimensional geometric interpretations are extrinsic - you're looking at embeddings of surfaces in $\mathbb{R}^3$. In general it's nicer to think in terms of intrinsic geometric properties.

The easiest geometric interpretations of the Scalar and Ricci curvatures are in terms of volume (while the rest of the curvature tensor - the Weyl part - accounts for non-volumetric "twisty" curvature). In particular, the volume of a ball of radius $r$ centred at $p$ is $$ \textrm{Volume}(B(p,r)) = (1 - \textrm{Scal}(p) Cr^2 + O(r^4)) V_{E^n} (r)$$ where $V_{E^n}(r)$ is the volume of such a ball in Euclidean space and $C$ is a constant depending only on the dimension; so the scalar curvature measures the growth rate of balls to lowest non-vanishing order. You should be able to marry this with your intuition for the 2-dimensional case: the "hills" (or for a more extreme example a closed sphere) of positive curvature have less area available at large radii than you expect, while the saddle shape has more.

The Ricci Curvature does a similar thing, but for a particular direction: Given a tangent vector $v$ at a point $p$, the Ricci curvature $\textrm{Rc}(v,v)$ describes the growth rate of the volume of a thin cone in the direction $v$. Note that the symmetry of the Ricci tensor means it is determined by its values on the diagonal; so this is its complete content.

The full Riemann tensor is a little harder to get a full feel for - I find the easiest thing to think about are the sectional curvatures $K(\Pi) = R(u,v,u,v)$ where $u,v$ form an orthonormal basis for the plane $\Pi$ at the point $p$. This is (up to some constant) just the Gaussian/Scalar curvature of the surface generated by geodesics with velocities in $\Pi$; so you can interpret the sectional curvature in terms of the area growth rate in two-dimensional slices. Note once again that various symmetries imply that the sectional curvatures determine the full Riemann tensor.

  • That is a nice interpretation, do you happen to have a reference with a full derivation? – Daniel Robert-Nicoud Aug 17 '13 at 10:51
  • 2
    @Daniel: There's a sketch of the derivation of the formula for the volume form in geodesic normal coordinates on Wikipedia at en.wikipedia.org/wiki/Ricci_curvature#Direct_geometric_meaning. Hopefully you can work out the details. – Anthony Carapetis Aug 18 '13 at 1:28
  • Why do we subtract from 1? And what does $O(r^4)$ represent? That is, I assume this isn't the so called "big-o" notation. – Stan Shunpike Jan 30 '15 at 1:37
  • @StanShunpike: It is indeed big-O notation. The constant 1 is because the geometry reduces to that of flat space in the microscopic limit. The minus sign is because the usual convention is that the sphere is positively curved, and discs/sectors on the sphere have less area than their equivalents on the plane. – Anthony Carapetis Jan 30 '15 at 3:05

In this context, most of the "interpretations" are useless. The main question is where the curvature shows up.

For Ricci curvature there are three places:

  • Bochner's formula for 1-forms.
  • First variation for the mean curvature of hypersurface.
  • Ricci flow

Everything known comes from these, one way or an other.

  • 1
    Bonnet-Myers? Cheeger-Gromoll Splitting? – Jesse Madnick Nov 18 '14 at 6:24
  • 3
    @JesseMadnick, both follow from first variation for the mean curvature of hypersurface. – Anton Petrunin Jan 29 '15 at 2:44

Your Answer

 

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.