Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-16/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 16 1 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
For the closed orientable surface , use the fundamental group presentationSince , define a homomorphism to by sending to and every other displayed generator to zero. All commutators map to zero, so the relation is respected, and the map is surjective. Its kernel has index . The classification of connected covering spaces supplies a connected -sheeted covering space, including the identity cover when .
Every connected finite covering space of is a closed orientable surface: compactness follows from finite degree, and the base orientation lifts through local covering charts. Lift a finite cell decomposition of the base. Every cell has lifts, so the Euler characteristic under a finite covering gives . If the covering surface has genus , this reads . ThereforeThis genus of a finite cover of a closed orientable surface depends only on the sheet number, not on the particular subgroup used to construct the cover.
New to topics? Read the docs here!