Overview

The Gauss–Bonnet theorem is a central result in differential geometry that ties local geometric quantity — curvature — to a global topological invariant, the Euler characteristic. In informal terms, it shows that the integral of Gaussian curvature over a compact surface, together with a correction coming from the boundary, yields 2π times the Euler characteristic of that surface. For a boundaryless closed surface this simplifies to a direct relation between total curvature and topology.

Statement and key components

A common formulation reads: the integral of Gaussian curvature K over a compact oriented surface plus the integral of geodesic curvature k_g along its boundary equals 2πχ, where χ denotes the Euler characteristic. In words, total curvature (interior) + total boundary turning = 2π·(topological class). This links measurable geometric quantities to a discrete invariant that counts, roughly, holes and connected components.

  • Gaussian curvature (K): a pointwise measure of how the surface bends.
  • Geodesic curvature (k_g): how a boundary curve deviates from a geodesic.
  • Euler characteristic (χ): a topological integer computed from triangulations, e.g., V−E+F for polyhedra.

History and development

The theorem bears the names of Carl Friedrich Gauss and Pierre Ossian Bonnet, who discovered related results in the 19th century. Gauss's earlier work on curvature and the Theorema Egregium laid groundwork by showing curvature is an intrinsic property. Bonnet generalized these ideas to include boundary contributions. Later developments connected Gauss–Bonnet with topology and characteristic classes, and inspired far-reaching generalizations by Chern and others.

Examples and importance

Concrete illustrations include the sphere (total curvature 4π, χ=2) and the torus (total curvature 0, χ=0). In discrete settings the theorem has analogues for polyhedral surfaces where angle deficits at vertices replace smooth curvature. The Gauss–Bonnet theorem is foundational in global differential geometry and appears in proofs and intuition for classification results, index theorems, and rigidity phenomena.

Beyond the classical surface case, there are higher-dimensional generalizations (often called Chern–Gauss–Bonnet) expressing topological invariants as integrals of curvature forms. Connections to the Atiyah–Singer index theorem and characteristic classes demonstrate the theorem's role as a bridge between analysis, geometry, and topology.

Further reading: see general treatments of the Gauss–Bonnet theorem, introductions to differential geometry, geometric intuition about a surface, and topological background on Euler characteristic. Biographical context for the namesakes is available at Gauss and Bonnet resources, and technical details about Euler classes and proofs are collected at advanced references.