For a closed surface, for any finite cell decomposition. Gauss–Bonnet for a geodesic polygon says
and for a closed smooth surface it says .
For a large radius, the graph surface bounded over that circle is flat near its boundary. The boundary geodesic-curvature integral is , so Gauss–Bonnet on the disc gives . Since , continuity forces .
For the torus,
Thus has and has . Cap the two boundary circles of the outer half by flat discs. The result is a sphere, and the caps contribute no Gaussian curvature, so Gauss–Bonnet gives . The full torus has Euler characteristic zero, hence total curvature zero and
The universal coefficient theorem for homology and flatness of give
Thus, if
with torsion, then .
For a finite triangulable space, its Euler characteristic is
If is a finite triangulation and is its number of -simplices, then the Euler-Poincare formula is
To prove it over , write and . Rank-nullity and give
After multiplying by and summing, the two boundary sums cancel, leaving the claimed equality.
The standard simplex is contractible, so
Write the invariant prime divisors in the order of the rays
as . The toric divisor class sequence is
and the two characters in the standard basis of give
Thus
where , , and . Since the fan is smooth, this is also the Picard group.
The orbit-cone correspondence decomposes into one two-dimensional torus, four one-dimensional torus orbits, and four fixed points. Only the zero-dimensional orbits contribute to the compactly supported Euler characteristic, so
Poincaré-Hopf theorem Created 2026-09-24 Updated 2026-09-28
For a compact oriented smooth manifold , the Euler class of its tangent bundle satisfies
Equivalently, the sum of the indices of the isolated zeros of a vector field equals the Euler characteristic.
Seifert algorithm 2026-10-07
Apply the oriented smoothing to every crossing of an oriented knot diagram, fill the resulting Seifert circles by disjoint disks at suitable heights, and reconnect them by twisted bands at the original crossings. The boundary is the original knot. If the connected surface has disks and bands, its Euler characteristic is and its genus is .
For between closed connected oriented manifolds of equal dimension, cyclic invariance of trace and give the formula. Thus if both the degree and the target Euler characteristic are nonzero, coincides somewhere with every map homotopic to it, by the Lefschetz coincidence theorem. For target the Euler characteristic is .
For a finite group generated by , glue sheets labeled by the group over the three-punctured Riemann sphere using left monodromy multiplication. Fill the punctures by the local power charts dictated by the orders of . Right multiplication by inverses defines the commuting deck action. Its nontrivial stabilizers are conjugates of the corresponding cyclic subgroups. The Riemann-Hurwitz formula gives the displayed Euler characteristic. A compatible metric can be averaged over the group; in genus at least two the invariant hyperbolic metric is canonical by the uniformization theorem.
A triangulation of a surface decomposes it into triangles meeting along full edges or vertices. On a closed surface, each edge is incident with two triangle faces, so . Euler characteristic connects this local counting relation with the surface's topology.