Two smooth contractible 4-manifolds \(V,W\) are constructed with the same boundary so that they are homeomorphic but are not diffeomorphic relative to the boundary. The differential structure on \(V\) arises from that of \(W\) as the pullback under a self-homeomorphism \(F\) on \(W\) which extends a diffeomorphism \(f\) of the boundary. That \(f\) does not extend to a diffeomorphism plays a key role and is related to the fact that a knot \(\alpha\) in \(\partial W\) is not slice in \(W\). \(W\) is a Mazur manifold formed by attaching a 2-handle to \(S^1 \times B^3\) and \(\alpha\) is the loop given by \(S^1 \times 1 \subset S^1 \times S^2 = \partial (S^1 \times B^3)\). \textit{E. C. Zeeman} [Topology 2, 341-358 (1963; Zbl 0116.40801)] raised the question as to whether \(\alpha\) is slice, and this paper finally settles this question negatively. This can be contrasted with an earlier result of the author and \textit{R. Kirby} [Mich. Math. J. 26, 259-284 (1979; Zbl 0443.57011)] that \(\alpha\) is slice in another smooth contractible manifold with the same boundary. The manifold \(W\) arises as a piece of two homotopy equivalent closed manifolds \(M \#\) and \(\widetilde M\). If \(f\) were to extend to a diffeomorphism, these manifolds would be diffeomorphic. \(\widetilde M\) is shown to be diffeomorphic to (3)\(\# (20)\), and thus has vanishing Donaldson polynomials by \textit{S. K. Donaldson}'s connected sum theorem [Topology 29, 257-315 (1990; Zbl 0715.57007)]. However, the fact that \(M\) is a homotopy \(K3\) surface containing an embedded \(\Sigma (2, 3, 7)\) is used to show that there is a nonvanishing Donaldson polynomial for \(M \#\) by an argument due to \textit{R. Fintushel} and \textit{R. Stern} [J. Differ. Geom. 34, 255-265 (1991; Zbl 0754.14021)]. A key role in the proof is played by Kirby calculus constructions of diffeomorphisms of various 3- and 4-manifolds. There is also a description of a nontrivial \(h\)-cobordism between \(V\) and \(W\) constructed with an algebraically cancelling pair of two- and three-handles to the interior of \(W\). In a related paper appearing immediately following this one in the same journal [ibid., 357-361 (1991; Zbl 0839.57016), see the review below] the author uses similar constructions to form two homeomorphic 4-manifolds \(Q_1\), \(Q_2\) which are homotopy equivalent to \(\text{int} (B^4)\), have the same boundary, but are not diffeomorphic to each other.
- scientific article; zbMATH DE number 3899766
- scientific article; zbMATH DE number 950670
- Constructing a fake 4-manifold by Gluck construction to a standard 4- manifold
- An Example of a Fake s-Manifold with a Nice Locally Contractible Compactification
- Knotted contractible 4-manifolds in \(S^4\).
- \(R^4\)-continua and pseudo-contractibility
- On compact conformally flat 4-manifolds
- An exotic 4-manifold
- Absolutely exotic compact 4-manifolds
- Counterexamples in 4-manifold topology
- An exotic orientable 4-manifold
- Constructing a fake 4-manifold by Gluck construction to a standard 4- manifold
- An exotic 4-manifold
- On manifolds diffeomorphic on the complement of a point
- Stein \(4\)-manifolds with boundary and contact structures
- Group actions, corks and exotic smoothings of \(\mathbb{R}^4\)
- Isotopy of surfaces in 4-manifolds after a single stabilization
- Mazur manifolds and corks with small shadow complexities
- Obstructing pseudoconvex embeddings and contractible Stein fillings for Brieskorn spheres
- Knotted contractible 4-manifolds in \(S^4\).
- Rohlin's invariant and gauge theory. II: Mapping tori
- Stein domains in \(\mathbb{C}^2\) with prescribed boundary
- On contact type hypersurfaces in 4-space
- Exotic Mazur manifolds and knot trace invariants
- On the upsilon invariant and satellite knots
- Equivariant corks
- Infinite order corks via handle diagrams
- Higher order corks
- A note on the complexity of \(h\)-cobordisms
- Absolutely exotic compact 4-manifolds
- Counterexamples in 4-manifold topology
- Satellite operators with distinct iterates in smooth concordance
- Knotting corks
- A genus zero Lefschetz fibration on the Akbulut Cork
- scientific article; zbMATH DE number 3975888 (Why is no real title available?)
- A note on a homology sphere
- scientific article; zbMATH DE number 1057263 (Why is no real title available?)
- scientific article; zbMATH DE number 950670 (Why is no real title available?)
- Corks with large shadow-complexity and exotic four-manifolds
- Cork twists and automorphisms of $3$-manifolds
- G-corks and Heegaard Floer homology
- Stable isotopy in four dimensions
- Finite order corks
- Slice knots and knot concordance
- Multisections of 4-manifolds
- A survey of the homology cobordism group
- On the Frøyshov invariant and monopole Lefschetz number
- Corks, involutions, and Heegaard Floer homology
- On homology planes and contractible 4-manifolds
- Relative genus bounds in indefinite four-manifolds
- Exotic families of embeddings
- Corks, exotic 4-manifolds and knot concordance
- New curiosities in the menagerie of corks
- Trisections of the doubles of some Mazur type 4-manifolds
- C.T.C. Wall's 1964 articles on 4-manifolds
- Practical software for triangulating and simplifying 4-manifolds
- The trace embedding lemma and spinelessness
- The Akbulut cork is not universal
- From finite state automata to tangle cobordisms: a TQFT journey from one to four dimensions
- Embedded surface invariants via the Broda-Petit construction
- Exotic 4-manifolds with small trisection genus
- Minimal genus relative trisections of corks
- Gompf's Cork and Heegaard Floer homology
- Corks for exotic diffeomorphisms
- Involutions and the Chern-Simons filtration in instanton Floer homology
This page was built for publication: A fake compact contractible 4-manifold
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1175264)
