Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-16/1/b/solution

For the closed orientable surface , use the fundamental group presentation
Since , 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 . Therefore
This 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!