Some knots in \(S^1 \times S^2\) with lens space surgeries (Q303531)

The authors propose a classification of knots in \(S^1 \times S^2\) that admit a longitudinal surgery to a lens space. This is in the spirit of the well-known Berge conjecture: If a knot in the 3-sphere admits a longitudinal surgery yielding a lens space, then it must be a doubly primitive knot. A knot \(K\) in a 3-manifold \(M\) is doubly primitive if it may be embedded in a genus 2 Heegaard surface of \(M\) so that it represents a generator of each handlebody, i.e. in each handlebody there is a compressing disk that \(K\) transversally intersects exactly once. Any lens space obtainable by longitudinal surgery on some knot in \(S^1 \times S^2\) may be obtained from a Berge-Gabai knot (see [\textit{J. Berge}, Topology Appl. 38, No. 1, 1--19 (1991; Zbl 0725.57001)] or [\textit{D. Gabai}, Topology 28, No. 1, 1--6 (1989; Zbl 0678.57004)]) in a Heegaard solid torus of \(S^1 \times S^2\). The authors show that there are yet two other families of knots: those that lie on the fiber of a genus one fibered knot and the `sporadic' knots. The authors are able to further conclude that these three families constitute all the doubly primitive knots in \(S^1 \times S^2\). This give rise to the main theorem of the article:NEWLINENEWLINETheorem: A doubly-primitive knot in \(S^1 \times S^2\) is either a Berge-Gabai knot, a knot that embeds in the fiber of a genus one fibered knot, or a sporadic knot.