Sphere bundles

Sphere bundles
Name	Sphere bundle
Caption	Fiberwise spheres over a base space
Domain	Topology, Differential topology, Algebraic topology
Introduced	mid-20th century
Related	Vector bundle, Principal bundle, Fibration, Sphere

Sphere bundles are fiber bundles whose fibers are topological spheres S^n, appearing widely in topology, geometry, and mathematical physics. They generalize trivial product bundles S^n×B and arise from vector bundles, principal bundles, and clutching constructions associated to maps into orthogonal groups. Sphere bundles connect the work of many figures and institutions in topology, and they link constructions used by H. Hopf, John Milnor, Raoul Bott, Michael Atiyah, and groups like the American Mathematical Society and Institute for Advanced Study.

Definition and basic examples

A sphere bundle is a fiber bundle π:E→B with fiber homeomorphic to the n-sphere and structure group acting by homeomorphisms or diffeomorphisms of S^n. Classic examples include the unit sphere bundle of a real vector bundle associated to a map B→BO(n+1), the Hopf fibration S^1→S^3→S^2 discovered in work related to Heinz Hopf and studied by Élie Cartan, and higher Hopf fibrations S^3→S^7→S^4 linked to Adams's theorem on division algebras. Other examples arise from projectivizations of complex vector bundles over spaces such as Complex projective space and from sphere bundles associated to tangent bundles of manifolds like S^n and CP^n.

Structure and classification

Classification of sphere bundles uses homotopy classes of maps into classifying spaces such as BO(n+1), BTop(n+1), and BDiff(S^n). For spherical fibrations one studies maps B→BG where G is a group of homeomorphisms; for smooth sphere bundles one considers B→BDiff(S^n). Low-dimensional cases reduce to clutching functions B→SO(n+1) or B→O(n+1), relating to isotopy classes studied by Marston Morse and Bott periodicity results by Raoul Bott. Exotic sphere bundles and nontrivial smooth structures are tied to work by John Milnor on exotic spheres and h-cobordism results from Smale, with classifications depending on obstruction theory and homotopy groups of spheres computed by the Cambridge University Press-published literature and researchers at Princeton University.

Characteristic classes and obstructions

Characteristic classes such as Stiefel–Whitney classes, Pontryagin classes, and Euler classes detect nontriviality of sphere bundles when they arise from vector bundles; these classes live in cohomology groups H^*(B;Z/2), H^*(B;Z), or H^*(B;Z) respectively and were developed by Hermann Weyl, Eduard Stiefel, and Lev Pontryagin. Obstructions to section existence use primary obstructions in cohomology and secondary invariants studied by Serre and Eilenberg–MacLane; the Gysin sequence for orientable sphere bundles relates cohomology of E and B and appears in work connected to Jean Leray and Norman Steenrod. K-theoretic obstructions and index-theoretic interpretations link to the Atiyah–Singer index theorem and investigations by Michael Atiyah and Isadore Singer.

Construction and operations

Sphere bundles are constructed via clutching functions from a decomposition of B, via unit sphere bundles of vector bundles defined by transition functions valued in O(n+1) or SO(n+1), via associated bundles to principal G-bundles with G acting on S^n, and via fiberwise suspension or join operations. Operations include fiberwise connected sum, fiberwise smash product in parametrized stable homotopy theory linked to the work at University of Chicago and Massachusetts Institute of Technology, and pullback and pushforward along maps of bases studied in the context of Grothendieck-style fibrations. Surgery and cobordism techniques due to C. T. C. Wall and William Browder produce new sphere bundles from existing manifolds and bundle data.

Notable cases and applications

Notable cases include the tangent sphere bundle of a smooth manifold used in dynamical systems and Riemannian geometry studied at institutions like IHÉS, the Hopf fibrations relevant to homotopy and theoretical physics communities around Princeton University and Caltech, and sphere bundles appearing in gauge theory and string theory contexts influenced by groups at CERN and Perimeter Institute. Applications range from the classification of manifolds in dimensions ≥5 via surgery and h-cobordism pioneered by Smale and Milnor to constructions in algebraic topology such as James constructions and loop space decompositions associated to I. M. James and John C. Moore.

Homotopy-theoretic and stable perspectives

From a homotopy-theoretic view, sphere bundles correspond to parametrized families of spheres classified by maps into BG for appropriate G and studied via the Serre spectral sequence of a fibration developed by Jean-Pierre Serre. Stable homotopy techniques apply through suspension spectra of total spaces and base spaces in the context of stable homotopy theory advanced by researchers at Rutgers University and Harvard University, connecting to the study of Thom spectra, parametrized spectra, and orientations in R. Thom's framework. Chromatic and homotopical refinements relate to work by Mike Hopkins and Jacob Lurie on higher categories and structured ring spectra used to understand exotic phenomena in sphere bundles and bundle transfers.

Category:Fiber bundles