Long Exact Sequence of a Fibration

A fibration $F ↪ E p B$ induces a long exact sequence relating the homotopy groups of the fiber $F$ , total space $E$ , and base $B$ :

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

Key result: The connecting homomorphism

\partial

encodes how loops in the base "unwind" into paths in the fiber, making homotopy groups computable by induction on fibrations. Applies to: algebraic topology, computation of homotopy groups of spheres, classifying spaces, and gauge theory. Origin: Hurewicz, Hopf, and Serre (1930s–1950s).

The long exact sequence of a fibration is the principal computational tool for homotopy groups. Given a (Serre or Hurewicz) fibration $p : E \to B$ with fiber $F$ , the homotopy lifting property guarantees that the induced maps on homotopy groups fit into an infinite exact sequence, where exactness means the image of each map equals the kernel of the next. Its importance is hard to overstate: unlike homology, homotopy groups have no Mayer–Vietoris or excision theorem, so the fibration sequence is essentially the only general machine for relating homotopy groups of different spaces. A surprising consequence is that the homotopy groups of a fiber bundle are governed by a single boundary map even though the total space may be topologically wild. The Hopf fibration $S^{1} ↪ S^{3} \to S^{2}$ uses this sequence to prove $π_{3} (S^{2}) ≅ Z$ , the first hint that homotopy groups of spheres are infinitely complicated.

The Core Insight

A fibration is a map with the homotopy lifting property: homotopies in the base can be lifted to homotopies in the total space, given a starting lift. This single property forces the fiber inclusion $i : F \to E$ and projection $p : E \to B$ to behave, on homotopy groups, like a short exact sequence that fails to close up—and the failure is measured precisely by a connecting map $\partial : π_{n} (B) \to π_{n - 1} (F)$ . Geometrically, $\partial$ takes a sphere in the base, lifts it to a disk in $E$ , and reads off the boundary sphere lying in $F$ .

Formal Statement

Fibration

A continuous map $p : E \to B$ is a Serre fibration if it has the homotopy lifting property with respect to all CW complexes (equivalently all disks $D^{n}$ ): given a homotopy $H : X \times I \to B$ and an initial lift $\tilde{h}_{0} : X \to E$ with $p \circ \tilde{h}_{0} = H (-, 0)$ , there exists a lift $\tilde{H} : X \times I \to E$ with $p \circ \tilde{H} = H$ and $\tilde{H} (-, 0) = \tilde{h}_{0}$ . If the lifting property holds for all topological spaces $X$ , $p$ is a Hurewicz fibration.

The fiber over a basepoint $b_{0} \in B$ is $F = p^{- 1} (b_{0})$ , with a chosen basepoint $e_{0} \in F$ .

The Maps

Fix basepoints $b_{0} \in B$ , $e_{0} \in F \subseteq E$ . The inclusion $i : F ↪ E$ and projection $p : E \to B$ induce homomorphisms

i_{*} : π_{n} (F, e_{0}) \to π_{n} (E, e_{0}), p_{*} : π_{n} (E, e_{0}) \to π_{n} (B, b_{0}) .

⟳functoriality of

π_{n}

applied to the maps

i

and

p

The connecting homomorphism is defined on a class $[α] \in π_{n} (B, b_{0})$ represented by $α : (D^{n}, \partial D^{n}) \to (B, b_{0})$ by lifting $α$ to $\tilde{α} : D^{n} \to E$ (using HLP, with $\partial D^{n}$ mapping into $F$ ) and setting

\partial [α] = [\tilde{α} ∣_{\partial D^{n}}] \in π_{n - 1} (F, e_{0}) .

⟳a sphere in

B

lifts to a disk in

E

; its boundary lands in

F = p^{- 1} (b_{0})

since

α (\partial D^{n}) = b_{0}

Long Exact Sequence of a Fibration

Let $p : E \to B$ be a Serre fibration with fiber $F = p^{- 1} (b_{0})$ , and assume $B$ is path-connected. Then there is an exact sequence of groups (and pointed sets at the low end):

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

⟳identify the sequence with the LES of the pair

(E, F)

via the isomorphism

p_{*} : π_{n} (E, F) \sim π_{n} (B)

The maps are homomorphisms for $n \geq 1$ ; the tail $π_{1} (B) \to π_{0} (F) \to π_{0} (E) \to π_{0} (B)$ is an exact sequence of pointed sets. The group $π_{1} (B)$ acts on $π_{0} (F)$ .

Why It Holds / Derivation

Construction via the Long Exact Sequence of a Pair

Step 1 — The relative LES. For any pair

(E, F)

there is the long exact sequence of relative homotopy groups (a standard result, see Long Exact Sequence of a Pair):

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

⟳exactness is built into the definitions of

π_{n} (E, F)

via the boundary map restricting maps

(D^{n}, \partial D^{n}, *) \to (E, F, *)

\partial D^{n}

Step 2 — The key isomorphism. The fibration property forces

p_{*} : π_{n} (E, F) ≅ π_{n} (B, b_{0}) = π_{n} (B) .

⟳a relative class is a map

(D^{n}, \partial D^{n}) \to (E, F)

; projecting gives

(D^{n}, \partial D^{n}) \to (B, b_{0})

. HLP gives a unique-up-to-homotopy lift back, establishing a bijection.

Step 3 — Surjectivity of $p_{*}$ on relative groups. Given

α : (D^{n}, \partial D^{n}) \to (B, b_{0})

, apply the homotopy lifting property to the constant homotopy contracting

D^{n}

to a point, lifting

α

\tilde{α} : D^{n} \to E

with

\tilde{α} (\partial D^{n}) \subseteq F

. Then

p_{*} [\tilde{α}] = [α]

. Step 4 — Injectivity of $p_{*}$ . If

p_{*} [\tilde{α}] = p_{*} [\tilde{β}]

, a homotopy of the projected maps lifts (again by HLP) to a homotopy of relative classes, so

[\tilde{α}] = [\tilde{β}]

π_{n} (E, F)

. Step 5 — Substitute. Replacing

π_{n} (E, F)

π_{n} (B)

in [4] via the isomorphism [5] yields the sequence [3]. The connecting map

\partial : π_{n} (E, F) \to π_{n - 1} (F)

composed with

(p_{*})^{- 1}

gives exactly the geometric

\partial

of [2].

■

Think of the fibration as a "bundle of fibers" sitting over the base. A class in $π_{n} (B)$ is an $n$ -sphere drawn in the base. To understand it via $E$ , you try to lift this sphere up into the total space. The homotopy lifting property always lets you lift a disk (a filled-in hemisphere), but the lift need not close up into a sphere—its boundary $(n - 1)$ -sphere may wander around inside the fiber $F$ . That residual boundary sphere is exactly $\partial [α]$ . If $\partial [α] = 0$ , the boundary is contractible, the lift closes up, and the original base sphere comes from a genuine sphere in $E$ (i.e., lies in $im p_{*}$ ). Exactness is the bookkeeping statement: "a base sphere lifts to a total-space sphere iff its fiber-boundary is trivial."

A base sphere lifting to a disk in E with boundary in the fiber F

Witold Hurewicz | 1904–1956

Hurewicz introduced higher homotopy groups in 1935 and almost immediately recognized their connection to fiber spaces. His fiber space axioms (the covering homotopy property) crystallized the structure now called a fibration. Working at the intersection of point-set and algebraic topology, he proved early forms of the exact sequence and the Hurewicz theorem connecting $π_{n}$ to $H_{n}$ . Hurewicz died in a fall at an archaeological site in Mexico while attending a symposium; his work on fibrations was foundational to the subsequent explosion of computations by Serre and others.

Worked Examples

Hopf Fibration $S^1 \hookrightarrow S^3 \to S^2$

Given: The Hopf map

p : S^{3} \to S^{2}

with fiber

F = S^{1}

. We compute

π_{n} (S^{2})

for small

n

. Step 1. Write the relevant segment of [3]:

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

⟳substitute

F = S^{1}

E = S^{3}

B = S^{2}

into [3].

Step 2 — Case $n = 2$ . Since

π_{2} (S^{1}) = 0

and

π_{1} (S^{1}) = Z

π_{1} (S^{3}) = 0

, the segment becomes

0 \to π_{2} (S^{3}) \to π_{2} (S^{2}) \partial Z \to 0.

With

π_{2} (S^{3}) = 0

\partial

is an isomorphism:

π_{2} (S^{2}) ≅ Z

. Step 3 — Case $n = 3$ . Now

π_{3} (S^{1}) = 0

and

π_{2} (S^{1}) = 0

, so

0 \to π_{3} (S^{3}) p_{*} π_{3} (S^{2}) \to 0,

giving

p_{*}

an isomorphism:

π_{3} (S^{2}) ≅ π_{3} (S^{3}) ≅ Z

, generated by the Hopf class. Answer:

π_{2} (S^{2}) = Z

π_{3} (S^{2}) = Z

(dimensionless homotopy groups). The Hopf map is the generator of

π_{3} (S^{2})

Path-Loop Fibration and $\pi_n(\Omega X)$

Given: For a pointed space

X

, the path fibration

Ω X ↪ P X p X

, where

P X = {γ : I \to X : γ (0) = x_{0}}

is the contractible path space and

Ω X

the loop space (the fiber over

x_{0}

via

γ \mapsto γ (1)

). Step 1. Since

P X

is contractible,

π_{n} (P X) = 0

for all

n

. The LES [3] gives

0 = π_{n} (P X) \to π_{n} (X) \partial π_{n - 1} (Ω X) \to π_{n - 1} (P X) = 0.

⟳contractibility kills the total-space terms, forcing

\partial

to be an isomorphism.

Step 2. Exactness forces

\partial

to be an isomorphism:

π_{n} (X) ≅ π_{n - 1} (Ω X) for all n \geq 1.

Answer: This loop-space shift

π_{n} (X) ≅ π_{n - 1} (Ω X)

underlies the whole theory of Spectra and infinite loop spaces. For

X = S^{2}

it recovers

π_{3} (S^{2}) ≅ π_{2} (Ω S^{2})

Common Misconceptions

The sequence is exact, not split. Exactness gives

im = ker

at each spot, but does not imply

π_{n} (E) ≅ π_{n} (F) \oplus π_{n} (B)

. Splitting requires extra structure (e.g., a section, or a product bundle). The Hopf fibration shows the failure:

π_{3} (S^{3}) = Z

but

π_{3} (S^{1}) \oplus π_{3} (S^{2}) = 0 \oplus Z

—coincidentally equal here, but

π_{2}

π_{2} (S^{3}) = 0

while

π_{2} (S^{2}) = Z \neq = π_{2} (S^{1}) \oplus π_{2} (S^{2})

requires care. $\partial$ is not induced by a continuous map. The connecting homomorphism lowers degree and is defined by a lifting construction, not by functoriality of a single map. Low-degree terms are pointed sets, not groups. Below

π_{1}

, "exactness" means

im = ker

as preimages of the basepoint; talking about quotient groups there is meaningless. A quasifibration that is not a fibration. Consider a map

p : E \to B

that fails the homotopy lifting property at some point. The naive sequence built from

i_{*}, p_{*}, \partial

need not be exact. For instance, take

B = [0, 1]

with the map collapsing

E = {0} \cup ([\frac{1}{2}, 1] \times S^{1})

in a way that the fiber over

0

is a point but over

t > 0

S^{1}

. The "fiber" changes homotopy type, the HLP fails, and

p_{*}

π_{1}

does not fit into an exact sequence with a well-defined connecting map. Moral: exactness genuinely requires the lifting axiom; mere surjective maps with varying fibers do not suffice. (Dold–Thom quasifibrations are precisely the weaker class where one recovers a usable LES.)

Connections

The fibration LES sits in a web of homotopy-theoretic machinery. It is the homotopy analogue of the Long Exact Sequence of a Pair, obtained by the substitution $π_{n} (E, F) ≅ π_{n} (B)$ . Iterating the construction over the path-loop fibration produces the Puppe Sequence and motivates Spectra. When one upgrades from groups to a multiplicative filtration, the fibration LES is the "first page" intuition behind the Serre Spectral Sequence, which computes homology of the total space from that of base and fiber. The connecting homomorphism is the bridge to Obstruction Theory: $\partial$ measures the obstruction to extending sections. For principal $G$ -bundles $G ↪ E G \to B G$ , the LES with $E G$ contractible yields $π_{n} (B G) ≅ π_{n - 1} (G)$ , linking to Classifying Spaces and Characteristic Classes.

Real-World Applications

Homotopy groups of spheres. The Hopf fibrations $S^{1} \to S^{3} \to S^{2}$ , $S^{3} \to S^{7} \to S^{4}$ , $S^{7} \to S^{15} \to S^{8}$ compute $π_{3} (S^{2})$ , $π_{7} (S^{4})$ , $π_{15} (S^{8})$ , seeding the entire stable homotopy enterprise.
Gauge theory and instantons. Classification of $S U (2)$ instantons uses $π_{3} (S^{3}) ≅ Z$ via the bundle structure of gauge fields over $S^{4}$ ; the LES computes the relevant winding numbers.
Defect classification in condensed matter. Topological defects (vortices, monopoles, textures) in ordered media are classified by $π_{n} (G / H)$ , computed from the fibration $H \to G \to G / H$ (the Kibble–Mermin–Toulouse scheme).
Lie group topology. From $S O (n) \to S O (n + 1) \to S^{n}$ one inductively computes $π_{k} (S O (n))$ , essential for spin structures and stable orthogonal homotopy.
Classifying spaces in physics. $B G$ classifies principal bundles; $π_{n} (B G) ≅ π_{n - 1} (G)$ (from $G \to E G \to B G$ ) drives anomaly classification and the theory of gauge equivalence classes.
Obstruction theory in robotics/motion planning. The fibration of configuration spaces and the LES detect obstructions to continuous sections (topological complexity).
Fiber bundles in general relativity. Frame bundles $G L (n) \to F M \to M$ use the LES to relate topology of the manifold to that of the structure group.

Historical Development

1935 — Hurewicz introduces higher homotopy groups $π_{n}$ and the notion of fiber spaces, recognizing the covering homotopy property.
1937–1941 — Hurewicz and Steenrod formalize fiber bundles and prove the covering homotopy theorem, the prototype HLP.
1941 — Hopf's earlier (1931) discovery of the Hopf map $S^{3} \to S^{2}$ is reinterpreted: the LES yields $π_{3} (S^{2}) = Z$ , shocking the community by showing $π_{n} (S^{m}) \neq = 0$ for $n > m$ .
1944 — Eckmann and Eilenberg develop the relative homotopy sequence machinery.
1950 — J.-P. Serre, in his thesis, introduces Serre fibrations (HLP only for CW complexes) and combines the LES with the spectral sequence, computing vast ranges of homotopy groups of spheres.
1951 — Serre proves the finiteness of $π_{n} (S^{m})$ for $n \neq = m$ (and $n \neq = 2 m - 1$ for even spheres), wielding the fibration LES and spectral sequence together; awarded the Fields Medal (1954).
1952 — Dold and (later) Dold–Thom develop quasifibrations, extending the LES to maps with non-constant fibers, used in the Dold–Thom theorem $π_{n} (S P (X)) ≅ \tilde{H}_{n} (X)$ .
1955–1958 — Bott uses the LES on Lie group fibrations to prove the Bott periodicity theorems, computing $π_{k} (U)$ and $π_{k} (O)$ .
1962 — Puppe formalizes the cofiber/fiber sequence duality, placing the LES inside the broader Puppe sequence framework.

Subtleties & Limits

The LES reduces homotopy computations to understanding the connecting map $\partial$ , but $\partial$ itself can be extraordinarily subtle. Computing the homotopy groups of spheres $π_{n + k} (S^{n})$ in the stable range remains open in general; the LES alone is insufficient and must be combined with the Serre Spectral Sequence, Adams Spectral Sequence, and chromatic methods. A persistent difficulty is that exactness pins down a group only up to extension: even with all maps known, $π_{n} (E)$ may be one of several groups consistent with the sequence (the extension problem). Determining which extension occurs—e.g., distinguishing $Z /4$ from $Z /2 \oplus Z /2$ —requires finer invariants (Toda brackets, secondary operations). For non-simply-connected bases the $π_{1} (B)$ -action on the fiber's homotopy introduces twisted coefficients, and the very definition of exactness at low degrees (pointed sets, not groups) limits algebraic manipulation. The general structure of the unstable homotopy groups, governed at each stage by such connecting maps, is widely regarded as one of the deepest unsolved problems in mathematics.

Long Exact Sequence of a Fibration

The Core Insight

Formal Statement

Fibration

The Maps

Long Exact Sequence of a Fibration

Why It Holds / Derivation

Construction via the Long Exact Sequence of a Pair

A base sphere lifting to a disk in E with boundary in the fiber F

Witold Hurewicz | 1904–1956

Worked Examples

Hopf Fibration $S^1 \hookrightarrow S^3 \to S^2$

Path-Loop Fibration and $\pi_n(\Omega X)$

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads