Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-3/20h/solution
Past exam of the mathematics course of the University of Cambridge 2006 ii Paper 3 20H Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
The fundamental group of the figure-eight is the free group on its two circle loops . A two-sheeted covering space is specified by their permutations of the two-point fiber. It is connected exactly when this action is transitive, equivalently when at least one permutation exchanges the sheets. Since is abelian, relabeling the two sheets does not identify any further cases. There are therefore three connected double covers, given by , where exchanges the sheets.
In either of the first two covers there are two vertices joined by two parallel edges, with a loop at each vertex. The two covers differ as covers of the fixed base, but their total spaces are homeomorphic by exchanging the base-circle labels. The third cover has two vertices joined by four parallel edges and no loops.
These last two graph types are not homeomorphic. Their two degree-four branch points are intrinsically identifiable topologically. Removing either branch point in the graph with loops leaves two components: the punctured loop at that point, and the remaining connected graph. Removing either branch point in the four-edge graph leaves a connected four-armed graph. Thus the three covers give two homeomorphism types of total space. This is the distinction between equivalence of covers and homeomorphism of covering spaces.
New to topics? Read the docs here!