Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 16 / 1

Let $p:\tilde{M}\to M$ be the universal cover. Its number of sheets is $|{\pi }_1(M)|$, which is finite, so compactness of $M$ makes $\tilde{M}$ compact. As a covering space of a manifold without boundary, it is also a three-manifold without boundary. It is connected and simply connected by the definition of universal cover.

A simply connected manifold is orientable: transport of a local orientation around loops gives the orientation character ${\pi }_1(\tilde{M})\to \{\pm 1\}$, and the trivial fundamental group leaves no orientation obstruction. The degree-one Hurewicz theorem, equivalently the identification of $H_1$ with the abelianization of the fundamental group, gives $H_1(\tilde{M};\mathbb{Z})=0$. The universal coefficient theorem for cohomology then givesbecause the additional term $\mathrm{Ext}(H_0(\tilde{M};\mathbb{Z}),\mathbb{Z})$ vanishes for $H_0\cong \mathbb{Z}$. Integral Poincare duality gives $H_2(\tilde{M};\mathbb{Z})\cong H^1(\tilde{M};\mathbb{Z})=0$. Connectedness gives $H_0\cong \mathbb{Z}$, and the orientation fundamental class gives $H_3\cong \mathbb{Z}$; higher groups vanish by dimension. ConsequentlyThus the universal cover of a closed three-manifold with finite fundamental group is an integral homology sphere. No homeomorphism classification of three-manifolds is needed for this homological conclusion.

For the closed orientable surface ${\Sigma }_g$, use the fundamental group presentationSince $g\ge 1$, define a homomorphism to $\mathbb{Z}/n$ by sending $a_1$ to $1$ 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 $n$. The classification of connected covering spaces supplies a connected $n$-sheeted covering space, including the identity cover when $n=1$.

Every connected finite covering space of ${\Sigma }_g$ 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 $n$ lifts, so the Euler characteristic under a finite covering gives $\chi (\tilde{\Sigma })=n\chi ({\Sigma }_g)$. If the covering surface has genus $h$, this reads $2-2h=n(2-2g)$. 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.