Networking Seifert surgeries on knots. III (Q740532)

This is the third paper on the Seifert surgery network of the same authors. The Seifert surgery network was introduced in [\textit{A. Deruelle} et al., Mem. Am. Math. Soc. 1021, 130 p. (2012; Zbl 1277.57010)] to organize all Dehn surgeries on knots yielding Seifert fibered manifolds. The network is a \(1\)-dimensional complex, such that each of the vertices is a pair of knot and Seifert surgery and each of the edges indicates that the two Seifert surgeries on its endpoints are related by a single twist along a seiferter or an annular pair of seiferters. For a knot \(K\) with a Seifert surgery (integral) slope \(m\), a trivial knot \(c\) disjoint from \(K\) is called a seiferter if \(c\) becomes a fiber in a Seifert fibration of the resulting manifold \(K(m)\) under \(m\)-surgery on \(K\). Furthermore, if two seiferters cobound an annulus, then they are called an annular pair. The network contains an important subcomplex \(\mathcal{T}\) whose vertices are Seifert surgeries on torus knots and whose edges correspond to basic seiferters of torus knots. Almost all known Seifert surgeries are connected to \(\mathcal{T}\) by paths. In the paper under review, the authors study edges going out of \(\mathcal{T}\). Assume that a torus knot \(T_{p,q}\) with a Seifert surgery \(m\) admits a hyperbolic seiferter or a hyperbolic annular pair. Then successive twists along the seiferter or the annular pair yield Seifert surgeries on hyperbolic knots except finitely many cases. Such a pair \((T_{p,q},m)\) is called a spreader. It is conjectured to happen only when \(q=1,2\) or \(m=pq, pq\pm 1\). First, it is shown that if \(q=1,2\), then \((T_{p,q},m)\) are spreaders for any integer \(m\). Moreover, it has infinitely many hyperbolic seiferters as well as infinitely many hyperbolic annular pairs. Second, \((T_{p,q},pq)\) admits a hyperbolic seiferter. It is open to show that \((T_{p,q},pq\pm 1)\) admits a hyperbolic seiferter. There is also a discussion to indicate the difficulty to find a hyperbolic seiferter for torus knots.