Scharlemann's manifold is standard

DOI10.2307/120972MaRDI QIDQ1293366zbMATH OpenOpenAlexFDO

Authors Selman Akbulut

Publication date 28 February 2000

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9712255, https://eudml.org/doc/120134, http://www.math.princeton.edu/~annals/issues/1999/149_2.html

zbMATH Keywords

fake homotopy equivalenceshomology spheresKirby calculussmooth 4-manifolds

Mathematics Subject Classification ID

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.

Review text

In the paper [Duke Math. J. 43, 33-40 (1976; Zbl 0331.57007)], \textit{M. Scharlemann} constructed a closed smooth 4-manifold \(Q\) by surgery of the product \(\Sigma\times S^1\), \(\Sigma\) the Poincaré homology 3-sphere, along a loop in \(\Sigma\times 1\subset\Sigma\times S^1\) normally generating the fundamental group of \(\Sigma\). Moreover, he constructed a homotopy equivalence \[ f: Q\to (S^3 \times S^1)\# (S^2\times S^2), \] which is not homotopic to a diffeomorphism, and asked the question whether or not \(Q\) is diffeomorphic to \((S^3\times S^1)\#(S^2\times S^2)\). This question has stimulated much research during the past twenty years resulting in some partial answers (see the references of the paper). In the present paper, the author gives a nice proof of the above open question so \(Q\) is diffeomorphic to the connected sum \((S^3 \times S^1)\# (S^2\times S^2)\).

Recommendations

• Scharlemann's 4-Manifolds and Smooth 2-Knots in S 2 × S 2
• scientific article; zbMATH DE number 3923687
• scientific article; zbMATH DE number 3892218
• The link surgery of \(S^2 \times S^2\) and Scharlemann's manifolds

Cited in

(11)

• Cappell-Shaneson's 4-dimensional \(s\)-cobordism
• Families of four-dimensional manifolds that become mutually diffeomorphic after one stabilization
• Infinite order corks via handle diagrams
• The link surgery of \(S^2 \times S^2\) and Scharlemann's manifolds
• Ribbon homology cobordisms
• Knot surgery and Scharlemann manifolds
• Scharlemann's 4-Manifolds and Smooth 2-Knots in S 2 × S 2
• Heegaard Floer invariants in codimension one
• Ideal classes and Cappell-Shaneson homotopy 4-spheres
• Topologically isotopic and smoothly inequivalent 2-spheres in simply connected 4-manifolds whose complement has a prescribed fundamental group
• Cappell-Shaneson homotopy spheres are standard

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)