The books
always balance
A flat triangle's angles add to 180°. A triangle on a globe adds to more — and the overshoot is exactly the area it covers. Add up the curvature over an entire closed surface and the local freedom collapses into a single, unbudgeable number, fixed by nothing but how many holes the shape has. This is Gauss–Bonnet: the moment local geometry and global topology turn out to be the same ledger.
Three right angles in one triangle.
Stand on the North Pole and walk straight down to the equator. Turn 90° and walk a quarter of the way around. Turn 90° again and walk straight back up to the pole. You've traced a triangle with three right angles — a sum of 270°, a full 90° over the flat-world budget of 180°. Every side was a geodesic (a great circle); you never curved. The surface supplied the extra.
The three vertices below are draggable. Each side is a taut geodesic. Watch the three interior angles and their sum as you reshape it — and watch the excess (sum − 180°) track the triangle's area in perfect lockstep. Shrink it to a speck and the excess vanishes: tiny triangles can't tell they're on a sphere.
The interior angle at a corner is the angle between the two geodesics leaving it. Drag a corner toward another and the triangle thins to a sliver — angle sum slides back toward 180°, excess toward 0. Fatten it to cover a whole octant and the sum climbs toward 270° and beyond.
The overshoot you can bank.
That lockstep is not a coincidence — it's the local heart of Gauss–Bonnet. For a triangle whose sides are geodesics, the angle excess equals the total curvature enclosed:
Our 90·90·90 triangle: excess = 270° − 180° = 90° = π/2 radians. And a sphere's whole surface is 4π, so an area of π/2 is exactly one-eighth of the globe — which is just what that triangle is, one octant. The numbers aren't approximate; they're equal.
This also closes the loop with parallel transport: carry a vector around this triangle and it comes home rotated by precisely the excess. The angle the triangle overshoots, the holonomy of its boundary, and the curvature it fences off are three names for one number.
Add up the whole sphere: always 4π.
Now the grand total. Cut the sphere into eight of those octant triangles — like the faces of an inflated octahedron. Each carries an excess of π/2. Eight of them: 8 × π/2 = 4π. Press play and watch the running sum of curvature climb, face by face, and lock onto 4π — and hear it: each face rings a note, and the pile of notes resolves to one fixed chord when the books balance.
Deform the sphere into a potato, a teardrop, a hand — curvature sloshes from the squashed parts to the pointy parts, but the sum never leaves 4π. It isn't measuring shape anymore. It's counting holes.
The total is just the topology.
That χ is a topological number — it counts holes, and nothing else. A sphere has χ = 2, so its curvature totals 4π. A torus (a donut) has χ = 0: its outer rim curves like a sphere (positive K), its inner hole curves like a saddle (negative K), and they cancel exactly — total curvature zero. A two-holed pretzel has χ = −2, total curvature −4π. Bend and stretch all you like; the only way to change the number is to drill a new hole.
This is why you can comb a donut but not a coconut. A smooth field of "hairs" (tangent vectors) can lie flat everywhere on a torus, but on a sphere it must have a cowlick — a point where the hair stands up or swirls. That forced cowlick is the hairy ball theorem, and it's Gauss–Bonnet in disguise: the field's swirls must sum to χ = 2, so on a sphere they can't all be zero. Topology forbids the perfect comb.
Antennas and wind: at every instant there are two antipodal points on Earth with zero horizontal wind (the cowlicks of the wind field). Fusion reactors: you can't magnetically bottle a plasma on a sphere without a zero in the field — so tokamaks are tori, where the comb lies flat. Gauss–Bonnet isn't a curiosity; it sets what's buildable.
Where the drama has been heading.
Step back and the wing snaps into one picture. The map that must lie showed curvature is intrinsic — real, local, impossible to iron away. Parallel transport measured it as a loop's holonomy. Geodesics showed it focusing straight lines. Gauss–Bonnet integrates all of that over a closed world and finds the answer was a topological integer the whole time:
That a purely local quantity — how a surface bends, point by point — is chained to a global, unchangeable count of holes is one of the most beautiful facts in mathematics. It's the template for everything that follows: index theorems, topological phases of matter, the quantization of the Hall conductance. Local meets global, and they were never separate.
Next, the language that makes all of this effortless: differential forms — Needham's fields of slabs you pierce, where curvature becomes a 2-form and Stokes' theorem swallows Gauss–Bonnet whole.
After Tristan Needham, Visual Differential Geometry and Forms (Princeton, 2021). A lesson in the Manifold wing of Reverbs.