Gaussian Curvature and the Gauss-Bonnet Theorem

⚡ Key Takeaways

One-line statement: Gaussian curvature $K$ is an intrinsic invariant of a surface, and the Gauss–Bonnet theorem equates its total integral (plus boundary geodesic curvature) to $2\pi$ times the Euler characteristic. Key result in words: Local bending governed by $K = \kappa_1\kappa_2$ is rigidly constrained by global topology. Where it applies: Differential geometry of surfaces, Riemannian geometry, topology, general relativity, geometric analysis. Who/when: Carl Friedrich Gauss (Theorema Egregium, 1827); Pierre Ossian Bonnet (1848).

💡 The Core Insight

Curvature is local; the Euler characteristic is global. Gauss–Bonnet is the bridge: it states that local curvature, once integrated over all of a closed surface, cannot escape its topological accounting. Every concentration of positive curvature must be balanced — the books always close at $2\pi\chi$ .

DefinitionFirst and Second Fundamental Forms

Let $\mathbf{x}(u,v)$ be a regular parametrized surface $S \subset \mathbb{R}^3$ with unit normal $\mathbf{N}$ . The first fundamental form encodes the intrinsic metric:

1

\quad \mathrm{I} = E\,du^2 + 2F\,du\,dv + G\,dv^2,\qquad E=\mathbf{x}_u\!\cdot\!\mathbf{x}_u,\ F=\mathbf{x}_u\!\cdot\!\mathbf{x}_v,\ G=\mathbf{x}_v\!\cdot\!\mathbf{x}_v.

Derivation hint: Compute the squared length of $d\mathbf{x}=\mathbf{x}_u\,du+\mathbf{x}_v\,dv$ and collect coefficients of $du^2,\,du\,dv,\,dv^2$ . The second fundamental form measures bending into $\mathbb{R}^3$ :

2

\quad \mathrm{II} = e\,du^2 + 2f\,du\,dv + g\,dv^2,\qquad e=\mathbf{x}_{uu}\!\cdot\!\mathbf{N},\ f=\mathbf{x}_{uv}\!\cdot\!\mathbf{N},\ g=\mathbf{x}_{vv}\!\cdot\!\mathbf{N}.

Derivation hint: Project the second-order Taylor terms of $\mathbf{x}$ onto $\mathbf{N}$ , measuring how far $S$ departs from its tangent plane.

DefinitionGaussian and Mean Curvature

The shape operator (Weingarten map) $S_p = -d\mathbf{N}_p$ on the tangent plane has eigenvalues $\kappa_1,\kappa_2$ , the principal curvatures. Then

3

\quad K = \det(S_p) = \kappa_1\kappa_2 = \frac{eg-f^2}{EG-F^2},\qquad H = \tfrac{1}{2}\,\mathrm{tr}(S_p) = \tfrac{1}{2}(\kappa_1+\kappa_2).

Derivation hint: Express $S_p$ as the matrix $\mathrm{I}^{-1}\,\mathrm{II}$ ; its determinant is $\det(\mathrm{II})/\det(\mathrm{I})$ and its trace gives $H$ . $K>0$ at elliptic points (locally bowl-shaped), $K<0$ at hyperbolic points (saddle), $K=0$ at parabolic/planar points.

TheoremTheorema Egregium — Gauss, 1827

The Gaussian curvature $K$ is determined entirely by the first fundamental form $E,F,G$ and its derivatives. Hence $K$ is invariant under local isometries: any deformation preserving lengths preserves $K$ . In orthogonal coordinates ( $F=0$ ), Brioschi's formula collapses to

4

\quad K = -\frac{1}{2\sqrt{EG}}\left[\partial_u\!\left(\frac{G_u}{\sqrt{EG}}\right) + \partial_v\!\left(\frac{E_v}{\sqrt{EG}}\right)\right].

Derivation hint: Take the Gauss equation relating curvature to the Christoffel symbols, then specialize $F=0$ so the cross terms vanish; the $\mathrm{II}$ data have disappeared entirely.

TheoremGauss–Bonnet — Local Form

Let $R\subset S$ be a region bounded by a piecewise-smooth simple closed curve $\partial R$ with exterior angles $\theta_i$ at its corners. Then

5

\quad \iint_R K\,dA + \oint_{\partial R} \kappa_g\,ds + \sum_i \theta_i = 2\pi,

where $\kappa_g$ is the geodesic curvature of $\partial R$ and $dA=\sqrt{EG-F^2}\,du\,dv$ . Derivation hint: Integrate the angular change of a parallel-transported vector around $\partial R$ ; the holonomy equals $\iint_R K\,dA$ by Stokes' theorem applied to the connection 1-form.

TheoremGauss–Bonnet — Global Form

For a compact orientable surface $S$ without boundary,

6

\quad \iint_S K\,dA = 2\pi\,\chi(S) = 2\pi(2-2g),

where $\chi(S)$ is the Euler characteristic and $g$ the genus. With boundary, $\iint_S K\,dA + \oint_{\partial S}\kappa_g\,ds = 2\pi\chi(S)$ . Derivation hint: Triangulate $S$ , apply the local form to each triangle, and sum: interior angle contributions reorganize via $V-E+F=\chi$ , while shared edge geodesic-curvature terms cancel pairwise.

ProofGlobal Gauss–Bonnet via Triangulation

Step 1. Triangulate $S$ by geodesic-free triangles $T_k$ , each small enough to apply the local form [5]. Let the triangulation have $V$ vertices, $E$ edges, $F$ faces.

Step 2. For each triangle $T_k$ with interior angles $\alpha_k,\beta_k,\gamma_k$ , the exterior angles are $\pi-\alpha_k$ etc. The local theorem gives

\iint_{T_k} K\,dA + \oint_{\partial T_k}\kappa_g\,ds + (3\pi - \alpha_k-\beta_k-\gamma_k) = 2\pi.

Step 3. Sum over all $F$ triangles. The interior $K$ -integrals add to $\iint_S K\,dA$ . Each interior edge is traversed once in each direction by adjacent triangles, so its $\kappa_g$ contributions cancel; with no boundary, all edge integrals vanish.

Step 4. The angle sum: $\sum_k(3\pi) = 3\pi F$ , and the sum of all interior angles around each vertex is $2\pi$ , giving $\sum(\alpha+\beta+\gamma)=2\pi V$ . Thus the angle terms total $3\pi F - 2\pi V$ .

Step 5. Combine: $\iint_S K\,dA + 3\pi F - 2\pi V = 2\pi F$ , so

\iint_S K\,dA = 2\pi V - \pi F.

Since every triangle has 3 edges and every edge borders 2 triangles, $3F = 2E$ , i.e. $\pi F = 2\pi E - 2\pi E + \pi F$ . Substituting $\pi F = 3\pi F - 2\pi E$ rearranges to give $\iint_S K\,dA = 2\pi(V-E+F) = 2\pi\chi(S)$ . $\blacksquare$

∎

ProofLocal Form via Holonomy

Step 1. Choose orthonormal frame $(\mathbf{e}_1,\mathbf{e}_2)$ on $R$ with dual coframe $(\omega^1,\omega^2)$ and connection 1-form $\omega^1_2$ satisfying $d\omega^1_2 = -K\,\omega^1\wedge\omega^2$ (the second structure equation).

Step 2. Let $\phi(s)$ be the angle of the unit tangent $T(s)$ of $\partial R$ relative to $\mathbf{e}_1$ . The geodesic curvature is $\kappa_g = \frac{d\phi}{ds} + \langle \nabla_T \mathbf{e}_1, \mathbf{e}_2\rangle = \frac{d\phi}{ds} - \omega^1_2(T)$ .

Step 3. Integrate around $\partial R$ . The total turning of $T$ (Hopf's Umlaufsatz) is $\oint d\phi = 2\pi - \sum_i\theta_i$ .

Step 4. Apply Stokes' theorem to $\omega^1_2$ :

\oint_{\partial R}\omega^1_2 = \iint_R d\omega^1_2 = -\iint_R K\,dA.

Step 5. Combine: $\oint\kappa_g\,ds = (2\pi-\sum\theta_i) + \iint_R K\,dA$ rearranges to [5]. $\blacksquare$

∎

CF

Carl Friedrich Gauss

1777–1855

The "Prince of Mathematicians," Gauss spent the 1820s conducting the geodetic survey of the Kingdom of Hanover, measuring triangles between mountain peaks. This earthbound labor — confronting the fact that the Earth's surface cannot be flattened without distortion — directly inspired his Disquisitiones generales circa superficies curvas (1827). There he isolated the curvature $K$ and proved it intrinsic, a result so striking he named it egregium (remarkable). Gauss reportedly tested whether physical space was curved by measuring angles of a giant triangle between Brocken, Hohenhagen, and Inselsberg; the angle sum was indistinguishable from $\pi$ , but the conceptual seed — that geometry is empirical — flowered into Riemann's work and ultimately general relativity.

🧠 Intuition

Imagine an ant living on a surface, unable to see into the third dimension. The Theorema Egregium says the ant can still measure $K$ : it walks a tiny circle of radius $r$ and checks the circumference. On a flat plane the circumference is exactly $2\pi r$ ; on a sphere ( $K>0$ ) it is less (the surface "pinches in"); on a saddle ( $K<0$ ) it is more. Quantitatively, $C(r) = 2\pi r\left(1 - \frac{K}{6}r^2 + \cdots\right)$ . Gauss–Bonnet then says: add up all this local pinching over a closed surface, and you recover only its topological type. A sphere's total curvature is $4\pi$ no matter how dented; punch a hole through to make a torus and the total drops to $0$ — the positive curvature of its outer bulge must be exactly cancelled by negative curvature on the inner ring.

Figure

A sphere has total curvature

4\pi

; a torus has total curvature

0

, its positive outer and negative inner regions cancelling.

ExampleTotal Curvature of the Unit Sphere

Given: The unit sphere $S^2$ of radius $a=1$ , parametrized by latitude–longitude.

Step 1. Principal curvatures of a sphere of radius $a$ are both $\kappa_1=\kappa_2=1/a$ , so $K = 1/a^2$ . For $a=1$ , $K=1$ everywhere.

Step 2. Surface area is $\iint_{S^2} dA = 4\pi a^2 = 4\pi$ .

Step 3. Total curvature: $\iint_{S^2} K\,dA = (1)(4\pi) = 4\pi$ .

Step 4. Check against Gauss–Bonnet: $\chi(S^2)=2$ , so $2\pi\chi = 4\pi$ . ✓

\boxed{\iint_{S^2} K\,dA = 4\pi \ \text{(dimensionless)}}

Note: for any radius $a$ , $K=1/a^2$ and area $=4\pi a^2$ , so the product is always $4\pi$ — independent of size, as topology demands.

ExampleGeodesic Triangle Angle Excess on a Sphere

Given: A geodesic triangle on the unit sphere ( $K=1$ ) with interior angles $\alpha=\beta=\gamma=\tfrac{\pi}{2}$ (e.g. one vertex at the north pole, two on the equator $90°$ apart).

Step 1. Geodesics have $\kappa_g=0$ , so the boundary integral vanishes.

Step 2. Local Gauss–Bonnet with smooth-vertex form: $\iint_T K\,dA = (\alpha+\beta+\gamma) - \pi$ (the angular excess formula).

Step 3. Substitute: $\iint_T K\,dA = \tfrac{\pi}{2}+\tfrac{\pi}{2}+\tfrac{\pi}{2} - \pi = \tfrac{\pi}{2}$ .

Step 4. Since $K=1$ , the area is also $\tfrac{\pi}{2}$ — exactly one octant of the sphere's $4\pi$ total area. ✓

\boxed{\text{Area} = \iint_T K\,dA = \frac{\pi}{2} \ \text{(steradians)}}

⚠️ Common mistake

Gaussian curvature is intrinsic; mean curvature is not. A flat sheet of paper rolled into a cylinder has $K=0$ everywhere — bending without stretching preserves $K$ . But its mean curvature $H$ changes from $0$ (flat) to $1/(2r)$ (cylinder). Do not confuse the two: $H$ depends on the embedding, $K$ does not. This is precisely why a sphere ( $K=1/a^2$ ) can never be flattened onto a plane ( $K=0$ ) without distortion — the root cause of every cartographic map distortion.

Counterexample

"Total curvature determines the surface." False. The Euler characteristic — hence $\iint K\,dA$ — only sees topology, not geometry. A round sphere of radius $1$ and a lumpy, dented potato-shaped sphere both have $\iint K\,dA = 4\pi$ , yet they are geometrically utterly different (different metrics, different $K(p)$ pointwise). Gauss–Bonnet constrains the integral, never the pointwise distribution. Conversely, two surfaces with the same total curvature need not be homeomorphic either — a flat torus and a flat Klein bottle both have $\iint K\,dA = 0$ , but the latter is non-orientable.

connection

Gauss–Bonnet is the two-dimensional ancestor of the Chern-Gauss-Bonnet Theorem in even dimensions and, more broadly, the Atiyah-Singer Index Theorem, which expresses analytic indices of elliptic operators as topological integrals. The intrinsic curvature $K$ generalizes to the Riemann Curvature Tensor in higher dimensions, of which $K$ is the single independent sectional component in 2D. The holonomy proof links to Parallel Transport and Holonomy Groups: $K$ is the infinitesimal generator of rotation under transport around small loops. The angular-excess formula connects to Hyperbolic Geometry ( $K<0$ , angle deficit) and Spherical Geometry ( $K>0$ , angle excess), unifying the classical non-Euclidean geometries.

🔬 Where this appears

⏳ History

- 1760 — Leonhard Euler introduces principal curvatures and the normal-section curvature formula

\kappa_n = \kappa_1\cos^2\theta + \kappa_2\sin^2\theta

.

- 1776 — Jean-Baptiste Meusnier proves Meusnier's theorem on curvatures of curves through a point, laying groundwork for the shape operator.

- 1827 — Gauss publishes Disquisitiones generales circa superficies curvas, defining

K

and proving the Theorema Egregium; he also derives the local angular-excess version for geodesic triangles.

- 1848 — Pierre Ossian Bonnet extends Gauss's geodesic-triangle result to arbitrary regions bounded by curves with geodesic-curvature terms — the modern local Gauss–Bonnet formula.

- 1854 — Bernhard Riemann's Habilitation generalizes intrinsic curvature to

n

dimensions, birthing Riemannian geometry and the curvature tensor.

- 1888 — Walther von Dyck and others sharpen the Euler-characteristic / topological-genus connection underlying the global statement.

- 1925 — Heinz Hopf proves the Umlaufsatz (theorem of turning tangents) rigorously and establishes the modern global Gauss–Bonnet for general triangulated surfaces; with Wilhelm Rinow develops completeness theory.

- 1944 — Shiing-Shen Chern gives an intrinsic, dimension-independent proof, producing the Chern–Gauss–Bonnet theorem for even-dimensional manifolds and founding modern characteristic-class theory.

- 1963 — Atiyah and Singer prove the Index Theorem, revealing Gauss–Bonnet as a special case of a vast geometry–analysis–topology synthesis.

open-problem

Discrete and singular generalizations. While smooth Gauss–Bonnet is fully resolved, its discrete analogues raise active questions: how should curvature be defined on singular spaces, fractals, or measure-geometric (Alexandrov) spaces, and does a Gauss–Bonnet identity persist? For surfaces with conical singularities the Gauss–Bonnet with cone angles $\iint K\,dA + \sum(2\pi-\theta_i) = 2\pi\chi$ holds, but optimal generalizations to higher-dimensional stratified spaces and to metric-measure spaces with synthetic Ricci bounds (the CD/RCD theory of Lott–Villani–Sturm) remain incompletely understood. In even dimensions $\geq 4$ , whether the Chern–Gauss–Bonnet integrand admits a clean pointwise sign interpretation linking curvature to topology (as $K\geq0 \Rightarrow \chi\geq0$ in 2D) is the still-open Hopf conjecture on positively curved manifolds.

Gaussian Curvature and the Gauss-Bonnet Theorem

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also