Ehresmann fibration theorem

Ehresmann fibration theorem
Name	Ehresmann fibration theorem
Field	Differential topology
Statement	If a smooth map between smooth manifolds is a proper submersion, then it is a locally trivial fibration.
Named after	Charles Ehresmann

Ehresmann fibration theorem The Ehresmann fibration theorem asserts that a proper submersion between smooth manifolds is a locally trivial smooth fiber bundle. It connects concepts from differential topology, global analysis, and geometry and underlies constructions in foliation theory, bundle theory, and singularity theory. The theorem has been influential in the work of several mathematicians and institutions across the twentieth century.

Statement

Let f: M → N be a smooth map between finite-dimensional smooth manifolds M and N. If f is a submersion at every point of M and is proper as a map, then for every point y in N there exists a neighborhood U of y and a diffeomorphism φ: f^{-1}(U) → U × F that identifies f with the projection U × F → U. Here F is diffeomorphic to the fiber f^{-1}(y). The result is often stated in the contexts of manifolds modeled on Euclidean spaces appearing in the work of mathematicians associated with Élie Cartan, Hermann Weyl, and institutions such as École Normale Supérieure and Institut des Hautes Études Scientifiques.

Historical context and motivations

The theorem was introduced by Charles Ehresmann in the mid-20th century, motivated by questions in global analysis and the theory of connections on principal bundles developed by figures like Élie Cartan, Henri Cartan, and Élie-Jacques Cartan. It drew on earlier ideas from the study of fiber bundles by Hermann Hopf, Norman Steenrod, and the development of topology at institutions such as Princeton University and University of Göttingen. The need to understand local triviality for families of geometric objects appears in research by Marston Morse, René Thom, and the classification problems addressed by John Milnor and Michel Kervaire.

Practical motivations included the analysis of foliations studied by Germain Lemaitre and later formalized by André Haefliger, as well as applications in the theory of differential equations influenced by work at University of Chicago and Massachusetts Institute of Technology. The properness hypothesis connects to compactness arguments used in classical proofs influenced by techniques from Émile Picard and Henri Poincaré.

Proof outline

Ehresmann’s proof constructs local trivializations via horizontal distributions and flow methods inspired by the theory of connections on bundles explored by Charles Ehresmann himself and contemporaries at Université de Paris and Université de Nancy. One chooses a Riemannian metric on M compatible with constructions present in the literature at University of Bonn and uses orthogonal complements to produce a horizontal distribution H transverse to the vertical tangent bundle ker df. Existence of solutions to ordinary differential equations guaranteed by the Picard–Lindelöf theorem and existence results developed in contexts like École Polytechnique permit constructing horizontal lifts of paths in N.

Properness ensures that the flow of these lifts exists for the entire interval used to transport fibers, a compactness argument analogous to those in works associated with Andrey Kolmogorov and Stephen Smale. One then shows that parallel transport along paths in N yields diffeomorphisms between fibers, and local contractibility of N (as in foundational texts from Cambridge University and Harvard University) produces the desired product structure on neighborhoods.

Consequences and applications

The theorem yields that proper submersions give smooth fiber bundles, which underpins classification results by John Milnor and bundle constructions used by Raoul Bott and Michael Atiyah in index theory. It is central to the study of foliations credited to Charles Ehresmann and furthered by André Haefliger and Alfredo Weinstein. In symplectic geometry, it is used alongside results of Alan Weinstein and Jean-Marie Souriau to analyze fibrations appearing in integrable systems studied by Vladimir Arnold.

In gauge theory and mathematical physics, constructions of moduli spaces at institutions like Institute for Advanced Study and CERN often rely on local triviality results related to Ehresmann’s theorem; similar principles appear in the work of Edward Witten and Simon Donaldson. In singularity theory and stratified spaces studied by John Mather and Mikhael Gromov, variants of the theorem guide local product structures away from singular loci. The result also informs arguments in algebraic topology used by Daniel Quillen and Jean-Pierre Serre.

Examples

Classic examples include proper submersions given by projection maps of trivial bundles such as those considered in Hermann Hopf’s work and nontrivial examples like the Hopf fibration related constructions studied by Raoul Bott and Elie Cartan. Families of compact manifolds parameterized by compact base manifolds in moduli problems (as examined at University of Oxford and Stanford University) satisfy the hypotheses. Maps arising from smooth group actions of compact Lie groups like Élie Cartan’s investigations into transformation groups yield proper submersions when orbit maps are regular, a theme present in the work of Élie Cartan and Hermann Weyl.

Counterexamples where properness fails can be constructed using noncompact fibers like those in examples analyzed by René Thom and Marston Morse, showing the necessity of the compactness condition familiar from classical topology literature associated with Cambridge University Press publications.

Generalizations and related results

Generalizations include versions for real-analytic and complex-analytic maps studied by researchers at Princeton University and Université Pierre et Marie Curie, and extensions to Banach and Fréchet manifolds examined in infinite-dimensional analysis linked to Andrey Kolmogorov and Israel Gelfand. Related results are the fibration theorems of John Milnor for singularities, Thom’s isotopy lemmas associated with René Thom, and results in stratified Morse theory connected to Mather and Gromov. The work on Ehresmann connections and principal bundles by Charles Ehresmann ties the result to later developments in Chern–Weil theory and index theorems by Atiyah and Singer.

Category:Differential topology