Past exam of the mathematics course of the University of Cambridge 2025 ib Paper 3 12F Solution Created 2026-09-23 Updated 2026-10-03
For a closed surface, for any finite cell decomposition. Gauss–Bonnet for a geodesic polygon saysand 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
Past exam of the mathematics course of the University of Cambridge 2025 ii Paper 4 21F Solution Created 2026-09-23 Updated 2026-09-25
For a finite triangulable space, its Euler characteristic isIf is a finite triangulation and is its number of -simplices, then the Euler-Poincare formula isTo prove it over , write and . Rank-nullity and giveAfter multiplying by and summing, the two boundary sums cancel, leaving the claimed equality.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 152 2 a Solution Created 2026-09-24 Updated 2026-10-03
Write the invariant prime divisors in the order of the raysas . The toric divisor class sequence isand the two characters in the standard basis of giveThuswhere , , 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 satisfiesEquivalently, 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 .
Three-branch-point regular surface cover 2026-10-07
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.
Triangulation of a surface 2026-10-06
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.