arxiv: v1 [math.gt] 24 Apr 2018

GLUCK TWISTS OF S 4 ARE DIFFEOMORPHIC TO S 4 MARK HUGHES, SEUNGWON KIM, AND MAGGIE MILLER arxiv:1804.09169v1 [math.gt] 24 Apr 2018 Abstract. We prove that every Gluck twist on an embedded 2-sphere in S 4 is diffeomorphic to S 4. We accomplish this by showing that a genus-g surface in CP 2 intersecting the standard CP 1 in a single positive intersection point is isotopic to CP 1 trivially stabilized g times. These results provide answers to questions of Kirby (4.24) and Gabai, as well as a partial answer to a question of Melvin. 1. Introduction We begin by recalling the Gluck twist operation on a smooth 4-manifold X 4. Definition 1.1. Let S X 4 be a 2-sphere with trivial normal bundle, and let ν(s) be a tubular neighborhood of S. By Gluck [Gl], up to isotopy there is only one potentially nontrivial way to delete and reglue ν(s) from X 4. We call the resulting manifold X 4 S the Gluck twist of X4 about S. When π 1 (X 4 ) = 1 and S is null-homologous, the manifolds XS 4 and X4 are homeomorphic. Akbulut [A] constructed explicit examples of 2-spheres S X 4 where XS 4 is not diffeomorphic to X4. Akbulut s examples are nonorientable 4- manifolds; it is unknown whether such examples exist in orientable 4-manifolds. Gluck twists of S 4 have been studied as potential counterexamples to the smooth 4-dimensional Poincaré conjecture (see e.g., [AK, Gom2]). On some families of 2-spheres in S 4, the Gluck twist is known to yield S 4 with the standard smooth structure (see e.g., [Gom1, Gor, HMY, Mo, P]). Our main theorem is the following: Theorem 1.2. Let S be a smoothly embedded 2-sphere in S 4. Then the Gluck twist of S 4 about S is diffeomorphic to S 4. Remark 1.3. Theorem 1.2 affirmatively answers Problem 4.24 on Kirby s problem list [Ki]. We prove Theorem 1.2 by studying a certain class of surface knots in CP 2 called unit knots, or embedded oriented surfaces F CP 2 which intersect the standard CP 1 transversely in a single positive intersection point. When F is a 2-sphere, we call S a unit 2-knot. Paul Melvin [Me] related the study of the Gluck twist in S 4 to understanding unit 2-knots in CP 2. Given a 2-sphere S S 4, we can take the connected sum of the pairs (S 4, S) and (CP 2, CP 1 ) to yield a unit 2-knot F = S#CP 1 inside the blow-up S 4 #CP 2 = CP 2. In fact, any unit 2-knot F CP 2 which intersects the standard 1

2 MARK HUGHES, SEUNGWON KIM, MAGGIE MILLER CP 1 transversely in a single point can be obtained in this way, and Melvin [Me] proved that the blow-down of CP 2 along such an F is diffeomorphic to the Gluck twist of S 4 about S. We prove that any unit surface knot is trivial: Theorem 1.4. Let F CP 2 be a genus-g unit surface knot. Then F is isotopic to CP 1 #gt, where CP 1 #gt indicates the standard CP 1 trivially stabilized g times. Remark 1.5. It follows from Theorem 1.4 that if F CP 2 is a genus-g oriented surface intersecting the standard CP 1 transversely in a single negative intersection point, then F is isotopic to CP 1 #gt. From now on, we will assume the surface F is oriented and intersects the standard CP 1 positively in a single point. In our proof of these results we follow the techniques used by Kawauchi [Ka2] in his recent paper proving that topologically unknotted surfaces in S 4 are smoothly unknotted, adapting these techniques to surfaces in CP 2. Acknowledgements. The first author would like to thank Alexander Zupan for interesting conversations on possible unknotting strategies in CP 2. The third author is a fellow in the National Science Foundation Graduate Research Fellowship program, under Grant No. DGE-1656466. She would like to thank her graduate advisor, David Gabai. 2. Preliminaries Let CPstd 1 CP 2 be defined in homogenous coordinates [z 0 : z 1 : z 2 ] on CP 2 by z 0 = 0. We call CPstd 1 the standard CP 1 inside CP 2. Let Z CP 2 be the closure of a small tubular neighborhood of CPstd 1, and let Y be the closure of CP 2 \Z. Note that Y is diffeomorphic to the closed 4-ball B 4. Let Σ be the 3-sphere Y = Z = Y Z. Now let F be a unit surface knot, i.e., F is an orientable, connected, embedded surface in CP 2 which intersects CPstd 1 transversely in a single positive intersection point. Then we can blow-down along CPstd 1 by removing the pair (Z, Z F ) and gluing (B 4, D 2 ) along the boundary of its complement, where D 2 is an unknotted disk properly embedded in B 4. This results in the ambient manifold S 4, and we denote the resulting surface by S S 4. Letting CP 1 denote a transverse push-off of CPstd 1, we can again obtain the surface F as the result of taking the connected sum of the pairs (S 4, S)#(CP 2, CP 1 ). We will thus write F = S#CP 1. Let S = F Y and CP 1 = F Z, which we think of as punctured copies of S and CP 1 respectively. Definition 2.1. Let F = S#CP 1. We say that F is ribbon if F is isotopic to a surface of the form R#CP 1, where R is a ribbon surface-knot in S 4. Note that a ribbon surface F may also be isotopic to S#CP 1 for a non-ribbon surface S S 4. Definition 2.2. Write T to denote an embedded torus bounding a genus-1 handlebody, which is contained in a small ball in Y \ F. Then F #T = S#T #CP 1 is a

GLUCK TWISTS OF S 4 ARE DIFFEOMORPHIC TO S 4 3 trivial stabilization of S#CP 1. In particular, we take the stabilizing trivial torus summands to lie outside of Z. Definition 2.3. We say that a genus-g surface F CP 2 is stably trivial if for some n, F #nt is isotopic to (g + n)t #CP 1. We say that F is trivial if we can take n to be zero. We say that F is stably ribbon if for some n, F #nt is ribbon. Lemma 2.4. Let F CP 2 be a unit surface knot. Then F is stably trivial. Proof. We claim that π 1 (CP 2 \ F ) = 1. Assuming this, the lemma follows from [BS, Theorem 1]. (Note that each stabilizing torus T is contained a 4-ball which can shrink to be contained in Y.) Now to see π 1 (CP 2 \ F ) = 1, take a small meridian µ of F. There is a disk D CP 2 with D = µ, and D F = {pt}. The intersection points of D F and CPstd 1 F can be eliminated by joining D and CP std 1 with a tube along F. The resulting disk no longer intersects F, and hence µ is trivial in π 1 (CP 2 \ F ). As CP 2 is simply-connected, π 1 (CP 2 \ F ) is generated by meridians and hence π 1 (CP 2 \ F ) = 1. 3. Ribbon unit surface knots in CP 2 The bulk of the work in proving Theorems 1.2 and 1.4 is in proving the following proposition (cf. [Ka2, Lemma 2.2]): Proposition 3.1. Let F CP 2 be a unit surface knot with F #T ribbon. Then F is ribbon. As stably trivial surfaces are stably ribbon, this implies that any surface F which intersects CPstd 1 transversely in a single point is ribbon. To prove Proposition 3.1, we first give some definitions and lemmas. Definition 3.2. A semi-unknotted punctured handlebody V in CP 2 is a punctured 3-dimensional handlebody V embedded in CP 2 so that V = R O, where R is a surface knot in CP 2, and O is an trivial unlink of unknotted spheres. Lemma 3.3. Let V be a semi-unknotted punctured handlebody in CP 2. Then V can be isotoped to be disjoint from Z. Proof. We can think of V as being constructed from a collection of punctured balls, with 3-dimensional 1-handles attached. By dimensionality arguments we can push the balls and handles radially off of Z and into Y. We can obtain a unit surface knot from a semi-unknotted punctured handlebody V as follows. Isotope V so that it lies in Y, and select an embedded arc c joining V and CP 1 whose interior is disjoint from V CP 1. Then the connected sum of V \ O = R and CP 1 along c will be a unit surface knot F, which we denote by R#CP 1. We will show that the unit surface knot F obtained in this way is unique up to isotopy, which justifies omitting the arc c from our notation. In this case we say that V is a semi-unknotted punctured handlebody associated to the unit surface knot F. Note that the surface F obtained is the same as thinking of V Y = B 4

4 MARK HUGHES, SEUNGWON KIM, MAGGIE MILLER Y V Σ = S 3 R +1 O D Z CP 1 Figure 1. A schematic drawing of a semi-unknotted punctured handlebody V for a surface F CP 2. Note that O is an unlink, so it bounds a disjoint collection B of 3-balls. If V = S O and S is nontrivial, then V B is nonempty. as sitting inside inside S 4, and taking the connected sum of (S 4, V \ O) with (CP 2, CP 1 ) as described above. Kawauchi studied semi-unknotted punctured handlebodies in S 4, and showed that they are closely related to ribbon knots, a result which generalizes to our setting. Lemma 3.4. A unit surface knot F is ribbon if and only if there exists a semiunknotted punctured handlebody V associated to F. Proof. ( = ) If F is ribbon, then F is isotopic to R#CP 1 for a ribbon surface-knot R S 4. By [Ka2, Lemma 2.3], R bounds a semi-unknotted punctured handlebody V in S 4 (which is defined similarly). Blowing up at a point of R gives a semiunknotted punctured handlebody V associated to R#CP 1 in the obvious way.

GLUCK TWISTS OF S 4 ARE DIFFEOMORPHIC TO S 4 5 Figure 2. Kawauchi s M 0, M 1, M 2 moves for chord diagrams in S 4. Red curves represent α arcs, while black curves represent components of o. Gray curves represent arcs from either α or o. ( = ) Suppose F is associated to a semi-unknotted punctured handlebody V, whose boundary is R O where F is isotopic to R#CP 1. Blowing down gives a semi-unknotted punctured handlebody V S 4 for R, and thus by [Ka2, Lemma 2.3] the surface R, and hence F, are both ribbon. Using semi-unknotted punctured handlebodies gives us a way to describe ribbon unit surface knots diagramatically, as we now describe. First, we recall the definition of a chord diagram of a ribbon surface knot R S 4. Definition 3.5. A chord graph for a ribbon-surface in S 4 consists of an unlink o of circles in S 3 and arcs α in S 3 with endpoints on o and interiors disjoint from o. This graph indicates the same ribbon-surface as the banded unlink o with pairs of orientation preserving ribbon bands attached along the α curves. A chord diagram is a planar diagram of a chord graph. (See [Ka2] for details.) In S 4, any two chord diagrams of equivalent ribbon surface-links are related by the moves M 0, M 1, M 2 in Figure 2 [Ka1, Theorem 4.1]. Suppose now that V is a semi-unknotted punctured handlebody in CP 2, with F a unit surface knot associated to V. We will equip CP 2 with the standard handle structure consisting of a single 0-, 2-, and 4-handle. Identify Y with the 4-handle, and Z with the union of the 0- and 2-handles. Let Σ 0 be the boundary of the 0- handle, which we think of as the attaching level where the 2-handle is attached along a (+1)-framed unknot U. Then the surface CP 1 can be represented in this Kirby diagram as a single unknot L linking U once, where we obtain CP 1 by capping L off with disks in both the 0-handle and 4-handle. After initially pushing V up into the 4-handle Y, we can push the center of the punctured 3-balls B 1,..., B k of V back down into Σ 0 avoiding the attaching region

6 MARK HUGHES, SEUNGWON KIM, MAGGIE MILLER of the 2-handle, in such a way that boundary of each ball intersects Σ 0 transversely, and so that the center of each puncture also lies in Σ 0. We can then push the handles of V back down, along with the connected sum arc c, so that their cores also lie entirely in Σ 0. The intersection of the boundaries B 1,..., B k will give an unlink in Σ 0, whose components are all unlinked from the (+1)-framed 2-handle. Let o denote the union of this unlink with L. We record the location of the cores of the 1-handles by disjoint arcs whose endpoints lie on o, and let α denote the union of these core arcs with c. We call such a configuration (o, α) a chord graph in CP 2. Given a chord graph (o, α) in CP 2 we can construct a unique unit surface knot by capping each component of o with disks in the 0- and 4-handle, and then surgering along 3-dimensional 1-handles whose cores are the α arcs. A chord graph for (o, α) gives rise to a chord diagram, which is a diagram of (o, α) in the standard Kirby diagram of CP 2. Note that up to isotopy the specific component of o to which the (+1)-framed 2-handle is linked is unimportant, and hence we can suppress U from our chord diagrams of unit knots in CP 2. Lemma 3.6. Any two chord diagrams of isotopic ribbon surfaces in CP 2 are related by the above moves M 0, M 1, M 2, as well as the move M 3 in Figure 3. Proof. As o is an unlink, after performing M 0 moves to the diagram of o, we can ensure that it consists of disjoint embedded circles in the plane. After performing M 3 finitely many times, the α arcs can be arranged so that they do not meet the interiors of the disks bounded by o (we remove all linking of the arcs and the minimum disks). We then do moves M 0 and M 2 finitely many times to trivialize the α arcs, so that their image in the diagram is embedded. Finally, we perform M 1 finitely many times to get a chord diagram with one circle and genus(f ) trivial arcs. Thus every ribbon surface in CP 2 is a stabilized CP 1, and can be transformed into a standard diagram by the above moves. Note that in the above proof we actually prove a much stronger fact, which we record here. Scholium 3.7. Let F be a genus-g ribbon surface in CP 2. Then F is isotopic to CP 1 #gt. We now define an operation on semi-unknotted punctured handlebodies, which we record for future use. Definition 3.8. [Ka2] Let V be a semi-unknotted punctured handlebody. We can obtain another semi-unknotted punctured handlebody V as follows: (1) V = V \ (an open B 3 ). (2) V = V \ (a properly embedded arc a V joining two components of O). In (2) we only consider arcs a which yield V with O = V \ R an unlink, as required.

GLUCK TWISTS OF S 4 ARE DIFFEOMORPHIC TO S 4 7 Figure 3. Top row: The move M 3 gives an equivalence between chord diagrams for ribbon surfaces in CP 2. Bottom two rows: We see M 3 is an isotopy in CP 2 by considering the surface as a banded unlink, with a single 1-framed 2-handle U at the site of the blowup. Since the surface in CP 2 is ribbon, bands occur in pairs (b 1, b 2 ). We can slide b 1 over the 2-handle in CP 2, then push b 1, b 2 into the 0-handle (the past) and swim b 2 over the 2-handle. In either of case (1) or (2) above we say that V and V are related by a hollow move. We allow these moves to go in either direction; i.e., V can be obtained from V by a hollow move and vice versa. See Figure 4. 4. Stabilizing ribbon unit surface knots In this section we present the proof of Proposition 3.1 after presenting some necessary definitions and lemmas.

8 MARK HUGHES, SEUNGWON KIM, MAGGIE MILLER Figure 4. Hollow moves relate semi-unknotted punctured handlebodies V and V with boundaries R O and R O respectively. Top: We get V from V by deleting a ball. Bottom: We get V from V by deleting a properly embedded arc a between distinct punctures. We require that O be an unlink. If deleting an arc a would yield O not an unlink, then this is not a valid hollow move. Definition 4.1 ([H]). Given an orientable surface S S 4, the Rohklin quadratic form is a homomorphism q : H 1 (S; Z/2) Z/2 defined as follows. Let [λ] H 1 (S; Z/2). Let P be a surface in S 4 with P = λ, P is normal to S along P, and int P is transverse to S. Let P be a surface transverse to P obtained by sliding P parallel to itself over S. Then q([λ]) = P (P S) (mod 2). Now let F = S#CP 1, and let λ be a closed simple curve on S = F Y. Then λ gives a well-defined homology class [λ] H 1 (S; Z 2 ), and we define q(λ) = q([λ]) Z 2. Note that q(λ) can be computed directly in CP 2 as above, by selecting a surface P and pushoff P which lie entirely in Y. Definition 4.2. Let S S 4 be a surface of genus g. A loop basis of S consists of 2g loops (m j, l j ), j = 1,..., g, which represent a basis for H 1 (S; Z), so that m i m j = m i l j = l i l j = for i j and m j l j = {pt}. A loop basis for F = S#CP 1 CP 2 is a loop basis for S. This is the equivalent to choosing a basis of simple closed curves for H 1 (F ; Z) which lie on S and have the desired intersection properties. Lemma 4.3 ([HK], Lemma 2.1 and 2.2). Say S S 4. Then there exists a loop basis (m j, l j ) of S so that q([m j ]) = q([l j ]) = 0 for all j. Moreover, if S bounds a handlebody, then the m j can be taken to be meridians of this handlebody. From Lemma 4.3 it follows immediately that if F = S#CP 1 then there is a loop basis for F with q(m j ) = q(l j ) = 0 for all j. Moreover, if F is a trivial surface bounding a semi-unknotted punctured handlebody V with O =, then the m j can be taken to bound meridians of V.

GLUCK TWISTS OF S 4 ARE DIFFEOMORPHIC TO S 4 9 Y #(g +1)T Σ = S 3 R +1 D Z CP 1 Figure 5. A schematic of ha handebody V for F. Here, V s a handlebody in Y with V = R D, and F is isotopic to R#CP 1. Lemma 4.4. Let F = S#CP 1 CP 2 be a genus-g surface with an associated semi-unknotted punctured handlebody in Y with O =. Fix two loop bases (m j, l j ) and (m j, l j ) of F. Then there is an isotopy h t : CP 2 CP 2 which fixes Z, and has h 1 (F ) = F, h 1 (m j ) = m j, and h 1(l j ) = l j for all j, if and only if q(m j) = q(m j ) and q(l j ) = q(l j ) for all j. Proof. ( = ) Suppose first that q(m j ) = q(m j ) and q(l j) = q(l j ) for all j. Then the corresponding loop bases on S S 4 satisfies the same relations with respect to q, and hence by [H, Theorem 1.2] there is a diffeomorphism of h : S 4 S 4 with h(s) = S, h(m j ) = m j, and h(l j ) = l j for all j. As the complement of the m j and l j in S is connected, we can isotope the map h so that it fixes a neighborhood of any point p S, without changing h on a neighborhood of the m j and l j. We can then realize the diffeomorphism h by an isotopy h t : S 4 S 4, which fixes a neighborhood of p [KKM]. If we choose p to be the blow-up point, then h t induces an isotopy h t : CP 2 CP 2 with the desired properties. ( = ) Any such isotopy h t induces a diffeomorphism h 1 : S 4 S 4 that fixes S. The desired conclusion then follows from the fact that q is well-defined up to diffeomorphisms of S 4. Proof of Proposition 3.1. Assume that F #T is ribbon, where F = S#CP 1 CP 2 = Y Σ Z for a genus-g surface knot S S 4. By Scholium 3.7, F #T is isotopic to CP 1 #(g+1)t. Fix a semi-unknotted punctured handlebody V for CP 1 #(g+1)t. Notice that we can choose one such that O =, so that V = #(g + 1)T. Let (m j, l j ), j = 1,..., g be a collection of loops on S which form a loop basis for F CP 2. By Lemma 4.3 we can assume that q(m j ) = q(l j ) = 0 for all j. Also let (m T, l T ) be a loop basis for T on which q vanishes. Then (m j, l j ) j = 1,..., g, T form a loop basis for S#T. Let f t : CP 2 CP 2 be an isotopy with f 1 (S#CP 1 #T ) = CP 1 #(g + 1)T. Set f = f 1. Then after pushing the loops off of Z if necessary, (f(m j ), f(l j )) is a loop basis for CP 1 #(g + 1)T. Claim 4.5. q(f(m j )) = q(f(l j )) = 0 for j = 1,..., g, T.

10 MARK HUGHES, SEUNGWON KIM, MAGGIE MILLER Proof. Let λ F #T = S#T #CP 1 be one of the m j or l j, and let P be a surface in Y which is used to compute q(λ) = 0 as in Definition 4.4. Let P be a pushoff along F #T, in which case mod 2 we have 0 q(λ) P (P F #T ) P P + P (F #T ) f(p ) f(p ) + f(p ) f(f #T ). Note that the surfaces f(p ) and f(p ) may intersect Z, and thus cannot be used to compute q(f(λ)) directly. Suppose then that in a small neighborhood of Σ = Z the surfaces f(p ) and f(p ) look locally like pairs of parallel annuli intersecting Σ transversally. The intersections f(p ) Σ and f(p ) Σ will be knots in Σ, and we let W and W Σ be corresponding Seifert surfaces. Removing the annuli neighborhoods of these intersections from f(p ) and f(p ), we can cap off the resulting surfaces on either side of Σ with parallel copies of W and W to obtain new surfaces Q and Q respectively. Cutting and capping in this way will create new intersection points (between Q and Q, as well as with f(f #T )), though they will all be created in mirror pairs which thus do not affect the intersection count mod 2. Let Q Z = Z Q, which represents some homology class d [CPstd 1 ] in H 2(CP 2 ; Z). The integer d equals the self-intersection of Q Z, which agrees with the number of intersection points in Z between Q and Q. Likewise d is the same (mod 2) as the number of intersection points between Q Z and f(f #T ). Thus, working mod 2 and letting Q Y = Y Q we have 0 f(p ) f(p ) + f(p ) f(f #T ) Q Q + Q f(f #T ) Q Y Q Y + Q Y f(f #T ) q(f(λ)). On the other hand, as CP 1 #(g + 1)T is trivial, by Lemma 4.3 and the comments following there exists a loop basis (m j, l j ) of CP 1 #(g +1)T where q(m j ) = q(l j ) = 0 and the m j are meridians of V. By Lemma 4.4, there exists a isotopy h t : CP 2 CP 2, with h = h 1 such that h Z = id h(cp 1 #(g + 1)T ) = CP 1 #(g + 1)T, h(f(m j )) = m j, and h(f(l j)) = l j for j = 1,... g, and h(f(m T )) = m g+1, and h(f(l T )) = l g+1. Now we proceed as in [Ka2, Lemma 2.6]. We include the argument for completeness and expand upon some details. By Definition 2.2 of trivial stabilization, there is a disk E which spans the longitude l T F #T, such that surgering F #T along a thickening of E results in a surface equivalent to F. Here we choose E to be normal to F #T along E and

GLUCK TWISTS OF S 4 ARE DIFFEOMORPHIC TO S 4 11 Figure 6. We isotope E within a 3-dimensional neighborhood of l T to remove arcs of intersection in E h(v ). disjoint from F #T away from its boundary. Let E = h(f(e )). Then E I is a 2- handle attached to h(v ) along l g+1 so that F is equivalent to (h(v ) E I)#CP 1. Note that E may intersect h(v ) in closed loops and arcs which are properly embedded in E. We first eliminate arc intersections of E h(v ). Note that because int E h(f(f #T )) =, any arcs of intersection in E h(v ) are properly embedded in E. The framing of E along l g+1 is an element of π 1(SO(2)) = Z, and will necessarily be 0. Say γ E is an innermost arc of intersection with h(v ) (i.e., γ cobounds a disk with δ l g+1 = E within E \ h(v )). Isotope E to be transverse to h(v ) near δ. Let N be a 3-dimensional neighborhood of δ so that E N and h(v ) N are both 2-dimensional. Then within N, we may isotope E to remove the pair of intersections E h(v ) in N (see Figure 6). Now E intersects h(v ) only in closed loops of double points, whose preimages consist of loops in the interior of E and the interior of h(v ). When the disk E is thickened to a 2-handle E I these intersections are thickened, and the intersection loops become intersection annuli. More precisely, E I will intersect the interior of h(v ) in a collection of annuli, where the preimage of each intersection annulus is a pair of annuli A int h(v ) and Ā E I. Here the latter annulus is properly embedded and sitting vertically in E I. For each such pair A and Ā, select a vertical arc β Ā connecting the two boundary components, and let β A be the other preimage of β, with ν(β) a tubular neighborhood in h(v ). Then we can isotope int h(v ) by pushing ν(β) along the 2-handle E I, through h(v ) and out to the complement of h(v ) as in Figure 7. The goal in doing so is to alter our double point set, by splitting both annuli A and Ā into disks, which are improperly and properly embedded respectively. We will then perform a hollow move by deleting a ball around the improper interior disk A created from A, thereby removing the intersection disks altogether. Unfortunately in attempting to slide ν(β) off of the handle and through h(v ) we may encounter internal improperly embedded intersection annuli in the path of ν(β) as in Figure 8. Passing such improper annuli will result in triple points in our immersion which we must deal with. To do so, we examine the effect that sliding ν(β) over such an intersection annulus has on the singular set of h(v ).

12 MARK HUGHES, SEUNGWON KIM, MAGGIE MILLER Figure 7. Sliding a neighborhood of ν(β) over E I and through h(v ). Figure 8. Sliding a neighborhood of ν(β) through an improperly embedded intersection annulus A. Figure 8 can be interpreted as a single time slice of a 4-dimensional movie. The thickened disk and a portion of h(v ) are depicted at the present time in blue, while the green and orange intersecting sheets extend into the past and future, and intersects the present time transversely. We can also, however, look at a movie of Figure 8 by taking slices from the back to front, and thickening these slices with the time dimension, which results in movie as in Figure 9 (essentially we are converting Figure 8 into Figure 9 by swapping the back-to-front dimension with the time dimension). The neighborhood ν(β) is depicted as a green annulus which shrinks down to β as time progresses, and the yellow sheet appears in a single time slice at t = 1. In this figure we can see part of two pairs of intersection annuli. The first pair is traced out in time by the intersection arcs of the green annulus and the blue sheet which are joined at β. This gives a pair of intersection annuli, with an improperly embedded intersection annulus on the green preimage, and a properly embedded annulus on the blue preimage. The second pair of intersection annuli occur at time t = 1, where we see an improperly embedded intersection annulus on the blue preimage, and a properly embedded intersection annulus on the orange preimage.

GLUCK TWISTS OF S 4 ARE DIFFEOMORPHIC TO S 4 13 Figure 9. Movie presentation of local configuration prior to the slide of ν(β). After sliding ν(β) we obtain the movie in Figure 10. Notice that this creates triple points and new intersections, all of which live in time t = 1. In Figure 11 we illustrate what these new intersection annuli look like. In the top row we illustrate the effect of sliding ν(β) from a perspective where the blue sheet occurs in a single time slice, which the green and orange sheets intersect transversely. Similarly, in the second and third row we illustrate the same move in movies where the green and orange sheets are contained in single time slices respectively. Notice that a pair of intersection annuli are created, which we can assume are arbitrarily small. We call such intersection annuli local. Returning now to the task at hand we proceed as described above, pushing an arc from each intersection annulus off of E I and out through h(v ). We assume during each slide that we avoid any local annuli created at earlier stages. This allows us to break all of the original intersection annuli pairs into intersection disk pairs. Let Ā be one such (nonlocal) improperly embedded intersection annulus which was formed from one of the original intersection annuli Ā. Starting at a point of the boundary on an arc which was created during the splitting of Ā and moving inward, we will encounter newly created nonlocal annuli as in the bottom right of Figure 11. These local annuli can be removed one after another by sliding them off of Ā as in Figure 12. These moves leave us with an immersed handlebody W = h(v ) (E I), where the self-intersections of W all occur as disks, with preimages A and Ā. By performing

14 MARK HUGHES, SEUNGWON KIM, MAGGIE MILLER Figure 10. Movie presentation of local configuration prior to the slide of ν(β). Notice the new intersection annuli created at t = 1. a hollow move removing a ball in the interior of h(v ) around each A, we obtain a semi-unknotted punctured handlebody W. Consider now the preimage (h f) 1 (W ), which will be a semi-unknotted punctured handlebody. Notice that surgering along the preimage of E I removes the stabilizing factor of F #T, and hence (h f) 1 (W ) is a semi-unknotted punctured handlebody for F. By Lemma 3.4 then F is ribbon. Corollary 4.6. Let F CP 2 be a connected genus-g surface intersecting CP 1 exactly once. Then F is isotopic to CP 1 #gt. Proof. By Lemma 2.4, F is stably trivial. In particular, F is stably ribbon. By Proposition 3.1 (inductively), F is ribbon. That is, F is equivalent to R#CP 1 for some ribbon-knot R S 4. By the proof of Lemma 3.6, F is equivalent to CP 1 #gt. This concludes the proof of Theorem 1.4. In particular, Corollary 4.6 gives an affirmative answer to the following question of David Gabai, asked as an analog to the 4-dimensional light bulb theorem. Corollary 4.7 ([Ga], Question 10.17.i). Let F CP 2 be a sphere representing the generating homology class [CP 1 ] H 2 (CP 2 ; Z) with F CP 1 = {pt}. Then F is isotopic to the standard CP 1 in CP 2.

GLUCK TWISTS OF S 4 ARE DIFFEOMORPHIC TO S 4 15 Figure 11. Newly created local intersection annuli. Each row demonstrates the effect of sliding ν(β) through an improperly embedded intersection annulus when a different sheet (blue, green, and orange, respectively) is positioned in the present time slice. Corollary 4.8. Let S be a sphere in S 4. Then the Gluck twist of S 4 about S is diffeomorphic to S 4. Proof. Blow-up S 4 on S and let F = S#CP 1. By Corollary 4.6, (CP 2, F ) is diffeomorphic to (CP 2, CP 1 ). By Melvin [Me], this implies that the Gluck twist on S yields S 4. This concludes the proof of Theorem 1.2. 5. Further questions and comments Theorem 1.4 gives a partial answer to the following question of Paul Melvin.

16 MARK HUGHES, SEUNGWON KIM, MAGGIE MILLER Figure 12. Here, the green and orange sheet intersect in local annuli. This orange sheet is a thickened Ā ; a nonlocal annulus that has been pushed out of the boundary of h(v ) to become a disk. We slide green sheets meeting Ā sequentially over Ā to remove the local annuli intersections. Then we delete neighborhoods of the interior Ā. Question 5.1 ([Me], Conjecture 6.1). Let F CP 2 be a sphere representing the generating homology class [CP 1 ] H 2 (CP 2 ; Z). Must (CP 2, F ) be diffeomorphic to (CP 2, CP 1 )? Question 5.1 is problem 4.23 in Kirby s problem list [Ki]. When F CP 1 = {pt}, Theorem 1.4 gives an affirmative answer. We are now left with the following subquestion of Question 5.1. Question 5.2. Let F CP 2 be a sphere representing the generating homology class [CP 1 ] H 2 (CP 2 ; Z). Must (CP 2, F ) be diffeomorphic to (CP 2, F ), where F is a sphere intersecting the standard CP 1 exactly once? Similarly, one could extend Question 5.2 to genus-g or nonorientable surfaces.

GLUCK TWISTS OF S 4 ARE DIFFEOMORPHIC TO S 4 17 Figure 13. Left to right: a banded unlink diagram for S n #CP 1 (see e.g. [MZ, Section 5.2]), where S n is the n-twist spun knot of K, the closure of tangle β. We slide the minima (the black unlink) over the 2-handle. We push the bands (red) into the 0-handle (past) and swim some bands over the 2-handle. We obtain a banded unlink for S n+1 #CP 1. We also provide a particularly slick proof of Theorem 1.4 when F = S#CP 1 for S a twist-spun knot. Theorem 5.3. Let S n be the n-twist spun knot of a 1-knot K. Let F = S n #CP 1 CP 2. Then F is isotopic to CP 1. Proof. In Figure 13, we demonstrate a isotopy in CP 2 taking F to S n+1 #CP 1. Inductively, F is isotopic to S 1 #CP 1. By [Z], S 1 is the unknot, so F is isotopic to CP 1. References [A] S. Akbulut, Constructing a fake 4-manifold by Gluck construction to a standard 4-manifold, Topology 27 (1988), 239-243. [AK] S. Akbulut and R. C. Kirby, A potential smooth counterexample in dimension 4 to the Poincareé conjecture, the Schoenflies conjecture, and the Andrews-Curtis conjecture, Topology 24 (1985), 375-390. [BS] R. I. Baykur and N. Sunukjian, Knotted surfaces in 4-manifolds and stabilizations, J. Topol. 9 (2015), 215-231. [Ga] D. Gabai, The 4-dimensional light bulb theorem, arxiv:1705.09989 [math.gt], May 2017. [Gl] H. Gluck, The embedding of two-spheres in the four-sphere, Bull. Amer. Math. Soc. 67 (1961), 568-589. [Gom1] R. E. Gompf, Killing the Akbulut-Kirby 4-sphere, with relevance to the Andres-Curtis and Schoenflies problems, Topology 30 (1991), 97-115. [Gom2], On Cappell-Shaneson 4-spheres, Topology Appl. 38 (1991), 123-136. [Gor] C. McA. Gordon, Knots in the 4-sphere, Comment. Math. Helv. 51 (1976), 585-596. [HMY] K. Habiro, Y. Marumoto, and Y. Yamada, Gluck surgery and framed links in 4-manifolds, Knots in Hellas 98, Proceedings of the International Conference on Knot Theory and Its Ramifiations, World Scientific, Series on Knots and Everything Vol. 24, pp. 80-93. [HK] J.A. Hillman and A. Kawauchi, Unknotting of orientable surfaces in the 4-sphere, J. Knot Theory Ramifications 4 (1995), 213-224.

18 MARK HUGHES, SEUNGWON KIM, MAGGIE MILLER [H] S. Hirose, On diffeomorphisms over surfaces trivially embedded in the 4-sphere, Algebr. Geom. Topol. 2 (2002), 791-824. [KKM] S. Kamada, A. Kawauchi, T. Matumoto, Combinatorial moves on ambient isotopic submanifolds in a manifold, J. Math. Soc. Jpn. 53 (2001), 321-331 [Ka1] A. Kawauchi, A chord diagram of a ribbon surface-link, J. Knot Theory Ramifications 24 (2015), Article ID: 1540002 (24 pp.) [Ka2], Ribbonness of a stable-ribbon surface-link, arxiv:1804.02654 [math.gt], April 2018. [Ki] R. Kirby, (Ed.)Problems in Low-Dimensional Topology, 1995. http://www.math.berkeley.edu/ kirby/. [MZ] J. Meier and A. Zupan, Bridge trisections of knotted surfaces in S 4, Trans. Amer. Math. Soc. 369 (2017), 7343-7386. [Me] P. Melvin, Blowing up and down in 4-manifolds, Ph. D. thesis, UC Berkeley 1977. http://www.brynmawr.edu/math/people/melvin/papers/m77.pdf [Mo] J. M. Montesinos, On twins in the four-sphere I, Quart. J. Math. Oxford 34 (1983), 171-199. [P] S. P. Plotnick, Fibered knots in S 4 twisting, spinning, rolling, surgery, and branching, Contemp. Math. 45 (1984), 437-459. [Z] E. C. Zeeman, Twisting spun knots, Trans. Amer. Math. Soc. 115 (1965), 471-495.