Saturday, 11 November 2006

at.algebraic topology - Is the complement of a strong deformation retract of a manifold M homotopic equivalent with the boundary of M?

The Alexander horned sphere furnishes an example of a subspace of the interior of a compact $3$-ball that is contractible (being a $3$-ball itself) and whose complement is not simply connected.



There are also less pathological examples in high dimensions: If $n$ is at least $5$ or so then it is not hard to make a smooth compact contractible $n$-manifold whose boundary is not simply connected, whereas the complement of a point in a simply connected manifold of dimension $3$ or more must be simply connected.



EDIT: I retract (heh) my first example. I overlooked the requirement that the subset should be a deformation retract; I was using the weaker requirement that the inclusion should have an inverse up to homotopy.



EDIT: Doh! My first example was correct. If i:A-->B is an inclusion of compact metric spaces and A is homeomorphic to a ball, then by the Tietze extension theorem there is a retraction r:B-->A. If B is also a ball, then the resulting "straight-line" homotopy from ir to the identity gives a deformation retraction.

No comments:

Post a Comment