8a1de3b25316fa3a.tex
1: \begin{abstract}
2:   A theorem of Kirby gives a necessary and sufficient condition for two
3:   framed links in $S^3$ to yield orientation-preserving diffeomorphic
4:   results of surgery.  Kirby's theorem is an important method for
5:   constructing invariants of $3$--manifolds.  In this paper, we prove a
6:   variant of Kirby's theorem for null-homologous framed links in a
7:   $3$--manifold.  This result involves a new kind of moves, called
8:   IHX-moves, which are closely related to the IHX relation in the theory
9:   of finite type invariants.  When the first homology group of $M$ is
10:   free abelian, we give a refinement of this result to $\pm1$--framed,
11:   algebraically split, null-homologous framed links in~$M$.
12: \end{abstract}
13: