Intereting Posts

PDE $(\partial_{tt}+a\partial_t-b\nabla^2)f(r,t)=0$
Why is $\det(A – \lambda I)$ zero?
Prove that every group $G$ has a unique maximal perfect subgroup $R$ and $R$ is fully-invarinat in $G$
Is every monomorphism an injection?
Explicit Riemann mappings
Number Theoretic Transform (NTT) to speed up multiplications
Approximating measures by open sets and compact sets.
How to prove if this equation provides an integral solution divisible by $3$?
How to prove completeness of the Spherical Harmonics
application of positive linear functionl
On the commutator subgroup of a group
How to Find the Minimum Value for $\displaystyle\frac{\tan x}{x}$ (piecewise defined)?
Is there a proof for the following series to diverge/converge?
Probability: 10th ball is blue
If every prime ideal is maximal, what can we say about the ring?

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.

- Visual explanation of the indices of the Riemann curvature tensor
- Does the Riemann tensor encode all information about the second derivatives of the metric?
- Zero Sectional Curvature implies exp is a local isometry
- Riemann tensor in terms of the metric tensor
- Finding the Total Curvature of Plane Curves
- Parallel surface

- Approximation of fiber bundle isomorphisms
- famous space curves in geometry history?
- Tensors as mutlilinear maps
- Computing gradient in cylindrical polar coordinates using metric?
- Existence of a local geodesic frame
- Are $T\mathbb{S}_2$ and $\mathbb{S}_2 \times \mathbb{R}^2$ different?
- If $\gamma$ is spherical, then the equation $\frac{\tau}{\kappa}=\frac{d}{ds}(\frac{\dot{\kappa}}{\tau \kappa^2})$ holds.
- Mathematical definition of the word “generic” as in “generic” singularity or “generic” map?
- checking if a 2-form is exact
- algebraic manipulation of differential form

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.

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

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)$.

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.*

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 totally geodesic submanifold passing through $\Pi$ at $p$; 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.

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.

- Cantor-Bendixson rank of a closed countable subset of the reals, and scattered sets
- Is there a clever solution to this elementary probability/combinatorics problem?
- Show that $f(x)=1/ x$ is continuous at any $c\neq 0$
- Why there isn't any solution in positive integers for $z^3 = 3(x^3 +y^3+2xyz)$?
- invertible if and only if bijective
- Give the combinatorial proof of the identity $\sum\limits_{i=0}^{n} \binom{k-1+i}{k-1} = \binom{n+k}{k}$
- Why is $\operatorname{Div}\big(\operatorname{Curl} F\big) = 0$? Intuition?
- Banach space in functional analysis
- What Is Exponentiation?
- Transpose of inverse vs inverse of transpose
- Module endomorphisms with the same kernel
- Prove that the product of primes in some subset of $n+1$ integers is a perfect square.
- $\sum_{n=1}^{\infty}(-1)^{n-1}\left({\beta(n)\over n}-\ln{n+1\over n}\right)=\ln\sqrt{2\over \pi}\cdot{2\over \Gamma^2\left({3\over 4}\right)}?$
- $x$ not nilpotent implies that there is a prime ideal not containing $x$.
- Definition of General Associativity for binary operations