Gluing 1-handles to 0-handle

differential-topologylow-dimensional-topologysmooth-manifolds

In Gompf-Stipsicz p.115, they claim, for a 4-manifold handlebody, that enter image description here

I wanted to ask how do we show/see that attaching 1-handles to a 0-handle is diffeomorphic to $\natural n S^1\times D^3$?

As far as boundaries go, I understand that the boundary of the end manifold is a connect sum of $S^1\times S^2$'s, since we're doing 0-surgeries on the boundary $S^3$ repeatedly. That is: drill two balls $S^0\times D^3$ out of $S^3$, giving $I\times S^2$, then attach $D^1\times S^2$ to it along $S^2\times\{0,1\}$, giving $S^1\times S^2$. But I'm not sure about what's happening on the trace of this surgery.

Update: If we are only gluing one 1-handle I can see it this way: just like the 1-handle is $D^1\times D^3$, so we can see the 0-handle as a $D^1\times D^3$. Since we are gluing both handles along a common $S^0\times D^3$ in their boundaries, we use the $S^0\times D^3\subset D^4$ to revisualize it as a $D^1\times D^3$ (it doesn't matter much how the rest of the boundary is broken down), and thus $D^4\cup_{h} D^1\times D^3\cong D^1\times D^3\cup_{h:S^0\times D^3\to S^0\times D^3} D^1\times D^3 = S^1\times D^3$.

Best Answer

I think I see an easy way for this. If we're gluing just one 1-handle, we knot we get $S^1\times D^3$. If we are gluing $n$ 1-handles, we can partition $D^4$ into $n$ balls first, so that $D^4 = \natural^n D^4$ (see picture below). In this way, we can either see a $D^4$ with $n$ 1-handles attached, or n copies of $S^1\times D^3$, which are progressively glued to each other along a common $D^3$.

enter image description here

Related Question