Paper 2, Section II, I

Algebraic Topology
Part II, 2017

(a) (i) Define the push-out of the following diagram of groups.

When is a push-out a free product with amalgamation?

(ii) State the Seifert-van Kampen theorem.

(b) Let X=RP2S1X=\mathbb{R} P^{2} \vee S^{1} (recalling that RP2\mathbb{R} P^{2} is the real projective plane), and let xXx \in X.

(i) Compute the fundamental group π1(X,x)\pi_{1}(X, x) of the space XX.

(ii) Show that there is a surjective homomorphism ϕ:π1(X,x)S3\phi: \pi_{1}(X, x) \rightarrow S_{3}, where S3S_{3} is the symmetric group on three elements.

(c) Let X^X\widehat{X} \rightarrow X be the covering space corresponding to the kernel of ϕ\phi.

(i) Draw X^\widehat{X}and justify your answer carefully.

(ii) Does X^\widehat{X}retract to a graph? Justify your answer briefly.

(iii) Does X^\widehat{X}deformation retract to a graph? Justify your answer briefly.