Fiber Bundles and Fibrations

Fiber bundles generalize product spaces by allowing the "product structure" to be twisted globally while remaining locally trivial. They are ubiquitous in topology, geometry, and mathematical physics.

Fiber Bundles

Definition

A fiber bundle with fiber $F$ is a continuous surjection $p : E \to B$ such that for every point $b \in B$ , there exists an open neighborhood $U$ of $b$ and a homeomorphism $\varphi : p^{-1}(U) \to U \times F$ satisfying $\pi_1 \circ \varphi = p|_{p^{-1}(U)}$ , where $\pi_1$ is projection to the first factor. The space $E$ is the total space, $B$ is the base space, and $p^{-1}(b) \cong F$ is the fiber over $b$ .

A fiber bundle is a product bundle $E = B \times F$ precisely when a global trivialization exists. The interesting cases arise when the bundle is non-trivial — twisted in a way detected by topological invariants.

Definition

A Serre fibration is a continuous map $p : E \to B$ satisfying the homotopy lifting property for all CW complexes: given a homotopy $H : X \times [0,1] \to B$ and a lift $\tilde{H}_0 : X \to E$ of $H|_{X \times \{0\}}$ , there exists a homotopy $\tilde{H} : X \times [0,1] \to E$ with $p \circ \tilde{H} = H$ and $\tilde{H}|_{X \times \{0\}} = \tilde{H}_0$ .

Every fiber bundle is a Serre fibration, but not conversely. The path-space fibration $PX \to X$ (with fiber $\Omega X$ ) is a Serre fibration but generally not a fiber bundle.

Key Examples

ExampleClassical fiber bundles

The Mobius band is a line bundle $\mathbb{R} \to M \to S^1$ that is non-trivial.
The Hopf bundle $S^1 \to S^3 \to S^2$ is a principal $U(1)$ -bundle.
The tangent bundle $\mathbb{R}^n \to TM \to M$ of a smooth manifold $M$ .
The frame bundle $GL(n) \to FM \to M$ is a principal $GL(n)$ -bundle.
The universal cover $\pi_1(X) \to \tilde{X} \to X$ is a principal $\pi_1$ -bundle (covering space).

Structure Groups

RemarkStructure group and classifying spaces

A fiber bundle with fiber $F$ and structure group $G$ (a topological group acting on $F$ ) is classified by homotopy classes of maps $B \to BG$ into the classifying space $BG$ . The universal $G$ -bundle $EG \to BG$ (with contractible total space $EG$ ) serves as the universal example: every $G$ -bundle over $B$ is a pullback of $EG \to BG$ along some map $B \to BG$ .

The theory of fiber bundles provides a geometric framework in which algebraic topology, differential geometry, and gauge theory converge, making it central to modern mathematical physics.