Skip to content

The Gauss-Bonnet Theorem

8.1 Statement for Surfaces

Theorem 8.1 (Gauss-Bonnet, Global). Let (M,g)(M, g) be a compact, oriented Riemannian 2-manifold without boundary. Then:

MKdA=2πχ(M)\int_M K\, dA = 2\pi \chi(M)

where KK is the Gaussian curvature, dAdA is the area form, and χ(M)\chi(M) is the Euler characteristic.

Corollary 8.2. The total curvature of a compact surface depends only on its topology, not on the metric.

Examples.

  • S2S^2: S2KdA=2π2=4π\int_{S^2} K\, dA = 2\pi \cdot 2 = 4\pi. For the standard metric (K=1K = 1): KdA=14π=4π\int K\, dA = 1 \cdot 4\pi = 4\pi. ✓
  • T2T^2 (torus): T2KdA=2π0=0\int_{T^2} K\, dA = 2\pi \cdot 0 = 0. For the flat metric (K=0K = 0): KdA=0\int K\, dA = 0. ✓
  • S1×S1S^1 \times S^1 (genus 2): χ=2\chi = -2, so total curvature =4π= -4\pi.

8.2 Gauss-Bonnet with Boundary

Theorem 8.3. Let MM be a compact oriented Riemannian 2-manifold with boundary M\partial M consisting of smooth curves meeting at exterior angles α1,,αk\alpha_1, \ldots, \alpha_k. Then:

MKdA+Mκgds+i=1kαi=2πχ(M)\int_M K\, dA + \int_{\partial M} \kappa_g\, ds + \sum_{i=1}^k \alpha_i = 2\pi \chi(M)

where κg\kappa_g is the geodesic curvature of the boundary.