JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

The Curvature Tensor

We finally make 'curved' into something you can compute. Carry a vector around a tiny loop and see how far it comes back rotated; the machine that reports that rotation, for every loop in every direction, is the Riemann curvature tensor — the intrinsic heart of how a space bends.

The clue: parallel transport that does not come home

The previous guide handed us a way to move a tangent vector along a path without 'turning' it relative to the space itself: parallel transport, governed by the Levi-Civita connection. On a flat plane this is the dull thing you expect — slide an arrow around any loop, keeping it pointing the same way, and it returns exactly as it left. The whole drama of curvature is that on a curved space this fails. Carry a vector around a closed loop and it can come back rotated, even though at every single step you swore you were not turning it. That rotation, born purely from the trip and not from any twist you added, is the fingerprint we are about to capture.

The cleanest picture lives on a sphere — a globe. Stand on the equator with an arrow pointing due north. Walk north to the pole, keeping the arrow rigidly parallel to itself the whole way; it still points 'ahead' along your meridian. Now turn and walk back down a different meridian, 90 degrees around, again never turning the arrow. When you reach the equator and march back to your start, the arrow no longer points north — it has swung a full 90 degrees. Nobody rotated it; the journey over a curved surface rotated it. The angle it picked up equals the Gaussian curvature integrated over the spherical triangle you enclosed, a fact we will see is no coincidence at all.

Turning the loop into a machine: R(u, v)w

Let us build the device that reports that rotation at a single point P. Pick two directions in the tangent space at P, call them u and v; they span a tiny coordinate parallelogram. Take any third vector w and parallel-transport it around the boundary of that parallelogram: out along u, then along v, back against u, back against v, home again. The transported w comes back changed by a small amount. Divide that change by the area of the parallelogram and let the parallelogram shrink to zero — what survives is a linear recipe that eats u, v, and w and spits out a vector. That recipe is the Riemann curvature tensor, written R(u, v)w.

Read R(u, v)w out loud as a sentence: 'the failure of parallel transport to commute, in the plane spanned by u and v, acting on the vector w'. The word tensor just means R is linear in each of its three slots separately — double u and the output doubles, add two w's and the outputs add. That linearity is precisely why a single object at the point captures all loops at once: any loop is built from these infinitesimal u-v parallelograms, and linearity lets R assemble their effects. The deepest reason curvature deserves to be one tidy tensor, rather than a tangle of special cases, is this commutator structure.

R(u, v)w  =  D_u (D_v w)  -  D_v (D_u w)  -  D_[u,v] w

  D_u  =  covariant derivative along u   (the connection)
  [u,v] =  Lie bracket of the vector fields

  flat space:  D_u D_v = D_v D_u   ==>   R = 0   (transport commutes)
  curved:      they DISAGREE        ==>   R =/= 0
Curvature as a commutator: it measures by how much covariant differentiation in direction u then v differs from v then u. Order matters exactly when the space is curved.

Boiling it down to numbers: sectional, Ricci, scalar

The full tensor R is rich — in n dimensions it has many independent components — and for getting a feel we usually distil it into plainer numbers. The most geometric distillation is the sectional curvature K(u, v): pick a two-dimensional plane in the tangent space, spanned by u and v, and ask for the Gaussian curvature of the little surface swept out by geodesics in that plane. It is a single number per plane, computed from R, and it is the direct higher-dimensional descendant of the Gaussian curvature you already know from surfaces. Where every sectional curvature is positive the space curls up like a sphere; where every one is negative it flares open like a saddle.

Average those sectional curvatures over all the planes containing a fixed direction and you get the Ricci curvature in that direction — a number telling you whether a small bundle of geodesics fired off parallel to that direction tends to converge (positive Ricci, focusing, like meridians rushing toward a pole) or spread apart (negative Ricci). It controls how the volume of a small ball deviates from the flat answer. Average once more, now over all directions, and the whole tensor collapses to a single number at each point, the scalar curvature — the coarsest possible summary of how curved the space is right here.

Geodesics that drift apart: curvature you can feel

There is a second, equally vivid face of the same tensor, and it is the one a traveller actually feels. Recall from the previous guide that geodesics are the straightest possible paths. Fire off two geodesics from nearby points, aimed parallel. On a flat plane they stay a constant distance apart forever — that is what 'parallel' has always meant. On a curved space they refuse to. Two ships steaming due north from neighbouring points on the equator both follow geodesics, yet they steadily draw together and collide at the pole. They never steered toward each other; the curvature of the globe pulled them together.

This is geodesic deviation, and the rate at which neighbouring geodesics accelerate toward or away from each other is governed exactly by the curvature tensor R. Sectional curvature positive means initially parallel geodesics bend together (the sphere); negative means they fan apart faster than in flat space (the saddle, hyperbolic geometry); zero means they keep their flat-space spacing. Notice we never had to leave the space or look at it from an embedding dimension — the deviation is measured purely by tracking distances within the space. Curvature is intrinsic, detectable from the inside, full stop.

Why this is the right object — and where it leads

Step back and notice how naturally the curvature tensor fell out of pieces you already owned. The metric gave you lengths and angles; the connection gave you parallel transport; and curvature is simply the honest measurement of how far that transport fails to commute. We did not invent a new gadget — we asked one sharp question of the connection ('does order matter?') and the answer is the tensor. The flat case R = 0 is precisely the case where the order of covariant differentiation never matters, the case where a small patch of the space is genuinely indistinguishable from a piece of ordinary Euclidean space.

Be honest about scale, though. Computing R in coordinates means differentiating the Christoffel symbols and combining them, and the bookkeeping in three or four dimensions is genuinely heavy — this is where the index notation of a full course earns its keep, and we will not pretend a one-line mnemonic replaces it. What an introductory rung can honestly deliver is the meaning: R is the rotation-per-area of parallel transport around an infinitesimal loop, equivalently the acceleration of geodesic deviation, and everything else is faithful bookkeeping on top of that one idea.

Two great destinations now come into view. First, the scalar and especially the Ricci tensor are the very quantities Einstein set proportional to the matter and energy in a region — curvature is gravity, and that is the whole story of the final guide in this rung. Second, integrate curvature over a whole closed surface and the Gauss-Bonnet theorem reappears, tying the geometry you have just learned to the intrinsic topology of holes and handles. You now hold the object that lets 'curved' mean something precise, computable, and felt from within.