An exotic orientable 4-manifold

DOI10.1007/BF01457068MaRDI QIDQ1062316zbMATH OpenFDO

Authors Robert E. Gompf

Publication date 1986

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/164093

zbMATH Keywords

exotic orientable 4-manifoldRohlin invariantsmoothings of four manifolds

Mathematics Subject Classification ID

Smoothing in differential topology (57R10) Characteristic classes and numbers in differential topology (57R20)

Review text

We construct two compact, orientable 4-manifolds with boundary which are homeomorphic but not diffeomorphic. These are distinguished by Rohlin's theorem, i.e., they realize the obstruction \(H^ 3(M,\partial M;{\mathbb{Z}}_ 2)={\mathbb{Z}}_ 2\) predicted by Kirby-Siebenmann theory. In this sense, they are analogous to the Cappel-Shaneson fake \({\mathbb{R}}P^ 4\) and related examples, although this is the first such example in the oriented category. Our example contrasts with Donaldson's recent discovery of two closed simply connected 4-manifolds which are homeomorphic but not diffeomorphic. Donaldson's example is much more subtle and difficult, requiring extensive use of gauge theory and algebraic geometry, since no classical obstruction exists to distinguish the smoothings. Our construction proceeds as follows: We begin with Scharlemann's candidate for a fake \(S^ 3\times S^ 1\#S^ 2\times S^ 2\), which has a Poincaré homology sphere \(\Sigma\) representing \(H_ 3\). Using Freedman theory, we cut away the troublesome \(S^ 2\times S^ 2\), leaving a manifold-with-boundary M containing \(\Sigma\). We compare this with a model M' lying in the standard \(S^ 3\times S^ 1\#S^ 2\times S^ 2\) and containing \(S^ 3\) in place of \(\Sigma\). We arrange for M and M' to be homeomorphic, but show that they are not diffeomorphic, due to the nontrivial Rohlin invariant of \(\Sigma\).

Recommendations

• An exotic 4-manifold
• Smoothly embedded 2-spheres and exotic 4-manifolds
• A fake compact contractible 4-manifold
• scientific article; zbMATH DE number 950670
• An exotic smooth structure on {\(\mathbb C\mathbb P^ 2\#6\overline{\mathbb C\mathbb P^ 2}\)}

Cites work

• Constructing strange manifolds with the dodecahedral space
• Ends of maps. III: Dimensions 4 and 5
• scientific article; zbMATH DE number 3935991 (Why is no real title available?)
• Some new four-manifolds
• Stable diffeomorphism of compact 4-manifolds
• The topology of four-dimensional manifolds
• Three exotic R^ 4's and other anomalies

Cited in

(5)

• An exotic 4-manifold
• A fake smooth \(\mathbb{C}\mathbb{P}^ 2\sharp\mathbb{R}\mathbb{P}^ 4\)
• Oriented Manifolds that Fiber Over S 4
• A Hyperbolic 4-Manifold
• Orientable hyperbolic 4-manifolds over the 120-cell

This page was built for publication: An exotic orientable 4-manifold

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1062316)