Local Gauss-Bonnet

Differential Geometry · Axiom Academy

LESSON Local Gauss-Bonnet Theorem A fundamental relationship between curvature, geodesic curvature, and topology 1. The Local Gauss-Bonnet Formula Let R be a region on a smooth surface with piecewise smooth boundary ∂R. The Local Gauss-Bonnet Theorem states: K - Gaussian curvature (intrinsic curvature of the surface) dA - Area element on the surface κ g - Geodesic curvature of the boundary curve ds - Arc length element along the boundary θ i - Exterior angle at the i-th vertex 2. Geodesic Polygon Specialization When the region R is bounded by geodesic segments, the geodesic curvature κ g = 0 along the edges (since geodesics have zero geodesic curvature). This simplifies the formula dramatically: This beautiful result says that for a geodesic polygon, the total Gaussian curvature inside equals 2π minus the sum of exterior angles! Each term in the Local Gauss-Bonnet formula has a geometric interpretation: ∫∫ R K dA - Measures how the surface curves inside the region. Positive for spherical regions, negative for saddle-like regions, zero for flat regions. ∫ ∂R κ g ds - Measures how the boundary curve deviates from being a geodesic. Zero if the boundary consists of geodesic segments. Σ θ i - Sum of exterior angles at vertices. For a smooth boundary, this contribution vanishes. For polygons, this is where corners contribute. 2π - The topological constant! This equals 2π times the Euler characteristic of a disk, hinting at the deep connection to topology.

This is the written version of the interactive lesson above. See the full Differential Geometry course.