arxiv: v2 [math.gt] 25 Feb 2013

Transcription

1 arxiv:0.87v [math.gt] Feb 0 Finite knot surgeries and Heegaard Floer homology MARGARET I. DOIG It is well known that any -manifold can be obtained by Dehn surgery on a link but not which ones can be obtained from a knot or which knots can produce them. We investigate these two questions for elliptic Seifert fibered spaces other than lens spaces) using the Heegaard Floer correction terms or d-invariants associated to a -manifold Y and its torsion Spin c structures. For π Y) finite and H Y) < 0, we classify the manifolds which are knot surgery and the knot surgeries which give them. For π Y) finite and H Y), we classify the manifolds which may be surgery and place restrictions on the surgeries which may give them. 7M; 7R6 Introduction In the 60s, Wallace [] and Lickorish [] showed that any oriented -manifold can be constructed by Dehn surgery on a link in S. Soon after, Moser asked which manifolds can be constructed by surgery on a knot []. One may also ask which knots give each manifold. We begin to answer these two questions for elliptic or spherical) manifolds other than lens spaces, that is, those with finite but non-cyclic fundamental group. We know that S only comes from trivial surgeries [6], and S S arises only from 0-surgery on the unknot []. On the other hand, lens spaces can come from torus knots [] but may also arise from integral surgery on some hyperbolic knots [6]. Berge [] proposed a comprehensive list of such surgeries using primitive/primitive knots, which is now referred to as the Berge Conjecture and is listed as Problem.78 []. Ozsváth and Szabó [] gave a necessary condition on the Alexander polynomial of a knot with a lens space surgery and verified Berge s list up to p 00, and Greene [7] verified that any lens space which is surgery on a non-trivial knot is achieved by some knot To perform p/q-[dehn] surgery on a knot K embedded in S, remove an open neighborhood NK) homeomorphic to a solid torus and replace it by identifying a meridian of the solid torus with pµ+qλ in the knot complement. Here, µ and λ are oriented curves on NK) where µ bounds a disk in NK); λ is null-homologous in H S NK)); and µ λ = +.

2 M. Doig on the list he did not verify that all knots giving lens spaces are on the list). Dean [7] attempted to extend these results from lens spaces to small Seifert fibered spaces. However, Dean s list is not exhaustive: other hyperbolic surgeries also produce small Seifert fibered manifolds, but all such known manifolds are also given by knots from Dean s list [8, ]. We address a subset of this case, elliptic or spherical) manifolds other than the lens spaces, i.e., Seifert fibered manifolds with finite but non-cyclic fundamental group. If a surgery gives such a group, we will call it a finite and non-cyclic surgery. The finite surgeries on torus knots are easy to identify based on Moser s classification [, Propositions.,., ]. Bleiler and Hodgson explicitly listed the finite surgeries on iterated torus knots [, Theorem 7] based on Gordon s classification [, Theorem 7.]; all of the resulting manifolds are also torus knot surgeries. Boyer and Zhang proved that no other satellite knots have finite surgeries [, Corollary.]. Boyer and Zhang showed that all finite surgeries on hyperbolic knots are integral or half-integral, although it is conjectured that they are integral see, e.g., [, Problem 77, Conjecture A]). Additionally, any hyperbolic knot has at most five finite or cyclic surgeries, with at most one non-integral. Any two such surgeries on the same knot have distance at most, and the distance is realized by at most one pair [, Theorems.,.]. There are a variety of examples of finite surgeries on hyperbolic knots. Fintushel and Stern [0] and Bleiler and Hodgson [] commented that 7-surgery on,, 7) pretzel knot and - and -surgery on the,, ) pretzel knot are finite although all three resulting manifolds are also torus knot surgeries), and Mattman et al. showed that there are no other finite surgeries on pretzel knots [, Theorem.], [, Theorem ]. It is an interesting question for which p there are finite p/q-surgeries on hyperbolic knots. As Zhang stated in Conjecture Î [] and Kirby formulated in a remark after Problem.6D) [], the Poincaré homology sphere the only manifold with finite π Y and H Y) = ) has a unique surgery construction. Ghiggini proved: Theorem [, Corollary.7] The Poincaré homology sphere is -surgery on the left-handed trefoil or, reversing orientation, +-surgery on the right-handed trefoil) Σ,, ) = S T, ) A surgery coefficient p/q corresponds to a homology class pµ+qλ on NK). The distance p /q, p /q ) is the minimum geometric intersection number of two curves representing the corresponding homology classes.

3 Finite knot surgeries and Heegaard Floer homology and no other surgery on any knot. Elliptic spaces fall into a group of manifolds called L-spaces whose Heegaard Floer homology is particularly simple Cf [, Proposition.]). If an L-space is given by p/q surgery on a knot K in S, then it obeys the inequality p/q gk), and the knot is fibered with one of a very small set of Alexander polynomials. The correction terms or d-invariants dy,t) take a very nice form for L-space surgeries, and they can be compared to the dy, t) calculated directly from a plumbing graph. We prove: Theorem The only finite, non-cyclic surgeries with p are: S T,) = ;,, ) S T,) = ;,, ) S T,) = ;,, ) S T,) = ;,, ) S7/ T,) = S7 T,) = ;,, ) S8 T,) = ;,, ) S8 T,) = ;,, ) S T,) = S/ T,) = ;,, ) In particular, there are no other surgeries up to orientation) giving these manifolds, and the following manifolds cannot be realized as any knot surgery: ;,, ) n if n ;,, ) n if n or Note that there are no elliptic Seifert fibered spaces with H Y) = or 6; there are unique spaces for each of H Y) =,,, 7, and ; and there are infinite families for both H Y) = and 8. See Theorem 6 below, due to Seifert. Corollary at least 0. Any finite, non-cyclic surgery on a hyperbolic knot has surgery coefficient Any Seifert fibered spaces which are not knot surgeries must be found among the dihedral manifolds, those with H Y) a multiple of see Corollary 6). We will prove: Throughout this paper, we suppress the choice of orientations; we use only positive surgery coefficients and only the canonical Seifert fibered descriptions stated in Theorem 6.

4 M. Doig Theorem The following manifolds have unique surgery descriptions: S ) T, = ;,, ) S8 ) T, = ;,, ) S8 ) T, = ;,, ) S6/ ) T, = ;,, ) S0/ ) T, = ;,, ) S/ ) T, = ;,, 7 ) S/ ) T, = ;,, 8 ) ) T, = ;,, 8 ) S / The only other dihedral manifolds with p which may be surgery are: S ) T, = ;,, ) S ) T7, = ;,, ) 7 S6 ) T7, = ;,, ) 7 S6 ) T, = ;,, ) S0 ) T, = ;,, ) S0 ) T, = ;,, ) S ) T, = ;,, 6 ) S ) T, = ;,, 6 ) S/ ) T, = ;,, 7 ) S K ) = ;,, 7 ) S ) T, = ;,, 7 ) S ) T, = ;,, 7 )? = ;,, 8 ) S ) T, = ;,, 8 ) S ) T7, = ;,, 8 ) 7 These manifolds may also be surgery on hyperbolic knots with the K T) given in Tables and. Note: K is constructed by taking the,, 0) pretzel link after doing + surgery on the unknotted component [, Proposition 8]. The author is unaware of any surgery that realizes ;,, 8 ). Corollary If m 8, the following manifolds cannot be realized as knot surgeries: ;,, m ) n if n > m+.

5 Finite knot surgeries and Heegaard Floer homology We describe Seifert fibered spaces and their non-hyperbolic surgeries in Section, we list the necessary prerequisites about L-space surgeries and the d-invariants in Section, and we prove Theorems and in Section. The first presentation of this work may be found in the author s thesis []. Special thanks go to Zoltán Szabó, who suggested and directed this project with a great deal of kindness and patience, and to Chuck Livingston, Paul Kirk, and Dave Gabai, who listened and contributed many helpful suggestions. Thanks also to Stephen Maderak for turning my algorithms into functional code and making it possible to generate gigabytes of examples. Seifert fibered spaces as knot surgeries Any closed, oriented -manifold Y is surgery on some link in S [, ]. A surgery diagram can be manipulated by the methods of Kirby calculus [0], which alter the diagram but not the underlying manifold: isotopy by surgery diagrams; stabilizing or destabilizing the manifold by addition or subtraction of a ±-framed unknot which can be separated from the rest of the link; and handlesliding one link component over another, replacing L with the band sum of L and L. For the last, if n i is the framing on L i, then n becomes n + n + lkl, L ). For a presentation of Kirby calculus, including its applications to Dehn surgery, see, e.g., [, Section ]. Seifert fibered spaces. Seifert fibered spaces were originally defined by Seifert in [], translated by W. Heil in [0]). Scott gives a more modern presentation with a slightly expanded definition in [8]. A trivial solid torus {z C : z } S may be given the product fibration with fibers {z} S. A fibered solid torus or fibered solid Klein bottle) is a torus or Klein bottle) which is finitely covered by the trivial fibered torus where the covering map preserves fibers. A fibered torus can also be constructed by taking the trivial fibered torus, cutting it along {z C : z } {0}, and identifying z, 0) with e πq/p z, ), and a fibered Klein bottle can be constructed by taking the trivial fibered torus, cutting it along {z C : z } {0}, and identifying z, 0) with z, ). The torus then has one exceptional not regular) fiber in the center, and the Klein bottle has a continuous family of exceptional fibers whose union is an annulus. A Seifert fibered space is a manifold foliated by circles so that any circle has a neighborhood which is fiber isomorphic to a fibered solid torus or Klein bottle. A Seifert

6 6 M. Doig fibered space itself can be thought of as a fiber bundle over the orbifold obtained by compressing each fiber to a point often called the base orbifold). Each isolated exceptional fiber corresponds to a cone point on the orbifold and a surface of exceptional fibers corresponds to a reflector line in the orbifold. Each isolated exceptional fibers can be eliminated by some Dehn surgery, and the class of such surgery coefficients is referred to as the fiber s framing. For our purposes, we will need only Seifert fibered spaces whose base orbifolds are S with some number of cone points. Construct such a space by choosing a line bundle ζ over S and surgering over fibers with framings b i /a i the negative sign is for historical reasons). It can be described as surgery on a link in S whose components have framing {b = c ζ), b /a,..., b r /a r }. Seifert identified such a manifold with an n-tuple together with information about the base orbifold which we will exclude). b; a,..., a ) r b b r For example, the Poincaré homology sphere ;,, ). The choice of framings is not unique. The b i, sometimes called the multiplicities, are determined, but b and the a i may be altered. A few handleslides will convert ) ) b; a ;, a, a ) b b b ) = = b ; a ) + b ;, a, a b b By geometrization [6], the manifolds with finite fundamental group are all Seifert fibered. They fall into five classes, those with cyclic π and those with finite π based on the four isometries of a sphere. We slightly rephrase Seifert s result: Theorem 6 Seifert []) The closed, oriented Seifert fibered spaces with finite but non-cyclic fundamental group are exactly those manifolds with base orbifold S and the following presentations: ) ) Type I, icosahedral: b; a, a, a with H Y) = Z m and m, 0) =. ) Type O, octahedral: b; a, a, a ). ) with H Y) = Z m and m, 6) =. ) b; a, a, a with H Y) = Z m and m, ) =. ) Type T, tetrahedral: ) ) Type D, dihedral: b; a, a, a b with H Y) = Z m and m, b ) = if b is even) or H Y) = Z Z m with m, b ) = if b is odd).

7 Finite knot surgeries and Heegaard Floer homology 7 where H Y) = b b b b+ a b + a b + a and a i, b i ) =. Any integer m meeting the constraints listed for one of the four types I, O, T, or D corresponds up to orientation) to a unique Seifert fibered space of type I, O, or T, or to a unique infinite family of type D indexed by the integer b. b ) Any choice of b, a i, and b i meeting the appropriate relative primality conditions gives a Seifert fibered space. We choose a canonical presentation where b = and a = a =. Proof Seifert calculates explicit descriptions of the fundamental group and first homology group and then deduces the possible framings; see [] for the details. µµ π Y) = λ,µ,µ,...,µ µ r =, [λ,µ i ] = r µ = λ b, µ i ai = λ bi, H Y;Z) = Zm 0 Zm r b m0 + m + +m r = 0 ) b i m 0 = a i m i To obtain the canonical presentation for a manifold of type D, first turn b; a, a, a b ) into b;,, a b ) using Equation which may change the integer b). Then adjust b perhaps changing a but leaving a and a constant) to get ;,, a b ). For types I, O, and T, first obtain ;, or, a b ). If a =, reverse orientation as in Equation to get ;,, a b ), which is ;,, a b ). Given a choice of I, O, T, or D and an m that meets the appropriate primality conditions, the b i are determined, and there are b and a i as follows. Assume b = and a = a =. For type I with m, 0) =, m mod 6) or. In the former case, set a = m+ 6, and H Y) = 6a = m; in the latter, set a = m 6, so H Y) = m. For type O with m, ) =, then m, ) =, so choose a = m+ or m, whichever is an integer, and then H Y) = 6a = m. For type T with m, 8) =, then m, ) =, so choose a = m+ or m, whichever is an integer, and then H Y) = 6a = m. Finally, for type D with b is odd and m, b ) =, then choose a = m, so H Y) = m. Many of the elliptic manifolds can be realized as torus knot surg- Finite surgeries. eries.

8 8 M. Doig Theorem 7 [, Propositions.,., ] L r,s #L s,r if p/q = rs Sp/q T r,s) = L p,rsq if p/q = rs±/q b; a r, a s, otherwise; for some choice of b, a, a, a ) a rsq p Corollary 8 Every manifold of type I, O, or T is surgery on a torus knot. Of each infinite family of manifolds of type D with the same H Y), only finitely many are surgeries on torus knots, and they are the ones where b divides H Y) + or H Y). Proof A careful application of Kirby calculus shows: Sp/q T s,) = ;, s )/ ) q, = ; s sq p, s+)/ ) q, s p sq Sp/q T,) = ;, ), q = ; q p, ), q p q Sp/q T,) = ;, ), q = ; q p, ), q p q These cases cover all the finite torus knot surgeries since p/q-surgery on T r,s if it is not a lens space or sum of lens spaces) has multiplicities r, s, rsq p ). A type I manifold may be surgery on T,, T,, or T, ; a type O manifold may be surgery on T, or T, ; a type T may be surgery on T, ; and a type D may be surgery on T n,. By Theorem 6, any I, O, or T manifold Y may be written ± ;,, a b ). A series of blow-ups on the trefoil shows Y is 6a b a -surgery on T, up to orientation). A manifold of type D with multiplicities,, n) can only be a torus knot surgery on T n, if sq p = ±. NB: is a reduced fraction since p, q) =.) Then p = H Y) and q = H Y) ± n q sq p, i.e., n divides either H Y) + or H Y). The invariant dy, t) Heegaard Floer homology assigns a set of invariants in our case, a graded abelian group over Z/) to a closed, connected, oriented -manifold using a Heegaard decomposition of the manifold [, ]. A Langrangian Floer homology starts with a n-dimensional symplectic manifold and two n-dimensional Lagrangian submanifolds which meet transversely. The chain complex is a free R-module for R = Z, Z, etc.) whose generators come from intersection points of the Lagrangians and whose boundary

9 Finite knot surgeries and Heegaard Floer homology map counts pseudo-holomorphic disks associated to sets of generators. Heegaard Floer homology is a Floer homology after the work of Perutz [7]) that defines the symplectic manifold and the Lagrangians using a Heegaard decomposition of a - manifold. The generators of its chain complex can be thought of as sets of points on the Heegaard surface and the boundary maps can be analyzed by examining domains in the surface. Heegaard Floer homology assigns a set of invariants to a -manifold Y indexed by its Spin c structures t. These invariants are called the correction terms or d-invariants dy, t). The hat version ĤFY) comes with a relative Z-grading which lifts to an absolute Q-grading for a rational homology sphere see Theorem 7. of []); it is defined by requiring that ĤFS ) = Z is supported in degree 0 and that the inclusion map ĈFY,t) CF+ Y,t) preserves degree. Then dy,t) is the minimal grading of any non-torsion class in HF + Y,t) coming from HF Y,t) []. If Y is elliptic, each t Spin c Y) corresponds to a torsion element of H Y,Z), all classes in HF + Y) come from HF Y), and dy,t) is defined for all t.) L-space surgeries. An elliptic Seifert fibered space is an example of an L-space, the Heegaard Floer homology version of a lens space []. ĤFY) splits into t ĤFY,t) over Spin c structures equivalence classes of non-zero vector fields t that form a torsor over H Y;Z)). Lens spaces have the nice property that each generator of ĤFL p,q ) falls into a different torsion Spin c structure t Spin c Y) is torsion if PDc t)) H Y) is torsion). We will call any rational homology sphere with this property an L-space. Equivalently, ĤFY,t) = ĤFS ) for all t. Using the surgery exact sequences and absolute grading on HF + Y), we can place some restrictions on which knots may have L-space surgeries. Normalize the Alexander polynomial so n K T) = a 0 + a i T i + T i ). i= Theorem [, Corollary.] If a knot K S admits an L-space surgery, then the non-zero coefficients of K T) are alternating +s and s. Ozsváth and Szabó [0] showed that the knot Floer homology ĤFKK, i) is Z in the top grading i = gk) for any fibered knot, and Ghiggini [] and Ni [6] and, independently, Juhász [8] showed the converse; since K T) is the graded Euler characteristic of ĤFKS, K), this means that

10 0 M. Doig Corollary 0 K is fibered. [6, Corollary.] If a knot K S admits an L-space surgery, then Finally, Theorem [, Corollary.] If K admits a positive L-space surgery, then Sp/q K) is an L-space if and only if p q gk). These facts lead to another observation which seems to be known among the community but not frequently written down. Corollary No knot has both positive and negative L-space surgeries. No amphichiral knots have L-space surgeries. In particular, no knot has both positive and negative finite surgeries, and no amphichiral knot has any finite surgeries. Proof If K has a positive L-space surgery, then τk) = deg K T)) = gk) [, Corollary.6]. On the other hand, if it has a negative L-space surgery, then the mirror mk has a positive one and τmk) = gmk) as well, but τk) = τmk) while gk) = gmk). Calculating dy,t) of a knot surgery. If Sp/q K) is an L-space, then ĤFS p/q K)) and its gradings can be calculated from K T) and p/q: Theorem If 0 < q < p, a. [, Proposition.8]: for 0 i < p+q, ds p/q U), i) = pq i+ p q) pq where r p mod q and j i mod q. b. [, Theorem.]: for i p, where c = i q. ds p/q K), i) ds p/q U), i) = given a particular identification of Spin c structures to Z p. ) dsq/r U), j) j= ja c+j

11 Finite knot surgeries and Heegaard Floer homology Calculating dy, t) of a Seifert fibered space. It is often possible to calculate the dy, t) algorithmically using plumbing graphs []. Consider Γ a tree with vertices v which have integer weights mv). Γ describes a - manifold XΓ): for each vertex, take a disk bundle over the sphere with Euler number mv); for each edge, plumb together the corresponding bundles. The boundary of XG) is a -manifold we call YΓ). See [] for a thorough exposition of plumbing graphs. For example, the lens space L7, ) may given by either graph below since {,, } and {, } are continued fraction expansions for 7/: + = If p/q is negative, chose the x i choose them to be negative; if a appears, blow it down). Similarly, an elliptic space may be written Y = b; a b, a b, a b ) with b 0 and 0 < a i /b i <. Then Y = YΓ) for a graph Γ with a central vertex of degree and weight b and with three arms with vertices of degree with weights given by the continued fraction expansion of b i /a i chosen so that the weights are. If the orientation is chosen so that eγ) = b i= a i/b i < 0, then Γ is the dual graph of a good resolution of a singularity and XΓ) is negative definite [, Corollary 8.]. For example, the Poincaré homology sphere with nonstandard orientation) Y = ;,, ) is given by ) where the central vertex is v, the top arm is a single vertex v of weight /; the next arm consists of vertices v,v labelled from left to right with weights giving the continued fraction expansion of /; and the bottom arm is v,,v 8 with weights giving the continued fraction expansion of /. A vertex v is bad if mv) > degv). An elliptic space Y with the description given above has only one vertex which may be bad, the central one; for Γ in ), the central vertex is bad. H X;Z) is a lattice freely spanned by the vertices of Γ. If v is a vertex and v the corresponding homology class, v v = mv); if v and w are distinct vertices, v w =

12 M. Doig if there is an edge between v and w and 0 otherwise. If, as above, eγ) < 0, then the given matrix Q is negative definite. For Γ from equation ), Q is E 8. The characteristic vectors or CharΓ) are the V H X;Z) such that V, w w w mod w H X;Z). CharΓ) splits over Spin c YΓ)). Let Char t Γ) be the characteristic vectors where V = c s) for some s Spin c XΓ)) with s YΓ) = t. It is easy to identify a characteristic vector using Hom duality: note that V, w = PD V) w = v T Qw for some v. Then v T is the Poincaré dual of V, and v T Q is its Hom dual. V is characteristic exactly when PD V) v i v i v i mod, i.e., the i th coordinate of v T Q has the same parity as mv i ) for all vertices v i. For example, CharΓ) of ) consists of all vectors v T Q with even coordinates. HF + YΓ),t) can be expressed in terms of Char t Γ). Let T + 0 = Z[U, U ]/U Z[U] as a Z[U]-module with grading so that U d is homogeneous and supported in degree d where d > 0). Then HF + YΓ),t) is isomorphic to the set of functions which preserve the adjunction relations φ : Char t G) T + 0 U n φv + PDv)) = φv) if n 0 φv + PDv)) = U n φv) if n 0 where n = V, v +PDv) PDv). The grading of HF + YΓ),t) is induced from the grading on T + 0 by degφ) = degφv)) V + Γ if φv) T 0 + is a non-trivial homogeneous element. To study the grading on the characteristic vectors, define an operation on CharΓ) by ) V V + PDv i ) if V, v i = mv i ) That is, find v T Q where v T Q has mv i ) as its i th coordinate and has the same parity as mv j ) in all other coordinates. Then this operation changes the i th coordinate to mv i ) and adds to the j th coordinate if and only if there is a edge between v i and v j. This operation does not change the class in Char t Γ), and it does not change the value V = V, PD V). For the graph Γ of ), the vector, 0, 0, 0, 0, 0, 0, 0),,, 0,, 0, 0, 0)

13 Finite knot surgeries and Heegaard Floer homology and,,, 0,, 0, 0, 0) 0,,, 0,,, 0, 0) or 0,,,,, 0, 0, 0) or 0,,, 0,, 0, 0, 0) A path of vectors is a sequence {V 0, V,, V k } where V i+ is derived from V i by this operation, and a full path is maximal with respect to this operation. For example, 0, 0, 0, 0, 0, 0, 0, 0) is actually a full path for Γ of ). A nice characteristic vector obeys ) mv i ) V, v i mv i ) i that is, the i th coordinate of v T Q is between mv i ) and mv i ). There are a finite number of nice characteristic vectors. Every full path of nice vectors {V 0, V,, V k } has the additional property that V 0 and V k obey 6) 7) mv i ) < V 0, v i mv i ) mv i ) V k, v i < mv i ) i i For Γ of ),,, 0, 0, 0, 0, 0, 0) is nice, but,, 0, 0, 0, 0, 0, 0) is not. If there is any full path of nice vectors containing V, then all paths containing V have only nice vectors, and all full paths containing V start and end at the same V 0 and V k. For Γ of ), there is actually only one full path of nice vectors, and it contains only one vector 0, 0, 0, 0, 0, 0, 0, 0). Then Corollary [, Corollaries. and.] Let Γ be a graph with at most one bad vertex, as in Equation with t Spin c YΓ)). Then V + Γ dyγ),t) = max V Char tγ) In fact, this maximum is obtained over the vectors that are part of nice full paths and obey Equation 6 equivalently, Equation 7). Given a characteristic vector V written as v T Q, it is easy to calculate d YΓ),t) since V = VQV T = v T Q)Q v T Q) T. In the case of Γ of ), the vector v T Q = 0, 0, 0, 0, 0, 0, 0, 0) has V = 0 and so d YΓ), 0) = where 0 is the single Spin c structure.

14 M. Doig Example Calculate the correction terms for the first family of dihedral manifolds from Theorem 6, Y = ;,, n). Reversing orientation so e Y) < 0, Y = ;,, n ) n and Γ is where v is degree vertex on the left, v is on the top arm, v is on the middle arm, and v,,v n+ are on the bottom arm. Each unlabeled vertex has weight mv i ) =. Equivalently, the -manifold has intersection form Q = There are four full, nice paths of Q; they start with the four vectors which, when written in the form v T Q, are These vectors have squares 0, 0, 0, 0,, 0) 0,, 0, 0,, 0) 0, 0,, 0,, 0) 0, 0, 0, 0,, ) 0, n+), n+), respectively, and so the correction terms of YΓ) are n+ n, 0, 0, We list the correction terms for all the dihedral manifolds of H Y) in Table for later use.

15 Finite knot surgeries and Heegaard Floer homology dy,t) as a knot surgery obstruction H Y) d n+ 0 0 n 7 8 n 8 n+ 8 n n Table : The correction terms for Y for H Y) < 0. See Theorem 6: Y is given the canonical orientation, and n is the odd integer b. m n d mod 0 n+ n 8 mod n 8 n+ 8 mod 6 n+ n n+8 n 8 6 mod 0 n+ 6 n 6 n 6 6 n+0 6 m0 mod n 0 n 0 n+0 0 n 0 0 n+ 0 n mod 0 n 0 n 0 0 n+0 0 n 0 n+6 0 n+8 0 mod 6 n+6 n+8 n 8 n n 6 n 8 mod 7 n 8 n n n 6 n n+ n+6 n+0 mod 7 n+ n+8 n 0 n n+ n+ n n 6 mod 7 n+ n 8 n+0 n 0 n+8 n 6 n+ n+ 7 mod n 6 n 8 n n n+ n 8 n+ n 0 mod n n+0 n 0 n+ n 6 n+6 n+8 n Table : The correction terms of Y = ;,, n) m with H Y) = m where k = n mod m. Note that, if n and n are equal mod m), then dy m,n,t) = dy m,n, t) since ;,, ) m n = ;,, n) m. The terms come in two flavors, those constant for the entire family, which are of form m not necessarily reduced), and those dependent on n, which are of form n+ m. Before we prove Theorems and, we will summarize the proof of Theorem, due to Ghiggini: Proof of Theorem [, Corollary.7] By Theorem 6, the Poincaré homology sphere

16 6 M. Doig is up to orientation) Y = ;,, ). Assume Y = S p/q K) with p/q > 0. Then H Y) = p, so p =. If p/q < 0, reverse orientation using Sp/q K) = S p/q mirrork)) and dy,t) = d Y, t).) Since Y is not a lens space, gk) > 0; since it is an L-space, Theorem says: Therefore, p/q = and gk) =. q gk) By Theorem, K T) = T +T. By Corollary 0, K is fibered. Therefore, K is the right-handed trefoil T, or the lefthanded one T, see, e.g., Burde and Zieschang []). By the calculations in the proof of Corollary 8, S T,) = S T, ) = ;,, ). S T, ) = ;,, ) 8 may be eliminated by by Theorem 6) it is not elliptic). Proof of Theorem Assume Y is Seifert-fibered but not a lens space, and Y = S p/q K) where p/q > 0. Note that, if S p/q K) is an elliptic space, then S p/q mk) where mk is the mirror must be elliptic, too, but Sp/q mk) and S p/q K) cannot be; see Corollary. H Y) = : Y = ± ;,, ) and q gk), so p/q = with gk) = and K T) = T + T, and K must be a trefoil. S T,) = ;,, ). H Y) = : Y = ± ;,, ). Either p/q = / with gk) = and K T) = T + T and K the trefoil, or else p/q = with 0 < gk). In the latter case, Theorem shows that the symmetrized Alexander polynomial of K may be T), T), or T) see Table for a number of Alexander polynomials we will use). To narrow this down, calculate the corresponding correction terms that would result

17 Finite knot surgeries and Heegaard Floer homology 7 from +-surgery on knots with these Alexander polynomials. By Theorem : ds K), i) = dl,, i) j= ja j+c { / i = 0 = /6 i = ± + i = 0 0 i = ± = / / 7/ i = 0 /6 /6 /6 i = ± On the other hand, dy,t) may be calculated as in Example ; Y = ;,, has e Y) < 0, and Γ is ) where v is degree vertex on the left, v is on the top arm, v,v are on the middle arm, and v,v 6 are on the bottom arm. Each vertex has weight mv i ) =. There are three nice full paths, starting with the vectors written in the form v T Q) 0, 0, 0, 0, 0, 0) 0, 0, 0,, 0, 0) 0, 0, 0, 0, 0, ) with squares and correction terms 0, 6, 6, 6, 6 These terms do not match the correction terms coming from surgery on a knot with Alexander polynomial T) or T), so the Alexander polynomial can only be T), and K is a trefoil. S T,) = ;,, ).

18 8 M. Doig T) = T T) = T T + T) = T T) = T T + T T) = T T + T T + T) = T T + T T) = T T + T T + T 6 T) = T 6 T + T T + T T + 7 T) = T 7 T 6 + T T + T T + T 8 T) = T 8 T 7 + T T + T T + 8 T) = T 8 T 7 + T T + T T) = T T 8 + T T + T T + Table : The Alexander polynomials i T). H Y) = : Y = ± ;,, n) with odd n. Either p/q = / with gk) = and K the trefoil but this Y is not elliptic), or p/q = with gk) = or and Alexander polynomial T), T), or T). In the latter case, ds K), i) = / / / i = 0 0 i = ± / / / i = These terms match the dy,t) calculated in Example only for T) and n =, which is S T,) = ;,, ). H Y) = or 6: All elliptic Y with these first homologies are lens spaces. H Y) = 7: Y = ± ;,, ) with dy,t) from Table. By Boyer-Zhang, elliptic hyperbolic surgeries must be integral or half-integral [, Theorem.], so it may be p/q = 7/ with gk) and Alexander polynomial T), T), or T), or p/q = 7 with gk) and appropriate Alexander polynomial. Of the 8 possible sets of ds7/q K),t), the only ones that match dy,t) are 7/-surgery and T) which must be the trefoil) and 7/-surgery and T) which must be T, : by Ni and Zhang, if Sp/q K) = S p/q T,) is an L-space, then K is T, [7, Proposition.]). Finally, S 7 T,) = S 7/ T,) = ;,, ). It was previously known that there is no finite /-surgery: finite surgery on a hyperbolic knot must be integral or half-integral [, Theorems.,.], and no ±/-surgery on a non-hyperbolic knot gives this Y [, Theorem 7].

19 Finite knot surgeries and Heegaard Floer homology H Y) = 8: Y = ± ;,, n) with n odd. The dy,t) are listed in Table. If p/q = ±8, gk). There are only two possible choices of K T) and n that give the same correction terms; for these cases, ds 8 K),t), it), and n are listed in Table. H Y) = : Y = ;,, ) and the correction terms are given in Table. If p/q =, then gk) ; if p/q = /, then gk). Comparing the correction terms shows that the Alexander polynomial must be T) when q =, so K is the trefoil. Proof of Theorem the results: The calculations were performed by computer. We summarize For each choice of H Y) = m, Theorem 6 gives a description like ;,, m n ) for all possible Y. The correction terms for each such manifold are listed in Table. On the other hand, assuming Y is a knot surgery, Theorem restricts the surgery coefficients that can give Y, and Theorems and 0 restrict the Alexander polynomial of the knot of which there are less than x for x = p q ). Using Theorem, it is possible to calculate the correction terms of the resulting surgeries for each knot assuming they are indeed L-spaces). Table lists the cases where the correction terms for surgeries on the knots with the given Alexander polynomials from Table match the correction terms for the appropriate finite manifolds. For uniqueness of the first set of cases, note that these manifolds do not appear in the list obtainable by p/ surgery and so are not surgery on hyperbolic K. They are also not on the list of finite satellite surgeries from [] and are not obtainable from surgery on any other torus knots by Corollary 7. Conjectures We have applied the correction term to obstruct a manifold being surgery on a knot, and, in all but one case studied, it was a sufficient obstruction. Conjecture 6 The Heegaard Floer correction terms dy, t) are sufficient to distinguish which finite manifolds are knot surgeries. A careful examination of Theorem also suggests a more specific conjecture: all known examples of ;,, m n) which are knot surgeries obey n m+ and the cases n = m ± are realized by torus knots).

20 0 M. Doig i p n d Table : dspk),t) where K has the given Alexander polynomial i T), assuming S ) pk) exists and is an L-space. Also listed is the n for which some ± ;,, p/ n has the same correction terms. See Table for the Alexander polynomials. The very first and last correction terms listed correspond to a unique t Spin c Y); the others correspond to two t each.

21 Finite knot surgeries and Heegaard Floer homology Conjecture 7 Each family of dihedral manifolds with a fixed H Y) includes finitely many knot surgeries. In particular, if n > m+, then ;,, m n) is never a knot surgery. References [] John Berge, Obtaining lens spaces by surgeries on knots, unpublished. [] Steven A. Bleiler and Craig D. Hodgson, Spherical space forms and Dehn filling, Topology 6), no., [] S. Boyer and X. Zhang, Finite Dehn surgery on knots, J. Amer. Math. Soc. 6), no., [] Steven Boyer and Xingru Zhang, A proof of the finite filling conjecture, J. Differential Geom. 00), no., [] Gerhard Burde and Heiner Zieschang, Knots, de Gruyter Studies in Mathematics, vol., Walter de Gruyter & Co., Berlin, 8. [6] Marc Culler, C. McA. Gordon, J. Luecke, and Peter B. Shalen, Dehn surgery on knots, Ann. of Math. ) 87), no., [7] John C. Dean, Small Seifert-fibered Dehn surgery on hyperbolic knots, Algebr. Geom. Topol. 00), 7 electronic). [8] Arnaud Deruelle, Katura Miyazaki, and Kimihiko Motegi, Networking Seifert surgeries on knots, Mem. Amer. Math. Soc. 7 0), no. 0, viii 0. [] Margaret Doig, Spherical Seifert fibered spaces, knot surgeries, and Heegaard Floer homology, Ph.D. thesis, Princeton University, 00. [0] Ronald Fintushel and Ronald Stern, Constructing lens spaces by surgery on knots, Math. Z. 7 80), no.,. [] David Futer, Masaharu Ishikawa, Yuichi Kabaya, Thomas W. Mattman, and Koya Shimokawa, Finite surgeries on three-tangle pretzel knots, Algebr. Geom. Topol. 00), no., [] David Gabai, Foliations and the topology of -manifolds. III, J. Differential Geom. 6 87), no., 7 6. [] Paolo Ghiggini, Knot Floer homology detects genus-one fibred knots, Amer. J. Math ), no., 6. [] Robert E. Gompf and András I. Stipsicz, -manifolds and Kirby calculus, Graduate Studies in Mathematics, vol. 0, American Mathematical Society, Providence, RI,. [] C. McA. Gordon, Dehn surgery and satellite knots, Trans. Amer. Math. Soc. 7 8), no.,

22 M. Doig [6] C. McA. Gordon and J. Luecke, Knots are determined by their complements, Bull. Amer. Math. Soc. N.S.) 0 8), no., [7] Joshua Greene, The lens space realization problem, arxiv: [8] András Juhász, Holomorphic discs and sutured manifolds, Algebr. Geom. Topol ), 7 electronic). [] Rob Kirby, Problems in low dimensional manifold theory, Algebraic and geometric topology Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 76), Part, Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 78, pp. 7. [0] Robion Kirby, A calculus for framed links in S, Invent. Math. 78), no., 6. [] W. B. R. Lickorish, A representation of orientable combinatorial -manifolds, Ann. of Math. ) 76 6), 0. [] Thomas Mattman, Cyclic and finite surgeries on pretzel knots, J. Knot Theory Ramifications 00), no. 6. [] Thomas Mattman, Katura Miyazaki, and Kimihiko Motegi, Seifert-fibered surgeries which do not arise from primitive/seifert-fibered constructions, Trans. Amer. Math. Soc ), no., 0 0 electronic). [] Louise Moser, Elementary surgery along a torus knot, Pacific J. Math. 8 7), [] Walter D. Neumann, A calculus for plumbing applied to the topology of complex surface singularities and degenerating complex curves, Trans. Amer. Math. Soc. 68 8), no.,. [6] Yi Ni, Knot Floer homology detects fibred knots, Invent. Math ), no., [7] Yi Ni and Xingru Zhang, Towards a Dhen surgery characterization of T,), arxiv: [] Peter Ozsváth and Zoltán Szabó, Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary, Adv. Math. 7 00), no., 7 6. [], On the Floer homology of plumbed three-manifolds, Geom. Topol. 7 00), 8 electronic). [0], Holomorphic disks and genus bounds, Geom. Topol. 8 00), electronic). [], Holomorphic disks and three-manifold invariants: properties and applications, Ann. of Math. ) 00), no.,. [], Holomorphic disks and topological invariants for closed three-manifolds, Ann. of Math. ) 00), no., [], On knot Floer homology and lens space surgeries, Topology 00), no. 6, 00.

23 Finite knot surgeries and Heegaard Floer homology [], Holomorphic triangles and invariants for smooth four-manifolds, Adv. Math ), no., [], Knot Floer homology and rational surgeries, Algebr. Geom. Topol. 0), no., 68. [6] Grisha Perelman, The entropy formula for the Ricci flow and its geometric applications; Ricci flow with surgery on three-manifolds; Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, arxiv:0, arxiv:000, arxiv:07. [7] Timothy Perutz, Hamiltonian handleslides for Heegaard Floer homology, Proceedings of Gökova Geometry-Topology Conference 007, Gökova Geometry/Topology Conference GGT), Gökova, 008, pp.. [8] Peter Scott, The geometries of -manifolds, Bull. London Math. Soc. 8), no., [] Herbert Seifert, Topologie Dreidimensionaler Gefaserter Räume, Acta Math. 60 ), no., 7 8. [0] Herbert Seifert and William Threlfall, Seifert and Threlfall: a textbook of topology, Pure and Applied Mathematics, vol. 8, Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York, 80, Translated from the German edition of by Michael A. Goldman, With a preface by Joan S. Birman, With Topology of -dimensional fibered spaces by Seifert, Translated from the German by Wolfgang Heil. [] Andrew H. Wallace, Modifications and cobounding manifolds. IV, J. Math. Mech. 6), 8. [] Xingru Zhang, On property I for knots in S, Trans. Amer. Math. Soc. ), no., Department of Mathematics, Indiana University, Bloomington, Rawles Hall, 8 E rd St, Bloomington, IN 70 mdoig@indiana.edu