fiber bundle

fiber bundle
en:User:Musical Linguist · CC BY-SA 3.0 · source
Name	Fiber bundle
Field	Mathematics, Mathematical physics
Introduced	1930s
Notable	Jean Leray, Hassler Whitney, Norman Steenrod, Charles Ehresmann

fiber bundle

A fiber bundle is a geometric object that formalizes a family of spaces parameterized continuously by another space, providing a local product structure while allowing global twisting. Introduced in the context of algebraic and differential topology, fiber bundles unify constructions arising in the work of Jean Leray, Hassler Whitney, and Norman Steenrod, and they underpin major developments associated with Charles Ehresmann and the formalization of characteristic classes. Fiber bundles serve as the backdrop for central notions in modern geometry and mathematical physics such as gauge theories, index theorems, and classification results tied to the work of Michael Atiyah, Isadore Singer, and Raoul Bott.

Definition and basic examples

A fiber bundle consists of a total space, a base space, a typical fiber, and a projection map satisfying a local triviality condition first exploited in studies by Hassler Whitney and Jean Leray. Classical examples include the Möbius band arising from a nontrivial line bundle over the circle studied alongside work on the Klein bottle and Projective plane constructions; the tangent bundle of a smooth manifold developed in the program of Elie Cartan and Shiing-Shen Chern; and covering spaces analyzed by Henri Poincaré and Emil Artin. Additional ubiquitous examples are vector bundles such as the tautological bundle over the Grassmannian used in Bott periodicity arguments, and the Hopf fibration linking the 3-sphere and the 2-sphere central to studies by Heinz Hopf.

Structure and properties

The local triviality condition relates to transition functions defined on overlaps of trivializing neighborhoods, a formalism systematized in the work of Norman Steenrod and further examined in classification theorems by J. Milnor and J. Stasheff. Transition functions take values in the structure group, often a Lie group studied in the context of Élie Cartan and Sophus Lie theory, and satisfy cocycle conditions reflecting Čech cohomology techniques pioneered by André Weil and Jean Leray. Important properties include orientability criteria explored by René Thom and obstruction theory connections developed by Serre and Whitehead; compactness and smoothness conditions relate to results in the theory of manifolds attributed to John Nash and Stephen Smale. Characteristic classes such as Chern classes, Stiefel–Whitney classes, and Pontryagin classes, arising from the contributions of Shiing-Shen Chern, Eduard Stiefel, and L. S. Pontryagin, provide cohomological invariants that detect nontriviality of bundles.

Construction and classification

Bundles are constructed by clutching functions on spheres in methods used by J. Milnor to produce exotic spheres, or by pullback operations associated with continuous maps studied by Henri Cartan and Jean-Pierre Serre. Classifying spaces such as the Grassmannian and the classifying space BG formalized by Milnor and Daniel Quillen permit classification of principal and vector bundles via homotopy classes of maps, an approach central to the work of Michael Atiyah on K-theory and of Graeme Segal on equivariant topology. Obstruction theory methods due to Leray and René Thom determine extension problems; surgery theory and h-cobordism techniques by Stephen Smale and William Browder inform classification in high-dimensional topology. The clutching construction and exact sequences in homotopy groups tie the classification to calculations involving Eilenberg–MacLane spaces and spectral sequence machinery developed by Jean Leray and Jean-Pierre Serre.

Principal bundles and associated bundles

Principal G-bundles with structure group G, central in the work of Charles Ehresmann and Shiing-Shen Chern, encode symmetries and serve as the source for associated vector bundles via representations of G studied by Élie Cartan and Hermann Weyl. The moduli of principal bundles over algebraic curves feature in the geometric Langlands program influenced by Alexander Beilinson and Vladimir Drinfeld; reduction of structure group and holonomy considerations connect to foundational contributions by Élie Cartan and Chern in differential geometry. Universal bundles over classifying spaces due to Milnor and Serre provide functorial constructions that feed into index theorems by Atiyah and Singer and into computations of characteristic classes exploited in Donaldson and Seiberg–Witten theories.

Connections and curvature

Connections on principal bundles, as introduced by Charles Ehresmann and systematized in the Cartan formalism, provide horizontal distributions allowing parallel transport studied by S. S. Chern and linked to holonomy groups classified by Marcel Berger. Curvature two-forms satisfy structure equations central to the proofs of the Chern–Weil homomorphism developed by Shiing-Shen Chern and André Weil, which produces characteristic classes from curvature; these ideas underpin the Atiyah–Singer index theorem and its extensions by Michael Atiyah and Isadore Singer. Yang–Mills connections, central in the work of Karen Uhlenbeck and Simon Donaldson, impose variational conditions on curvature and lead to moduli space structures analyzed by Edward Witten and Minhyong Kim in quantum field theoretic and geometric contexts.

Applications and examples in mathematics and physics

Fiber bundles pervade modern mathematics and theoretical physics: vector bundles and K-theory inspired by Michael Atiyah classify phases in topological insulators studied in condensed matter physics influenced by Charles Kane; principal bundles furnish the mathematical language of gauge theories in particle physics foundational to the Standard Model developed by Murray Gell-Mann and Sheldon Glashow; and the topology of bundles appears in anomalies and index computations linked to Edward Witten and Alain Connes. In geometry, bundles facilitate constructions in complex geometry and Hodge theory advanced by Pierre Deligne and Griffiths, and in low-dimensional topology they underpin invariants in Seiberg–Witten and Floer theories investigated by Clifford Taubes and Andreas Floer. The Hopf fibration continues to inform studies connecting homotopy groups of spheres pursued by Heinz Hopf and Henri Poincaré, while modern computational topology and applications to data science draw on bundle-theoretic perspectives advanced by researchers in applied topology such as Robert Ghrist.

Category:Topology