Paper 1, Section II, 21G

Algebraic Topology
Part II, 2013

(i) Define the notion of the fundamental group π1(X,x0)\pi_{1}\left(X, x_{0}\right) of a path-connected space XX with base point x0x_{0}.

(ii) Prove that if a group GG acts freely and properly discontinuously on a simply connected space ZZ, then π1(G\Z,x0)\pi_{1}\left(G \backslash Z, x_{0}\right) is isomorphic to GG. [You may assume the homotopy lifting property, provided that you state it clearly.]

(iii) Suppose that p,qp, q are distinct points on the 2 -sphere S2S^{2} and that X=S2/(pq)X=S^{2} /(p \sim q). Exhibit a simply connected space ZZ with an action of a group GG as in (ii) such that X=G\ZX=G \backslash Z, and calculate π1(X,x0)\pi_{1}\left(X, x_{0}\right).