Exercise 1.1.16

Show that there are no retractions r : X A in the following cases:

(a)
X = 3 with A any subspace homeomorphic to S 1 .
(b)
X = S 1 × D 2 with A its boundary torus S 1 × S 1 .
(c)
X = S 1 × D 2 and A the circle shown in the figure.
(d)
X = D 2 D 2 with A its boundary S 1 S 1 .
(e)
X a disk with two points on its boundary identified and A its boundary S 1 S 1 .
(f)
X the Möbius band and A its boundary circle.

Answers

Proof of ( a ) . Since 3 is convex, π 1 ( X ) = 0 by Example 1.4. Also, π 1 ( A ) = by Theorem 1.7 . But does not inject into 0 , contradicting Proposition 1.17 . □

Proof of ( b ) . Since X deformation retracts to its center circle, π 1 ( X ) = by Proposition 1.17 . However, π 1 ( A ) = 2 by Example 1.13 . But 2 does not inject into , for every non-trivial subgroup of is isomorphic to , and free -modules of different rank are non-isomorphic, contradicting Proposition 1.17 . □

Proof of ( c ) . Recall that X deformation retracts to its center circle C , and so we have the chain A i X p C which induces the maps π 1 ( A ) i π 1 ( X ) p π 1 ( C ) , where p is an isomorphism by Proposition 1.17 . But if f is a representative of the generator of π 1 ( A ) = , we see that ( i p ) ( f ) is nulhomotopic since it has the same start and end points when lifted up into as in Theorem 1.7 , and so ( i p ) ( 1 ) = 0 the constant loop. Hence, i is not an injection, contradicting Proposition 1.17 . □

Proof of ( d ) . By Example 1.21 , π 1 ( X ) = π 1 ( D 2 ) π 1 ( D 2 ) = 0 by Example 1.4 since D 2 is convex. However, π 1 ( A ) = again by Example 1.21 . does not inject into 0 , contradicting Proposition 1.17 . □

Proof of ( e ) . We see that D 2 with a 1 -cell attached to two points on the boundary is homotopy equivalent to X , since the 1 -cell is contractible. On the other hand, since D 2 is contractible, X is homotopy equivalent to S 1 . Thus, π 1 ( X ) = , while π 1 ( A ) = by Example 1.21 . Since is not abelian while all subgroups of are abelian, does not inject into , contradicting Proposition 1.17 . □

Proof of ( f ) . Recall that X deformation retracts to its center circle C , and so we have the chain A i X p C which induces the maps π 1 ( A ) i π 1 ( X ) p π 1 ( C ) , where p is an isomorphism by Proposition 1.17 . But if f is a representative of a generator of π 1 ( A ) = , we see that ( i p ) ( f ) maps to g 2 where g is a representative of the generator of π 1 ( C ) = , and so ( i p ) ( 1 ) = 2 , and in particular i ( 1 ) = 2 . This contradicts that i r = id π ( A ) since every homomorphism is of the form n kn for some k , and so there is no homomorphism such that 2 1 . □

User profile picture
2023-07-24 16:54
Comments