Solution

ID: past-exam-of-the-topology-and-groups-course-of-the-university-of-oxford/2023/3/b/iii/solution

Assume has a common finite degree of a covering map . Declare the lifted vertices to be , so there are exactly of them. Each open edge is homeomorphic to , a simply connected interval. The restriction of the covering map above it is a disjoint union of copies of that open edge.
These copies acquire endpoints as follows. Lift the parametrizing path of each oriented edge, starting at each of the points over its initial vertex. The path lifting theorem gives a unique lift all the way to . Its endpoint lies over the terminal vertex, and the interiors of these lifted paths are exactly the open edges already described. This also handles a graph loop, whose two endpoints may coincide downstairs or upstairs. Local covering sheets above a small star at a vertex show that the lifted incidence relations have precisely the original topology. Thus the graph structure lifted through a covering map is a finite topological graph with
Subtracting gives the Euler characteristic under a finite covering formula
The formula holds even when is disconnected. If a disconnected base is allowed to have degrees that vary with its connected components , the precise replacement is
The printed formula with a single uses the constant-degree convention explained in part (a)(ii).

New to topics? Read the docs here!