10
$\begingroup$

Let $ X = \mathbb R^3 \setminus A$, where $A$ is a circle. I'd like to calculate $\pi_1(X)$, using van Kampen. I don't know how to approach this at all - I can't see an open/NDR pair $C,D$ such that $X = C \cup D$ and $C \cap D$ is path connected on which to use van Kampen.

Any help would be appreciated. Thanks

  • 0
    @QiaochuYua$n$ Tha$n$ks, but I'm still not seeing it...2012-05-22

3 Answers 3

11

I am not sure whether there is a nicer choice but this is how I think about it. Intuitively the fundamental group should be $\mathbb Z$ - a path may jump through the hoop a couple of times or not. I choose the open sets to model this somewhat. One open set is the interiour of a filled torus with the circle lying on the surface. The other set is the whole of $\mathbb R^3$ with the closed disk (bounded by the circle) removed. Then the first set contracts to a circle, the second set contracts to a sphere and the intersection is contractible.

Edit: To make the sets more precise: $U=\mathbb R^3-D^2\simeq S^2$ such that $A=\partial D^2\subseteq D^2$ and $V=int(S^1\times D^2)\simeq S^1$ such that $A=\ast\times \partial D^2\subseteq S^1\times D^2.$ Then $U\cap V=int(S^1\times D^2-\ast\times D^2)\cong int(I\times D^2)\simeq\ast$

  • 1
    Maybe clarify that in your answer?2012-05-22
6

You can add a point to get $S^3-A$, without changing the fundamental group (this follows from van Kampen's theorem). Now $S^3$ minus any point is homeomorphic to $\mathbb{R}^3$, so choose this any point to lie on $A$! This gives a new space, still with the same fundamental group, but now you've got $\mathbb{R}^3-B$, where $B$ is a line (say the x axis). Think about what would happen if you had a solid ball minus a line segment; that should give you what you need to deformation retract to a solid torus.

  • 0
    This is incorrect, it should be a line and a point if I'm not mistaken. Anyhow, this has no $\pi_2$ since $\pi_2(D^2 \times S^1)=0$ which is impossible.2018-06-28
6

You should definitely check out the Hatcher's Algebraic Topology book page 46.

It was very hard for me to imagine at first but $\mathbb{R}^3 - S^1$ deformation retracts onto $S^1 \vee S^2$ so just choose $S^1$ and $S^2$ for $C$ and $D$ respectively, since the space is formed as wedge product of two spaces, the intersection is going to be a point only (by definition) whose fundamental group is trivial for sure. Similarly $\pi_1(S^2)$ is also trivial then $\pi_1(\mathbb{R}^3 - S^1)$ is isomorphic to the fundamental group of the circle which is $\mathbb{Z}$.