Namespaces
Variants
Actions

Classifying space

From Encyclopedia of Mathematics
Jump to: navigation, search


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 [2]. 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.

References

[1] D. Husemoller, "Fibre bundles" , McGraw-Hill (1966) MR0229247 Zbl 0144.44804
[2] J.M. Boardman, R.M. Vogt, "Homotopy invariant algebraic structures on topological spaces" , Springer (1973) MR0420609 MR0420610 Zbl 0285.55012

Comments

Two vector bundles $ \xi _ {1} , \xi _ {2} $ are stably equivalent (with respect to some notion of isomorphism) if there are trivial bundles $ \gamma _ {1} , \gamma _ {2} $ such that the Whitney sums (direct sums) $ \xi _ {1} \oplus \gamma _ {1} $ and $ \xi _ {2} \oplus \gamma _ {2} $ are isomorphic in the chosen sense.

An open covering $ \{ U _ {i} \} $ of a topological space is numerable if there exists a locally finite partition of unity $ \{ u _ {i} \} $ such that $ u _ {i} ^ {- 1} (( 0, 1]) \subset U _ {i} $ for all $ i $. A $ G $- bundle $ \xi $ over $ B $ is numerable if there is a numerable covering $ \{ U _ {i} \} $ such that $ G\mid _ {U _ {i} } $ is trivial for all $ i $.

Very often in the literature $ the $ classifying space of a group is defined as the base space of a totally acyclic principal fibre bundle. One may as well (as is done above) consider the class of locally trivial fibre bundles with structure group $ G $, and define a classifying space as the base space of a universal locally trivial bundle. In principle the classifying space thus defined depends then also on the special fibre type. But as it is proved in the literature (up to homotopy equivalence) the classifying spaces are independent of the fibre type.

For more on such classifying spaces as $ \mathop{\rm BPl} _ {n} $ and $ BTop _ {n} $ cf. [a2]. The elements of the cohomology rings of classifying spaces such as $ \mathop{\rm BSO} _ {n} $, $ \mathop{\rm BU} _ {n} ,\dots $ define characteristic classes (cf. Characteristic class) by assigning e.g. for a given element $ c \in H ^ {*} ( \mathop{\rm BU} _ {n} ) $ to an $ n $- dimensional complex vector bundle $ \xi $ over $ X $ the cohomology element $ c ( \xi ) = f _ \xi ^ { * } ( c) \in H ^ {*} ( X) $ where $ f _ \xi : X \rightarrow \mathop{\rm BU} _ {n} $ is the mapping (unique up to homotopy) such that $ f _ \xi ^ { ! } \xi _ {n} ^ {U} $ is isomorphic to $ \xi $( where $ \xi _ {n} ^ {U} $ is the universal complex vector bundle over $ \mathop{\rm BU} _ {n} $); $ c ( \xi ) $ is called the characteristic cohomology class of $ \xi $ determined by $ c $.

References

[a1] J.W. Milnor, J.D. Stasheff, "Characteristic classes" , Princeton Univ. Press (1974) MR0440554 Zbl 0298.57008
[a2] J. Madsen, R.J. Milgram, "The classifying spaces for surgery and cobordism of manifolds" , Princeton Univ. Press (1979) MR0548575 Zbl 0446.57002
How to Cite This Entry:
Classifying space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Classifying_space&oldid=54808
This article was adapted from an original article by A.F. Kharshiladze (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article