Gauss–Bonnet Theorem — Mathematics Knowledge System

Overview

The Gauss–Bonnet theorem is one of the deepest results in differential geometry: it relates the total curvature of a compact surface to its Euler characteristic, a purely topological invariant. The local version relates the Gaussian curvature K and geodesic curvature kg of the boundary of a region; the global version integrates over a closed surface and equates the result to 2πχ(M). This theorem bridges analysis (curvature), geometry (geodesics), and topology (Euler characteristic) in a single elegant formula.

Intuition

Imagine inflating a sphere. As you add positive curvature at some points, the topology forces it to balance out globally: the total curvature is always 4π for a sphere, regardless of how you deform it. On a torus, the positive curvature on the outside exactly cancels the negative curvature on the inside, giving total curvature 0. The Gauss–Bonnet theorem makes this precise: no matter how you bend or stretch a surface, as long as you do not tear or glue, the integral of curvature is a fixed topological invariant.

Formal Definition

Definition

Let M be a compact oriented Riemannian 2-manifold with piecewise smooth boundary ∂M. The local Gauss–Bonnet theorem reads:

\int_M K\, dA + \int_{\partial M} k_g\, ds + \sum_i \theta_i = 2\pi\chi(M)

K is Gaussian curvature, k_g is geodesic curvature of boundary, θ_i are exterior angles at corners, χ(M) is Euler characteristic of M

Local Gauss–Bonnet theorem (polygon version)

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

Global Gauss–Bonnet theorem (closed surface, no boundary)

\chi(M) = V - E + F

Euler characteristic via any triangulation

K = \kappa_1 \kappa_2

Gaussian curvature = product of principal curvatures

Properties

Euler characteristic of surfaces

\chi(S^2) = 2,\quad \chi(T^2) = 0,\quad \chi(\Sigma_g) = 2 - 2g

Total curvature depends only on topology

\int_M K\, dA \text{ is a topological invariant: it does not change under smooth deformation of the metric}

Theorems

Theorem 1: Gauss–Bonnet (Local)

\int\!\int_D K\, dA + \oint_{\partial D} k_g\, ds + \sum_{i=1}^n \theta_i = 2\pi

Theorem 2: Gauss–Bonnet (Global)

\int_M K\, dA = 2\pi\chi(M) \quad \text{for closed orientable surface } M

Theorem 3: Poincaré–Hopf Index Theorem

\sum_{\mathrm{zeros}} \mathrm{ind}(v) = \chi(M) \quad \text{for any smooth vector field } v \text{ with isolated zeros}

Worked Examples

1
The Gaussian curvature of the unit sphere is K = 1 everywhere.
$K \equiv 1$
2
The area of S² is 4π (computed earlier).
$\mathrm{Area}(S^2) = 4\pi$
3
Therefore the integral of K is:
$\int_{S^2} K\, dA = 1 \cdot 4\pi = 4\pi$
4
The Euler characteristic of S² is χ(S²) = 2 (from V−E+F of any triangulation, e.g., octahedron: 6−8+4... actually icosahedron or tetrahedron: 4−6+4=2).
$\chi(S^2) = 2$
5
Check: 2πχ(S²) = 2π·2 = 4π = ∫K dA. ✓
$2\pi\chi(S^2) = 4\pi = \int_{S^2} K\, dA$

✓ Answer

The theorem is verified: ∫_{S²} K dA = 4π = 2π·2 = 2πχ(S²).

Practice Problems

Mediumfree response

What is ∫_M K dA for a closed orientable surface of genus 3?

Hardproof writing

Prove that no smooth metric on the torus T² can have everywhere positive Gaussian curvature.

Common Mistakes

Common Mistake

The Gaussian curvature K and the sectional curvature are always the same

For a 2-manifold (surface), the Gaussian curvature K is the unique sectional curvature since there is only one 2-plane at each point. For higher-dimensional manifolds, sectional curvature is defined for each 2-plane and can vary.

Common Mistake

The Gauss–Bonnet theorem requires the surface to be embedded in ℝ³

The theorem is intrinsic: it holds for any abstract compact Riemannian 2-manifold. K is intrinsically defined (Theorema Egregium) and the statement involves only the intrinsic geometry.

Quiz

Historical Background

The theorem has a long history. Gauss proved the special case of a geodesic triangle in 1827, relating the angle sum excess to the integral of Gaussian curvature (the Theorema Egregium). Bonnet extended this to general regions with smooth boundaries in 1848, adding the geodesic curvature term. The global version for closed surfaces followed from Descartes' polyhedral formula Σ(angle defect) = 2πχ (1639, published 1860). Hopf and Rinow's work in the 1930s placed the theorem in the modern framework of Riemannian geometry. Chern's 1944 generalisation to higher-dimensional manifolds (the Chern–Gauss–Bonnet theorem) is a cornerstone of modern differential topology.

1827
Gauss proves angle-sum theorem for geodesic triangles (angle excess = integral of K)
Carl Friedrich Gauss
1848
Bonnet extends Gauss's result to regions with curved boundaries, adding geodesic curvature
Pierre Ossian Bonnet
1944
Chern proves the generalised Gauss–Bonnet theorem for higher-dimensional manifolds
Shiing-Shen Chern

Summary

The Gauss–Bonnet theorem: ∫_M K dA + ∫_{∂M} k_g ds + Σθ_i = 2πχ(M) for a polygon; globally ∫_M K dA = 2πχ(M).
The Euler characteristic χ = 2 − 2g is a topological invariant; K integrates to give the same value regardless of the metric.
On S²: ∫ K dA = 4π; on T²: ∫ K dA = 0; on Σ_g: ∫ K dA = (4 − 4g)π.
The angle excess of a geodesic triangle on S² equals its area.
Chern's generalisation extends Gauss–Bonnet to all even-dimensional closed Riemannian manifolds.

References

Bookdo Carmo, M. P. — Differential Geometry of Curves and Surfaces, Prentice-Hall, 1976, Chapter 4
BookLee, J. M. — Riemannian Manifolds: An Introduction to Curvature, Springer, 1997, Chapter 9
WebsiteWikipedia — Gauss–Bonnet theorem
WebsiteWolfram MathWorld — Gauss-Bonnet Formula