Paper 1, Section II, G

Algebraic Topology
Part II, 2016

Let T=S1×S1T=S^{1} \times S^{1} be the 2-dimensional torus. Let α:S1T\alpha: S^{1} \rightarrow T be the inclusion of the coordinate circle S1×{1}S^{1} \times\{1\}, and let XX be the result of attaching a 2-cell along α\alpha.

(a) Write down a presentation for the fundamental group of XX (with respect to some basepoint), and identify it with a well-known group.

(b) Compute the simplicial homology of any triangulation of XX.

(c) Show that XX is not homotopy equivalent to any compact surface.