Infinite order corks via handle diagrams

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 $\partial 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 "$\delta$-moves" recently introduced by Akbulut are essentially equivalent to torus twists.

20 pages, 19 figures. v3: Reorganized for publication, exposition slightly expanded. Examples added (after Ray and Ruberman arXiv:1608.08654) of contractible manifolds for which every boundary diffeomorphism extends even though the boundary has an incompressible torus

References in corpus (5)

• Infinite order corks
• On infinite order corks
• Equivariant Corks
• 4-dimensional analogues of Dehn's lemma
• An infinite order cork

Cited by in corpus (6)

• On infinite order corks
• Group actions, corks and exotic smoothings of R^4
• Nonexistence of twists and surgeries generating exotic 4-manifolds
• G-corks & Heegaard Floer Homology
• Infinite nonabelian corks
• On dissolving knot surgery $4$-manifolds under a ${\mathbb{CP}}^2$-connected sum