A classification of S^3-bundles over S^4

DOI10.1016/S0926-2245(03)00012-3MaRDI QIDQ1405271zbMATH OpenOpenAlexWikidataFDO

Authors Christine M. Escher, Diarmuid Crowley

Publication date 25 August 2003

Published in Differential Geometry and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0004147

zbMATH Keywords

\(\mu\)-invariantdiffeomorphism classificationhomeomorphismhomotopyregular covering mapregular filtrationsphere bundles over spheres

Mathematics Subject Classification ID

Classification of fiber spaces or bundles in algebraic topology (55R15) Sphere bundles and vector bundles in algebraic topology (55R25) Homology of classifying spaces and characteristic classes in algebraic topology (55R40) Applications of Eilenberg-Moore spectral sequences (57T35)

Abstract: We classify the total spaces of bundles over the four sphere with fiber a three sphere up to orientation preserving and reversing homotopy equivalence, homeomorphism and diffeomorphism. These total spaces have been of interest to both topologists and geometers. It has recently been shown by Grove and Ziller that each of these total spaces admits metrics with nonnegative sectional curvature.

Review text

The authors consider \(S^3\)-bundles over \(S^4\) with structure group \(\text{SO}(4)\). It is known that the set of equivalence classes of such bundles is in one-to-one correspondence with \(\pi_3(\text{SO}(4))\cong \mathbb{Z}\oplus\mathbb{Z}\) and also there is a choice of generators \(\rho\) and \(\sigma\) of \(\pi_3(\text{SO}(4))\) such that \(\rho(u)v= uvu^{-1}\) and \(\sigma(u)v= uv\) identifying \(S^3\) with the unit quaternions. This choice of generators provides, for any pair of integers \((m,n)\), a vector bundle corresponding to the element \(m\rho\oplus n\sigma\in \pi_3(\text{SO}(4))\). Denote by \(M_{m,n}\) the total space of its associated sphere bundle. Then the purpose of this paper is to give a complete classification of these manifolds \(M_{m,n}\) up to orientation preserving and reversing homotopy equivalence, homeomorphism and diffeomorphism. But one sees it suffices to work with \(n\geq 0\) by use of the \textit{I. M. James} and \textit{J. H. L. Whitehead} device [Proc. Lond. Math. Soc. 5, 148-166 (1955; Zbl 0067.15901)]. The results are stated in Theorem 1.1, 1.2 and 1.5 together with Corollaries 1.3, 1.4 and 1.6. They are not only interesting in principle but also computable since they are described in terms of congruences of \(m\) and \(n\). The proof of the homotopy equivalence case uses PL-surgery theory which enables one to deduce the homotopy classification as a consquence of the PL-homeomorphism classification. So the authors begin by classifying \(M_{m,n}\) up to PL-homeomorphism and homeomorphism. This is done along the lines of the lines of David. L. Wilkens' approach [Bull. Lond. Math. Soc. 4, 27-31 (1972; Zbl 0241.57018)] using two topological invariants \({p_1\over 2}\) and \(s_1\). The diffeomorphism classification is deeply related to PL-homeomorphism classification. The authors prove that \(M_{m,n}\) and \(M_{m',n}\) are diffeomorphic if and only if they are PL-homeomorphic and their \(\mu\)-invariants coincide, i.e., they have the same invariants \({p_1\over 2}\) and \(\mu\).

Recommendations

• scientific article; zbMATH DE number 1067800
• On complexes equivalent to \(\mathbb{S}^3\)-bundles over \(\mathbb{S}^4\)
• The diffeomorphism type of certain \(S^{3}\)-bundles over \(S^{4}\)
• Homotopy types of gauge groups related to \(S^{3}\)-bundles over \(S^{4}\)
• The Classification of Pin₄-Bundles over a 4-Complex
• SU(3) structures on \(S^{2}\) bundles over four-manifolds
• S²-bundles over aspherical surfaces and 4-dimensional geometries
• S\sp 3-bundles and exotic actions
• Gromov invariants of \(S ^{2}\)-bundles over 4-manifolds
• Homotopy classification of connected sums of sphere bundles over spheres. III

Cites work

• An exotic sphere with nonnegative sectional curvature
• An invariant for certain smooth manifolds
• Classification problems in differential topology. VI: Classification of \((s-1)\)-connected \((2s+1)\)-manifolds
• Classifying Spaces for Surgery and Corbordism of Manifolds. (AM-92)
• Closed (s -1)-Connected (2s $1)-Manifolds, s = 3, 7
• Curvature and symmetry of Milnor spheres
• Homeomorphy classification of total spaces of sphere bundles over spheres
• scientific article; zbMATH DE number 3573943 (Why is no real title available?)
• scientific article; zbMATH DE number 3631581 (Why is no real title available?)
• scientific article; zbMATH DE number 1319337 (Why is no real title available?)
• Note on Fibre Spaces
• On complexes equivalent to \(\mathbb{S}^3\)-bundles over \(\mathbb{S}^4\)
• On homotopy type of certain complexes
• On manifolds homeomorphic to the 7-sphere
• Principal quasifibrations and fibre homotopy equivalence of bundles
• Quadratic forms on finite groups, and related topics
• Smooth Group Actions on Sphere Bundles Over Spheres and on Brieskorn Manifolds
• Some bundles of non-negative curvature
• Some Group Actions on Homotopy Spheres of Dimension Seven and Fifteen
• Some nondiffeomorphic homeomorphic homogeneous 7-manifolds with positive sectional curvature
• The Homotopy Theory of Sphere Bundles Over Spheres (I)
• The Homotopy Theory of Sphere Bundles Over Spheres (II)

Cited in

(37)

• Smooth structures on sphere bundles over spheres
• Homotopy types of gauge groups related to \(S^{3}\)-bundles over \(S^{4}\)
• On the cusped fan in a planar portrait of a manifold
• The stable converse soul question for positively curved homogeneous spaces
• Diffeomorphic souls and disconnected moduli spaces of nonnegatively curved metrics
• Moduli space of non-negative sectional or positive Ricci curvature metrics on sphere bundles over spheres and their quotients
• Twisted cohomotopy implies M5-brane anomaly cancellation
• Adiabatic limits of Seifert fibrations, Dedekind sums, and the diffeomorphism type of certain 7-manifolds
• On the moduli spaces of metrics with nonnegative sectional curvature
• Spherical T-duality. II: An infinity of spherical T-duals for non-principal \(\mathrm{SU}(2)\)-bundles
• An \(\mathrm{HP}^2\)-bundle over \(\mathrm{S}^4\) with nontrivial \(\hat{A}\)-genus
• On complexes equivalent to \(\mathbb{S}^3\)-bundles over \(\mathbb{S}^4\)
• Correction for the paper ``\(S^3\)-bundles and exotic actions Bull. Soc. Math. France 112 (1984), 69-92
• The diffeomorphism type of certain \(S^{3}\)-bundles over \(S^{4}\)
• Kreck-Stolz invariants for quaternionic line bundles
• Regular circle actions on 2-connected 7-manifolds
• A CLASSIFICATION OF SMOOTH EMBEDDINGS OF FOUR-MANIFOLDS IN SEVEN-SPACE, II
• S\sp 3-bundles and exotic actions
• scientific article; zbMATH DE number 1254224 (Why is no real title available?)
• The Classification of Pin₄-Bundles over a 4-Complex
• scientific article; zbMATH DE number 1067800 (Why is no real title available?)
• S²-bundles over aspherical surfaces and 4-dimensional geometries
• Locally conformal Kähler reduction
• The coset space of the unified field theory
• Vector bundles with infinitely many souls
• Trapped photons in Schwarzschild-Tangherlini spacetimes
• Vector Bundles of Rank 4 and A3=D3
• Strip bundle realization of the crystals over Uq(D4(3))
• Loop homotopy of 6-manifolds over 4-manifolds
• On manifolds homotopy equivalent to the total spaces of S^7-bundles over S^8.
• Inertia groups of (n-1)-connected 2n-manifolds
• Free circle actions on certain simply connected 7-manifolds
• Sphere bundles over 4-manifolds are trivial after looping
• On rigidity of ALE vector bundles
• The smooth structure set of \(S^{p} \times S^{q}\)
• An exotic \({T_{1}\mathbb{S}^4}\) with positive curvature
• A geometric realization of spherical T-duality via -diagrams

This page was built for publication: A classification of \(S^{3}\)-bundles over \(S^{4}\)

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