The tide between
geodesics
Carry an arrow around a tiny loop. Shrink the loop toward a point. The rotation vanishes — but the rotation per unit area converges to a hard, finite number. That limit is the Riemann curvature: how badly covariant derivatives fail to commute. It is also, disguised in spacetime, the tidal force that pulled the ocean toward the Moon tonight. Drag the loop. Watch the limit.
Shrink the loop. The ratio stays.
You already know the trick: carry an arrow around a closed loop on the sphere, never twisting it, and it comes home rotated — the holonomy angle measures exactly the area the loop enclosed, because the sphere's curvature is everywhere 1. But that is a global statement. Now ask a local question.
Take the same loop and halve its size. The enclosed area drops by four. How much does the holonomy drop? Also by four — so the ratio of holonomy to area stays fixed. Halve again: area shrinks four-fold again, holonomy again tracks it, ratio unchanged. Keep going all the way toward a point and in the limit the ratio does not wander; it converges to the curvature at that point.
That is not a coincidence. It is the definition of curvature — the thing you get when you ask "how much does parallel transport fail per unit area?" Drag the slider below to watch the holonomy angle and the area both shrink together while their ratio holds steady at K = 1.
Drag the slider to resize the loop. Watch holonomy and area shrink together — but their ratio (the last chip) stays locked near K = 1, the Gaussian curvature of the unit sphere. The drone pitch tracks the holonomy/area ratio: on a unit sphere it never moves.
In the language of differential geometry: for a tiny loop spanned by two unit vectors u and v, with area ε², parallel-transporting w around it returns a vector that differs from w by roughly ε² R(u,v)w. So R(u,v)w is holonomy per unit area, in the limit of a vanishing loop. On a surface this collapses to a single scalar — the Gaussian curvature K. In higher dimensions R is a tensor with one output vector for each pair of loop-edge directions.
The tensor that measures failing to commute.
On a surface the ratio we just watched is simply the Gaussian curvature K. In higher dimensions — or on a surface when you want to track which vector came back rotated and how — it becomes the Riemann curvature tensor. Here is what it says.
Pick two directions u and v at a point. They span a tiny parallelogram — the loop. Pick a third vector w to carry around. The tensor R(u,v)w is the infinitesimal rotation that w suffers per unit area of that loop. On a flat space this is always zero: parallel transport commutes, the order in which you shift w first along u then along v gives the same answer as the reverse order. Curvature is precisely the failure of that commutativity.
That failure has an elegant formula. Let ∇_u w mean "differentiate w as you move in the u direction, keeping only the component that stays in the surface." Then:
Read the first two terms: "differentiate w first in the v direction, then in the u direction" minus "differentiate in the opposite order." On flat space these are equal, so the difference is zero. On a curved space they disagree by exactly the amount the loop twists the parallel-transported vector. The Riemann tensor is literally the commutator of covariant derivatives.
On a 2-sphere — the surface we have been watching — all the information in R reduces to a single number at each point: the Gaussian curvature K. The rotation of w around a loop of area A is KA, and the axis of rotation is the normal to the surface. In four-dimensional spacetime R has twenty independent components — enough to encode all of gravity.
Antisymmetry: R(u,v)w = −R(v,u)w — swapping the loop directions reverses the rotation. You can see this: traversing the loop clockwise vs anticlockwise turns the arrow in opposite directions. Linearity: double the loop area, double the holonomy. Both are exact on the sphere and hold for any Riemannian manifold.
Two arrows transported around the same loop in opposite directions — the warm one clockwise, the teal one counter-clockwise. Their holonomy angles are always equal and opposite. Antisymmetry: R(u,v)w = −R(v,u)w.
Curvature steers neighbors.
Here is a different way to feel the same tensor. Start two geodesics from nearby points, heading in the same direction. On a flat plane they never meet: parallel lines stay parallel. On a sphere they converge — you saw this in the geodesics lesson: two travelers heading north from the equator crash into each other at the pole. Now ask: how fast do they converge?
Call the vector connecting the two travelers s — the separation. Call their shared velocity v. As time passes, s changes — they drift together or apart — and the acceleration of that separation (how fast the gap's gap changes) is governed by the Jacobi equation:
On the unit sphere the Riemann tensor in normal coordinates collapses to: the geodesic deviation acceleration is −s (times K=1). So the separation vector obeys D²s/dt² = −s — a restoring force toward zero. The solution is sinusoidal: the separation oscillates like a simple harmonic oscillator with period 2π (in terms of arc-length traveled). That is exactly why two meridians, starting parallel, converge and meet exactly at the antipodal point — they have traveled half a period.
On a saddle (negative curvature K < 0) the sign flips: D²s/dt² = +|K|s — the separation grows exponentially, like an unstable equilibrium. Geodesics flee from each other. Curvature is the spring constant of the universe.
Two travelers launch from the equator heading north, teal and warm. On the sphere (K=1) they converge and meet at the pole — geodesic focusing. Flip to K<0 to watch them diverge instead. The separation readout tracks their distance apart.
In spacetime two nearby free-falling bodies move on geodesics. Their separation s obeys exactly the Jacobi equation — and there the Riemann tensor component that appears is called the tidal tensor. The Moon's gravity focuses geodesics on the Earth's near side and defocuses them on the far side: ocean water gets squeezed toward the Moon below your feet and pulled away above. The morning's high tide is the Jacobi equation in action. Einstein's field equations constrain the Riemann tensor so that its "trace" (the Ricci tensor) equals the energy-momentum content of space. Vacuum has zero Ricci curvature but nonzero Weyl curvature — the tidal part that survives even in empty space.
You can hear the tide.
The Jacobi equation says the separation between nearby geodesics oscillates sinusoidally on a positively-curved surface. The period of that oscillation — how long the two travelers take to crash into each other — depends directly on the curvature: higher K, tighter spring constant, faster focus.
Sound has the same structure. Two pure tones at slightly different pitches produce a beat: they slide in and out of phase and you hear a slow throb whose rate is exactly the frequency difference. Now let the two tones be the two geodesic travelers: they start in phase (same pitch), but curvature is the force pulling them together. As the curvature grows, the geodesics converge faster — and the beat between the two tones speeds up accordingly. On flat space: no beat, two tones lock in unison forever. On the sphere: a steady, curvature-set throb. On a saddle with strong negative curvature: the tones slide apart in pitch and the beats slow to infinity — they are fleeing each other.
Move the slider and listen. Small loop (low curvature felt locally): slow beat, gentle tide. Large curvature: the beat quickens, the tide rises.
Geometer: the separation of nearby geodesics oscillates at frequency √K. Relativist: that oscillation is the tidal force felt by a freely-falling detector — and the Riemann tensor is what the detector measures. Musician: two detuned tones beating at rate √K — on flat space they lock in unison, on a sphere they throb, and you can tune a whole composition around the curvature of the space it lives in. One number, three costumes. The costume that fits your life depends only on how you chose to stand.
The curvature tensor is the gravitational field.
Everything we have built points to a single destination. In Newtonian gravity, the gravitational field is described by a potential — a scalar function whose gradient pulls things. It works beautifully for planets and cannon balls. But it does not transform cleanly between observers moving at different speeds, and it predicts nothing about light. Something deeper is needed.
Einstein's answer, arrived at after ten years of geometry, is: there is no gravitational force. Freely-falling bodies follow geodesics in a curved four-dimensional spacetime. What we call "gravity" is the curvature of that spacetime causing nearby geodesics to deviate — exactly the Jacobi equation we wrote in chapter two. The Riemann tensor in spacetime tells you everything: which way geodesics focus, how tidal forces pull, how gravitational waves ripple through empty space.
The Einstein field equations say: the "trace" of the Riemann tensor (the Ricci tensor Ric) is proportional to the stress-energy of matter. Wherever there is mass-energy, the Ricci curvature is nonzero. In vacuum the Ricci tensor vanishes — but the full Riemann tensor can still be nonzero, carrying the Weyl curvature: the tidal, wave-like part that propagates even through empty space. A gravitational wave is a ripple in the Weyl curvature — pure geometry, no matter needed.
The chain from this lesson to that equation is shorter than it looks. You transported a vector around a tiny loop and measured the holonomy per unit area — that is the Riemann tensor, operationally. You watched nearby geodesics converge under the Jacobi equation — that is tidal gravity. All Einstein did was: (a) promote time to a fourth dimension, (b) identify freely-falling frames with geodesic motion, and (c) constrain the Riemann tensor by the matter content via the field equations. The geometry was already here. We just had to recognise what it was describing.
The final act of this wing asks: what does "distance" mean on a curved surface, and how do you transport that notion across the whole manifold? That is curvature and gravity — where the metric, the connection, and the Riemann tensor finally snap together into one picture. You now hold three of the four pieces: holonomy (Act II), geodesics (Act III), and the Riemann tensor (this act). The last piece is the metric itself — the rule that measures lengths and angles. Everything follows from it.
After Tristan Needham, Visual Differential Geometry and Forms: A Mathematical Drama in Five Acts (Princeton, 2021), Act IV, Chapters 28–29. A lesson in the Manifold wing of Reverbs.