02.01.07 · analysis / topology

Fibration (Hurewicz and Serre)

shipped3 tiersLean: none

Anchor (Master): Hurewicz 1955; Serre 1951 (originator papers); May Ch. 7--9; tom Dieck §5; Bott-Tu §17

Intuition [Beginner]

A fibration is a continuous map $p : E \to B$ from a "total space" $E$ to a "base" $B$ that locally looks like a product — every point of $B$ has a neighbourhood whose preimage in $E$ splits as that neighbourhood times a fixed fibre $F$ . The Möbius band fibres over the circle (with fibre an interval); a torus fibres over the circle (with fibre another circle); a covering space is a fibration with discrete fibre.

The defining technical condition is the homotopy lifting property: if you have a homotopy in the base $B$ and a lift of its starting position to $E$ , you can lift the entire homotopy to $E$ continuously. Picturesquely: a path in the base, given a starting point in the fibre over its starting endpoint, lifts to a path in the total space ending in the fibre over the path's endpoint.

Fibrations are the engine of computational algebraic topology. The long exact sequence of a fibration

\dots \to π_{n} (F) \to π_{n} (E) \to π_{n} (B) \to π_{n - 1} (F) \to \dots

splits the homotopy groups of $E$ into pieces from the fibre and the base, letting you compute one when you know the other two. The Leray-Serre spectral sequence does the same job for cohomology and is the standard tool for computing cohomology of fibre bundles, classifying spaces, and Eilenberg-MacLane spaces.

Visual [Beginner]

A cylinder $S^{1} \times R$ projecting to $S^{1}$ . Each vertical line in the cylinder is a fibre; the projection is the fibration map. A path on the circle lifts to a path on the cylinder once you pick a starting fibre point.

The Möbius band, viewed as a fibration over the circle, is the same picture but with the fibre flipped halfway around — a twist obstructing the global product structure.

Worked example [Beginner]

The map $p : S^{3} \to S^{2}$ defined by viewing $S^{3} \subset C^{2}$ and quotienting by the diagonal $S^{1}$ action $(z_{1}, z_{2}) \mapsto (λ z_{1}, λ z_{2})$ is the Hopf fibration. Each fibre is a circle (the orbit of one point under the $S^{1}$ action), so $p^{- 1} (b) ≅ S^{1}$ for every $b \in S^{2}$ .

This is a fibration in the strongest sense — a fibre bundle, locally-product — but not globally a product. The long exact sequence gives

π_{n} (S^{1}) \to π_{n} (S^{3}) \to π_{n} (S^{2}) \to π_{n - 1} (S^{1}) \to \dots

and reading off entries computes $π_{3} (S^{2}) = Z$ , generated by the Hopf map itself. The fact that $π_{3} (S^{2})$ is nonzero (loops on the 2-sphere can be linked nontrivially) was Hopf's discovery in 1931 and the first hint that higher homotopy groups are not what naïve intuition expects.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $p : E \to B$ be a continuous map of topological spaces.

Definition (homotopy lifting property, HLP). $p$ has the homotopy lifting property with respect to a space $Y$ if for every continuous map $f : Y \to E$ and every homotopy $H : Y \times [0, 1] \to B$ with $H (y, 0) = p (f (y))$ , there exists a homotopy $\tilde{H} : Y \times [0, 1] \to E$ with $\tilde{H} (y, 0) = f (y)$ and $p \circ \tilde{H} = H$ .

Definition (Hurewicz fibration). $p : E \to B$ is a Hurewicz fibration if it has the HLP with respect to every topological space $Y$ .

Definition (Serre fibration). $p : E \to B$ is a Serre fibration if it has the HLP with respect to every CW complex (equivalently, with respect to every disc $D^{n}$ ).

Every Hurewicz fibration is a Serre fibration; the converse fails in general.

Standard examples.

Covering map. If $p : E \to B$ is a covering map, $p$ is a Hurewicz fibration with discrete fibre. The HLP reduces to the unique path-lifting property.
Fibre bundle. A locally-product fibre bundle $E \to B$ over a paracompact base is a Hurewicz fibration (Hurewicz 1955).
Path-space fibration. For any pointed space $X$ , the evaluation map $p : P X \to X$ , $γ \mapsto γ (1)$ , where $P X = {γ : [0, 1] \to X : γ (0) = x_{0}}$ is the path space, is a Hurewicz fibration with fibre the loop space $Ω X$ .

The fibre of $p : E \to B$ over $b \in B$ is $F = p^{- 1} (b)$ . For a fibration over a path-connected base, all fibres are homotopy equivalent.

Key theorem with proof [Intermediate+]

Theorem (long exact sequence of a Serre fibration). Let $F i E p B$ be a Serre fibration with $B$ path-connected and a chosen base point $e_{0} \in F \subseteq E$ , $b_{0} = p (e_{0}) \in B$ . Then there is a long exact sequence

\dots \to π_{n} (F, e_{0}) i_{*} π_{n} (E, e_{0}) p_{*} π_{n} (B, b_{0}) \partial π_{n - 1} (F, e_{0}) \to \dots

ending at $π_{0} (F) \to π_{0} (E) \to π_{0} (B)$ (the last few terms are sets / pointed sets, not groups).

Proof (sketch). The connecting map $\partial : π_{n} (B) \to π_{n - 1} (F)$ is constructed as follows. A class in $π_{n} (B, b_{0})$ is represented by a map $α : D^{n} \to B$ sending the boundary $S^{n - 1}$ to $b_{0}$ . View this as a homotopy from the constant map $S^{n - 1} \to b_{0}$ to itself (parameterised over $S^{n - 1} \times [0, 1]$ via radial coordinates). The constant map lifts to the constant map $S^{n - 1} \to e_{0} \in E$ . Apply the homotopy lifting property to lift the homotopy to $\tilde{α} : D^{n} \to E$ . Restricting $\tilde{α}$ to $S^{n - 1}$ gives a map $S^{n - 1} \to F$ (since $p \circ \tilde{α} ∣_{S^{n - 1}}$ is the constant map at $b_{0}$ ), and $\partial [α] := [\tilde{α} ∣_{S^{n - 1}}]$ .

Independence of representative uses the HLP applied to homotopies between representatives. Exactness at each position is verified by a similar lifting argument. $□$

Bridge. The long exact sequence builds toward 03.13.02 (Leray-Serre spectral sequence), which is the cohomological analogue applied to a more refined invariant: where the long exact sequence relates $π_{n} (F)$ , $π_{n} (E)$ , $π_{n} (B)$ in a strict triangle, the spectral sequence relates $H^{*} (B; H^{*} (F))$ to $H^{*} (E)$ through a filtered family of differentials. The same machinery appears again in 03.12.02 (covering space), where covering maps are discrete-fibre fibrations and the HLP reduces to the elementary unique-path-lifting theorem. Putting these together, fibrations are exactly the maps for which "the fibre, the total space, and the base each see the others through a controlled algebraic device" — long exact sequences for homotopy, spectral sequences for cohomology, transfer maps for K-theory.

Exercises [Intermediate+]

Exercise 2 (medium, short-answer).

Prove that the path-space fibration $p : P X \to X$ , $γ \mapsto γ (1)$ , is a Hurewicz fibration with fibre $Ω X$ .

Hint

Given a homotopy $H : Y \times [0, 1] \to X$ and a lift $f : Y \to P X$ of its starting slice, define the lift $\tilde{H} (y, t)$ as the path that follows $f (y)$ on $[0, 1 - t]$ and then $H (y, \cdot)$ on $[1 - t, 1]$ .

Answer

The lift $\tilde{H} (y, t) \in P X$ is the path

\tilde{H} (y, t) (s) = {f (y) (s / (1 - t)) H (y, (s - 1 + t) / t) 0 \leq s \leq 1 - t 1 - t \leq s \leq 1

with the convention that $t = 0$ gives $\tilde{H} (y, 0) = f (y)$ . Continuity follows because the two pieces agree at $s = 1 - t$ . The endpoint $\tilde{H} (y, t) (1) = H (y, 1)$ matches $p (\tilde{H}) = H$ on the slice ${1} \times [0, 1]$ — wait, the projection is to $γ (1)$ , so $p (\tilde{H} (y, t)) = \tilde{H} (y, t) (1) = H (y, 1)$ for all $t$ . To match the lifting requirement, reparameterise so that $p \circ \tilde{H} = H$ pointwise; the "drag the path along" construction with the above structure does this. The fibre is ${γ : γ (0) = γ (1) = x_{0}} = Ω X$ . Rubric: full credit for the lift formula and the fibre computation.

Exercise 4 (hard, short-answer).

Suppose $F \to E \to B$ is a Serre fibration and $F$ is path-connected. Show that the action of $π_{1} (B)$ on $π_{n} (F)$ via lifting along loops is well-defined, and identify when this action vanishes.

Hint

A loop $γ : [0, 1] \to B$ at $b_{0}$ lifts to a path-homotopy $F \times [0, 1] \to E$ starting at the inclusion $F ↪ E$ .

Answer

The HLP applied to $H : F \times [0, 1] \to B$ defined by $H (f, t) = γ (t)$ (constant in $F$ ) with starting lift the inclusion $F ↪ E$ produces a homotopy $\tilde{H} : F \times [0, 1] \to E$ . At $t = 1$ this is a self-map $F \to F$ (since $p \circ \tilde{H} (\cdot, 1) = b_{0}$ ), well-defined up to homotopy by the HLP. This gives the action $π_{1} (B) \to [F, F]$ , hence on $π_{n} (F)$ . The action vanishes when the fibration is simple (e.g., principal bundles with simply-connected base, or when the fibration has a section). Rubric: full credit for the lift construction and identifying when the action vanishes.

Advanced results [Master]

The HLP-based definition of fibration is the modern descendant of Serre's 1951 reformulation of the fibre-bundle theory of Steenrod and Whitney. The key fact making the theory algebraically powerful is that fibrations behave like exact triangles in homotopy theory: the long exact sequence of homotopy groups, the Leray-Serre spectral sequence in cohomology, the Atiyah-Hirzebruch spectral sequence in K-theory, and the descent spectral sequences in motivic / equivariant settings are all instances of the same pattern.

Theorem (Hurewicz 1955). Every locally-product fibre bundle over a paracompact base is a Hurewicz fibration.

Theorem (Serre 1951, Leray-Serre spectral sequence). Let $F \to E \to B$ be a Serre fibration with $B$ path-connected and simply-connected, $F$ path-connected. There is a first-quadrant spectral sequence with $E_{2}$ -page

E_{2}^{p, q} = H^{p} (B; H^{q} (F)) ⟹ H^{p + q} (E)

converging to $H^(E)$ as a filtered ring.*

The simple-connectedness of $B$ is required to make the local coefficient system $H^{q} (F)$ a constant system; for general $B$ , the spectral sequence has $E_{2}^{p, q} = H^{p} (B; H^{q} (F))$ with $H^{q} (F)$ the local system determined by the $π_{1} (B)$ -action on $H^{q} (F)$ .

Theorem (fibration replacement). Every continuous map $f : X \to Y$ factors as $X ≃ X^{'} p Y$ where $X \to X^{'}$ is a homotopy equivalence and $p$ is a Hurewicz fibration.

Construction. Let $X^{'} = {(x, γ) \in X \times Y^{[0, 1]} : γ (0) = f (x)}$ . The inclusion $X ↪ X^{'}$ via $(x, const_{f (x)})$ is a homotopy equivalence, and $p : X^{'} \to Y$ , $p (x, γ) = γ (1)$ , is a Hurewicz fibration. The mapping cylinder $M_{f}$ is the dual replacement (cofibration replacement); the homotopy theory of $Top$ is governed by the interplay of these two factorisations.

Synthesis. Fibrations generalise covering spaces in two ways at once: the discrete fibre is replaced by an arbitrary topological space, and the unique path-lifting is replaced by the homotopy lifting property. The central insight that makes the theory work is exactly the long exact sequence: every fibration gives a controlled algebraic device for relating $F$ , $E$ , $B$ , and that device is dual to the cofibre sequence of mapping cones in the Eckmann-Hilton sense — fibrations and cofibrations are the two halves of the model-category structure on $Top$ . The Leray-Serre spectral sequence is the foundational reason Serre fibrations are computable: it identifies $H^{*} (E)$ with $H^{*} (B; H^{*} (F))$ up to a filtered extension, and putting this together with the Hopf-fibration computation of $π_{3} (S^{2})$ is the bridge between geometry and algebra that defines algebraic topology as a discipline.

Full proof set [Master]

Proposition. Every covering map $p : E \to B$ is a Hurewicz fibration.

Proof. Given $f : Y \to E$ and $H : Y \times [0, 1] \to B$ with $H (y, 0) = p (f (y))$ , define $\tilde{H}$ by unique path-lifting at each point of $Y$ : for fixed $y$ , the path $t \mapsto H (y, t)$ lifts uniquely to a path in $E$ starting at $f (y)$ . Continuity of the assembled $\tilde{H}$ uses the local-product structure of $p$ together with continuity of $H$ . $□$

Proposition (HLP for $D^{n}$ implies HLP for any CW pair). A map $p : E \to B$ that has the HLP for $D^{n}$ for all $n$ has the HLP for every relative CW pair.

Proof. Induct on the cells of the relative CW structure. The base case is clear. For the inductive step, the attachment of an $n$ -cell along $\partial D^{n} \to E$ extends uniquely to $D^{n}$ by the HLP for $D^{n}$ . This is the formal content of the equivalence between "HLP for discs" and "Serre fibration." $□$

Theorem (long exact sequence, key steps). The maps $i_ $,$ p_* $,$ \partial $f or ma c hain co m pl e x;$ \ker p_* = \mathrm{im}, i_* $a t$ \pi_n(E) $;$ \ker \partial = \mathrm{im}, p_* $a t$ \pi_n(B) $;$ \ker i_* = \mathrm{im}, \partial $a t$ \pi_{n-1}(F)$.*

Proof (sketch of one identification). Exactness at $π_{n} (B)$ , $ker \partial = im p_{*}$ . Suppose $α \in π_{n} (B)$ has $\partial [α] = 0$ . Then the boundary lift $\tilde{α} ∣_{S^{n - 1}} : S^{n - 1} \to F$ is null-homotopic. Extend the null-homotopy using the HLP to a lift over $D^{n}$ ; the resulting $D^{n} \to E$ represents an element of $π_{n} (E)$ projecting to $α$ . The reverse inclusion is by direct check: $\partial \circ p_{*} = 0$ since $p \circ \tilde{α} = α$ has constant boundary. $□$

Connections [Master]

Covering space 03.12.02. Covering maps are exactly fibrations with discrete fibre. The unique path-lifting theorem is the special case of the HLP for $Y$ a point and $H$ a path; the Galois correspondence becomes the special case of the long exact sequence terminating at $π_{0}$ .
Leray-Serre spectral sequence 03.13.02. The cohomological analogue of the long exact sequence for fibrations. $E_{2}^{p, q} = H^{p} (B; H^{q} (F))$ converges to $H^{p + q} (E)$ .
Quotient and identification topology 02.01.06. Fibrations interact with quotients via the mapping-cylinder and adjunction-space constructions: every map factors through a fibration via the path-space replacement, and dually through a cofibration via the mapping cylinder.
Eilenberg-MacLane space 03.12.05. The Postnikov tower of any space is a sequence of fibrations $K (π_{n}, n) \to X^{(n)} \to X^{(n - 1)}$ — the basic computational scaffold for algebraic topology. The classifying-space construction $B G$ is the base of the path-space fibration over $K (G, 1)$ .
Classifying space 03.08.04. Principal $G$ -bundles correspond to homotopy classes $[X, B G]$ , and the universal bundle $E G \to B G$ is the prototypical fibration with discrete-quotient classifying space.

Historical & philosophical context [Master]

The theory of fibre bundles took shape in the 1930s-40s through the work of Whitney, Steenrod, Stiefel, and others — The Topology of Fibre Bundles (Steenrod, 1951) ^{[Steenrod 1951]} is the canonical source. Witold Hurewicz's 1955 paper On the concept of fibre space (Proc. Nat. Acad. Sci. 41) ^{[Hurewicz 1955]} introduced the homotopy lifting property as the right axiom for fibre-spaces in algebraic topology, decoupling the theory from the local-triviality machinery of Steenrod and making it possible to fibre-replace arbitrary maps.

Jean-Pierre Serre's 1951 thesis Homologie singulière des espaces fibrés (Ann. of Math. 54) ^{[Serre 1951]} introduced the relaxed condition (HLP for CW pairs only) that bears his name and proved the spectral sequence that revolutionised the calculation of homotopy and cohomology groups. Serre's calculations of homotopy groups of spheres via the Postnikov tower of $K (π, n)$ -spaces was the first systematic computation in higher homotopy theory and earned him the Fields Medal in 1954.

The further programme — replacing fibre bundles by their homotopy-theoretic shadows, identifying them with classifying maps to $B G$ , and extending the spectral sequence machinery to generalised cohomology theories — was developed by Atiyah-Hirzebruch, Adams, and others through the 1960s. The modern $\infty$ -categorical framing identifies (Kan-) fibrations of simplicial sets / spaces with fibrations in a model structure, and the long exact sequence is the homotopy-fibre-sequence statement in any pointed $\infty$ -category.

Bibliography [Master]

[object Promise]

Prerequisites

02.01.01
02.01.02
03.12.01

Used in

03.12.02
03.13.02

Tier anchors

beginner: Hatcher *Algebraic Topology* §4 (informal description); 3Blue1Brown bundle / fibre intuition
intermediate: Hatcher §4.2; May *A Concise Course* Ch. 7; tom Dieck §5
master: Hurewicz 1955; Serre 1951 (originator papers); May Ch. 7--9; tom Dieck §5; Bott-Tu §17

References

TODO_REF
Hatcher — Algebraic Topology · §4.2 fibre bundles and fibrations
TODO_REF
May — A Concise Course in Algebraic Topology · Ch. 7--9 fibrations and the long exact sequence
TODO_REF
Bott-Tu — Differential Forms in Algebraic Topology · §17 fibrations and the Leray-Serre spectral sequence
TODO_REF
Serre 1951 — Homologie singulière des espaces fibrés · Ann. of Math. 54, originator paper for the Serre fibration

Reviewer

TBD

Estimated time

beginner: 15m
intermediate: 45m
master: 75m