03.08.04 · modern-geometry / k-theory

Classifying space

shipped3 tiersLean: none

Anchor (Master): Husemoller §4; May §16; Milnor universal-bundle papers

Intuition [Beginner]

A classifying space is a library of all bundles of a chosen kind. Instead of building a bundle from scratch over a space $X$ , one draws a map from $X$ into the library. Pulling back the universal bundle along that map produces the bundle on $X$ .

Different maps can give the same bundle if they can be deformed into one another without tearing. The classifying space turns bundle problems into mapping problems.

For vector bundles, the classifying spaces behind $B U (n)$ and $B O (n)$ organize complex and real bundles. This is why classifying spaces enter K-theory and characteristic classes.

Visual [Beginner]

The universal bundle sits over the classifying space. A map from $X$ to the classifying space pulls that bundle back to $X$ .

The map acts like a recipe: the same universal ingredient produces many local bundles.

Worked example [Beginner]

Think about line bundles over a circle. A simple line bundle is the cylinder, where every point carries a little copy of a line in the same orientation. A twisted line bundle is the Möbius band, where the line flips once around the circle.

A classifying space records these possibilities. A map from the circle into the classifying space selects which pattern occurs. If the map records no flip, the pullback is the cylinder. If it records one flip, the pullback is the Möbius band.

What this tells us: classifying spaces turn bundle construction into the study of maps.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $G$ be a topological group. A classifying space $B G$ is a base space equipped with a principal $G$ -bundle

E G ⟶ B G

such that principal $G$ -bundles over a suitable space $X$ are obtained, up to isomorphism, as pullbacks $f^{*} E G$ along maps $f : X \to B G$ , with isomorphism classes corresponding to homotopy classes of maps ^{[fasttrack-texts §16]}.

For finite-rank vector bundles, the relevant examples are $B U (n)$ for complex rank- $n$ bundles and $B O (n)$ for real rank- $n$ bundles. Stabilizing in $n$ gives $B U$ and $B O$ , the classifying spaces used in topological K-theory 03.08.01.

Key theorem with proof [Intermediate+]

Theorem (Homotopic maps give isomorphic pullbacks). Let $p : E \to B$ be a bundle and let $f_{0}, f_{1} : X \to B$ be homotopic maps. If the homotopy classification hypotheses for the bundle category are satisfied, then $f_{0}^{*} E$ and $f_{1}^{*} E$ are isomorphic bundles over $X$ .

Proof. Let $H : X \times I \to B$ be a homotopy from $f_{0}$ to $f_{1}$ . Pull back $E$ along $H$ to obtain a bundle $H^{*} E \to X \times I$ . Restricting this bundle to $X \times {0}$ gives $f_{0}^{*} E$ , and restricting it to $X \times {1}$ gives $f_{1}^{*} E$ .

Under the standard homotopy-invariance theorem for bundles over the cylinder, the restrictions of a bundle over $X \times I$ to the two ends are isomorphic over $X$ ^{[Husemoller §4]}. Applying that theorem to $H^{*} E$ gives $f_{0}^{*} E ≅ f_{1}^{*} E$ . $□$

Synthesis. The classifying space $B G$ is exactly the homotopy-theoretic representing object for principal $G$ -bundles. This is precisely the foundational equivalence of categories: $[X, B G] ≅ Bun_{G} (X)$ . The classifying space generalises the universal-bundle construction; it is the bridge between bundle theory and homotopy theory.

Bridge. The construction here builds toward 03.08.01 (topological k-theory), where the same data is upgraded, and the symmetry side is taken up in 03.08.07 (bott periodicity). The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

lean_status: none is recorded because the needed package would have to combine topological principal bundles, numerable bundles, universal bundles, homotopy classes, and concrete models for classical group classifying spaces.

Advanced results [Master]

For paracompact spaces and numerable principal $G$ -bundles, the classifying theorem gives a natural bijection

[X, B G] ≅ Prin_{G} (X),

where the right side denotes isomorphism classes of principal $G$ -bundles over $X$ ^{[Husemoller §4]}. Milnor's construction supplies a universal $G$ -bundle $E G \to B G$ with $E G$ contractible for a broad class of topological groups ^{[Milnor universal bundles]}.

For $G = U (n)$ and $G = O (n)$ , associated vector bundles convert the principal-bundle classification into the classification of rank- $n$ complex and real vector bundles. Stabilization under block sum produces $B U = colim B U (n)$ and $B O = colim B O (n)$ , the spaces representing reduced K-theory in the stable range.

$B U (k)$ , $B O (k)$ as infinite Grassmannians and the canonical bundle

For complex vector bundles of rank $k$ , the classifying space admits an explicit Grassmannian model:

B U (k) ≃ G_{k} (C^{\infty}) = n lim G_{k} (C^{n}),

where $G_{k} (C^{n})$ is the complex Grassmannian of $k$ -dimensional complex linear subspaces of $C^{n}$ . Equivalently, $B O (k) ≃ G_{k} (R^{\infty}) = lim_{n} G_{k} (R^{n})$ for real bundles. Over each finite Grassmannian $G_{k} (C^{n})$ sits the canonical (tautological) bundle

γ_{k}^{n} ⟶ G_{k} (C^{n}),

whose fibre over a point $V \in G_{k} (C^{n})$ is the $k$ -dimensional subspace $V \subset C^{n}$ itself. (Notation: per Codex notation decision #19, the symbol $γ_{k}^{n}$ denotes the tautological complex rank- $k$ bundle on $G_{k} (C^{n})$ , and $γ_{k} = lim_{n} γ_{k}^{n}$ denotes the universal rank- $k$ bundle on $B U (k) = G_{k} (C^{\infty})$ . The same notation is used in N13 for the Borel-presentation deepening.) The colimit $γ_{k} = lim_{n} γ_{k}^{n}$ is the universal complex rank- $k$ bundle $E U (k) \to B U (k)$ in the Grassmannian model.

Theorem (Bott-Tu §23, Theorem 23.5). Let $X$ be a finite CW complex, or more generally a paracompact space of bounded cell-complexity. The pullback construction induces a natural bijection

[X, B U (k)] ⟷ \sim {rank- k complex vector bundles on X} / iso,

sending a homotopy class $[f]$ to the pullback bundle $f^{*} γ_{k}$ . The analogous statement holds for $B O (k)$ and real rank- $k$ bundles.

The proof in the Grassmannian setting goes through finite-dimensional approximation. Given a rank- $k$ bundle $E \to X$ , the section data over a finite cover trivialising $E$ embed each fibre into $C^{N}$ for $N$ large enough, giving a fibrewise-injective bundle map $E ↪ \underline{C^{N}}$ . The classifying map $f : X \to G_{k} (C^{N})$ sends $x \in X$ to the image of $E_{x}$ in $C^{N}$ , and $f^{*} γ_{k}^{N} ≅ E$ by construction. Two such embeddings differ by a homotopy in the space of bundle injections, so the homotopy class of $f$ is intrinsic to $E$ . As $N \to \infty$ , the maps assemble to a single homotopy class $X \to B U (k)$ .

Universal-bundle pullback as a tool for naturality

The Grassmannian model makes naturality of characteristic classes a one-line consequence of the universal property. Suppose $κ : H^{*} (B U (k); Z) \to H^{*} (∙)$ is any cohomology operation pulled back from $B U (k)$ . Given a bundle $E = f^{*} γ_{k}$ , the characteristic class $κ (E) := f^{*} κ$ is automatically natural under continuous maps:

κ (g^{*} E) = (f \circ g)^{*} κ = g^{*} f^{*} κ = g^{*} κ (E) .

This is the second canonical route to characteristic classes invoked in 03.06.06 — the universal-bundle-pullback companion to Chern-Weil. The Chern classes $c_{k} \in H^{2 k} (B U (\infty); Z)$ and Pontryagin classes $p_{k} \in H^{4 k} (B O (\infty); Z)$ are defined as the universal generators of the cohomology rings; pulling them back along the classifying map of any bundle gives the characteristic classes of that bundle, with naturality, the Whitney product formula (via $B U (k) \times B U (ℓ) \to B U (k + ℓ)$ on classifying spaces), and the rank bound all consequences of the classifying-space construction.

Cohomology ring of $B G$ via the Borel construction

Theorem (LM B.1, $H^{*} (B G)$ as a graded ring). For a compact Lie group $G$ with maximal torus $T$ and Weyl group $W = N_{G} (T) / T$ , the cohomology ring

H^{*} (B G; Q) ≅ H^{*} (B T; Q)^{W} = Q [t_{1}, \dots, t_{r}]^{W}

is the ring of $W$ -invariant polynomials in $r = rank (G)$ generators of degree $2$ , one for each circle factor of $T$ . The Borel construction $X \times_{G} E G \to B G$ identifies $H^(BG;\mathbb{Q}) $w i t h t h e$ G $- e q u i v a r ian t co h o m o l o g y o f a p o in t . * T h e p r oo f u ses t h e f ib r a t i o n$ G/T\to BT\to BG $. T h e f ib r e$ G/T $i s t h e f l a g v a r i e t y; r a t i o na l l y i t sco h o m o l o g y i sco n ce n t r a t e d in e v e n d e g r ees an d a s a$ W $- m o d u l e d eco m p osesso t ha tt h e L er a y s p ec t r a l se q u e n ceco l l a p ses, g i v in g$ H^(BG)=H^(BT)^W$. The classical examples follow:

$G$	$r$	$W$	$H^{*} (B G; Q)$	Generators
$U (n)$	$n$	$S_{n}$	$Q [c_{1}, \dots, c_{n}]$	Chern classes, $de g c_{i} = 2 i$
$S O (2 n + 1)$	$n$	$W_{B_{n}}$	$Q [p_{1}, \dots, p_{n}]$	Pontryagin classes, $de g p_{i} = 4 i$
$S O (2 n)$	$n$	$W_{D_{n}}$	$Q [p_{1}, \dots, p_{n - 1}, e]$	Pontryagin + Euler, $de g e = 2 n$
$Sp (n)$	$n$	$W_{C_{n}}$	$Q [q_{1}, \dots, q_{n}]$	symplectic Pontryagin, $de g q_{i} = 4 i$

For $Z /2$ -coefficients, the analogous mod-2 result identifies $H^{*} (B O (n); F_{2}) = F_{2} [w_{1}, \dots, w_{n}]$ via Stiefel-Whitney classes 03.06.03, proved by the Leray-Hirsch theorem on the splitting principle. The Borel-construction perspective extends these statements to equivariant cohomology of $G$ -spaces and is the foundation on which characteristic-class theory rests: every invariant of principal $G$ -bundles is a polynomial in these universal classes pulled back along the classifying map.

Full proof set [Master]

The homotopy-invariance proof above supplies the map from homotopy classes to isomorphism classes. Surjectivity and injectivity of the full classification require the universal property of $E G \to B G$ : every numerable principal bundle admits a classifying map, and two classifying maps for the same bundle are homotopic. Milnor proves these statements by constructing $E G$ as a join-type contractible free $G$ -space and taking the orbit space as $B G$ ^{[Milnor universal bundles]}.

Naturality follows from pullback composition. If $P ≅ f^{*} E G$ over $X$ and $g : Y \to X$ , then $g^{*} P ≅ g^{*} f^{*} E G ≅ (f \circ g)^{*} E G$ , so the classifying map for the pulled-back bundle is represented by $f \circ g$ .

Connections [Master]

Principal bundles 03.05.01 — classifying spaces depend on principal bundles; $B G$ classifies principal $G$ -bundles up to homotopy.
Homotopy theory 03.12.01 — the homotopy-classification statement $[X, B G] ≅ Bun_{G} (X)$ is the foundational equivalence of categories.
Topological K-theory 03.08.01 — classifying spaces $B U$ and $B O$ organise stable vector bundles, supplying the spectrum-level structure on which K-theory is built.
Bott periodicity 03.08.07 — Bott periodicity is a periodicity statement about the homotopy type of the stable classical groups and their classifying spaces.
Characteristic classes [03.06.04, 03.06.06] — a universal class on $B G$ pulls back along a classifying map to the characteristic class of the bundle over $X$ , connecting this unit to Chern-Weil theory and Pontryagin/Chern classes.
Universal bundle and infinite Grassmannian 03.08.05 — by conn:451.universal-bundle-grassmannian, Universal complex rank-k bundle γ_k = colim γ_k^n on infinite Grassmannian, equivalent to BU(k) (equivalence). $G_{k} (C^{\infty})$ carries the universal complex rank- $k$ bundle, equivalent up to homotopy to $B U (k)$ ; pullback implements $[X, B U (k)] \leftrightarrow Vect_{C}^{k} (X)$ .
Leray-Hirsch and splitting principle 03.13.03 — by conn:445.splitting-flag-borel, splitting principle equivalent to Borel presentation H(BG) = H*(BT)^W* (equivalence). The Borel-Hirzebruch presentation of $H^{*} (B U (k))$ as symmetric functions in Chern roots is exactly the universal splitting principle on classifying spaces.

Throughlines and forward promises. Classifying spaces are the foundational organising tool for principal-bundle theory. We will see the universal bundle on $G_{k} (C^{\infty})$ realise $B U (k)$ in 03.08.05; we will see Bott periodicity describe $Ω^{2} B U ≃ B U \times Z$ in 03.08.07; we will later see the Borel-Hirzebruch presentation $H^{*} (B G; Q) = H^{*} (B T; Q)^{W}$ structure characteristic-class theory. The foundational reason $[X, B G] = Bun_{G} (X)$ is exactly the universal-bundle pullback construction. Putting these together: every characteristic class is an instance of pullback from a universal class on $B G$ ; the Borel presentation is the cohomology fact that makes this computable. This pattern recurs in K-theory ( $B U$ is the classifying space for stable complex vector bundles), in cobordism (Thom spectra), and in equivariant cohomology (Borel construction). The bridge between specific bundles and universal cohomology is exactly the classifying map; this is the foundational insight that organises modern algebraic topology.

Historical & philosophical context [Master]

Milnor's 1956 papers gave a flexible construction of universal bundles and classifying spaces for topological groups ^{[Milnor universal bundles]}. The construction became part of the standard language of fibre bundle theory.

May's algebraic topology text presents classifying spaces as representing objects for principal bundles and as central examples in homotopy theory ^{[fasttrack-texts §16]}. Husemoller develops the bundle-theoretic classification in the setting used by vector bundles and characteristic classes ^{[Husemoller §4]}.

Bibliography [Master]

John Milnor, "Construction of universal bundles I," Annals of Mathematics 63 (1956). ^{[Milnor universal bundles]}
Dale Husemoller, Fibre Bundles, §4. ^{[Husemoller §4]}
J. Peter May, A Concise Course in Algebraic Topology, §16. ^{[fasttrack-texts §16]}