Nonexistence of twists and surgeries generating exotic 4-manifolds

Abstract

It is well known that for any exotic pair of simply connected closed oriented 4-manifolds, one is obtained from the other by twisting a compact contractible submanifold via an involution on the boundary. By contrast, here we show that for each positive integer $n$, there exists a simply connected closed oriented 4-manifold $X$ such that, for any compact (not necessarily connected) codimension zero submanifold $W$ with $b_1(\partial W)<n$, the set of all smooth structures on $X$ cannot be generated from $X$ by twisting $W$ and varying the gluing map. As a corollary, we show that there exists no `universal' compact 4-manifold $W$ such that, for any simply connected closed 4-manifold $X$, the set of all smooth structures on $X$ is generated from a 4-manifold by twisting a fixed embedded copy of $W$ and varying the gluing map. Moreover, we give similar results for surgeries.

18 pages, 4 figures, exposition improved, figures added, to appear in Transactions of the American Mathematical Society

References in corpus (7)

• Corks, Plugs and exotic structures
• Stable isotopy in four dimensions
• Corks, exotic 4-manifolds and knot concordance
• On infinite order corks
• Infinite order corks via handle diagrams
• Non-existence theorems on infinite order corks
• Contact 5-manifolds and smooth structures on Stein 4-manifolds