Finding the fundamental group of the complement of a certain graph

I remember doing this problem and having similar difficulties, until I realized that it was actually way easier to find $\pi_1(Y)$ than it was to find $\pi_1(\mathbb{R}^3-Z)$. That these are the same is more or less a proof by picture (remember that fundamental group is an invariant of homotopy type). I suggest drawing a "fundamental domain" for $Y$ which is modeled on the usual one for $X$, but of course you'll need to modify it to take account of the removed disk. I can say more if you're still not getting it...

More:

There is a (sort of) evident deformation retraction of $\mathbb{R}^3-Z$ onto $Y$, which implies that the two spaces are homotopy equivalent, which implies that they have the same fundamental group.

To find $\pi_1(Y)$, start by drawing the usual square fundamental domain for a Klein bottle:

alt text

To make things easy for ourselves, let's assume (without loss of generality) that the b-circles are attached at the circle which in the projection to $\mathbb{R}^3$ bounds the disk that we'll cut out. When we do so, we get this:

alt text

It'll be easiest to think of this as a single disk whose boundary is identified to itself. That way we can consider this as a graph (in fact, a bouquet of circles) with a single disk attached, and it's easy to find the fundamental group of such a thing. To do this, we add in an edge:

alt text

So now we're looking at this space as a bouquet of circles $a,b,c$, and we've sewn on a disk according to the relation $aba^{-1}b^{-1}cb^{-1}c^{-1}$. If you do this slightly differently you can switch to $\epsilon=1$.


This is admittedly not an answer, but it seems to me like you have already done a lot of the work. So here are my suggestions:

1) Name the generators of each copy of the integers, think about $\pi_1(A \cup B)$ in terms of generators and relations by using van Kampens' theorem as you are doing.

2) Remember what van Kampen says, you are taking the free product of the two over the intersection, so you need to name the generators of $\pi_1(A \cap B)$ in terms of how they include into $\pi_1(A)$ and $\pi_1(B)$ respectively. Think about how you take tensor products.