The two bends
of a surface
A sphere curves the same in every direction — one clean, uniform bend. But most surfaces aren't like that. A saddle bends up one way and down the other. A cylinder bends into a circle along one axis and not at all along the other. At any point on any surface there are exactly two principal directions — perpendicular to each other — where the bending hits its maximum and its minimum. Everything else about curvature at that point falls from those two numbers.
Slice it, trace the curve, measure the bend.
Here's the key experiment. Take a point on a surface. Stand the unit normal up there — the vector poking straight out. Now let a plane sweep around that normal like a turning knife. Each new slicing plane carves a curve through the surface: the normal section in that direction. Each curve has a curvature — the reciprocal of its osculating circle — and that number tells you how sharply the surface bends in that direction.
For a sphere of radius R, no matter how you hold the knife, the cut is always a great circle: curvature 1/R in every direction. For a cylinder of radius R, one cut is a circle (curvature 1/R) and the perpendicular cut is a straight line (curvature 0). For a saddle z = x² − y², the cut along the x-axis bends upward (curvature +2) while the cut along the y-axis bends the other way (curvature −2). Toggle between surfaces and drag the plane angle to feel it.
Drag the angle slider on the saddle and watch the normal curvature oscillate between +2 and −2. At 45° it crosses zero — neither bending up nor down, the asymptotic direction. On the sphere it never moves. On the cylinder it swings from 1 to 0 and back.
As the knife turns, curvature hits a max and a min.
Euler proved in 1760 that the normal curvature κ(θ) as you sweep the slicing plane is not random — it follows a perfect sinusoid:
This is Euler's curvature formula, and it's remarkable for what it says: two numbers completely specify the local bending of a surface. The directions where κ hits its extreme values are always perpendicular. Between them they capture everything — bowl, saddle, ridge, valley, flat — the entire second-order geometry at a point. Drag the two bright arrows on the surface to see them flare at the principal directions.
Two numbers distilled into one map.
From κ₁ and κ₂ we extract two scalar invariants — two numbers that don't depend on which way the coordinate axes point:
- Gaussian curvature K = κ₁ · κ₂. It's the product, so its sign tells the local shape: K > 0 means both bends go the same way (bowl), K < 0 means they pull opposite (saddle), K = 0 means at least one is flat (cylinder, plane).
- Mean curvature H = (κ₁ + κ₂)/2. It's the average. Soap films minimise H = 0 everywhere — they're called minimal surfaces. H controls how a surface evolves under heat flow.
But there's a deeper object behind both of them: the shape operator S (also called the Weingarten map). It's a linear map on tangent vectors that encodes how the unit normal tilts as you walk along the surface. Concretely: if n is the unit normal field and v is a tangent direction, then S(v) = −dN(v) — the rate of change of the normal projected back into the tangent plane. The principal directions are the eigenvectors of S; κ₁, κ₂ are its eigenvalues. The second fundamental form II is just S written as a quadratic form.
Now here is the stunning punch line — the Theorema Egregium: K is intrinsic. An ant walking on the surface, measuring only distances within it, can compute K without ever seeing the embedding in 3D space. κ₁ and κ₂ individually are extrinsic — they depend on how the surface sits in space — but their product K erases that dependence. You can roll a flat sheet into a cylinder (κ₁ = 1/R, κ₂ = 0; K = 0) without distorting any distances, because K stays zero throughout. You cannot roll it into a sphere (K = 1/R²) without tearing, because that K is non-zero and the flat K was zero. The Gaussian curvature K is what the surface is made of, not just how it happens to be bent in space.
κ₁ and κ₂ need the embedding — they measure how the surface bends inside 3D space. But K = κ₁κ₂ collapses to a purely intrinsic quantity. Gauss called the theorem "egregium" (remarkable) because he expected curvature to be extrinsic by nature. That it isn't means a bug on the surface can deduce the curvature of her world from within — without ever peeking into a third dimension. General relativity lives in this idea.
Two bends, two tones — hear the sign of K.
Principal curvatures are numbers, and numbers are pitches. Map κ₁ and κ₂ each to an oscillator frequency — positive curvature bends the tone sharp of a base note, negative curvature bends it flat, zero curvature leaves it silent. Then listen to the interval between the two tones.
On the sphere: κ₁ = κ₂ = +1/R, both the same sign, both the same frequency. Two tones in unison — a smooth, glassy concord. On the cylinder: κ₁ = 1/R, κ₂ = 0. One tone, one silence — a clean pure note with no partner. On the saddle: κ₁ = +2, κ₂ = −2, opposite signs. One tone climbs above the base, the other dips below. Their distance apart is the dissonance, and the beating between them is rapid and unsettled — the audible signature of a surface that can't make up its mind which way to bend. Toggle the surface and hear K's sign in the interval.
Geometer: the sign of K = κ₁κ₂ tells bowl from saddle — same sign is positive K, opposite signs is negative K. Minimalist: soap films seek H = (κ₁+κ₂)/2 = 0: the two tones balance at the same distance above and below — not unison, but a perfectly symmetric detune. Musician: unison = sphere (K>0); one tone + silence = cylinder (K=0); dissonant beating pair = saddle (K<0). The sign of K is audible in the interval type.
The shape operator is the language of curved space.
The principal curvatures κ₁ and κ₂ are the eigenvalues of the shape operator S — the linear map that records how the unit normal tilts as you walk. Everything the surface "knows" about its local bend in 3D lives there. But K = det(S) transcends the embedding: it belongs to the surface alone, accessible from within. That distinction — extrinsic detail vs intrinsic fact — is the hinge on which all of differential geometry turns.
K directly feeds the circle deficit you can feel: on a surface of positive K, circles are shorter than 2πr; on negative K, they run long. Integrate K over a region and Gauss–Bonnet (Act III in the previous lesson) converts it into a global topological count — the total turning of all the bends is fixed by the genus of the surface, no matter how you deform it. Roll it, crumple it, squash it: as long as you don't tear or glue, K rearranges but its integral keeps the same value.
In Einstein's general relativity the curvature of spacetime is a tensor that generalises the shape operator to four dimensions. The "principal curvatures" become the eigenvalues of the Riemann tensor, and the analogue of K encodes how gravity pulls geodesics toward or apart — whether your free-fall paths converge (positive K, matter) or diverge (negative K, dark energy). The humble saddle in today's widget is a kindergarten model of the curvature that shapes the universe.
After Tristan Needham, Visual Differential Geometry and Forms (Princeton, 2021), Act III, Ch. 8, 10, 12, 15. A lesson in the Manifold wing of Reverbs.