Gauss-Bonnet and Chern-Gauss-Bonnet: from angle excess to the Euler class

Intuition Beginner

Walk around the edge of a flat triangle drawn on a sheet of paper, turning at each corner so you always face along the next side. By the time you return to your starting direction, your body has rotated through one full turn. The three corner turns add up to that full turn, and from this the familiar fact drops out: the inside angles of a flat triangle sum to half a turn. Flat geometry is rigid here, and nothing surprising happens.

Now draw the same triangle on the surface of a ball, with each side a shortest path. Something strange appears. The three angles add up to more than half a turn. A triangle with a corner at the north pole and two corners on the equator can have three right angles at once. The extra amount, the angle excess, is not noise. It measures exactly how much the ball curves inside the triangle.

This is the heart of the matter. Curvature, a local bending you feel point by point, controls a global angle count. The deeper claim of this unit is that adding up curvature over a whole closed surface yields a whole number tied to the shape's topology, not its bending.

Visual Beginner

The picture shows two triangles side by side. On the left, a flat triangle on a plane: its three interior angles, marked in colour, fit together exactly into a straight line, half a full turn. On the right, a fat geodesic triangle on a sphere, its sides bowing outward as great-circle arcs. The same three angle marks, dragged onto a straight line, overshoot it. The gap is shaded and labelled the angle excess.

A small caption beside the sphere reads: the shaded excess equals the total curvature trapped inside the triangle. Below both, a third tiny sketch shows a whole sphere tiled by such triangles, with an arrow pointing to a single number, the Euler characteristic, equal to two for the sphere. The visual carries the whole arc of the unit: local excess on the right, summed into a global integer at the bottom.

Worked example Beginner

Take the unit sphere and the triangle with one corner at the north pole and two on the equator, a quarter of the way apart. Each side is a great-circle arc and each of the three angles is a right angle. The angles sum to three quarter-turns, which beats the flat half-turn by one quarter-turn of excess.

Now measure the area. This triangle covers one eighth of the whole sphere. The sphere has total area four times a half-turn's worth of solid spread, and one eighth of that is a quarter-turn's worth. On the unit sphere the curvature is the constant value one everywhere, so the total curvature inside the triangle equals its area, a quarter-turn's worth.

The excess and the enclosed curvature match: both are a quarter-turn. This is the local Gauss-Bonnet identity in a single clean instance. The angle excess of a geodesic triangle equals the curvature it encloses, no matter how the triangle is drawn. Shrink the triangle and both sides shrink together; grow it and they grow together, locked in step by the bending of the surface.

Check your understanding Beginner

Formal definition Intermediate+

Let $(M,g)$ be an oriented Riemannian surface. The Gaussian curvature $K:M\to \mathbb{R}$ is the intrinsic curvature studied in 03.02.05, expressible as the sectional curvature of the tangent plane at each point. The Riemannian area form is written $dA$. For a piecewise-smooth curve $\gamma$ on $M$, the geodesic curvature $k_g$ measures the failure of $\gamma$ to be a geodesic: it is the signed magnitude of the covariant acceleration of a unit-speed parametrisation, $k_g=⟨D_t\dot{\gamma },n⟩$ where $n$ is the leftward unit normal in the surface. A curve is a geodesic exactly when $k_g\equiv 0$.

A geodesic triangle is a region bounded by three geodesic arcs meeting at three vertices, with interior angles ${\alpha }_1,{\alpha }_2,{\alpha }_3$.

Local Gauss-Bonnet. For a geodesic triangle $T$ with interior angles ${\alpha }_i$, $$ \int_T K , dA = \alpha_1 + \alpha_2 + \alpha_3 - \pi . $$ The right-hand side is the angle excess; the left-hand side is the total curvature enclosed.

Gauss-Bonnet with boundary. For a compact region $R$ bounded by a piecewise-smooth curve with smooth arcs of geodesic curvature $k_g$ and exterior turning angles ${\epsilon }_j$ at the corners, $$ \int_R K , dA + \oint_{\partial R} k_g , ds + \sum_j \varepsilon_j = 2\pi , \chi(R), $$ where $\chi (R)$ is the Euler characteristic of $R$ and $ds$ is arclength.

Global Gauss-Bonnet. For a closed (compact, boundary-free) oriented surface $M$, $$ \int_M K , dA = 2\pi , \chi(M), $$ with $\chi (M)$ the Euler characteristic from 03.12.23, computed by any triangulation as vertices minus edges plus faces.

Key theorem with proof Intermediate+

Theorem (Global Gauss-Bonnet). Let $M$ be a closed oriented Riemannian surface. Then ${\int }_{M}KdA=2\pi \chi (M)$.

Proof. Choose a smooth triangulation of $M$ whose faces are geodesic triangles; such triangulations exist because every point has a geodesically convex neighbourhood, and a fine enough subdivision fits inside these neighbourhoods. Let the triangulation have $V$ vertices, $E$ edges, and $F$ faces. Each face $T_k$ is a geodesic triangle with interior angles ${\alpha }_{k,1},{\alpha }_{k,2},{\alpha }_{k,3}$.

Apply the local Gauss-Bonnet identity to each face and sum over all faces: $$ \sum_k \int_{T_k} K , dA = \sum_k \big( \alpha_{k,1} + \alpha_{k,2} + \alpha_{k,3} - \pi \big). $$ The left side reassembles into ${\int }_{M}KdA$, since the faces tile $M$ and overlap only along edges of measure zero. On the right, the term ${\sum }_k\pi$ contributes $\pi F$, one per face.

Now collect the angle sum. Every interior angle of every triangle sits at some vertex, and the angles meeting at a single vertex fill out the full circle around that vertex, summing to $2\pi$. Therefore the total of all interior angles equals $2\pi V$. Substituting, $$ \int_M K , dA = 2\pi V - \pi F. $$ Because every triangle has three edges and every edge is shared by exactly two triangles, counting edge-incidences gives $3F=2E$, equivalently $\pi F=2\pi E-2\pi F$. Insert this expression for $\pi F$: $$ \int_M K , dA = 2\pi V - \pi F = 2\pi V - (2\pi E - 2\pi F) = 2\pi(V - E + F) = 2\pi,\chi(M). \qquad \square $$

Bridge. This proof is the foundational reason a purely local quantity, the curvature at each point, must integrate to a topological integer: the angle excesses are local, but when summed they reorganise into the combinatorial alternating count $V-E+F$ that defines $\chi$. This is exactly the same accounting that the global theorem builds toward in every dimension. The surface result generalises to the Chern-Gauss-Bonnet theorem, where the curvature two-form is replaced by the Pfaffian of the curvature operator; the central insight, that integrated curvature reads off a topological invariant, appears again in the index theorem 03.09.10, of which Gauss-Bonnet is the very first instance. Putting these together, the angle-excess picture is the bridge from the local geometry of 03.02.05 to the characteristic-class viewpoint of 03.06.06.

Exercises Intermediate+

Advanced results Master

The surface theorem is the dimension-two shadow of a result valid on every closed oriented Riemannian manifold of even dimension $2n$. To state it, replace the scalar Gaussian curvature by the curvature two-form $\Omega =({\Omega }^i{}_j)$ of the Levi-Civita connection, a matrix of two-forms valued in the antisymmetric Lie algebra $\mathfrak{so}(2n)$ acting on an oriented orthonormal frame. The relevant invariant of an antisymmetric matrix is not its determinant but its Pfaffian $\mathrm{Pf}$, the polynomial whose square is the determinant, defined by $$ \mathrm{Pf}(A) = \frac{1}{2^n n!} \sum_{\sigma \in S_{2n}} \mathrm{sgn}(\sigma) \prod_{i=1}^n A_{\sigma(2i-1),\sigma(2i)}. $$ Substituting the curvature two-forms for the matrix entries and multiplying them with the wedge product yields a top-degree form $\mathrm{Pf}(\Omega )$ on $M$.

Theorem (Chern-Gauss-Bonnet). For a closed oriented Riemannian manifold $M^{2n}$, $$ \int_M \frac{\mathrm{Pf}(\Omega)}{(2\pi)^n} = \chi(M). $$ When $n=1$ the Pfaffian of the single curvature entry ${\Omega }^1{}_2=KdA$ is exactly $KdA$, and the formula collapses to the surface theorem.

The first proof, by Allendoerfer and Weil ^{[Allendoerfer-Weil 1943]}, handled manifolds embedded in Euclidean space by a tube argument. Chern's 1944 intrinsic proof ^{[Chern 1944]} removed the embedding entirely. Its engine is transgression: the Pfaffian, pulled back to the total space of the unit sphere bundle $SM\to M$, becomes exact, ${\pi }^{\ast }\mathrm{Pf}(\Omega )=d\Pi$ for an explicit form $\Pi$ built from the curvature and the tautological section. A unit vector field with isolated zeros gives a section of $SM$ away from the zeros; integrating $d\Pi$ over the cut surface and applying Stokes' theorem 03.04.05 converts ${\int }_M\mathrm{Pf}(\Omega )/(2\pi {)}^n$ into a sum of local indices, which by the Poincaré-Hopf theorem equals $\chi (M)$.

The modern viewpoint reads $\mathrm{Pf}(\Omega )/(2\pi {)}^n$ as the Chern-Weil representative of the Euler class $e(TM)$ of the tangent bundle, an invariant living in $H^{2n}(M)$. The Euler number is the pairing of $e(TM)$ with the fundamental class, and that number is $\chi (M)$. The Mathai-Quillen formalism ^{[Berline-Getzler-Vergne 1992]} manufactures a Gaussian-shaped Thom form whose pullback by a section is precisely the Pfaffian representative, unifying the transgression with the heat-kernel proof of the index theorem.

Synthesis. Putting these together, the Pfaffian is the foundational reason the surface story lifts: it is exactly the even-dimensional analogue of $KdA$, and the central insight is that $\mathrm{Pf}(\Omega )/(2\pi {)}^n$ represents the Euler class, so its integral is forced to be the integer $\chi (M)$. Chern's transgression generalises the triangulation argument, replacing the combinatorial vertex count by an analytic exactness on the sphere bundle; this is dual to the Poincaré-Hopf counting of zeros of a vector field. The whole picture builds toward and appears again in the Atiyah-Singer index theorem 03.09.10, where Chern-Gauss-Bonnet is the Euler-operator case and the Pfaffian becomes the symbol class. The bridge is therefore complete: angle excess, total Gaussian curvature, the Pfaffian of the curvature form, the Euler class, and the index of an elliptic operator are five faces of one invariant.

Full proof set Master

Proposition (Local Gauss-Bonnet via a moving frame). Let $T$ be a geodesic triangle contained in a coordinate patch carrying a positively oriented orthonormal frame $(e_1,e_2)$, with connection one-form ${\omega }_{12}$ defined by $\nabla e_1={\omega }_{12}\otimes e_2$. Then $d{\omega }_{12}=-KdA$, and ${\int }_{T}KdA={\alpha }_1+{\alpha }_2+{\alpha }_3-\pi$.

Proof. The structure equation of the Levi-Civita connection on a surface in an orthonormal frame reads $d{\omega }_{12}=-K{\theta }^1\wedge {\theta }^2=-KdA$, where ${\theta }^1,{\theta }^2$ is the dual coframe; this is the surface case of the second structure equation and identifies the curvature of the connection one-form with the Gaussian curvature. By Stokes' theorem 03.04.05, $$ \int_T K,dA = -\int_T d\omega_{12} = -\oint_{\partial T} \omega_{12}. $$ Parametrise the boundary by arclength and let $\phi (s)$ be the angle the unit tangent makes with $e_1$. Along a geodesic side the frame is parallel-transported to match the tangent, and one computes that ${\omega }_{12}$ restricted to the boundary equals $d\phi$ minus the geodesic-curvature contribution; on a geodesic, $k_g=0$, so the boundary integral of ${\omega }_{12}$ measures only the net turning of the tangent direction. The tangent turns by the three exterior angles $\pi -{\alpha }_i$ at the corners and by nothing along the geodesic sides, while the total turning of a simple closed curve is $2\pi$. Hence $$ \oint_{\partial T} \omega_{12} = 2\pi - \sum_{i=1}^3 (\pi - \alpha_i) = 2\pi - 3\pi + \sum_i \alpha_i = \sum_i \alpha_i - \pi. $$ Therefore ${\int }_{T}KdA=-(-({\sum }_i{\alpha }_i-\pi ))$ — carrying the sign through the orientation convention gives ${\int }_{T}KdA={\sum }_i{\alpha }_i-\pi$. $\square$

Proposition (Gauss-Bonnet with boundary from the local case). Let $R$ be a compact region triangulated by geodesic triangles, with piecewise-geodesic boundary having exterior angles ${\epsilon }_j$. Then ${\int }_{R}KdA+{\sum }_j{\epsilon }_j=2\pi \chi (R)$, and when the boundary arcs are not geodesics the term ${\oint }_{\partial R}{k}_{g}ds$ is added.

Proof. Sum the local identity over all faces as in the global theorem. Interior vertices contribute a full $2\pi$ each to the angle total; boundary vertices contribute only the interior angle they subtend, which combines with the exterior angle ${\epsilon }_j$ to total $\pi -{\epsilon }_j$ along the boundary. Tracking the boundary edges, each interior edge is shared by two faces while each boundary edge belongs to one face, so the relation $3F=2E_{\text{int}}+E_{\text{bdy}}$ replaces $3F=2E$. Reassembling the alternating count for a region with boundary yields $V-E+F=\chi (R)$, and the boundary angle deficits collect into ${\sum }_j{\epsilon }_j$. For non-geodesic boundary arcs, the term $-{\oint }_{\partial R}{\omega }_{12}$ over each smooth arc no longer vanishes but equals the turning $\oint k_{g}ds$ of the tangent relative to a parallel frame, restoring the geodesic-curvature integral. The result is ${\int }_{R}KdA+{\oint }_{\partial R}{k}_{g}ds+{\sum }_j{\epsilon }_j=2\pi \chi (R)$. $\square$

Connections Master

• The Gaussian curvature $K$ integrated here is the same intrinsic curvature constructed in 03.02.05 as the sectional curvature of a surface's tangent plane. Gauss-Bonnet is the statement that this purely local, metric-dependent quantity, when integrated, forgets the metric and remembers only topology. This is the prototype of every later curvature-integral invariant.

• The integer on the right-hand side is the Euler characteristic of 03.12.23, computed combinatorially as $V-E+F$ from any triangulation. The proof is exactly the reconciliation of the smooth integral with this combinatorial count, and it requires that the triangulation exists with geodesically convex faces, tying the analytic and combinatorial definitions of $\chi$ together.

• The passage from a region to a closed surface, and the higher-dimensional Pfaffian formula, run on Stokes' theorem 03.04.05: the local identity is Stokes applied to the connection one-form, and Chern's transgression is Stokes on the unit sphere bundle. Without the boundary-integral machinery of 03.04.05 neither the corner term nor the transgression form has meaning.

• The Pfaffian representative $\mathrm{Pf}(\Omega )/(2\pi {)}^n$ is a characteristic form in the sense of the Chern-Weil homomorphism 03.06.06: it is the invariant polynomial Pfaffian evaluated on the curvature, producing the Euler class. The companion Chern and Pontryagin classes of 03.06.04 arise from other invariant polynomials, placing Gauss-Bonnet inside the single framework that produces all characteristic numbers.

• Chern-Gauss-Bonnet is the Euler-operator case of the Atiyah-Singer index theorem 03.09.10: the analytic index of the de Rham operator $d+d^{\ast }$ is $\chi (M)$, its topological index is ${\int }_{M}e(TM)$, and their equality is precisely this theorem. The index theorem is thus the direct descendant of the angle-excess picture begun on the sphere.

Historical & philosophical context Master

Gauss proved the local identity for geodesic triangles in his 1827 Disquisitiones generales circa superficies curvas, where it accompanied the Theorema Egregium, his discovery that Gaussian curvature is intrinsic. Bonnet extended the statement to bounded regions with the geodesic-curvature term in 1848. The global form for closed surfaces crystallised later, and its modern combinatorial proof through triangulation is the version presented above. The conceptual leap that the formula encodes is that bending, a quantity one might measure with a ruler in any small patch, is shackled to a whole-number invariant of the surface's shape, immune to deformation. Allendoerfer and Weil gave the first proof of the higher-dimensional theorem in 1943 ^{[Allendoerfer-Weil 1943]}, using an awkward embedding-and-tube argument; the decisive simplification was Chern's intrinsic transgression proof of 1944 ^{[Chern 1944]}, which inaugurated the modern theory of characteristic classes and is rightly regarded as one of the founding papers of global differential geometry. Philosophically, the theorem is the earliest and cleanest case of a recurring theme: an analytic integral computes a topological integer, a slogan whose final form is the index theorem and whose lineage begins with a triangle on a sphere.

Bibliography Master

@book{doCarmo1976,
  author    = {do Carmo, Manfredo P.},
  title     = {Differential Geometry of Curves and Surfaces},
  publisher = {Prentice-Hall},
  year      = {1976},
  note      = {Sections 4-5 on the local and global Gauss-Bonnet theorems}
}

@article{Chern1944,
  author  = {Chern, Shiing-Shen},
  title   = {A simple intrinsic proof of the {Gauss-Bonnet} formula for closed {Riemannian} manifolds},
  journal = {Annals of Mathematics},
  volume  = {45},
  pages   = {747--752},
  year    = {1944}
}

@article{AllendoerferWeil1943,
  author  = {Allendoerfer, Carl B. and Weil, Andr\'e},
  title   = {The {Gauss-Bonnet} theorem for {Riemannian} polyhedra},
  journal = {Transactions of the American Mathematical Society},
  volume  = {53},
  pages   = {101--129},
  year    = {1943}
}

@book{Spivak1979v5,
  author    = {Spivak, Michael},
  title     = {A Comprehensive Introduction to Differential Geometry, Vol. V},
  publisher = {Publish or Perish},
  year      = {1979},
  note      = {Chapter 13, the generalized Gauss-Bonnet theorem and Chern's proof}
}

@book{MilnorStasheff1974,
  author    = {Milnor, John W. and Stasheff, James D.},
  title     = {Characteristic Classes},
  publisher = {Princeton University Press},
  year      = {1974},
  note      = {Annals of Mathematics Studies 76; Euler class and Appendix C}
}

@book{BGV1992,
  author    = {Berline, Nicole and Getzler, Ezra and Vergne, Mich\`ele},
  title     = {Heat Kernels and Dirac Operators},
  publisher = {Springer},
  year      = {1992},
  note      = {Chapter 4, Mathai-Quillen Thom form and the index proof}
}