Curvature — Riemann, Ricci, and Scalar

⚡ Key Takeaways

Curvature quantifies the failure of a Riemannian or pseudo-Riemannian manifold to be flat. The Riemann curvature tensor $R^{\rho}{}_{\sigma\mu\nu}$ is the complete local invariant measuring how vectors fail to return to themselves after parallel transport around an infinitesimal loop; its successive traces yield the Ricci tensor $R_{\mu\nu}$ (volume distortion along geodesics) and the scalar curvature $R$ (a single number per point). Applies wherever a connection exists: differential geometry, general relativity, geometric analysis, and PDE. Developed by Riemann (1854), Christoffel, Ricci-Curbastro and Levi-Civita (1900), crowned by Einstein's field equations (1915).

💡 The Core Insight

Curvature is the commutator of covariant derivatives. Parallel transport that depends on the path is the geometric signature of curvature; algebraically this is captured by $[\nabla_\mu,\nabla_\nu]V^\rho = R^\rho{}_{\sigma\mu\nu}V^\sigma$ . Everything else — Ricci, scalar, sectional, Gauss curvature, Einstein equations, geodesic deviation — is a contraction, specialization, or trace of this single object.

DefinitionLevi-Civita connection

On a (pseudo-)Riemannian manifold $(M,g)$ there is a unique affine connection $\nabla$ that is torsion-free ( $\nabla_X Y - \nabla_Y X = [X,Y]$ ) and metric-compatible ( $\nabla g = 0$ ). In coordinates its Christoffel symbols are

1

\quad \Gamma^{\lambda}_{\mu\nu} = \tfrac{1}{2}\,g^{\lambda\sigma}\big(\partial_\mu g_{\sigma\nu} + \partial_\nu g_{\sigma\mu} - \partial_\sigma g_{\mu\nu}\big).

Derivation hint: write metric compatibility for the three cyclic permutations $\partial_\mu g_{\nu\sigma}$ , add two and subtract the third, then use symmetry $\Gamma^\lambda_{\mu\nu}=\Gamma^\lambda_{\nu\mu}$ from vanishing torsion. Here $g_{\mu\nu}$ are metric components, $g^{\mu\nu}$ its inverse, and $\partial_\mu = \partial/\partial x^\mu$ . The $\Gamma$ 's are not tensor components.

DefinitionRiemann curvature tensor

The Riemann tensor is defined by the failure of covariant derivatives to commute. For a vector field $V$ ,

2

\quad R^{\rho}{}_{\sigma\mu\nu}\,V^{\sigma} = \big(\nabla_\mu\nabla_\nu - \nabla_\nu\nabla_\mu\big)V^{\rho},

with the explicit coordinate expression

3

\quad 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}.

Derivation hint: expand $\nabla_\mu(\nabla_\nu V^\rho)$ treating $\nabla_\nu V^\rho$ as a $(1,1)$ -tensor, antisymmetrize in $\mu\nu$ ; the $\partial\partial V$ terms cancel and the connection terms organize into [3]. Lowering the upper index, $R_{\rho\sigma\mu\nu} = g_{\rho\alpha}R^{\alpha}{}_{\sigma\mu\nu}$ , exposes the algebraic symmetries.

TheoremAlgebraic symmetries of the Riemann tensor

The fully covariant Riemann tensor satisfies:

4

\quad R_{\rho\sigma\mu\nu} = -R_{\sigma\rho\mu\nu} = -R_{\rho\sigma\nu\mu} = R_{\mu\nu\rho\sigma},\qquad R_{\rho[\sigma\mu\nu]}=0.

Derivation hint: antisymmetry in the last pair is built into [2]; antisymmetry in the first pair follows from $\nabla g=0$ applied to $\nabla_{[\mu}\nabla_{\nu]}g_{\rho\sigma}=0$ ; the first Bianchi identity $R_{\rho[\sigma\mu\nu]}=0$ follows from torsion-freeness via the Jacobi identity for $\nabla$ . In $n$ dimensions the number of independent components is $\tfrac{1}{12}n^2(n^2-1)$ : this is $1$ for $n=2$ , $6$ for $n=3$ , $20$ for $n=4$ .

TheoremDifferential (second) Bianchi identity

5

\quad \nabla_{[\lambda}R_{\rho\sigma]\mu\nu} = 0 \quad\Longleftrightarrow\quad \nabla_\lambda R_{\rho\sigma\mu\nu} + \nabla_\mu R_{\rho\sigma\nu\lambda} + \nabla_\nu R_{\rho\sigma\lambda\mu} = 0.

Derivation hint: work in normal coordinates at a point where $\Gamma=0$ (but $\partial\Gamma\neq0$ ); then $R$ is linear in $\partial\Gamma$ and the cyclic sum of $\partial$ -derivatives telescopes to zero. Contracting [5] twice yields the contracted Bianchi identity $\nabla^\mu G_{\mu\nu}=0$ — the rock on which Einstein's equations rest.

DefinitionRicci tensor and scalar curvature

The Ricci tensor is the trace of Riemann over the first and third indices:

6

\quad R_{\mu\nu} = R^{\lambda}{}_{\mu\lambda\nu} = g^{\lambda\sigma}R_{\lambda\mu\sigma\nu}.

Derivation hint: the symmetries [4] guarantee this is the only independent nontrivial single trace (other contractions vanish or reproduce $\pm R_{\mu\nu}$ ). Symmetry $R_{\mu\nu}=R_{\nu\mu}$ follows from the pair-swap symmetry in [4]. The scalar curvature is the full trace:

7

\quad R = g^{\mu\nu}R_{\mu\nu} = g^{\mu\nu}g^{\lambda\sigma}R_{\lambda\mu\sigma\nu}.

Derivation hint: contract [6] with the inverse metric; this is the unique scalar invariant linear in second derivatives of $g$ . The trace-free Einstein tensor $G_{\mu\nu} = R_{\mu\nu} - \tfrac12 R\,g_{\mu\nu}$ is divergence-free by [5].

DefinitionSectional curvature

For a 2-plane $\Pi = \mathrm{span}(u,v)\subset T_pM$ , the sectional curvature is

8

\quad K(\Pi) = \frac{R(u,v,v,u)}{g(u,u)g(v,v) - g(u,v)^2} = \frac{R_{\rho\sigma\mu\nu}u^\rho v^\sigma v^\mu u^\nu}{|u|^2|v|^2-\langle u,v\rangle^2}.

Derivation hint: the denominator is the squared area of the parallelogram spanned by $u,v$ ; the numerator is the Gaussian curvature of the surface swept by geodesics tangent to $\Pi$ (Gauss's Theorema Egregium in tensor form). Knowing $K(\Pi)$ for all planes at $p$ determines the full Riemann tensor at $p$ .

Figure

Parallel transport around a loop on a sphere reveals curvature as holonomy: the vector returns rotated by an angle equal to the enclosed area times

K

.

ProofRiemann tensor as the commutator — full derivation

We show that $(\nabla_\mu\nabla_\nu-\nabla_\nu\nabla_\mu)V^\rho$ is tensorial in $V$ and equals $R^\rho{}_{\sigma\mu\nu}V^\sigma$ with [3].

Step 1. Compute $\nabla_\nu V^\rho = \partial_\nu V^\rho + \Gamma^\rho_{\nu\sigma}V^\sigma$ . Denote this $(1,1)$ -tensor $W^\rho{}_\nu$ .

Step 2. Differentiate again, treating $W$ as a $(1,1)$ -tensor:

\nabla_\mu W^\rho{}_\nu = \partial_\mu W^\rho{}_\nu + \Gamma^\rho_{\mu\lambda}W^\lambda{}_\nu - \Gamma^\lambda_{\mu\nu}W^\rho{}_\lambda.

Step 3. Substitute $W^\rho{}_\nu = \partial_\nu V^\rho + \Gamma^\rho_{\nu\sigma}V^\sigma$ and expand. The result contains: $\partial_\mu\partial_\nu V^\rho$ , terms $\partial(\Gamma V)$ , and $\Gamma\Gamma V$ , plus a $\Gamma^\lambda_{\mu\nu}$ term symmetric in $\mu\nu$ .

Step 4. Antisymmetrize in $\mu\leftrightarrow\nu$ . The symmetric double-derivative $\partial_\mu\partial_\nu V^\rho$ cancels. The symmetric term $\Gamma^\lambda_{\mu\nu}\nabla_\lambda V^\rho$ cancels (since $\Gamma^\lambda_{\mu\nu}=\Gamma^\lambda_{\nu\mu}$ , this is where torsion-freeness enters). The first-derivative-of- $V$ terms cancel by symmetry of $\Gamma$ in lower indices.

Step 5. What survives multiplies $V^\sigma$ :

\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} = R^\rho{}_{\sigma\mu\nu}.

Since the LHS of [2] is manifestly tensorial (a difference of tensors) and acts $C^\infty$ -linearly on $V$ , $R^\rho{}_{\sigma\mu\nu}$ is a genuine $(1,3)$ -tensor despite being built from non-tensorial $\Gamma$ 's. $\blacksquare$

∎

ProofGeodesic deviation: Ricci controls volume focusing

Let $\gamma_s(t)$ be a one-parameter family of geodesics with tangent $T^\mu=\dot\gamma^\mu$ and separation (Jacobi) field $S^\mu = \partial\gamma^\mu/\partial s$ .

Step 1. Geodesic equation: $T^\nu\nabla_\nu T^\mu=0$ . Since $[T,S]=0$ , one has $T^\nu\nabla_\nu S^\mu = S^\nu\nabla_\nu T^\mu$ .

Step 2. Compute the relative acceleration $A^\mu = T^\nu\nabla_\nu(T^\lambda\nabla_\lambda S^\mu)$ . Commuting derivatives introduces Riemann:

9

\quad \frac{D^2 S^\mu}{dt^2} = -R^{\mu}{}_{\nu\rho\sigma}T^\nu S^\rho T^\sigma.

Derivation hint: replace $T\nabla S$ by $S\nabla T$ , commute $T\nabla S\nabla T \to S\nabla T\nabla T + R(\dots)$ ; the geodesic term vanishes leaving Riemann.

Step 3. For a bundle of geodesics with cross-sectional volume $\delta V$ , the expansion $\theta = \nabla_\mu T^\mu$ obeys the Raychaudhuri equation:

10

\quad \frac{d\theta}{dt} = -\tfrac{1}{n-1}\theta^2 - \sigma_{\mu\nu}\sigma^{\mu\nu} + \omega_{\mu\nu}\omega^{\mu\nu} - R_{\mu\nu}T^\mu T^\nu.

Derivation hint: take the trace of the evolution of $B_{\mu\nu}=\nabla_\nu T_\mu$ , split into trace ( $\theta$ ), symmetric trace-free (shear $\sigma$ ), antisymmetric (rotation $\omega$ ); the Riemann term contracts to $R_{\mu\nu}T^\mu T^\nu$ . Thus $R_{\mu\nu}T^\mu T^\nu>0$ (focusing) forces geodesics to converge — the geometric content of the Ricci tensor and the engine of singularity theorems. $\blacksquare$

∎

mathematician · Bernhard Riemann | 1826–1866

In his 1854 Göttingen Habilitationsvortrag "Über die Hypothesen, welche der Geometrie zu Grunde liegen" — delivered before Gauss — Riemann founded $n$ -dimensional differential geometry, introduced the metric $ds^2 = \sum g_{ij}dx^i dx^j$ , and gave the curvature in terms of what we now call sectional curvature, generalizing Gauss's surface theory to arbitrary dimension. He understood curvature as the obstruction to local flatness and even speculated that physical space might be curved and that geometry should be determined by the matter within it — anticipating general relativity by sixty years. He died at 39 of tuberculosis, leaving the tensorial machinery to be completed by Christoffel, Ricci, and Levi-Civita.

🧠 Intuition

Picture an ant walking a small closed loop while keeping a spear pointing "as straight as possible" (parallel transport). On a flat plane the spear returns unchanged. On a sphere it comes back rotated — the rotation angle equals the enclosed area times the Gaussian curvature. The Riemann tensor is the infinitesimal version of this rotation: feed it two vectors ( $\mu,\nu$ ) spanning the loop and it returns the linear map ( $\rho,\sigma$ ) that rotates transported vectors. The Ricci tensor answers a coarser question: if I shoot a small ball of test particles along geodesics in direction $T$ , does the ball's volume shrink or grow? $R_{\mu\nu}T^\mu T^\nu$ is the focusing rate. The scalar curvature $R$ is coarser still: it compares the volume of a small geodesic ball to a Euclidean ball of the same radius:

\frac{\mathrm{Vol}(B_r)}{\mathrm{Vol}_{\text{Eucl}}(B_r)} = 1 - \frac{R}{6(n+2)}r^2 + O(r^4).

Positive $R$ ⇒ balls are smaller than Euclidean (sphere-like crowding); negative $R$ ⇒ larger (hyperbolic spreading).

ExampleThe round 2-sphere of radius

a

Given: Metric $ds^2 = a^2(d\theta^2 + \sin^2\theta\,d\phi^2)$ , so $g_{\theta\theta}=a^2$ , $g_{\phi\phi}=a^2\sin^2\theta$ .

Step 1 — Christoffels. Nonzero ones: $\Gamma^\theta_{\phi\phi} = -\sin\theta\cos\theta$ , $\Gamma^\phi_{\theta\phi}=\Gamma^\phi_{\phi\theta}=\cot\theta$ .

Step 2 — Riemann. Using [3]:

R^\theta{}_{\phi\theta\phi} = \partial_\theta\Gamma^\theta_{\phi\phi} - \Gamma^\theta_{\phi\phi}\Gamma^\phi_{\phi\theta} = (-\cos2\theta) - (-\sin\theta\cos\theta)(\cot\theta) = \sin^2\theta.

Lower: $R_{\theta\phi\theta\phi} = g_{\theta\theta}R^\theta{}_{\phi\theta\phi} = a^2\sin^2\theta.$

Step 3 — Sectional/Gauss curvature. Denominator $=g_{\theta\theta}g_{\phi\phi}=a^4\sin^2\theta$ , so

K = \frac{a^2\sin^2\theta}{a^4\sin^2\theta} = \frac{1}{a^2}.

Step 4 — Ricci and scalar. $R_{\theta\theta}=g^{\phi\phi}R_{\phi\theta\phi\theta}=\tfrac{1}{a^2\sin^2\theta}\cdot a^2\sin^2\theta = 1$ ; similarly $R_{\phi\phi}=\sin^2\theta$ . Thus $R_{\mu\nu}=\tfrac1{a^2}g_{\mu\nu}$ (Einstein metric). Scalar:

\boxed{R = g^{\mu\nu}R_{\mu\nu} = 2K = \frac{2}{a^2}\ \ [\text{units: } (\text{length})^{-2}]}

For $a=1$ m, $R = 2\ \mathrm{m^{-2}}$ , constant everywhere — as it must be by symmetry.

ExampleSchwarzschild scalar curvature is zero — but Riemann is not

Given: Schwarzschild vacuum metric ( $c=1$ ), $ds^2 = -(1-\tfrac{2GM}{r})dt^2 + (1-\tfrac{2GM}{r})^{-1}dr^2 + r^2 d\Omega^2$ .

Step 1 — Vacuum ⇒ Ricci-flat. Einstein's vacuum equation gives $R_{\mu\nu}=0$ , hence $R=0$ everywhere outside $r=2GM$ . No scalar curvature whatsoever.

Step 2 — Riemann is nonzero. Tidal forces are real. A representative component:

R^{\hat t}{}_{\hat r\hat t\hat r} = -\frac{2GM}{r^3}\quad(\text{orthonormal frame}).

Step 3 — Curvature invariant (Kretschmann scalar). The diagnostic that survives:

K_{\text{Kr}} = R_{\rho\sigma\mu\nu}R^{\rho\sigma\mu\nu} = \frac{48\,G^2M^2}{r^6}.

Step 4 — Interpretation. At the horizon $r=2GM$ , $K_{\text{Kr}} = \dfrac{48 G^2M^2}{(2GM)^6} = \dfrac{3}{4G^4M^4}$ — finite, so the horizon is a coordinate (not curvature) singularity. As $r\to0$ , $K_{\text{Kr}}\to\infty$ : a true singularity.

\boxed{R=0,\quad R_{\mu\nu}=0,\quad R_{\rho\sigma\mu\nu}R^{\rho\sigma\mu\nu}=\frac{48G^2M^2}{r^6}\ \mathrm{m^{-4}}\ (\text{geometrized})}

For a solar-mass black hole ( $GM/c^2\approx1.5$ km), at $r=10$ km the Kretschmann scalar is $\sim48(1.5)^2/10^6\ \mathrm{km^{-4}}\approx1.1\times10^{-4}\ \mathrm{km^{-4}}$ .

⚠️ Common mistake

Ricci-flat is not flat. $R_{\mu\nu}=0$ allows nonzero Riemann tensor (Schwarzschild, gravitational waves, all Ricci-flat Kähler/Calabi–Yau manifolds). Only $R^\rho{}_{\sigma\mu\nu}\equiv0$ means flat. In dimension $\leq3$ the Weyl tensor vanishes identically so Ricci-flat does imply flat — but never in $n\geq4$ .

Scalar curvature is weak. $R$ is a single function; it loses enormous information. Two very different geometries can share the same $R$ . The Yamabe problem (always achievable: conformally rescale to constant $R$ ) shows how floppy scalar curvature is compared to Ricci.

$\Gamma$ is not a tensor. Christoffel symbols transform inhomogeneously; you cannot conclude flatness from $\Gamma=0$ at one point (always achievable via normal coordinates). Flatness requires the tensor $R$ to vanish.

Counterexample

A flat torus has zero curvature but nontrivial holonomy/topology. Take $\mathbb{R}^2/\mathbb{Z}^2$ with the inherited Euclidean metric. Here $R^\rho{}_{\sigma\mu\nu}\equiv0$ : locally indistinguishable from the plane, all sectional curvatures vanish, parallel transport around contractible loops is trivial. Yet the torus is globally distinct from the plane, and parallel transport around a non-contractible loop is the identity but the loop cannot be shrunk. Lesson: curvature is a local invariant; it does not see global topology directly (that is the business of Chern–Gauss–Bonnet, which integrates curvature against topology).

Conversely, the cylinder $S^1\times\mathbb{R}$ is intrinsically flat ( $K=0$ ) despite looking "curved" in $\mathbb{R}^3$ — extrinsic bending is invisible to the intrinsic Riemann tensor (Theorema Egregium).

connection

The Riemann tensor is the curvature 2-form $\Omega = d\omega + \omega\wedge\omega$ of the Levi-Civita Connection expressed in a frame, linking to Principal Bundles and Chern–Weil Theory where characteristic classes (Euler, Pontryagin, Chern) are built from curvature polynomials. The decomposition $\text{Riemann} = \text{Weyl} \oplus \text{Ricci-traceless} \oplus \text{Scalar}$ under the orthogonal group relates to Representation Theory of $O(n)$ . Sectional curvature bounds connect to Comparison Geometry (Rauch, Toponogov, Bishop–Gromov) and to Ricci Flow, Hamilton and Perelman's heat-equation-like evolution $\partial_t g = -2\,\mathrm{Ric}$ that proved the Poincaré Conjecture. Via Geodesic Deviation and the Raychaudhuri equation, Ricci curvature feeds the Singularity Theorems of Penrose and Hawking. The scalar curvature is the Lagrangian density of Einstein–Hilbert Action, whose variation yields the Einstein Field Equations.

🔬 Where this appears

⏳ History

- 1827 — Gauss's Disquisitiones generales circa superficies curvas introduces Gaussian curvature and the Theorema Egregium: curvature is intrinsic.

- 1854 — Riemann's Habilitationsvortrag generalizes to

n

dimensions, defining the metric and sectional curvature; lays the foundation for the curvature tensor.

- 1869 — Elwin Christoffel introduces the symbols

\Gamma^\lambda_{\mu\nu}

and the covariant differentiation that bears his name; effectively writes down the four-index curvature tensor.

- 1888–1896 — Lipschitz and Beltrami develop related curvature expressions.

- 1900 — Ricci-Curbastro and Levi-Civita publish Méthodes de calcul différentiel absolu, codifying tensor calculus; the Ricci tensor is named.

- 1913–1915 — Einstein, guided by Grossmann (and racing Hilbert), arrives at the field equations

G_{\mu\nu}=8\pi G\,T_{\mu\nu}

; the contracted Bianchi identity

\nabla^\mu G_{\mu\nu}=0

guarantees energy-momentum conservation.

- 1917 — Levi-Civita and Schouten formalize parallel transport, clarifying curvature as holonomy.

- 1925–1926 — Élie Cartan reformulates curvature via moving frames and differential forms (

\Omega=d\omega+\omega\wedge\omega

), unifying it with Lie-group geometry.

- 1956–1963 — Decomposition by Weyl/Singer–Thorpe; comparison geometry (Rauch, Berger, Toponogov); Hawking–Penrose singularity theorems (1965–70) use Ricci curvature.

- 1982–2003 — Hamilton's Ricci flow and Perelman's resolution of the Poincaré and geometrization conjectures place curvature evolution at the center of modern geometry.

open-problem

Prescribing curvature. Which functions arise as the scalar curvature of a metric in a given conformal class? The Yamabe problem (solved by Trudinger–Aubin–Schoen) addresses constant $R$ ; the broader Kazdan–Warner obstructions limit which $R$ are achievable. Prescribing the full Ricci tensor (the Ricci-prescription / DeTurck problem) is far harder and only locally understood.

Positive mass and scalar curvature. The relationship between nonnegative scalar curvature, minimal surfaces, and the positive mass theorem (Schoen–Yau, Witten) remains an active frontier, with recent dimensional-restriction results and the Gromov dihedral/torus rigidity conjectures only partly resolved.

Singularities of Ricci flow. Classifying finite-time singularities (Type I/II, ancient solutions, the structure of $\kappa$ -solutions) in dimension $\geq4$ is open; the topology one can extract from curvature pinching beyond Brendle–Schoen's differentiable sphere theorem is incomplete.

Quantum gravity. What replaces the smooth Riemann tensor at the Planck scale — whether spacetime curvature is fundamental or emergent (entanglement, causal sets, spin foams) — is the deepest open question touching this material.

Curvature — Riemann, Ricci, and Scalar

Formal Statement

Why It Holds

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also