87ba22ca74c5aa9c.tex
1: \begin{abstract}
2:     We show that the fundamental group of framed circles in $S^1\tm D^3$ injects into the fundamental group of framed spheres in $S^2\tm D^2$, so that the cokernel is the fundamental group of framed neat disks in $D^4$. In particular, grasper families of circles give rise to countably many nontrivial families of spheres. Ambient extensions of either of these two types of families induce the same barbell diffeomorphisms of $S^1\tm S^2\tm I$.
3:     We give two proofs that these diffeomorphisms are nontrivial and pairwise distinct. This implies infinite generation of the abelian group of isotopy classes of diffeomorphisms of $S^1\tm S^2\tm I$ that are pseudo-isotopic to the identity, recovering a result of Singh.
4: \end{abstract}
5: