Fibration (mathematics)

Fibration (mathematics) A fibration is a structure in algebraic topology and homotopy theory that formalizes the notion of a "fibered" space, relating a total space, base space, and fiber via a projection map satisfying a homotopy lifting property. The concept was developed within the work of Jean-Pierre Serre, Saunders Mac Lane, Norman Steenrod, and René Thom, and it plays a central role in computations in homotopy groups, cohomology theories, and the study of fiber bundles and spectral sequences.

Definition and Basic Concepts

A fibration is a continuous map p: E → B between topological spaces E and B such that for any space X, any map f: X → E, and any homotopy H: X × [0,1] → B with H(·,0) = p∘f, there exists a homotopy H̃: X × [0,1] → E lifting H with H̃(·,0) = f and p∘H̃ = H. This definition is often called the Serre fibration condition after Jean-Pierre Serre and contrasts with the notion of a fiber bundle as studied by Hermann Weyl, Michael Atiyah, and Isadore Singer. Key objects include the total space E, the base B, and the fiber F = p^{-1}(b) over a point b ∈ B; these are fundamental in works by John Milnor, Raoul Bott, and Samuel Eilenberg. Variants of the lifting property give rise to Hurewicz fibrations associated with Eduard Čech-style coverings and to local triviality conditions studied by Charles Ehresmann.

Examples and Important Classes

Classic examples include projection maps of fiber bundles such as the projection S^1 → S^1 of the Hopf fibration studied by Heinz Hopf and maps appearing in the theory of principal bundles associated with groups like Lie groups such as SU(2), SO(3), and U(1). The path-space fibration ΩB → PB → B is central in homotopy theory and appears in foundational texts by Hatcher, Spanier, and May. Serre fibrations include covering maps studied by Lefschetz and Heegaard decompositions used by William Thurston in 3‑manifold theory. Important classes also encompass fiber bundles with structure group studied by Élie Cartan and Hermann Weyl, local trivial fibrations in Ehresmann theory, and spectral sequence-producing fibrations used in the work of Jean Leray and Jenő Szücs.

Properties and Theorems

Fibrations satisfy long exact sequences of homotopy groups π_n(F) → π_n(E) → π_n(B) → π_{n-1}(F) that are used in computations by Serre and Hurewicz. The homotopy lifting property implies fiber homotopy equivalences central to classification theorems by Stallings and Zeeman. The Serre spectral sequence, developed by Jean Leray and systematized by Jean-Pierre Serre, computes the cohomology of E from the cohomology of B and the local system given by the cohomology of the fiber; this tool is used in influential results by Michael Freedman and Simon Donaldson in 4‑manifold theory. Fibrations interact with obstruction theory of Armand Borel and John Milnor, with transversality techniques of René Thom and with the study of characteristic classes introduced by Shiing-Shen Chern and W. S. Massey.

Constructions and Techniques

Standard constructions include pullback fibrations induced by maps between base spaces, fiberwise products and Whitney sums of bundles considered by Marcel Berger and Mikhail Gromov, and mapping path fibrations used in the construction of loop spaces in work by Graeme Segal. Model category techniques by Daniel Quillen and derived category methods by Alexander Grothendieck provide abstract frameworks in which fibrations correspond to fibrant objects and fibration sequences. Surgery theory of Browder and Kervaire employs fibration techniques to alter manifold structures, and classifying spaces BG for groups G (studied by Henri Cartan and J.H.C. Whitehead) are constructed using universal principal fibrations. Techniques from Morse theory and the h‑cobordism theorem of Stephen Smale exploit fibrations in manifold decomposition.

Applications and Connections to Other Areas

Fibrations appear in the classification of vector bundles and principal G-bundles relevant to Albert Einstein's work on gauge theories, in the formulation of topological quantum field theory by Edward Witten and Michael Atiyah, and in string theory contexts studied by Edward Witten and Cumrun Vafa. Algebraic geometers such as Alexander Grothendieck and Grothendieck's school use étale fibrations and fibered categories in the theory of schemes and stacks relevant to the Weil conjectures and the work of Pierre Deligne. Number theorists connect fibrations through arithmetic schemes in the work of Andrew Wiles and Gerd Faltings. In differential topology and geometric group theory, fibrations underlie foliations studied by Aleksandr Novikov and rigidity results by Mostow, while applications to robotics and control theory exploit configuration space fibrations studied in applied work by Richard M. Murray and Jean-Claude Latombe.

Category:Algebraic topology