On 4-dimensional s-cobordisms
type: Item
instance of: scholarly article
title: On 4-dimensional s-cobordisms
zbMATH Open document ID: 0597.57008
author: Julius L. Shaneson
author: Sylvain Cappell
published in: Journal of Differential Geometry
publication date: 1985-01-01T00:00:00Z
review text: The authors exhibit a family of orientable counterexamples to the topological s-cobordism theorem in dimension 4. Let \(Q_ r\) be the quaternion group of order \(2^{r+1}:\) \(Q_ r=\{y,x|\) \(y^ 2=x^{2r}\), \(yxy^{-1}=x^{-1}\}\) with \(r\geq 2\). Let \(M_ r\) be a 3- dimensional spherical space-form with fundamental group \(Q_ r\). For each invertible knot \(k\subset S^ 3\) whose \(2^{r+1}\)-fold branched cyclic cover is a homology sphere the authors construct a compact topological 4-manifold \(W_ k\) with boundary \(M_ r\times \{0,1\}\) so that \(W_ k\) satisfies the hypotheses of the s-cobordism theorem. The construction crucially uses Freedman's realization of a hyperbolic plane in \(\pi_ 2(X)\) where X is a 4-manifold with finite \(\pi_ 1\) by an imbedded punctured \(S^ 2\times S^ 2\). It is shown that if \(W_ k\) is homeomorphic to \(M_ r\times [0,1]\) then \(\Delta_ k(t)\equiv u^ 2\) mod (t\({}^ s-1)\) where \(\Delta_ k\) is the Alexander polynomial of k, u is an element of Z[t] and \(s=2^{r+1}\). For example, if k is the torus knot of type \((2^ r-1,2^ r+1)\) then the condition is not satisfied and hence \(W_ k\) is not \(M_ r\times [0,1]\). The proof of the condition on \(\Delta_ k\) uses the technique of Reidemeister torsions and the fact (due independently to the authors and H. Rubinstein) that homotopic self-homeomorphisms of \(M_ r\) are actually isotopic.
Mathematics Subject Classification ID: 57N13
Mathematics Subject Classification ID: 57Q10
Mathematics Subject Classification ID: 57N70
zbMATH DE Number: 3962768
zbMATH Keywords: counterexamples to the topological s-cobordism theorem in
zbMATH Keywords: dimension 4
zbMATH Keywords: quaternion group
zbMATH Keywords: 3-dimensional spherical space-form
zbMATH Keywords: invertible knot
zbMATH Keywords: branched cyclic cover
zbMATH Keywords: homology sphere
zbMATH Keywords: topological 4-manifold
zbMATH Keywords: Alexander polynomial
zbMATH Keywords: torus knot
zbMATH Keywords: Reidemeister torsions
zbMATH Keywords: homotopic self- homeomorphisms
zbMATH Keywords: isotopic
zbMATH Keywords: counterexamples to the topological s-cobordism theorem in dimension 4
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.4310/jdg/1214439723
OpenAlex ID: W2140832572
Wikidata QID: Q115186535
DOI: 10.4310/JDG/1214439723
Recommended article: On four-dimensional s-cobordisms. II
Recommended article: Smooth nontrivial 4-dimensional 𝑠-cobordisms
Recommended article: On Four-Dimensional h-Cobordism
Recommended article: Cobordism of surfaces embedded into \(S^4\)
Recommended article: Cappell-Shaneson's 4-dimensional \(s\)-cobordism
Recommended article: On four-dimensional Poincaré duality cobordism groups
Recommended article: Four-dimensional Haken cobordism theory
Recommended article: Complexity of 4-dimensional \(h\)-cobordisms
Recommended article: Singular fibers and 4-dimensional cobordism group
Recommended article: Q4495767
description: scientific article; zbMATH DE number 3962768