Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-16/5/i/solution

First show that the boundary map is onto and has degree , and that the fundamental-group injection is actually an isomorphism. An injective map between closed surfaces is a homeomorphism onto an open-and-closed subset by invariance of domain. Thus each component of maps homeomorphically to a distinct component of .
Orient and , and write
Apply the boundary map in the relative homology sequence. The boundary of the right side has coefficient on every boundary component of . On the left, an image boundary component has coefficient or , and an omitted component has coefficient zero. Since at least one component is present, ; then no component can be omitted and all signs agree. Therefore
Let and lift to the connected cover corresponding to . If the cover were noncompact, then . The lifted relative fundamental class would have zero boundary, but its boundary is a nonzero sum of distinct boundary fundamental classes, since the original boundary map is injective and the boundary components are compact. This is impossible. The cover therefore has a finite number of sheets. Degree multiplicativity gives
Hence . The image of is the whole target fundamental group, and the assumed injection makes an isomorphism.

New to topics? Read the docs here!