arxiv: v1 [math.gt] 11 Oct 2016

Transcription

1 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS DUNCAN MCCOY arxiv: v1 [math.gt] 11 Oct 016 Abstract. A slope p/ is a characterizing slope for a knot K in S 3 if the oriented homeomorphism type of p/-surgery on K determines K uniuely. We show that for each torus knot its set of characterizing slopes contains all but finitely many non-integer slopes. This generalizes work of Ni and Zhang who established such a result for T 5,. Along the way we show that if two knots K and K in S 3 have homeomorphic p/surgeries, then for 3 and p sufficiently large we can conclude that K and K have the same genera and Alexander polynomials. This is achieved by consideration of the absolute grading on Heegaard Floer homology. 1. Introduction Given a knot K S 3, we say that p/ Q is a characterizing slope for K, if the oriented homeomorphism type of the manifold obtained by p/-surgery on K determines K uniuely. 1 In general determining the set of characterizing slopes for a given knot is challenging. It was a long-standing conjecture of Gordon, eventually proven by Kronheimer, Mrowka, Ozsváth and Szabó, that every slope is a characterizing slope for the unknot [KMOS07]. Ozsváth and Szabó have also shown that every slope is a characterizing slope for the trefoil and the figure-eight knot [OS06]. More recently, Ni and Zhang have studied characterizing slopes for torus knots, showing that T 5, has only finitely many non-characterizing slopes which are not negative integers [NZ14]. The aim of this paper is to establish a similar result for arbitrary torus knots. We will be primarily interested in non-integer surgery slopes. For each torus knot, the main result of this paper is to classify the non-integer non-characterizing slopes outside of a finite set of slopes. Theorem 1.1. For s > r > 1 and let K be a knot such that S 3 p/ (K) = S 3 p/ (T r,s). If p and satisfy at least one of the following: (i) p min{ 43 4 (rs r s), 3}, (ii) p max{ 43 4 (rs r s), 3 + (r 1)(s 1)}, or (iii) 9, then we have either (a) K = T r,s, or (b) K is a cable of a torus knot, in which case = s/r, p = r 4 1 1, s = r3 ±1 1 and r >. When combined with previously known results about integer characterizing slopes for torus knots, this yields the following corollary [McC14, NZ14]. Corollary 1.. The knot T r,s with r, s > 1 has only finitely many non-characterizing slopes which are not negative integers. 1 Throughout the paper, we use Y = Y to denote the existence of a orientation-preserving homeomorphism between Y and Y. 1

2 DUNCAN MCCOY It is well-known that the manifolds obtained by non-integer surgery on torus knots are Seifert fibred spaces [Mos71]. Conjecturally, the only knots in S 3 with non-integer Seifert fibred surgeries are torus knots and cables of torus knots. Conjecture 1.3. If Sp/ 3 (K) is a Seifert fibred space and, then K is either a torus knot or a cable of a torus knot. We can use this to obtain a precise conjecture on which non-integer slopes are characterizing slopes for torus knots. In particular, it turns out that conjecturally each torus knot has at most one non-integer non-characterizing slope, which is precisely the non-characterizing slope occurring in the conclusion of Theorem 1.1. Conjecture 1.4. For the torus knot T r,s with s > r > 1, every non-integer slope is characterizing with the possible exception of p/ for p = r and = s/r, which is non-characterizing only if r > and s = r3 ±1 1. Moreover, for this slope there is a uniue knot K T r,s with Sp/ 3 (K) = Sp/ 3 (T r,s) and K is a cable of a torus knot. One deduces Conjecture 1.4 from Conjecture 1.3 by checking when a torus knot can share a surgery with a torus knot or a cable of a torus knot. The classification of when a cable of a torus knot and a cable of a torus knot have a common non-integer surgery is recorded in the following proposition. Note that it shows the converse to Conjecture 1.4 is true: for each T r,s satisfying the necessary conditions, there is a cable of a torus knot exhibiting that the reuired slope is non-characterizing. Proposition 1.5. For s > r > 1 and, there exists a non-trivial cable of a torus knot K such that S 3 p/ (K) = S 3 p/ (T r,s) if and only if s = r3 ± 1 1, p = r 4 1, = s/r and r >, 1 in which case K is the (, r 1 1 )-cable of T r, r±1. Remark 1.6. If one also allows orientation reversing homeomorphisms in the definition of a characterizing slope, then the list given by Conjecture 1.4 would be incomplete. For example, we have S (T,7 ) = S 3 9 (T 3,5 ). The proof of Theorem 1.1 follows a similar outline to Ni and Zhang s work. Given a knot K S 3 such that Sp/ 3 (K) = Sp/ 3 (T r,s), we consider the possibilities that K is a hyperbolic knot, a satellite knot or a torus knot in turn. By applying results from hyperbolic geometry and Heegaard Floer homology, we will show that for the slopes in Theorem 1.1 the only possibilities are that K is a cable of a torus knot or K = T r,s. The bound 9 arises as a result of Lackenby and Meyerhoff s bound on the distance between exceptional surgery slopes [LM13]. The other bounds are a conseuence of combining restrictions on exceptional surgeries coming from the 6-theorem of Agol [Ago00] and Lackenby [Lac03] with genus bounds on K coming from Heegaard Floer homology. These genus bounds are the key technical results developed in this paper. In general, we show that if Sp/ 3 (K) = Sp/ 3 (K ), then under certain circumstances K and K must have the same genera and Alexander polynomials. For arbitrary knots in S 3, we have the following result.

3 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 3 Theorem 1.7. Let K, K S 3 be knots such that S 3 p/ (K) = S 3 p/ (K ). If p g(K) and 3, then K (t) = K (t), g(k) = g(k ) and K is fibred if and only if K is fibred. Here K (t) denotes the Alexander polynomial of K. L-space knots. We obtain stronger results for Theorem 1.8. Suppose that K is an L-space knot. If S 3 p/ (K) = S 3 p/ (K ) for some K S 3 and either (i) p g(K) or (ii) p min{ 1 4, g(k)} and holds, then K (t) = K (t), g(k) = g(k ) and K is fibred. Both Theorem 1.7 and Theorem 1.8 are proven by making use of the absolute grading in Heegaard Floer homology. Remark 1.9. Baker and Motegi have recently constructed infinite families of knots {K n } n Z in S 3 such that S 3 n(k 0 ) = S 3 n(k n ), for all n Z and deg Kn (t) as n [BM16, Section 3]. Theorem 1.7 cannot be extended unconditionally to integer surgeries. This shows that Acknowledgements. The author would like to thank his supervisor, Brendan Owens, for his helpful guidance. He also wishes to acknowledge the influential role of the work of Yi Ni and Xingru Zhang which provided inspiration for both the overall strategy and several technical steps in the proof of Theorem 1.1 [NZ14].. Heegaard Floer homology Heegaard Floer homology is a package of 3-manifold invariants introduced by Ozsváth and Szabó [OS04c]. To each closed oriented 3-manifold Y euipped with a spin c -structure s it associates a family of groups denoted by ĤF (Y, s), HF ± (Y, s) and HF (Y, s). Throughout this paper all Heegaard Floer groups are taken with F = Z/Z coefficients. We will be primarily concerned with HF + (Y, s), where Y is a rational homology sphere. In this case, the group HF + (Y, s) possesses an absolute Q-grading. There is also a U-action on HF + (Y, s), which gives HF + (Y, s) the structure of an F[U]-module. Multiplication by U interacts with the Q-grading by decreasing it by [OS03a]. In any spin c -structure HF + (Y, s) can be decomposed as a direct sum: HF + (Y, s) = T + HF red (Y, s), where T + = F[U, U 1 ]/UF[U] and U N HF red (Y, s) = 0 for N sufficiently large. The T + summand is sometimes referred to as the tower. The minimal Q-grading over all elements of the tower is an invariant of (Y, s) called the d-invariant and is denoted d(y, s). We say that Y is an L-space if HF red (Y, s) = 0 for all s Spin c (Y ). Heegaard Floer homology is invariant under conjugation of spin c -structures, in the sense that HF + (Y, s) and HF + (Y, s) are isomorphic as F[U]-modules and as Q-graded groups. In particular, the d-invariants satisfy d(y, s) = d(y, s). An L-space knot is one with positive L-space surgeries.

4 4 DUNCAN MCCOY.1. Knot Floer homology. Knot Floer homology was defined independently by Ozsváth and Szabó [OS04b] and Rasmussen [Ras03]. Given a knot in K S 3, it takes the form of a finitely-generated group ĤF K(K) = s Z ĤF K(K, s), where s is known as the Alexander grading. The knot Floer homology also possesses a second grading, known as the Maslov grading such that ĤF K(K, s) = d Z ĤF K d (K, s). If K has Alexander polynomial K (t) = s Z a s t s, normalized so that a s = a s and K (1) = 1, then K (t) can be recovered by taking the Euler characteristic in each Alexander grading: a s = χ(ĥf K(K, s)) = d Z( 1) d rkĥf K d (K, s). With this normalization in place, we will take t k (K) to denote the torsion coefficient t k (K) = i 0 ia k+i. Remark.1. The coefficients of K (t) satisfy a k = t k+1 (K) t k (K) + t k 1 (K) for all k. Since the Alexander polynomial is normalized so that K (1) = 1, this means the Alexander polynomial can be computed from the t k (K) for k 0. One key geometric property detected by knot Floer homology is the genus [OS04a]: g(k) = max{s ĤF K(K, s) 0}. The other geometric property of knot Floer homology that we will use is its ability to detect whether a knot is fibred [Ghi08, Ni07]. Theorem. (Ni). A knot K of genus g is fibred if and only if rkĥf K(K, g) = 1... The knot Floer chain complex. The knot Floer homology group ĤF K(K) can be generalized to the knot Floer chain complex CF K (K), which takes the form of a bifiltered chain complex CF K (K) = C{(i, j)}, i,j Z where H (C{(i, j)}) = ĤF K i(k, j i). There is also a natural chain complex isomorphism U : CF K (K) CF K (K), which maps C{(i, j)} isomorphically to C{(i 1, j 1)} and lowers the Maslov grading by. This gives CF K (K) the structure of a finitely-generated F[U, U 1 ]-module. The chain homotopy type of CF K (K) as a bifiltered complex is an invariant of K. In fact, after a suitable chain homotopy, one can assume that C{(i, j)} = ĤF K i(k, j i).

5 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 5 The knot Floer complex has several important uotient complexes: for each k Z, the hook complexes = C{i 0 or j k}, and the complex A + k These complexes admit chain maps B + = C{i 0}. v k, h k : A + k B+, where v k is the obvious vertical projection, and h k consists of the composition of a horizontal projection onto C{j k}, multiplication by U k and a chain homotopy euivalence. We will use A + k = H (A + k ) and B+ = H (B + ) to denote the homology groups and v k and h k to denote the maps induced on homology by v k and h k respectively. As we are working with a knot in S 3, we have B + = HF + (S 3 ) = T +. The group A + k stabilizes under multiplication by large powers of U, allowing us to define A T k as AT k = U N A + k for N sufficiently large. This always satisfies A T k = T +. We also define A red,k to be the uotient A red,k = A + k /AT k. When restricted to A T k the map v k is modeled on multiplication by U V k for some nonnegative integer V k [NW15]. Similarly, h k is modeled on multiplication by U H k for some non-negative integer H k when restricted to A T k. These integers V k and H k are known to satisfy V k = H k and V k 1 V k+1 V k, for all k. For any n 0, we will use T (n) to denote the F[U]-submodule of T + generated by U 1 n. For n = 0, we take T (0) = 0. The following proposition shows how the Alexander polynomial, genus and fiberedness of K are encoded in the V k and A red,k. Proposition.3 (Cf. Lemma 3.3 of [NZ14]). For K S 3 the following hold: (i) t k (K) = V k + χ(a red,k ) for all k; (ii) g(k) = 1 + max{k V k + rka red,k > 0}; and (iii) K is fibred if and only if V g 1 + rka red,g 1 = 1. Proof. It follows from the definition of v k and A red,k that the kernel of v k admits a splitting as ker v k = T (Vk ) A red,k. This shows that χ(ker v k ) = V k + χ(a red,k ). On the other hand we have the long exact seuence of chain complexes 0 C{i < 0, j k} A + k v k B + 0. As v k is surjective on homology, the exact triangle induced by this seuence shows that ker v k = H (C{i < 0, j k}). Taking the Euler characteristic this shows that χ(ker v k ) = χ(ĥf K(K, j i)) = iχ(ĥf K(K, k + i)) = t k (K). i 1 This proves (i). i 1, j k

6 6 DUNCAN MCCOY Since C{i < 0, j g(k)} = 0, we have ker v k = 0 for k g. Furthermore, as C{i < 0, j = g(k)} = C{ 1, g 1} = ĤF K(K, g), we have ker v g 1 = ĤF K(K, g). This shows g(k) 1 = max{k V k + rka red,k > 0}, proving (ii). As Theorem. shows that K is fibred if and only if rkĥf K(K, g) = 1, this also proves (iii). Let ν + (K) to be the uantity ν + (K) = min{k V k = 0}. It follows from Proposition.3 that ν + (K) exists and is at most g(k). In fact, it can be shown that ν + (K) g 4 (K), where g 4 (K) is the smooth slice genus of K [Ras04, Theorem.3]. Recall that K is said to be an L-space knot if Sp/ 3 (K) is an L-space for some p/ > 0. Euivalently, K is an L-space knot if and only if A red,k = 0 for all k. The following proposition summarizes the properties of L-space knots that we reuire. Proposition.4. If K is an L-space knot, then (i) ν + (K) = g(k), (ii) K is fibred, (iii) ν + (K) = 0 and (iv) A red,k (K) = T (V k (K)) for all k. Proof. As an L-space knot satisfies A red,k (K) = 0 for all k, it follows from Proposition.3, that V g(k) 1 > 0 and V g(k) = 0. This shows that ν + (K) = g(k). Since V g(k) 1 V g(k) +1, it follows that V g(k) 1 = 1 and that K is fibred by Proposition.3. The facts about K follow from Lemma 16 and Proposition 17 in [Gai14]..3. The mapping cone formula. Given a knot in K S 3, one can determine the Heegaard Floer homology of all manifolds obtained by surgery on it in terms of the knot Floer homology of K via the homology of a mapping cone [OS11]. In this section we summarize the results arising from the mapping cone formula that we will need. More detailed accounts of the mapping cone formula and its conseuences can be found in [NW15] or [Gai14], for example. In order to describe the Heegaard Floer homology of Sp/ 3 (K), we need a way to label its spin c -structures. This labeling takes the form of an affine bijection defined in terms of relative spin c -structures on S 3 \ νk, [OS11]: (.1) φ K,p/ : Z/pZ Spin c (S 3 p/ (K)). The exact details of this map are not important, however we note that for any knot K, conjugation of spin c -structures is given by [LN15, Lemma.]: (.) φ K,p/ ( 1 i mod p) = φ K,p/ (i) Spin c (S 3 p/ (K)). If S 3 p/ (K) = S 3 p/ (K ) = Y, then φ K,p/ and φ K,p/ will, in general, give rise to different labelings on Spin c (Y ). However, as long it will not cause confusion, we will suppress the map φ K,p/ from the notation.

7 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 7. When K is the unknot this gives a labeling on the spin c -structures of a lens space. We will use d(p,, i) to denote the d-invariant d(p,, i) = d(sp/ 3 (U), i) for i Z/pZ.. Now we describe how CF K (K) determines HF + (Sp/ 3 (K)). Consider the groups and the maps v ps+i : (s, A+ ps+i A + i = A s Z(s, + ) and ps+i B+ i = (s, B + ), s Z ) (s, B+ ) and h ps+i : (s, A+ ps+i ) (s + 1, B+ ), where v k and h k are the maps on homology induced by v k and h k as in the previous section. These maps can be added together to obtain a chain map where D + i,p/ (s, x) = (s, v ps+i D + i,p/ : A+ i B + i, (x)) + (s + 1, h ps+i (x)). The group HF + (S 3 p/ (K), i) is computed in terms of the mapping cone on D+ i,p/. Theorem.5 (Ozsváth-Szabó, [OS11]). For any knot K in S 3. Let X + i,p/ cone of D + i,p/, then there is a graded isomorphism of groups be the mapping H (X + i,p/ ) = HF + (Sp/ 3 (K), i). Remark.6. The statement of Theorem.5 given here is not uite the one given in [OS11]. Ozsváth-Szabó establish an isomorphism between Heegaard Floer homology and the mapping cone of a map D + i,p/, whose induced map on homology is D+ i,p/. For surgeries on S3, both mapping cones compute the same Heegaard Floer homology groups. Remark.7. The isomorphism in Theorem.5 is U-euivariant, so it also provides an isomorphism of F[U]-modules. When p/ > 0, the map D + i,p/ is surjective, so Theorem.5 gives a graded isomorphism HF + (Sp/ 3 (K), i) = ker D + i,p/. The grading on ker D+ i,p/ is determined by putting a Q- grading on X + i,p/ in such a way that D+ i,p/ decreases the grading by one and the grading on B + i, which is independent of K, is fixed to give the correct d-invariants for surgery on the unknot (cf. [OS11, Section 7.]). In practice, this means that for p/ > 0 and 0 i p 1, the grading on B + i satisfies [NW15] (.3) gr(0, 1) = d(p,, i) 1 and, as H k (U) = V k (U) = { 0 if k 0 k if k 0, the gradings of (s, 1) and (s + 1, 1) in B + i are related by [NZ14, Section 3.3] (.4) gr(s + 1, 1) = gr(s, 1) + i + ps, for any s Z.

8 8 DUNCAN MCCOY S 3 p/ With these gradings one finds that for any p/ > 0 and any 0 i p 1, the d-invariants (K) can be calculated by [NW15, Proposition 1.6] (.5) d(sp/ 3 (K), i) = d(p,, i) max{v i, V p i }. One can also compute the reduced Heegaard Floer homology groups. We reuire only the special case when p/ ν + (K) 1. The following proposition can easily be derived from [Gai14, Corollary 1] or [NZ14, Proposition 3.6]. Proposition.8. If p/ ν + (K) 1, then HF red (Sp/ 3 (K), i) = s Z A red, i+ps as a Q-graded groups, where the absolute grading on A red, i+ps is determined by the absolute grading on the summand (s, A + ) X + i,p/. Remark.9. When > 1, the same group A red,k can appear as a summand in HF red (Sp/ 3 (K), i) for more than one value of i. Since the grading on X + i,p/ depends on i, these summands will, in general, possess different gradings. The following lemma shows that under certain circumstances we can recover information about the knot Floer homology of two knots with the same surgery. It is a key technical ingredient in the proofs of Theorem 1.7 and Theorem 1.8. Lemma.10. Suppose that S 3 p/ (K) = S 3 p/ (K ), for some p/ > g(k) 1, and that φ K,p/ = φ K,p/ or φ K,p/ = φ K,p/. If either (i) Sp/ 3 (K) is an L-space; (ii) and, for all k, there is N k 0 such that A red,k (K) = T (N k ); or (iii) 3, then V k (K) = V k (K ) and A red,k (K) = A red,k (K ) for all k 0. Proof. Since conjugation induces a grading preserving isomorphism on Heegaard Floer homology, the assumptions on φ K,p/ and φ K,p/, imply that we have an isomorphism HF + (S 3 p/ (K), i) = HF + (S 3 p/ (K ), i) as Q-graded groups for all 0 i p 1. By comparing the d-invariants of these groups and applying (.5), this shows that V k (K) = V k (K ) for all 0 k p+ 1. Since p/ > ν + (K) 1, it follows that V p+ 1 (K) = V p+ 1 (K ) = 0. This shows that V k (K) = V k (K ) for all k 0 and also that ν + (K) = ν + (K ). If Sp/ 3 (K) is an L-space, then we necessarily have A red,k (K) = A red,k (K ) = 0 for all k. Thus we can only need to establish the proposition under conditions (ii) and (iii). This is done by examining the absolute grading on the reduced part of HF + (Sp/ 3 (K)). Since p/ > g(k) 1, Proposition.8 shows that for any 0 i p+ 1 the reduced homology group takes the form HF red (S 3 p/ (K), i) = A red, i (K). In particular, for 0 k < g(k) p+ 1 we have HF red (Sp/ 3 (K), k) = = HF red (Sp/ 3 (K), k + 1). Moreover, by (.3), these isomorphisms preserve the absolute Q-gradings up to a constant shift. That is, if there is an element of HF red (Sp/ 3 (K), k) with grading x + d(p,, k), then for any 0 j 1, there is an element of HF red (Sp/ 3 (K), k + j) with grading

9 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 9 x + d(p,, k + j). It is this constant grading shift property which we will use to prove the proposition. Proposition.8 shows that for any 0 i p+ 1, HF red (Sp/ 3 (K), i) = A red, i (K) = A red, i (K ) A red, i+ps (K ). s 0 Suppose that we do not have A red,k (K) = A red,k (K ) for all k 0. Let m g(k) 1 be maximal such that A red,m (K) = Ared,m (K ). This means that there is s 0 such that A red, m+ 1+ps (K ) 0. The maximality of m implies A red,m+1 (K) = A red,m+1 (K ). It follows that we must have m ps m + + ps <, and hence that divides ps. As gcd(p, ) = 1, this shows that s takes the form s = t for some t Z. For any 0 i p+ 1, (.3) and (.4) show that (s, 1) (s, A T ) ps+i X+ i,p/ has grading given by (.6) gr(s, 1) = { d(p,, i) V i+sp + s 1 k=1 i+pk if s 1, d(p,, i) V i+sp 0 k= s i+pk if s 0. If A red,m (K) = T (N m ), then it cannot be decomposed as a non-trivial direct sum of F[U]-modules. So if (ii) holds, then we must have HF red (S 3 p/ (K), m) = HF red (S 3 p/ (K), m + 1) = A red,m+pt (K ), for some t 0. However (.6) shows that if A red,m+pt (K ) is to be endowed with the correct grading in both X + m,p/ and X+ m+1,p/, then (.7) t 1 t 1 m + pk m pk = k=1 0 k= t m + pk = k=1 0 k= t if t > 0 and m pk if t < 0. However, for any r Z such that rp 1 mod, we have m + pr m pr <. Since we can find such an r in the range 1 r 1, we see that the eualities in (.7) cannot hold if t 0. This completes the proof when condition (ii) holds. If 3, then consider any t 0 for which A red,m+pt (K ) 0. By comparing the sums in (.6) for different values of i, we see that if t > 0 and A red,m+pt (K ) contributes a term with grading x + d(p,, m + 1) to HF red (Sp/ 3 (K), m + 1), then the corresponding term it contributes to HF red (Sp/ 3 (K), m + ) has grading strictly greater than x + d(p,, m + ). Similarly, if t < 0 and A red,m+pt (K ) contributes a term with grading x + d(p,, m + 1) to HF red (Sp/ 3 (K), m + 1), then the term it contributes to HF red(sp/ 3 (K), m) has grading strictly greater than x + d(p,, m). In particular, such an A red,m+pt (K ) always produces

10 10 DUNCAN MCCOY a grading on HF red (Sp/ 3 (K), m + 1) which is too small when compared to the gradings on HF red (Sp/ 3 (K), m) and HF red(sp/ 3 (K), m+). This completes the proof when The d-invariants of lens spaces. In this section, we prove the congruence properties of d-invariants that we will reuire. Ozsváth and Szabó have shown that the d-invariants of lens spaces can be calculated recursively for 0 i p 1 using (.8) d(p,, i) = 1 4 where r mod p and i i mod, and + (p + 1 i) 4p d(1, 0, 0) = d(s 3 ) = 0. d(, r, i ), It will be temporarily convenient to work with a rescaled version of the d-invariants. Let d(p,, i) = pd(p,, i). By (.8), these satisfy (p + 1 i) (.9) d(p, p p d(, r, i ), i) =. Lemma.11. For all i, j in the range 0 i, j p 1, the uantity d(p,, i) d(p,, j) is an integer satisfying (.10) d(p,, i) d(p,, j) (i j)(p + 1) mod 4 and (.11) ( d(p,, i) d(p,, j)) (p + 1 i j)(j i) mod 4p Proof. We prove both (.10) and (.11) by induction on p. As d(1, 0, 0) = 0, the reuired identities are clearly true for p = 1. The inductive step is carried out by performing some elementary but slightly masochistic modular arithmetic. From (.9), we have (.1) ( d(p,, i) d(p,, j)) = (p + 1 (i + j))(j i) + p( d(, r, j ) d(, r, i )), where 0 i, j, r 1 are congruent modulo to i, j and p respectively. By the inductive hypothesis we know that (.13) d(, r, j ) d(, r, i ) (j i )( + 1) mod 4 and (.14) r( d(, r, j ) d(, r, i )) (r + r 1 i j )(i j ) mod 4.. We first prove (.11) by reducing (.1) modulo 4p. If is odd, then (.13) shows that d(, r, j ) d(, r, i ) 0 mod 4. Therefore, (.1) gives ( d(p,, i) d(p,, j)) (p + 1 i j)(j i) mod 4p, as reuired. If is even, then i j i j mod. So (.13) shows that So when is even, (.1) gives as reuired. p( d(, r, j ) d(, r, i )) (j i)p mod 4p. ( d(p,, i) d(p,, j)) ( 1 i j)(j i) mod 4p,

11 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 11. To prove (.10), we consider the result of reducing (.1) modulo 4. If we write i = i +α and j = j + β, then one can check that (.15) (p + 1 i j)(j i) (p + 1 i j )(j i ) + (α + β)(p + 1) mod 4. On the other hand, by using (.13) and (.14), we find that (.16) p( d(, r, j ) d(, r, i )) (p r)(i j )( + 1) + (r + r 1 i j )(i j ) mod 4 By summing (.15) and (.16), we obtain (i j )(p + p 1 i j ) mod 4. (.17) ( d(p,, i) d(p,, j)) (p + 1)(i j ) + (α + β)(p + 1) mod 4 (p + 1)(i + j + α + β) mod 4. Since the right hand side of (.17) is divisible by, it follows that d(p,, i) d(p,, j) is an integer. If p is odd, then p + 1 is even, so (.17) shows that ( d(p,, i) d(p,, j)) 0 mod 4. Thus if p is odd, then d(p,, i) d(p,, j) 0 mod 4, as reuired. If p is even, then is necessarily odd. In this case we have i + j i + j + α + β mod. So (.17) also implies (.10) when is odd. This completes the proof. This allows us to prove the congruence result for d-invariants we reuire. Corollary.1. We have d(p,, i) d(p,, j) Z { ( 1 i j)(j i) 0 mod p if p is odd ( 1 i j)(j i) 0 mod p if p is even. Proof. We prove this by showing that { d(p,, i) d(p, ( 1 i j)(j i) 0 mod p if p is odd, j) pz ( 1 i j)(j i) 0 mod p if p is even.. If p is odd, then Lemma.11 shows d(p,, i) d(p,, j) 0 mod 4. Conseuently we see that d(p,, i) d(p,, j) 0 mod 4p if and only if d(p,, i) d(p,, j) 0 mod p. From (.11), we see that ( d(p,, i) d(p,, j)) ( 1 i j)(j i) mod p. Since is coprime to p, this is congruent to 0 if and only if as reuired. ( 1 i j)(j i) 0 mod p,

12 1 DUNCAN MCCOY. If p is even, then is necessarily odd. As an odd is invertible modulo 4p, it follows from (.11) that d(p,, i) d(p,, j) 0 mod 4p if and only if ( 1 i j)(j i) 0 mod 4p. Euivalently, if and only if as reuired. ( 1 i j)(j i) 0 mod p, One other result we will reuire is an a bound on the absolute value of the d-invariants of lens spaces. Lemma.13. For any 1 p 1 and any 0 i p 1, we have d(p,, i) p 1 4. Proof. Since the d-invariants of a rational homology sphere satisfy d( Y, s) = d(y, s) for any s Spin c (Y ), we see that for any 1 i p 1, there is 0 j p 1 such that d(p,, i) = d(p, p, j). Therefore, to prove the lemma, it is sufficient to show that d(p,, i) 1 p 4. Since d(1, 0, 0) = 0, we can assume p > 1. Suppose that p/ > 1 has a continued fraction expansion 1 p/ = a 1, 1 a... 1 a l where a i for all i. This expansion has length l p 1. If M is the matrix a a 1 M = , 1 then Ozsváth and Szabó have shown that for any i, there is v Z l such that [OS03b, OS05] a l 4d(p,, i) = v T M 1 v l. Since M and, hence M 1, is positive definite, this shows that This gives the desired lower bound. 4d(p,, i) l 1 p. 3. Proving Theorems 1.7 and 1.8 Let Y be a 3-manifold such that Y = S 3 p/ (K ) = S 3 p/ (K) for knots K and K in S 3 and some p/ > 0. By (.5), these two surgery descriptions of Y give labelings such that the following diagram commutes φ K,p/, φ K,p/ : Z/pZ Spin c (Y ), Spin c (Y ) φ K,p/ Z/pZ φ K,p/ d Z/pZ D D Q,

13 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 13 where D(i) = d(p,, i) max{v i (K), V p i (K)} and D (i) = d(p,, i) max{v i (K ), V p i (K )} for 0 i p 1. Thus if we let φ denote map and f(i) = min{ i φ := φ 1 K,p/ φ K,p/ : Z/pZ Z/pZ p i, }, then for 0 i p 1, we have (3.1) V f(i) (K) V f(φ(i)) (K ) = d(p,, i) d(p,, φ(i)). Remark 3.1. There are two important conseuences of (3.1). Firstly, it shows d(p,, i) d(p,, φ(i)) Z. Secondly, d(p,, i) d(p,, φ(i)) > 0 implies that V f(i) (K) > 0 and hence that ν + (K) f(i) + 1. There are three possible forms for φ. Proposition 3.. The map φ: Z/pZ Z/pZ takes one of the following forms: I: φ(i) = a(i s) + s mod p, where p is odd, a 1 mod p and s { 1, p+ 1 } Z. II: φ(i) = a(i s) + s mod p, where p is even, a 1 mod p and s = 1 ; or III: φ(i) = a(i s) + s + p mod p, where p 0 mod 8, a p + 1 mod p and s = 1 Proof. Let J : Z/pZ Z/pZ be the map J(i) = 1 i mod p. Since the d-invariants are invariant under conjugation, (.) shows that J φ = φ J. Since φ is an affine bijection, we may assume that it can be written in the form φ(i) = a(i s 0 ) + s 1 mod p, for some s 0 Fix(J) = { 1, p+ 1 } Z and some a (Z/pZ). Using the invariance of d-invariants under conjugation, we obtain J(s 1 ) = J(φ(s 0 )) = φ(j(s 0 )) = s 1. This shows that we also have s 1 Fix(J).. First assume that p is odd. Since Fix(J) = 1 in this case, we have s 0 = s 1. Since d(p,, 1 + s 0 ) d(p,, φ(1 + s 0 )) Z, Corollary.1 shows that 0 (φ(1 + s 0 ) s 0 + 1)(φ(1 + s 0 ) (1 + s 0 )) mod p (a + s s 0 ( 1))(a + s 0 1 s 0 )) mod p a 1 mod p. This shows φ takes the form given by type I.. Now assume that p is even and s 0 = s 1. Since is necessarily odd, we may assume that s 0 = 1. Since d(p,, 1 + s 0) d(p,, φ(1 + s 0 )) Z, Corollary.1 shows that 0 (φ(1 + s 0 ) s 0 + 1)(φ(1 + s 0 ) (1 + s 0 )) mod p (a + s s 0 ( 1))(a + s 0 1 s 0 )) mod p a 1 mod p. This shows φ takes the form given by type II..

14 14 DUNCAN MCCOY. Finally, assume that p is even and s 0 s 1. We may assume that s 1 = p+ 1 = s 0 + p. Since d(p,, s 0 ) d(p,, φ(s 0 )) Z Corollary.1 shows that 0 (φ(s 0 ) + s 0 + 1)(φ(s 0 ) s 0 ) mod p (s 0 + s 1 ( 1))(s 1 s 0 ) mod p mod p, 4 which implies that p 0 mod 8. Similarly, from d(p,, s 0 + 1) d(p,, φ(s 0 + 1)) Z, we obtain p 0 (φ(1 + s 0 ) s 0 + 1)(φ(1 + s 0 ) 1 s 0 ) mod p (a + s s 0 ( 1))(a + s 1 s 0 1) mod p (a + p ) 1 mod p a + p 1 mod p. This shows φ takes the form given by type III. This allows us to put bounds on ν + (K) when φ is not the identity or the map corresponding to conjugation. Lemma 3.3. If φ K,p/ φ K,p/ and φ K,p/ φ K,p/, then Proof. Consider the map ν + (K) > p φ = φ 1 K,p/ φ K,p/ : Z/pZ Z/pZ Proposition 3. shows that if φ K,p/ φ K,p/ and φ K,p/ φ K,p/, then φ takes the form φ(x) = a(x s 0 ) + s 1 for some a ±1 mod p satisfying a 1 mod p. Since d-invariants are invariant under conjugation, we can assume that a lies in the range p < a < p/.. Since φ satisfies φ(x + n) φ(x) + na mod p for all x and n, we see that for any p+ 1 N p a, we can find x in the range N p a x N such that p + 1 a φ(x) p a. For such an x we have (p + 1 x φ(x))(φ(x) x) d(p,, x) d(p,, φ(x)) = d(, r, x) + d(, r, φ(x)) p (p a x)(p + 1 a x) > 4p = (p + 1 x) a 4p (p + 1 N) a 4p, where we used the bound d(, r, φ(x)) d(, r, x) < arising from Lemma.13 to obtain the second line, and the final line was obtained by observing that the uadratic in the preceding line is minimized for x in the range N p a x N by taking x = N.

15 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 15. Thus if we take N = p + 1 p + a, then such an x satisfies d(p,, x) d(p,, φ(x)) > 0. And hence we see that there is k Z such that V k > 0 and (3.) k p + 1 p + a p a. We complete the proof by finding a lower bound for k which is independent of a. p +a Consider + p a as a function of a. For a > 0, this has a single critical value which is a minimum. Thus we see that for a in the range p a p the minimal value of the right hand side of (3.) is attained by a = p or a = p. Therefore, using the bound p + a a + p a when a = p, we obtain k p + 1 However, one can show that 3 max{ p , 4 This gives the bound showing that as reuired. max{ p , 4 p( + + 1) k p , ν + (K) > p , p( + + 1) }. } < p We now have all the pieces to prove or main technical results. Theorem 1.7. Let K, K S 3 be knots such that S 3 p/ (K) = S 3 p/ (K ). If p g(K) and 3, then K (t) = K (t), g(k) = g(k ) and K is fibred if and only if K is fibred. Proof. Suppose that S 3 p/ (K) = S 3 p/ (K ). Since S 3 p/ (K) = S 3 p/ (K) for any K S3, we may assume that p/ > 0. By Lemma 3.3, the bound p g(K) implies that either φ K,p/ = φ K,p/ or φ K,p/ = φ K,p/. In either case, the assumption 3 allows us to apply Lemma.10, which shows that V k (K) = V k (K ) and A red,k (K) = is 3 When considered as a uadratic in p, the discriminant of p ( + + 1) p = As this satisfies < 0 for all, we see that p( + + 1) for all p and. < p

16 16 DUNCAN MCCOY A red,k (K ) for all k 0. By Proposition.3, this is sufficient information to guarantee that K and K have the same Alexander polynomial, genera and fibredness. Theorem 1.8. Suppose that K is an L-space knot. If S 3 p/ (K) = S 3 p/ (K ) for some K S 3 and either (i) p g(K) or (ii) p min{ 1 4, g(k)} and holds, then K (t) = K (t), g(k) = g(k ) and K is fibred. Proof. Suppose that S 3 p/ (K) = S 3 p/ (K ), where K is an L-space knot. First suppose that p g(K). In this case, S 3 p/ (K) is an L-space. Lemma 3.3 implies that either φ K,p/ = φ K,p/ or φ K,p/ = φ K,p/. Thus we can apply Lemma.10 which shows that V k (K) = V k (K ) and A red,k (K) = A red,k (K ) = 0 for all k. By Proposition.3, this is sufficient information to guarantee that K and K have the same Alexander polynomial and genus. As K is fibred it also shows that K is fibred. If p min{ 1 4, g(k)} and, then we use the fact that S 3 p/ (K) = S 3 p/ (K ). As ν + (K) = 0, the condition p 4 +1 shows that φ K, p/ = φ K, p/ or φ K, p/ = φ K, p/. As p/ > g(k) 1 and A red,k(k) = T (V k (K)) for all k, Lemma.10 shows that V k (K) = V k (K ) = 0 and A red,k (K) = A red,k (K ) for all k 0. This shows that K and K have the same Alexander polynomial and genus. As K is fibred it also shows that K is fibred. 4. Surgeries on torus knots In this section, we prove Theorem 1.1. In order to do this we will need to understand the manifolds obtained by surgery on torus knots. It is well-known that, with the exception of a single reducible surgery for each torus knot, the manifolds obtained by surgery on a torus knot are Seifert fibred spaces [Mos71]. We will use S (e; b1 a 1, b a, b3 a 3 ) to denote the 3-manifold obtained by surgery on the link given in Figure 1. 4 This is a Seifert fibred space when a i 0 for i = 1,, 3 and is a lens space only if a i = 1 for some i. Recall that if a i > 1 for i = 1,, 3, then if and only if S (e; b 1 a 1, b a, b 3 a 3 ) = S (e ; d 1 c 1, d c, d 3 c 3 ) e + b 1 + b + b 3 = e + d 1 + d + d 3 a 1 a a 3 c 1 c c 3 and there is a permutation π of {1,, 3} such that b i a i c π(i) d π(i) mod 1 We can describe surgeries on torus knots as follows. for i = 1,, 3 [NR78]. 4 In this notation we have S 3 1(T 3, ) = S ( ; 1, 3, 4 5 ) = P, where P is the Poincaré sphere oriented so that it bounds the positive-definite E 8 -plumbing.

17 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 17 e r r s s t t Figure 1. A surgery presentation for the Seifert fibred space S (e; b1 a 1, b a, b3 a 3 ) Proposition 4.1 (cf. Moser [Mos71]). For r, s > 1 and any p/, Sp/ 3 (T r,s) = S (e; s s, r r, p rs ), where r, s and e are any integers satisfying rs + sr + ers = 1. Proof. Consider the Seifert fibration of S 3 with exceptional fibres of order r and s for which the regular fibres are isotopic to the torus knot T r,s. We can obtain S 3 p/ (T r,s) by surgering a regular fibre K S 3. Let µ be a meridian for K and λ a null-homologous longitude. As the linking number between K and a nearby regular fibre is rs, the surgery slope can be written as pµ + λ = (p rs)µ + κ, where κ is a longitude for K given by a regular fibre. This shows that Sp/ 3 (T r,s) = S (e; s s, r r, p rs ), for some s, r, e Z which are independent of p/. Considering the order of the homology group H 1 (S 3 p/ (T r,s)) shows that p = rs(p rs)(e + s s + r r + p rs ) = p(rs + sr + rse) rs(rs + sr + ers 1). As this holds for any it follows that we have rs + sr + ers = 1, as reuired. We will also use the Casson-Walker invariant [Wal9]. For any rational homology sphere Y, this is a rational-valued invariant λ(y ) Q. For our purposes its most useful property is that it is easily computed for manifolds obtained by surgery. For any knot K S 3, the Casson-Walker invariant satisfies [BL90]: (4.1) λ(s 3 p/ (K )) = λ(s 3 p/ (K)) + p K (1). In particular, this means that if Sp/ 3 (K) = Sp/ 3 (T r,s), then the Alexander polynomial of K satisfies (4.) K(1) = T r,s (1) = (r 1)(s 1). 1 Recall also that if K is a satellite knot with pattern P and companion K, then its Alexander polynomial satisfies K (t) = K (t w ) P (t),

18 18 DUNCAN MCCOY where w is the winding number of P. In particular, this means that (4.3) K(1) = P (1) + w K (1). Next we consider the possibility that a torus knot and a cable of a torus knot share a non-integer surgery. Proposition 1.5. For s > r > 1 and, there exists a non-trivial cable of a torus knot K such that S 3 p/ (K) = S 3 p/ (T r,s) if and only if s = r3 ± 1 1, p = r 4 1, = s/r and r >, 1 in which case K is the (, r 1 1 )-cable of T r, r±1. Proof. Suppose that K is the (w, c)-cable of T a,b, where w > 1 is the winding number of the pattern and that this satisfies 1 Y = S 3 p/ (K) = S 3 p/ (T r,s). If Y is reducible, then p/ = wc = rs is an integer. So we can assume from now on that Y is irreducible. We will temporarily drop the assumption that s > r and assume for now only that r, s > 1. Since Y does not contain an incompressible torus, p/ must take the form p = wc ± 1 and Y = S 3 p/(w ) (T a,b) [Gor83]. As > 1 and gcd(w, c) = 1, we have wc ± 1 abw = w(c abw) ± 1 w 1. This shows that Y is not a lens space if > 1. Thus we can assume Y is a Seifert fibred space with base orbifold S (r, s, p rs ) = S ( a, b, p abw ). By considering the order of the exceptional fibers, we see we may assume that a = r. Using the Casson-Walker invariant as in (4.) and (4.3), we see that (a 1)(s 1) = w (a 1)(b 1) + (c 1)(w 1). This implies that b < s. Thus we must have ε 1 s = p abw and ε b = p as for some ε 1, ε {±1}. Solving these simultaneous euations shows that (4.4) s = p(aw ε ) (aw) ε 1 ε and b = p(a ε 1) (aw) ε 1 ε. Since a, s > 1 it follows that p > 0 and b > 0. Using Proposition 4.1 and our two surgery descriptions, we see that Y can be written in the form Y = S ( 1; a a, s s, ε b ) = S ( 1; a a, ε 1w, b s b ) for some a, b, s Z, where 1 b < b and 1 s < s. Comparing these two descriptions of Y as a Seifert fibred space we see that b satisfies (4.5) b ε mod b and b a 1 mod b;

19 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 19 s satisfies (4.6) s ε 1 w mod s and s a 1 mod s; and we have (4.7) 1 + a a + ε b + s a = 1 + s a + ε 1w + b s b. Claim. We have ε 1 = ε. Proof of Claim. By (4.7), we see that s ε 1 w = b ε. s b Euations (4.5) and (4.6) show that both sides of this euation are integers. Moreover the assumptions that 1 s < s and 1 b < b imply that the right hand side (respectively left hand side) is strictly greater than 0 if and only if ε 1 = 1 (respectively ε = 1). It follows that ε 1 = ε, as reuired. In light this claim, we will take ε = ε 1 = ε {±1} from now on. Observe that (4.5) and (4.6) imply that b divides a ε and s divides aw ε. Combining this with (4.4) shows that there is a positive integer k such that Since we can write kb = a ε, ks = aw ε and kp = (aw) 1. aw ε = w (a ε) + ε(w 1), we also see that k also divides w 1. Now p takes the form p = wc + δ for some δ {±1}. Therefore we have In particular, we have kp = wck + δk = (wa) 1. (4.8) δk = wn 1, where N = wa ck. Claim. We have N {0, 1, w}. Proof of Claim. Assume that N is non-zero. Since k divides w 1, (4.8) shows that wn 1 divides w 1. Let α Z be such that (wn 1)α = w 1. By considering this euation mod w, we see that α takes the form α = βw + 1 for some β Z. Substituting for α and rearranging shows that β satisfies (βn 1)w = β N. If β 1 or β, then there are no possible integer choices of N for which w = β N βn 1 holds. So it remains only to consider are β = 0 and β = 1. The former implies that N = w and the latter can only hold if N = 1, completing the proof of the claim. This gives us three 3 possibilities for N to consider. If N = 0, then N = 0 and (4.8) shows that δk = 1. This implies that k = 1 and hence c = wa. This contradict the fact that gcd(w, c) = 1. As we are assuming, N = 1 can t possibly hold. Thus it remains only to consider the possibility N = w. In this case (4.8) shows that δ = 1, k = w 1 and, c = w( a 1) (w 1).

20 0 DUNCAN MCCOY As gcd(w, c) = 1, gcd( a 1, ) = 1 and gcd(w 1, w) = 1, this shows that = w. It follows that s = r3 ε 1, p = r 4 1 1, c = r 1 1 and b = r ε 1. This shows that K must take the reuired form and that s and p satisfy the reuired conditions. > 1. This will allow us to derive the condition that r >. If ε = 1, then b > 1 clearly implies r >. If ε = 1, then b Z implies that r mod 1. Thus we have r 1, which implies that b 1 with euality only if r = 1. Thus b > 1 implies that either > or r. In either case this is sufficient to guarantee that r > when ε = 1. Finally, observe that As K is a non-trivial cable we have b = r ε 1 r < s = r + r ε r + 1 r + < r( + 1), 1 3 which implies that = s/r. This completes the proof of one direction. Conversely, if s = r3 ±1 1 Z, then r mod 1, so we have p = r Z, b = r±1 1 Z and c = r 1 1 Z. This allows us to take K to be the (, c)-cable of T r,b. Note that r > implies b > 1, so K is cable of a non-trivial torus knot. It is then a straightforward calculation, using Proposition 4.1, that for such a K we have as reuired. Sp/ 3 (T r,s) = Sp/ 3 (K) = Sp/ 3 3(T r,b) = S (0; 1, 3 r s, b ), Now we consider the possibility that two torus knots share a surgery. generalizes [NZ14, Proposition.4]. The following Lemma 4.. If Sp/ 3 (T r,s) = Sp/ 3 (T a,b), for some p/ Q, then T r,s = T a,b or p/ {rs ± 1}. Proof. Suppose that Y = S 3 p/ (T r,s) = S 3 p/ (T a,b). Without loss of generality we may assume that r, s > 1. If p/ = rs, then Y is reducible. In this case we must have ab = rs and Y = S 3 r/s (U)#S3 s/r (U) = S 3 a/b (U)#S3 b/a (U). Therefore T r,s = T a,b, in this case. If p rs > 1, then Y is a Seifert fibred space with base orbifold S (r, s, p rs ) = S ( a, b, p ab ). It follows that we can assume r = a. By applying the Casson-Walker invariant as in (4.), we have (a 1)(b 1) = (r 1)(s 1), which implies that s = b. Thus, if T a,b T r,s, then T a,b = T r, s. However, T a,b = T r, s implies that p rs = p + rs, and hence that p = 0. It is easy to check, using Proposition 4.1, that S 3 0(T r,s ) = S 3 0 (T r,s ). Thus it only remains to consider the case that p rs = 1 and > 1. In this case, we also have p ab = 1 and Y is the lens space [Mos71] Y = L(p, r ) = L(p, a ). We can assume that 1 < a < b and 1 < r < s. For L(p, r ) to admit an orientation preserving homeomorphism to L(p, a ) we must have either r a mod p or r a 1 mod p. As r < p and a < p, we see that r a mod p implies that r = a and

21 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 1 hence that T r,s = T a,b. Thus we can assume that r a 1 mod p. Consider the continued fraction expansion s/r = [a 0,..., a k ] +, where a k and a i 1 for 0 i k 1. Using some standard identities for continued fractions one can show that 5 p r = { [a 0, a 1,..., a k, 1, 1, a k 1, a k 1,..., a 1 ] + if p = rs + ( 1) k [a 0, a 1,..., a k 1, a k 1, 1, 1, a k,..., a 1 ] + if p = rs ( 1) k. Since both of these expansions have odd length, we see that if r a 1 mod p, then must have have an expansion of the form 6 { p (4.9) a = [a 1,..., a k 1, a k 1, 1, 1, a k,..., a 0 ] + if p = rs + ( 1) k [a 1,..., a k, 1, 1, a k 1, a k 1,..., a 0 ] + if p = rs ( 1) k. However, if we consider the continued fraction expansion b/a = [b 0,..., b l ] +, where b l and b i 1 for 0 i l 1, then { p (4.10) a = [b 0, b 1,..., b l, 1, 1, b l 1, b l 1,..., b 1 ] + if p = ab + ( 1) l [b 0, b 1,..., b l 1, b l 1, 1, 1, b l,..., b 1 ] + if p = ab ( 1) l. p a Since admits a uniue continued fraction expansion of odd length with every coefficient strictly positive, we see that the two continued fraction expansions in (4.9) and (4.10) p must be the same. Comparing the lengths of these two expansions for a shows that l = k. Comparing the coefficients individually and using the assumption that a k, b k > 1 soon shows that s r = b a = [, }. {{.., ] } +. Altogether, this shows that T r,s = T a,b unless p = rs ± 1. k+1 Remark 4.3. When combined with the cyclic surgery theorem of Culler, Gordon, Luecke and Shalen [CGLS87], Lemma 4. implies that for any > 1, any slope of the form p/ = rs ± 1 is a characterizing slope for T r,s. Using results of Agol [Ago00], Lackenby [Lac03], and Cao and Meyerhoff [CM01], Ni and Zhang give a restriction on exceptional slopes of a hyperbolic knot. Proposition 4.4 (Lemma., [NZ14]). Let K S 3 be a hyperbolic knot. If then Sp/ 3 (K) is a hyperbolic manifold. p 43 (g(k) 1) 4 This is the final ingredient we reuire for the proof of the main theorem. Theorem 1.1. For s > r > 1 and let K be a knot such that Sp/ 3 (K) = Sp/ 3 (T r,s). If p and satisfy at least one of the following: (i) p min{ 43 4 (rs r s), 3}, (ii) p max{ 43 4 (rs r s), 3 + (r 1)(s 1)}, or 5 The stated eualities follow from applications of the following identities, all of which admit straightforward proofs: (1) n = [c n 1 n,..., c 1 ] +, () p n n 1 np n 1 = ( 1) n+1, and (3) for any x Q, [c 0,..., c n, x] + = pnx+p n 1, nx+ n 1 where pn n = [c 0,..., c n] + denotes the nth convergent of a continued fraction with c i 1 for all i. 6 Here we are using the fact that if p = [c 0,..., c n] +, then p = [c n,..., c 0 ] +, where ( 1) n mod p. p a

22 DUNCAN MCCOY (iii) 9, then we have either (a) K = T r,s, or (b) K is a cable of a torus knot, in which case = s/r, p = r 4 1 1, s = r3 ±1 1 and r >. Proof. Let K be a knot such that Sp/ 3 (K) = Sp/ 3 (T r,s) for some p/ with such that at least one of conditions (i), (ii) or (iii) are satisfied. Since < 3 for 8 and g(t r,s ) = (r 1)(s 1), Theorem 1.8 shows that either (a) 9 or (b) K is fibred with g(k) = g(t r,s ) and p 43 (g(k) 1). 4 According to Thurston, every knot in S 3 is either a hyperbolic knot, a satellite knot or a torus knot [Thu8]. We consider each of these possibilities in turn. Given Proposition 4.4 and the fact that any exceptional surgery on a hyperbolic knot in S 3 must satisfy 8 [LM13], we see that K cannot be a hyperbolic knot. If K is a satellite knot, then there is an incompressible torus R S 3 \ K. This bounds a solid torus V S 3 which contains K. Let K be the core of the solid torus V. By choosing R to be innermost, we may assume that K is not a satellite. This means that K is either a torus knot or a hyperbolic knot. Since S 3 p/ (T r,s) is irreducible and does not contain an incompressible tori, it follows from the work of Gabai that V p/ (K) is again a solid torus and that K is either a 1-bridge knot or a torus knot in V and S 3 p/ (K) = S 3 p/(w ) (K ), where w > 1 is the winding number of K in V [Gab89]. Moreover, as > 1, it follows that K is a torus knot in V. If 9, then the distance bound on exceptional surgeries shows that K is not hyperbolic. If 8, then K is fibred, implying that K is also fibred [HMS08]. It follows, for example by considering the degrees of K (t) and K (t), that g(k ) < g(k). Therefore, if 8, then we have p > 43 4 (g(k ) 1) and Proposition 4.4 shows that K is not hyperbolic. Thus we can assume that K is a torus knot. Thus, we have shown that if K is a satellite, then it is a cable of a torus knot. In this case Proposition 1.5 applies to give the desired conclusions on p,, r and s. If K is a torus knot, then Lemma 4. shows that K = T r,s, as reuired. Corollary 1.. The knot T r,s with r, s > 1 has only finitely many non-characterizing slopes which are not negative integers. Proof. This follows from Theorem 1.1 and the results of [McC14] which show that any slope p 43 (rs r s) 4 is a characterizing slope for the torus knot T r,s with r, s > 1. References [Ago00] Ian Agol. Bounds on exceptional Dehn filling. Geom. Topol., 4: , 000. [BL90] Steven Boyer and Daniel Lines. Surgery formulae for Casson s invariant and extensions to homology lens spaces. J. Reine Angew. Math., 405:181 0, [BM16] Kenneth Baker and Kimihiko Motegi. Non-characterizing slopes for hyperbolic knots. arxiv: , 016. [CGLS87] Marc Culler, C. McA. Gordon, J. Luecke, and Peter B. Shalen. Dehn surgery on knots. Ann. of Math., 15():37 300, [CM01] Chun Cao and G. Robert Meyerhoff. The orientable cusped hyperbolic 3-manifolds of minimum volume. Invent. Math., 146(3): , 001. [Gab89] David Gabai. Surgery on knots in solid tori. Topology, 8(1):1 6, 1989.

23 NON-INTEGER CHARACTERIZING SLOPES FOR TORUS KNOTS 3 [Gai14] Fyodor Gainullin. Mapping cone formula in Heegaard Floer homology and Dehn surgery on knots in S 3. arxiv: , 014. [Ghi08] Paolo Ghiggini. Knot Floer homology detects genus-one fibred knots. Amer. J. Math., 130(5): , 008. [Gor83] C. McA. Gordon. Dehn surgery and satellite knots. Trans. Amer. Math. Soc., 75(): , [HMS08] Mikami Hirasawa, Kunio Murasugi, and Daniel S. Silver. When does a satellite knot fiber? Hiroshima Math. J., 38(3):411 43, 008. [KMOS07] P. Kronheimer, T. Mrowka, P. Ozsváth, and Z. Szabó. Monopoles and lens space surgeries. Ann. of Math. (), 165(): , 007. [Lac03] Marc Lackenby. Exceptional surgery curves in triangulated 3-manifolds. Pacific J. Math., 10(1): , 003. [LM13] Marc Lackenby and Robert Meyerhoff. The maximal number of exceptional Dehn surgeries. Invent. Math., 191():341 38, 013. [LN15] Eileen Li and Yi Ni. Half-integral finite surgeries on knots in S 3. Ann. Fac. Sci. Toulouse Math. (6), 4(5): , 015. [McC14] Duncan McCoy. Surgeries, sharp 4-manifolds and the Alexander polynomial. arxiv: , 014. [Mos71] Louise Moser. Elementary surgery along a torus knot. Pacific J. Math., 38: , [Ni07] Yi Ni. Knot Floer homology detects fibred knots. Invent. Math., 170(3): , 007. [NR78] Walter D. Neumann and Frank Raymond. Seifert manifolds, plumbing, µ-invariant and orientation reversing maps. In Algebraic and geometric topology (Proc. Sympos., Univ. California, Santa Barbara, Calif., 1977), volume 664 of Lecture Notes in Math., pages Springer, Berlin, [NW15] Yi Ni and Zhongtao Wu. Cosmetic surgeries on knots in S 3. J. Reine Angew. Math., 706:1 17, 015. [NZ14] Yi Ni and Xingru Zhang. Characterizing slopes for torus knots. Algebr. Geom. Topol., 14(3): , 014. [OS03a] Peter Ozsváth and Zoltán Szabó. Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary. Adv. Math., 173():179 61, 003. [OS03b] Peter Ozsváth and Zoltán Szabó. On the Floer homology of plumbed three-manifolds. Geom. Topol., 7:185 4 (electronic), 003. [OS04a] Peter Ozsváth and Zoltán Szabó. Holomorphic disks and genus bounds. Geom. Topol., 8: , 004. [OS04b] Peter Ozsváth and Zoltán Szabó. Holomorphic disks and knot invariants. Adv. Math., 186(1):58 116, 004. [OS04c] Peter Ozsváth and Zoltán Szabó. Holomorphic disks and topological invariants for closed threemanifolds. Ann. of Math. (), 159(3): , 004. [OS05] Peter Ozsváth and Zoltán Szabó. On the Heegaard Floer homology of branched double-covers. Adv. Math., 194(1):1 33, 005. [OS06] Peter S. Ozsváth and Zoltán Szabó. The dehn surgery characterization of the trefoil and the figure eight knot. arxiv: , 006. [OS11] Peter S. Ozsváth and Zoltán Szabó. Knot Floer homology and rational surgeries. Algebr. Geom. Topol., 11(1):1 68, 011. [Ras03] Jacob Rasmussen. Floer homology and knot complements. PhD thesis, Harvard University, 003. [Ras04] Jacob Rasmussen. Lens space surgeries and a conjecture of Goda and Teragaito. Geom. Topol., 8: , 004. [Thu8] William P. Thurston. Three-dimensional manifolds, Kleinian groups and hyperbolic geometry. Bull. Amer. Math. Soc. (N.S.), 6(3): , 198. [Wal9] Kevin Walker. An extension of Casson s invariant, volume 16 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 199. Department of Mathematics, University of Texas at Austin, Austin, TX address: d.mccoy@math.utexas.edu