S^3-bundle over S^4

S^3-bundle over S^4
Name	S^3-bundle over S^4
Type	Fiber bundle
Fiber	S^3
Base	S^4
Total space	7-manifold
Structure group	SO(4), SU(2), Sp(1)

S^3-bundle over S^4 An S^3-bundle over S^4 is a smooth or topological fiber bundle with fiber the 3-sphere and base the 4-sphere, giving a closed 7-manifold that arises in algebraic topology and differential geometry. These bundles connect classical work of Henri Poincaré, Élie Cartan, and John Milnor with later developments by Michael Atiyah, Raoul Bott, and Isadore Singer in index theory and characteristic classes. Their classification involves homotopy-theoretic data linked to maps between Lie groups such as SO(4), SU(2), and Sp(1) and to invariants studied by William Browder, Dennis Sullivan, and Albrecht Dold.

Definition and classification

A bundle with fiber S^3 over S^4 is specified topologically by a clutching map S^3 → Homeo(S^3) or smoothly by a transition function S^3 → Diff(S^3); classical classification reduces to homotopy classes [S^3, SO(4)] and [S^3, Diff(S^3)]. Foundational results by Marston Morse and Jean-Pierre Serre connect these classes to π3 of Lie groups, notably π3(SO(4)) ≅ Z ⊕ Z and π3(SO(5)) via the Hurewicz theorem. John Milnor famously constructed exotic 7-spheres as total spaces of such bundles, linking to work of Michel Kervaire and Edward Witten on smooth structures and cobordism. The classification therefore uses obstruction theory from Leray–Serre spectral sequence calculations and stabilization results of J. H. C. Whitehead.

Topology and homotopy groups

Total spaces of S^3-bundles over S^4 are simply connected 7-manifolds whose homology is computed using the Serre spectral sequence for the fibration S^3 → E → S^4; integral homology resembles that of S^7 or of connected sums classified by Milnor invariants. Homotopy groups πk(E) fit into long exact sequences from the fibration and relate to classical computations of πk(S^n) by H. Hopf and J. H. C. Whitehead, with torsion phenomena studied by H. Toda and George W. Whitehead. The role of the EHP sequence and Adams spectral sequence is central in understanding higher homotopy groups and the existence of nontrivial maps S^4 → BSO(4) discovered in work by G. W. Whitehead and J. F. Adams.

Differential and geometric structures

Smooth structures on these 7-manifolds connect to exotic spheres classified by Milnor and Kervaire–Milnor. Existence of metrics with positive sectional curvature was studied by K. Grove, W. Ziller, and C. Böhm using methods from Riemannian geometry; some total spaces admit metrics of positive Ricci curvature via constructions of Jeff Cheeger and M. Gromov. Connections with Yang–Mills theory and instantons appear through identifications of S^3 with SU(2) or Sp(1), linking to work of Simon Donaldson and Edward Witten on gauge theory. The existence of G2-structures on certain 7-manifolds relates to analyses by Robert Bryant, Simon Salamon, and Dominic Joyce.

Examples and explicit constructions

Milnor’s original exotic 7-spheres arise as total spaces of S^3-bundles over S^4 determined by clutching maps representing elements in π3(SO(4)) classified by two integers (p,q); specific choices produce the 7-spheres studied by Milnor and explicit plumbing constructions by Andrew Casson. Homogeneous examples occur when the structure group reduces to SU(2), Sp(1), or SO(4), producing quotients related to Lie group actions studied in the context of Eschenburg spaces and Aloff–Wallach spaces investigated by Aloff, Wallach, and Eschenburg. Further explicit models use principal SU(2)-bundles over S^4 classified by the second Chern class c2 ∈ H^4(S^4) studied by Chern and Simons.

Characteristic classes and invariants

Characteristic classes such as the Pontryagin class p1 and Euler class e of the associated vector bundles encode classification data; computations use the Gysin sequence and Chern–Weil theory developed by Shiing-Shen Chern and André Weil. The linking form and the µ-invariant of Eells–Kuiper measure differentiable structures; these invariants were used by Eells, Kuiper, and Kervaire to distinguish exotic smooth structures. The index theorems of Atiyah–Singer relate analytic invariants to characteristic classes on these 7-manifolds, while recent work connects eta invariants of Atiyah–Patodi–Singer to torsion invariants studied by John Lott and Daniel Freed.

Applications and related constructions

S^3-bundles over S^4 appear in string theory and M-theory contexts in work by Edward Witten and Cumrun Vafa where 7-manifolds enter compactification scenarios, and in gauge theory moduli problems studied by Taubes and Donaldson. They provide test cases for conjectures by Michael Freedman and William Thurston on 4-manifolds and their 7-dimensional total spaces, and feed into modern research on metrics of positive curvature, exceptional holonomy G2 studied by Dominic Joyce, and surgery theory of C. T. C. Wall. Further connections include relations to exotic spheres catalogued by Kervaire–Milnor and to index-theoretic invariants in the work of M. F. Atiyah and Isadore Singer.

Category:Fiber bundles