A fundamental result relating the integral of curvature of a compact oriented manifold (or appropriate curvature form in higher dimensions) to a topological invariant of the manifold, the Euler characteristic.

Principle

The total curvature expressed by an integral of a curvature form equals a topological index: the Euler class paired with the fundamental class; in two dimensions the integral of Gaussian curvature equals 2π times the Euler characteristic.

Demonstration

On the 2-sphere S^2 the Gaussian curvature is constant 1/R^2 for radius R, and integrating curvature over the surface yields 2πχ(S^2)=4π, matching the Euler characteristic χ=2; for higher even-dimensional oriented manifolds the Chern–Gauss–Bonnet formula expresses the Euler characteristic as the integral of the Pfaffian of the curvature form.

Misapplication

Applying the theorem to noncompact, nonoriented, or singular spaces without including boundary terms or correction forms leads to incorrect conclusions; similarly, treating pointwise curvature as a topological invariant is a category error.

Consequence

Provides a direct bridge from differential geometry to topology: one can compute Euler characteristics from metric curvature data (when hypotheses hold), and conversely curvature integrals are constrained by topology.

Reversal

Topology alone does not determine the pointwise curvature distribution; distinct metrics with different local curvature can give the same Euler characteristic, so the theorem does not invert to a unique metric.

Boundary

Valid for compact oriented smooth manifolds without boundary (or with a modified boundary formula); extensions require explicit boundary correction terms or treatment of singularities and are outside the classical statement.

Semantic Tension

Balances local analytic data (curvature forms) against a global topological invariant (Euler characteristic); tension arises when one expects local-to-local determinism rather than local-to-global summarization.

Synthesis

The Gauss–Bonnet theorem packages local curvature information into a single global topological number: integrating a suitably chosen curvature form over a compact oriented manifold reproduces its Euler characteristic.