Abstract: In his 1974 thesis, Martin Scharlemann constructed a fake homotopy equivalence from a closed smooth manifold f:Q -> S^3 x S^1 # S^2 x S^2 and asked whether the manifold Q itself is diffeomorphic to S^3 x S^1 # S^2 x S^2. Here we answer this question affirmatively.
Recommendations
Cited in
(10)- Cappell-Shaneson homotopy spheres are standard
- Cappell-Shaneson's 4-dimensional \(s\)-cobordism
- Infinite order corks via handle diagrams
- The link surgery of \(S^2 \times S^2\) and Scharlemann's manifolds
- Knot surgery and Scharlemann manifolds
- Topologically isotopic and smoothly inequivalent 2-spheres in simply connected 4-manifolds whose complement has a prescribed fundamental group
- Ideal classes and Cappell-Shaneson homotopy 4-spheres
- Heegaard Floer invariants in codimension one
- Ribbon homology cobordisms
- Families of four-dimensional manifolds that become mutually diffeomorphic after one stabilization
This page was built for publication: Scharlemann's manifold is standard
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1293366)