## Algebraic & Geometric Topology

### Infinite order corks via handle diagrams

Robert Gompf

#### Abstract

The author recently proved the existence of an infinite order cork: a compact, contractible submanifold $C$ of a 4–manifold and an infinite order diffeomorphism $f$ of $∂C$ such that cutting out $C$ and regluing it by distinct powers of $f$ yields pairwise nondiffeomorphic manifolds. The present paper exhibits the first handle diagrams of this phenomenon, by translating the earlier proof into this language (for each of the infinitely many corks arising in the first paper). The cork twists in these papers are twists on incompressible tori. We give conditions guaranteeing that such twists do not change the diffeomorphism type of a 4–manifold, partially answering a question from the original paper. We also show that the “$δ$–moves” recently introduced by Akbulut are essentially equivalent to torus twists.

#### Article information

Source
Algebr. Geom. Topol., Volume 17, Number 5 (2017), 2863-2891.

Dates
Revised: 11 March 2017
Accepted: 22 March 2017
First available in Project Euclid: 16 November 2017

https://projecteuclid.org/euclid.agt/1510841486

Digital Object Identifier
doi:10.2140/agt.2017.17.2863

Mathematical Reviews number (MathSciNet)
MR3704246

Zentralblatt MATH identifier
1380.57024

Keywords
cork h-cobordism 4-manifold

#### Citation

Gompf, Robert. Infinite order corks via handle diagrams. Algebr. Geom. Topol. 17 (2017), no. 5, 2863--2891. doi:10.2140/agt.2017.17.2863. https://projecteuclid.org/euclid.agt/1510841486

#### References

• S Akbulut, A fake compact contractible $4$–manifold, J. Differential Geom. 33 (1991) 335–356
• S Akbulut, Scharlemann's manifold is standard, Ann. of Math. 149 (1999) 497–510
• S Akbulut, An infinite order cork, preprint (2014)
• S Akbulut, On infinite order corks, preprint (2016) To appear in Proc. Gökova Geom. Topol. Conf. (2016)
• S Akbulut, R Kirby, Branched covers of surfaces in $4$–manifolds, Math. Ann. 252 (1979/80) 111–131
• S Akbulut, R Matveyev, A convex decomposition theorem for $4$–manifolds, Internat. Math. Res. Notices (1998) 371–381
• D Auckly, H,J Kim, P Melvin, D Ruberman, Equivariant corks, Algebr. Geom. Topol. 17 (2017) 1771–1783
• C,L Curtis, M,H Freedman, W,C Hsiang, R Stong, A decomposition theorem for $h$–cobordant smooth simply-connected compact $4$–manifolds, Invent. Math. 123 (1996) 343–348
• R Fintushel, R,J Stern, Knots, links, and $4$–manifolds, Invent. Math. 134 (1998) 363–400
• R Fintushel, R,J Stern, Double node neighborhoods and families of simply connected $4$–manifolds with $b^+=1$, J. Amer. Math. Soc. 19 (2006) 171–180
• M,H Freedman, The topology of four-dimensional manifolds, J. Differential Geom. 17 (1982) 357–453
• R,E Gompf, More Cappell–Shaneson spheres are standard, Algebr. Geom. Topol. 10 (2010) 1665–1681
• R,E Gompf, Infinite order corks, Geom. Topol. 21 (2017) 2475–2484
• R,E Gompf, A,I Stipsicz, $4$–manifolds and Kirby calculus, Graduate Studies in Math. 20, Amer. Math. Soc., Providence, RI (1999)
• A Hatcher, D McCullough, Finite presentation of $3$–manifold mapping class groups, from “Groups of self-equivalences and related topics” (R,A Piccinini, editor), Lecture Notes in Math. 1425, Springer (1990) 48–57
• R Matveyev, A decomposition of smooth simply-connected $h$–cobordant $4$–manifolds, J. Differential Geom. 44 (1996) 571–582
• D McCullough, Twist groups of compact $3$–manifolds, Topology 24 (1985) 461–474
• A Ray, D Ruberman, $4$–dimensional analogues of Dehn's lemma, J. London Math. Soc. 96 (2017) 111–132
• M Tange, Finite order corks, Internat. J. Math. 28 (2017) art. id. 1750034, 26 pages
• B Trace, On attaching $3$–handles to a $1$–connected $4$–manifold, Pacific J. Math. 99 (1982) 175–181
• F Waldhausen, On irreducible $3$–manifolds which are sufficiently large, Ann. of Math. 87 (1968) 56–88
• F Waldhausen, Recent results on sufficiently large $3$–manifolds, from “Algebraic and geometric topology, Part 2” (R,J Milgram, editor), Proc. Sympos. Pure Math. XXXII, Amer. Math. Soc., Providence, RI (1978) 21–38