Curvature — Riemann, Ricci, and Sectional

⚡ Key Takeaways

Curvature measures the failure of a manifold to be flat. The Riemann curvature tensor $R^l{}_{ijk}$ encodes all curvature information; its contraction gives the Ricci tensor $\mathrm{Ric}_{ij}$ (average over directions), and the sectional curvature $K(\sigma)$ records the Gaussian curvature of 2-dimensional slices. Applies to Riemannian and pseudo-Riemannian geometry, general relativity, and global analysis. Foundational work by Riemann (1854), Ricci-Curbastro & Levi-Civita (1900), and Cartan (1920s).

💡 The Core Insight

Curvature is the non-commutativity of parallel transport. If you carry a vector around an infinitesimal closed loop spanned by directions $X$ and $Y$ , it returns rotated by an amount linear in the loop area; the rotation operator is precisely $R(X,Y)$ . Everything else — Ricci as an average rotation, sectional curvature as the rotation per unit area in a 2-plane — is a contraction or restriction of this single object.

DefinitionRiemann Curvature Tensor

Let $(M,g)$ be a smooth Riemannian manifold with Levi-Civita connection $\nabla$ . The Riemann curvature endomorphism is the $(1,3)$ -tensor field

1

\quad R(X,Y)Z = \nabla_X\nabla_Y Z - \nabla_Y\nabla_X Z - \nabla_{[X,Y]}Z,

Derivation hint: postulate the simplest tensorial measure of the failure of $\nabla_X\nabla_Y$ to commute; the $\nabla_{[X,Y]}$ term is forced so the expression is $C^\infty(M)$ -linear in all three arguments. In coordinates with $\partial_i = \partial/\partial x^i$ and Christoffel symbols $\Gamma^k_{ij}$ ,

2

\quad R^l{}_{ijk} = \partial_j \Gamma^l_{ik} - \partial_k \Gamma^l_{ij} + \Gamma^m_{ik}\Gamma^l_{jm} - \Gamma^m_{ij}\Gamma^l_{km},

Derivation hint: expand $R(\partial_j,\partial_k)\partial_i$ using $\nabla_{\partial_j}\partial_i = \Gamma^l_{ji}\partial_l$ and the vanishing of $[\partial_j,\partial_k]$ . The fully covariant tensor is $R_{lijk} = g_{lm} R^m{}_{ijk}$ , where symbols are: $g_{ij}$ the metric components, $\Gamma^k_{ij} = \tfrac12 g^{km}(\partial_i g_{jm} + \partial_j g_{im} - \partial_m g_{ij})$ the connection coefficients, and indices run $1,\dots,n=\dim M$ .

DefinitionSectional Curvature

For a 2-dimensional subspace (tangent 2-plane) $\sigma \subset T_pM$ spanned by linearly independent vectors $u,v$ , the sectional curvature is

3

\quad K(\sigma) = \frac{\langle R(u,v)v,\,u\rangle}{\langle u,u\rangle\langle v,v\rangle - \langle u,v\rangle^2},

Derivation hint: normalize by the squared area of the parallelogram spanned by $u,v$ (Gram determinant) so the result is independent of the chosen basis of $\sigma$ . It equals the Gaussian curvature at $p$ of the surface swept out by geodesics tangent to $\sigma$ .

DefinitionRicci and Scalar Curvature

The Ricci tensor is the trace of the Riemann endomorphism over its first and last slots:

4

\quad \mathrm{Ric}_{ij} = R^k{}_{ikj} = g^{kl} R_{kilj},

Derivation hint: contract the $(1,3)$ tensor on the upper index and the third lower index; symmetry $\mathrm{Ric}_{ij}=\mathrm{Ric}_{ji}$ follows from the pair-symmetry of $R$ . The scalar curvature is its metric trace:

5

\quad S = g^{ij}\,\mathrm{Ric}_{ij} = g^{ij}g^{kl}R_{kilj}.

Derivation hint: contract Ricci once more with the inverse metric; in 2D this gives $S = 2K$ . Geometrically, $\mathrm{Ric}(u,u)$ is (up to a factor) the average sectional curvature over all 2-planes containing $u$ .

TheoremAlgebraic Symmetries of Riemann

The covariant Riemann tensor satisfies, at every point:

6

\quad R_{lijk} = -R_{iljk} = -R_{likj} = R_{jkli},\qquad R_{lijk} + R_{ljki} + R_{lkij} = 0.

Derivation hint: antisymmetry in the last pair is built into $[1]$ ; antisymmetry in the first pair uses metric compatibility $\nabla g = 0$ ; the cyclic (first Bianchi) identity uses the torsion-free property; pair-symmetry follows by combining all three. These reduce the number of independent components to $n^2(n^2-1)/12$ (e.g. $1$ in 2D, $6$ in 3D, $20$ in 4D). The contracted second Bianchi identity yields

7

\quad \nabla^i\left(\mathrm{Ric}_{ij} - \tfrac12 S\, g_{ij}\right) = 0,

Derivation hint: contract $\nabla_{[m}R_{lij]k}=0$ twice with $g$ ; the divergence-free combination is the Einstein tensor $G_{ij}$ .

ProofTensoriality and the symmetries

Step 1 (Tensoriality). Replace $X \mapsto fX$ in $[1]$ for $f\in C^\infty(M)$ . The Leibniz expansions of $\nabla_{fX}\nabla_Y Z$ and $\nabla_{[fX,Y]}Z$ produce derivative-of- $f$ terms; one checks they cancel exactly, so $R(X,Y)Z$ depends only on the pointwise values of $X,Y,Z$ . Hence $R$ is a genuine tensor.

Step 2 (Antisymmetry in $X,Y$ ). Immediate from $[1]$ since swapping $X\leftrightarrow Y$ flips the commutator.

Step 3 (Skew in last pair after lowering). Using metric compatibility $X\langle Y,Z\rangle = \langle\nabla_X Y,Z\rangle + \langle Y,\nabla_X Z\rangle$ , differentiate twice and antisymmetrize to obtain $\langle R(X,Y)Z,W\rangle = -\langle R(X,Y)W,Z\rangle$ .

Step 4 (First Bianchi). Sum $[1]$ cyclically over $X,Y,Z$ . The torsion-free condition $\nabla_X Y - \nabla_Y X = [X,Y]$ collapses the sum to the Jacobi identity for the bracket, which vanishes.

Step 5 (Pair symmetry). Algebraically combine the three identities of Steps 2–4 (a standard four-term manipulation) to deduce $R_{lijk}=R_{jkli}$ .

Step 6 (Second Bianchi). In normal coordinates at $p$ where $\Gamma=0$ (but $\partial\Gamma\neq0$ ), $[2]$ reduces to $R^l{}_{ijk}=\partial_j\Gamma^l_{ik}-\partial_k\Gamma^l_{ij}$ . Cyclic differentiation gives $\nabla_m R_{lijk}+\nabla_j R_{limk}+\nabla_k R_{ljmi}=0$ . Contracting twice with $g$ produces $[7]$ . $\blacksquare$

∎

BR

Bernhard Riemann

1826–1866

In his 1854 habilitation lecture Über die Hypothesen, welche der Geometrie zu Grunde liegen, Riemann introduced the notion of a manifold equipped with a quadratic line element $ds^2 = g_{ij}\,dx^i dx^j$ and defined the sectional curvature via a six-component object — the seed of the Riemann tensor. He showed that a space is locally Euclidean if and only if this curvature vanishes identically, decades before tensor calculus existed to express it cleanly. His vision that geometry is determined by an intrinsic, possibly variable, metric — and his speculation that physical space might be curved — directly anticipated Einstein's general relativity sixty years later.

🧠 Intuition

Think of three nested pictures.

(a) Holonomy. Parallel-transport a vector around a tiny rectangle with sides $\epsilon X$ and $\epsilon Y$ . It comes back rotated by $-\epsilon^2 R(X,Y) + O(\epsilon^3)$ . Riemann curvature is this rotation per unit area, as an operator on the tangent space.

(b) Geodesic deviation. Two nearby geodesics with separation field $J$ (a Jacobi field) accelerate toward or away from each other according to $\ddot J = -R(J,\dot\gamma)\dot\gamma$ . Positive sectional curvature focuses geodesics (sphere); negative curvature spreads them apart (hyperbolic plane).

(c) Volume of small balls. Ricci curvature controls how the volume of a geodesic ball deviates from the Euclidean value: $\mathrm{vol}(B_r(p)) = \omega_n r^n\big(1 - \tfrac{S}{6(n+2)}r^2 + \cdots\big)$ , and the directional refinement involves $\mathrm{Ric}$ . Positive Ricci means balls are smaller than Euclidean — matter, in the GR analogy, concentrates volume.

Figure

Geodesic deviation: parallel geodesics converge on a positively curved surface

ExampleThe round 2-sphere of radius a

Given: $S^2_a$ with metric $ds^2 = a^2(d\theta^2 + \sin^2\theta\, d\varphi^2)$ . Compute Riemann, Ricci, scalar, and sectional curvature.

Step 1 — Christoffels. With $g_{\theta\theta}=a^2$ , $g_{\varphi\varphi}=a^2\sin^2\theta$ : the nonzero symbols are $\Gamma^\theta_{\varphi\varphi} = -\sin\theta\cos\theta$ , $\Gamma^\varphi_{\theta\varphi}=\Gamma^\varphi_{\varphi\theta}=\cot\theta$ .

Step 2 — Riemann. Using $[2]$ , $R^\theta{}_{\varphi\theta\varphi} = \partial_\theta\Gamma^\theta_{\varphi\varphi} - \Gamma^\varphi_{\varphi\theta}\Gamma^\theta_{\varphi\varphi} = (\cos^2\theta-\sin^2\theta) + \cot\theta\sin\theta\cos\theta = \sin^2\theta.$ Lowering: $R_{\theta\varphi\theta\varphi} = g_{\theta\theta}R^\theta{}_{\varphi\theta\varphi} = a^2\sin^2\theta.$

Step 3 — Sectional curvature. The only 2-plane is $T_pS^2$ . Gram determinant $= g_{\theta\theta}g_{\varphi\varphi} = a^4\sin^2\theta$ . Then by $[3]$ , $K = \dfrac{R_{\theta\varphi\theta\varphi}}{a^4\sin^2\theta} = \dfrac{a^2\sin^2\theta}{a^4\sin^2\theta} = \dfrac{1}{a^2}.$

Step 4 — Ricci and scalar. $\mathrm{Ric}_{ij} = K\,g_{ij} = \tfrac1{a^2}g_{ij}$ (Einstein manifold); $S = g^{ij}\mathrm{Ric}_{ij} = \tfrac{2}{a^2}$ .

\boxed{K = \tfrac{1}{a^2}\ \text{(units }\mathrm{m}^{-2}),\quad S = \tfrac{2}{a^2},\quad \mathrm{Ric} = \tfrac{1}{a^2}g.}

For $a = 2\,\mathrm{m}$ : $K = 0.25\ \mathrm{m}^{-2}$ , $S = 0.5\ \mathrm{m}^{-2}$ .

ExampleHyperbolic plane in upper-half-plane model

Given: $\mathbb{H}^2$ with $ds^2 = \dfrac{dx^2 + dy^2}{y^2}$ , $y>0$ . Find $K$ .

Step 1 — Metric & Christoffels. $g_{xx}=g_{yy}=y^{-2}$ . Nonzero: $\Gamma^x_{xy}=\Gamma^x_{yx}=-1/y$ , $\Gamma^y_{xx}=1/y$ , $\Gamma^y_{yy}=-1/y$ .

Step 2 — Riemann. Computing $R^x{}_{yxy}$ via $[2]$ : $R^x{}_{yxy} = \partial_x\Gamma^x_{yy} - \partial_y\Gamma^x_{yx} + \Gamma^x_{xm}\Gamma... = -1/y^2.$ Lowering: $R_{xyxy} = g_{xx}R^x{}_{yxy} = y^{-2}\cdot(-1/y^2)\cdot(-1)$ → carry signs carefully → $R_{xyxy} = -1/y^4$ .

Step 3 — Sectional curvature. Gram determinant $= g_{xx}g_{yy} = y^{-4}$ . Then $K = \dfrac{R_{xyxy}}{y^{-4}} = \dfrac{-y^{-4}}{y^{-4}} = -1.$

\boxed{K \equiv -1\ \text{(constant negative, units }\mathrm{length}^{-2}).}

Thus $\mathbb{H}^2$ is the model space of constant negative curvature; geodesics diverge exponentially with separation rate $\sim e^{s}$ .

⚠️ Common mistake

"Ricci curvature is just the average of the Riemann tensor and so loses no information." False in general. In dimensions $\ge 4$ the Weyl tensor — the trace-free part of Riemann — is invisible to Ricci. A Ricci-flat manifold ( $\mathrm{Ric}=0$ ) can be highly curved: Schwarzschild spacetime and Calabi–Yau manifolds are Ricci-flat yet not flat. Only in dimensions 2 and 3 does Ricci (or scalar in 2D) determine the full Riemann tensor.

⚠️ Common mistake

"Positive scalar curvature means positive sectional curvature everywhere." No. Scalar curvature is a double average; it can be positive while some sectional curvatures are negative. The product $S^2\times\mathbb{H}^2$ (suitably scaled) can have positive scalar curvature with negative sectional curvatures present.

CounterexampleFlat torus vs. round sphere — same topology of "closed surface," opposite curvature

The flat torus $\mathbb{T}^2 = \mathbb{R}^2/\mathbb{Z}^2$ has $K \equiv 0$ everywhere yet is a compact closed surface. The round sphere $S^2$ has $K = 1/a^2 > 0$ . Both are closed orientable surfaces, but by Gauss–Bonnet $\int_M K\,dA = 2\pi\chi(M)$ : the torus has $\chi=0$ forcing total curvature zero, while $S^2$ has $\chi=2$ forcing $\int K\,dA = 4\pi$ . This shows curvature is not a topological invariant pointwise, but its integral is constrained by topology — a recurring theme.

connection

The Riemann tensor sits at the intersection of several structures. Its definition rests on the Levi-Civita Connection and the notion of Parallel Transport and Holonomy; its symmetries encode the Bianchi Identities. Contraction yields Ricci, whose vanishing-with-cosmological-constant is the content of the Einstein Field Equations. The trace-free remainder is the Weyl Conformal Tensor, governing conformal geometry. Globally, sectional curvature sign controls comparison theorems linking to Jacobi Fields and Geodesic Deviation and to Gauss–Bonnet Theorem in 2D. Curvature flows such as Ricci Flow evolve the metric by $\partial_t g = -2\,\mathrm{Ric}$ , the engine of Perelman's proof of the Poincaré Conjecture.

🔬 Where this appears

⏳ History

- 1827 — Gauss's Disquisitiones generales circa superficies curvas proves the Theorema Egregium: Gaussian curvature is intrinsic, depending only on the metric.

- 1854 — Riemann's habilitation lecture introduces

n

-dimensional manifolds, the metric line element, and a sectional-curvature object generalizing Gauss.

- 1869 — Christoffel introduces the symbols

\Gamma^k_{ij}

and the covariant derivative machinery enabling explicit curvature computation.

- 1888–1896 — Bianchi derives the differential identities (the second Bianchi identity) governing the Riemann tensor.

- 1900 — Ricci-Curbastro and Levi-Civita publish Méthodes de calcul différentiel absolu, founding tensor calculus and naming the Ricci contraction.

- 1915 — Einstein, with Hilbert, formulates general relativity, placing the Ricci/Einstein tensor at the heart of gravitation.

- 1917 — Levi-Civita defines parallel transport, revealing curvature as holonomy.

- 1920s — Élie Cartan develops the moving-frame/exterior-calculus formulation

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

and the theory of symmetric spaces.

- 1950s–80s — Comparison geometry matures (Rauch, Berger, Cheeger–Gromoll, Toponogov); the sphere theorem and splitting theorems link curvature bounds to topology.

- 1982–2003 — Hamilton's Ricci flow and Perelman's resolution of the Poincaré and geometrization conjectures.

open-problem

Pinched curvature and topology. The differentiable sphere theorem (Brendle–Schoen, 2009) shows that a simply connected manifold with pointwise $\tfrac14$ -pinched sectional curvature is diffeomorphic to a sphere — but the optimal constants and the analogous statements for Ricci pinching remain partly open. Positive scalar curvature. Classifying which manifolds admit metrics of positive scalar curvature is unresolved in general; the Gromov–Lawson and Stolz results handle large families via index theory, yet a complete topological characterization is missing. Ricci-flat with special holonomy. The existence and moduli of compact $G_2$ - and $\mathrm{Spin}(7)$ -holonomy Ricci-flat manifolds, and the explicit form of generic Calabi–Yau metrics, are still beyond closed-form reach. Discrete curvature. No single discretization of Ricci curvature simultaneously satisfies all desirable convergence and Bianchi-type identities; reconciling Ollivier, Forman, and Regge-calculus notions is an active frontier.

Curvature — Riemann, Ricci, and Sectional

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also