Gauss-Bonnet Theorem

Core Idea

The Gauss-Bonnet theorem states that the total Gaussian curvature of a compact oriented surface equals 2π times its Euler characteristic: ∫_S K dA = 2πχ(S). This is the first and most beautiful theorem connecting local geometry (curvature) to global topology (Euler characteristic). It implies that the total curvature is a topological invariant — unchanged by any deformation of the metric — and generalizes to higher dimensions via the Chern-Gauss-Bonnet theorem.

Explainer

The Gauss-Bonnet theorem is the prototypical result in differential geometry — the first theorem to bridge local curvature and global topology. On a compact oriented surface S without boundary, it states: ∫_S K dA = 2πχ(S), where K is the Gaussian curvature, dA is the area element, and χ(S) is the Euler characteristic. For closed orientable surfaces, χ = 2 - 2g where g is the genus, so the total curvature is 2π(2 - 2g): it equals 4π for a sphere, 0 for a torus, -4π for a genus-2 surface, and so on.

The theorem has immediate consequences. No metric on a torus can have everywhere positive Gaussian curvature (the total curvature must be zero). No metric on a sphere can have everywhere non-positive curvature (the total must be 4π). A surface of genus ≥ 2 must have negative curvature somewhere. These are topological obstructions to curvature conditions — the topology of the surface constrains what curvature is possible. Conversely, the theorem implies that the total curvature is a topological invariant: you can deform the metric however you like (stretch, squish, bend), and ∫ K dA does not change.

The version with boundary adds a geodesic-curvature term: ∫_S K dA + ∫_{∂S} κg ds + Σ αᵢ = 2πχ(S), where κg is the geodesic curvature of the boundary and αᵢ are the exterior angles at corners. Applied to a geodesic triangle on a surface of constant curvature K, this gives (angle sum) = π + K·(area), the famous angle-excess formula. On a sphere (K > 0), angles sum to more than π; on a hyperbolic surface (K < 0), less than π. The amount of excess or deficit is proportional to the area, with proportionality constant K.

The Chern-Gauss-Bonnet theorem extends this to higher even dimensions: on a compact oriented 2n-manifold M, ∫_M Pf(Ω) = (2π)ⁿ χ(M), where Pf(Ω) is the Pfaffian of the curvature form. The integrand is a polynomial in the Riemann curvature tensor, and the integral equals the Euler characteristic. In dimension 4, the integrand involves the square of the curvature tensor, and the theorem constrains the topology of 4-manifolds from curvature data. The Gauss-Bonnet theorem is the genesis of the theory of characteristic classes, which are topological invariants of vector bundles computed from curvature — one of the deepest threads connecting differential geometry, algebraic topology, and mathematical physics.