Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 16 5 i Solution Created 2026-10-03 Updated 2026-10-14
The surface group of a closed oriented genus-two surface has presentationSend , and . The relation holds and the images generate , giving a surjective group homomorphism. Its normal kernel defines a connected six-sheeted regular covering space , with deck transformation group .
The covering surface is closed and inherits an orientation. Multiplicativity of the Euler characteristic gives , so and . A nonidentity deck transformation of a connected cover fixes no point: if it fixed one, uniqueness of path lifts would force it to be the identity everywhere. Thus this supplies the requested free action. It is a case of finite groups act freely on suitable closed orientable surfaces.