# Classifying space

The base $B _ {0}$ of a universal fibre bundle $\xi = ( E _ {0} , p _ {0} , B _ {0} )$.

The universality of the bundle $\xi$ is to be understood in the following sense. Let $k _ {G} ( X)$ be the set of equivalence classes (with respect to a notion of isomorphism (covering the identity mapping of $X$)) of locally trivial bundles over the $\mathop{\rm CW}$- complex $X$ with structure group $G$. If $\xi = ( E, p, B)$ is a locally trivial bundle with structure group $G$, $B ^ { \prime }$ is a topological space and $f, g: B ^ { \prime } \rightarrow B$ are homotopic mappings, then the induced bundles $f ^ { ! } ( \xi )$ and $g ^ {! } ( \xi )$ over $B ^ { \prime }$ belong to the same class in $k _ {G} ( B ^ { \prime } )$. A locally trivial bundle $\xi ^ {G} = ( EG, p, BG)$ is now called universal if the mapping $[ X, BG] \rightarrow k _ {G} ( X)$, $f \rightarrow f ^ {*} ( \xi ^ {G} )$, is one-to-one (and onto) for any $X$. In this case, the space $BG$ is called a classifying space of the group $G$. A principal bundle with structure group $G$ is universal (in the class of locally trivial bundles over $\mathop{\rm CW}$- complexes) if the space of the bundle has trivial homotopy groups.

The most important examples of classifying spaces are $\mathop{\rm BO} _ {n}$, $\mathop{\rm BSO} _ {n}$, $\mathop{\rm BU} _ {n}$, $\mathop{\rm BSU} _ {n}$ for the respective groups $\textrm{ O } _ {n}$, $\mathop{\rm SO} _ {n}$, $\textrm{ U } _ {n}$, $\mathop{\rm SU} _ {n}$, and are constructed as follows. Let $G ( n, k)$ be the Grassmann manifold; it is the base of the principal $\textrm{ O } _ {n}$- bundle with the Stiefel manifold $V ( n, k)$ as total space. The natural imbeddings $G ( n, k) \subset G ( n, k + 1)$ and $V ( n, k) \subset V ( n, k + 1)$ allow one to form the unions $G ( n) = \cup _ {k = 1 } ^ \infty G ( n, k)$ and $V ( n) = \cup _ {k = 1 } ^ \infty V ( n, k)$. The bundle $( V ( n), p _ {0} , G ( n))$ is universal and $G ( n) = \mathop{\rm BO} _ {n}$ is a classifying space for the group $\textrm{ O } _ {n}$( $\pi _ {i} V ( n, k) = 0$ for $i < k - 1$ and $\pi _ {i} V ( n) = 0$ for all $i$). The Grassmann manifold $\widetilde{G} ( n, k)$( the space of $n$- dimensional planes with a fixed orientation in $\mathbf R ^ {n}$) leads in analogous fashion to the classifying space $\cup _ {k = 1 } ^ \infty \widetilde{G} ( n, k) = \widetilde{G} ( n) = \mathop{\rm BSO} _ {n}$ for the group $\mathop{\rm SO} _ {n}$. The classifying spaces for the groups $\mathop{\rm BU} _ {n}$ and $\mathop{\rm BSU} _ {n}$ are similarly constructed, but with the difference that here complex Grassmann manifolds are considered.

For any $\textrm{ O } _ {n}$- bundle $( E, p, B)$( where $B$ is a $\mathop{\rm CW}$- complex) there exists a mapping $f: B \rightarrow G ( n)$ under which the induced bundle over $B$ is isomorphic to $( E, p, B)$. In the case when $B$ is a smooth $n$- dimensional manifold and the principal $\textrm{ O } _ {n}$- bundle $( E, p, B)$ is associated with the tangent vector bundle to $B$, the construction of $f$ is especially simple: The manifold $B$ is imbedded in a Euclidean space $\mathbf R ^ {n + k }$ for sufficiently large $k$ and $f ( x)$, $x \in B$, is taken to coincide with the $n$- dimensional subspace of $\mathbf R ^ {n + k }$ obtained by a displacement of the tangent space to $B$ at $x$. The Grassmann manifolds provide a convenient method of constructing classifying spaces for vector bundles. There are also constructions enabling one to construct classifying spaces functorially for any topological group. The most commonly used is the Milnor construction $\omega _ {G}$( see Principal fibre bundle) for which $\omega _ {G}$ is universal in the wider category of all numerable $G$- bundles over an arbitrary topological space.

Classifying spaces play an important role for spherical bundles $BG _ {n}$ over a $\mathop{\rm CW}$- complex $B$; the Milnor construction is not suitable for the construction of the spaces $BG _ {n}$( and of $BSG _ {n}$ for orientable spherical bundles) since the set of homotopy equivalences $S ^ {n} \rightarrow S ^ {n}$ is not a group but an $H$- space. An explicit construction of these spaces is given in . There also exist classifying spaces $\mathop{\rm BPl} _ {n}$ and $\mathop{\rm BTop} _ {n}$ for piecewise-linear and topological microbundles.

There is a natural mapping $\mathop{\rm BO} _ {n} \rightarrow \mathop{\rm BO} _ {n + 1 }$ corresponding to the addition of a one-dimensional trivial bundle to a vector bundle. The mapping can be regarded as an imbedding, so that it makes sense to consider the union $\mathop{\rm BO} = \cup _ {n = 1 } ^ \infty \mathop{\rm BO} _ {n}$ in the inductive limit topology. The spaces $\mathop{\rm BSO}$, $\mathop{\rm BU}$, $\mathop{\rm BSU}$, $BG$, $BSG$, $\mathop{\rm BPl}$, $\mathop{\rm BTop}$, etc., are constructed in a completely analogous fashion. These are classifying spaces for stable equivalence classes of bundles given over connected finite $\mathop{\rm CW}$- complexes. All these spaces have $H$- space structures coming from the operation of Whitney sums of fibre bundles.

The term "classifying space" is not used solely in connection with fibre bundles. Sometimes classifying space refers to the representing space (object) for an arbitrary representable functor $T: H \rightarrow \mathop{\rm Ens}$ of the homotopy category into the category of sets. An example of such a classifying space is the space $B \Gamma _ {q}$ which classifies in some sense foliations (cf. Foliation) of codimension $q$ on a manifold, or, more generally, Haefliger $q$- structures on an arbitrary topological space.

How to Cite This Entry:
Classifying space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Classifying_space&oldid=46355
This article was adapted from an original article by A.F. Kharshiladze (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article