The vector that
comes home turned
Carry an arrow around a loop. Never twist it — at every step keep it as parallel as the surface allows. On a flat floor it comes back unchanged. On a sphere, it comes back rotated. That single, impossible-seeming fact is curvature — and from it falls Gauss–Bonnet, the Foucault pendulum, a cat righting itself, and gravity. Drag the loop. Watch.
Walk the loop. The arrow disagrees.
Here is a sphere with a circular loop near the top. An explorer carries an arrow endlessly around it under one rule: never turn the arrow. At each step she keeps it pointing "the same way" — sliding it along without spin, as flat as the curved ground underneath will let her. This honest, twist-free dragging is called parallel transport, and you can watch every lap of it light-painted into a glowing fan.
Follow her around. She returns to the exact spot she started — same place, same rule, no cheating. But the arrow is no longer where it began. It has rotated. Nobody turned it. The shape of the world turned it — and the angle of that turn is the bright wedge that opens up between the arrow she left with and the arrow she comes home with.
Drag the sphere to spin the globe. Drag the slider to resize the loop. Notice: the bigger the cap the loop encloses, the more the arrow turns — and the higher the drone climbs. A loop is asking the surface a question, and the answer is the rotation.
That leftover rotation — the angle between the arrow you left with and the arrow you came home with — is the holonomy of the loop. On a flat plane it is always zero. The instant it isn't zero, you are standing on something curved, and you never had to leave the surface to find out. That last clause is the whole revolution: curvature is intrinsic. An ant could measure it. This is Gauss's Theorema Egregium, his "remarkable theorem," and it is the seed of all of general relativity.
On a flat floor, nothing happens.
To trust the sphere, first watch the boring case. Here is a flat plane and a square loop. Walk the arrow around it under the exact same rule — never turn it. Down each side, around each corner, the arrow holds its heading. It comes home identical. Holonomy zero. Forever.
This is why nobody is surprised by flatness: parallel transport on a plane is just "keep pointing the same compass direction," and a closed walk obviously returns your compass to where it was. The sphere breaks this — and the brokenness is measurable, repeatable, and exact.
Press try the cone: roll the flat sheet into a cone and walk the same loop around the tip. Now the arrow turns — by exactly the angle of the wedge you removed to make the cone. Curvature got concentrated into a single point, and the loop felt all of it at once. (Unroll the cone and the mystery vanishes: it was flat paper the whole time. That trick — cut, flatten, measure the gap — is Needham's entire method.)
The turn equals the area you enclosed.
Now the precise statement, and it is almost unbelievably clean. Take the unit sphere. A loop at colatitude θ (the angle down from the north pole) encloses a spherical cap. Parallel-transport an arrow once around that loop and the holonomy is
Read that again. The angle the arrow rotates is equal to the area the loop fences off. Angle and area are not usually the same kind of thing — one is measured in radians, one in square-whatevers — yet on the unit sphere they coincide exactly, because the sphere's curvature is exactly 1 everywhere. In general the holonomy is the curvature summed over the enclosed patch:
Drag the slider and watch the two numbers move together. They are never off. The arrow is, quite literally, an area-meter you carry in your hand.
The rotating arrow and its starting ghost, with the holonomy fan light-painted between them — and the live read of 2π(1−cos θ) against the cap area. One curve. They are the same curve.
You can hear the curvature.
Here is the bridge back to Reverbs, and it is not a gimmick — it is the same physics. The holonomy is a geometric phase: a phase shift you accumulate purely from the path you took, not from any clock. The Foucault pendulum in a museum precesses by exactly this angle as the Earth carries it around a latitude loop. In quantum mechanics it is Berry's phase.
And a phase is something an ear can hear. Take two pure tones at the same pitch and slide one of them out of phase: they drift in and out of step and you hear a slow throb — a beat. So let the loop's holonomy be that phase offset. Grow the loop → more curvature enclosed → more geometric phase → a faster beat. Shrink it toward a point → the beat slows to stillness, because a tiny loop on any surface feels almost no curvature.
Geometer: the arrow rotates by the enclosed curvature. Physicist: the pendulum precesses by the same angle — the geometric phase of its path. Musician: that phase, set against a steady tone, is a beat you can count. Curvature, precession, and a throb in the air are the same number wearing three costumes. (There is a second, deeper sound bridge too — the overtones of a drum are the eigenmodes of the curved surface itself: "can you hear the shape of a drum?" That's a whole lesson of its own.)
Add up every loop, get a number that can't change.
Push the loop all the way down to the equator and keep going until it shrinks back to the south pole. You have now swept the arrow over the entire sphere. Total holonomy: the whole surface area, 4π. Here is the staggering part — that total does not care about the radius, the dents, the lumps, or how you stretch the thing. For any sphere-shaped surface, no matter how deformed, the curvature integrated over the whole thing is locked to 4π:
This is the Gauss–Bonnet theorem, the dramatic curtain of Act III. Local bending (curvature) is allowed to slosh around however it likes — but its grand total is a rigid integer in disguise, fixed by nothing but the surface's topology: how many holes it has. Squeeze curvature out of one region and it bulges out somewhere else; the books always balance to 2πχ. It is the reason you can comb the hair flat on a donut but never on a coconut — the hairy-ball theorem is Gauss–Bonnet wearing a hat.
The same arrow-that-turns is everywhere once you see it. A falling cat rights itself with zero angular momentum by tracing a loop in the space of its own shapes — its body's holonomy. A robot arm can return every joint to home and still end up rotated. In general relativity, gravity simply is this: free-falling frames parallel-transported through curved spacetime come back tilted, and we call the tilt tidal force. One gesture — drag an arrow around a loop — and you are holding the key to half of modern physics.
That is the promise of this whole track. Five acts, picture-first, every proof a thing you can drag — and, where it's honest, a thing you can hear. Next stops: geodesics as taut threads, the map that must lie, and the shape of distance.
After Tristan Needham, Visual Differential Geometry and Forms: A Mathematical Drama in Five Acts (Princeton, 2021). A lesson in the Manifold wing of Reverbs.