In mathematics, specifically in homotopy theory, a classifying space BG of a topological group G is the quotient of a weakly contractible space EG (i.e. a topological space for which all its homotopy groups are trivial) by a free action of G. It has the property that any G principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle 
For a discrete group G, BG is, roughly speaking, a path-connected topological space X such that the fundamental group of X is isomorphic to G and the higher homotopy groups of X are trivial, that is, BG is an Eilenberg-Maclane space, or a K(G,1).
An example for G infinite cyclic is the circle as X. When G is a discrete group, another way to specify the condition on X is that the universal cover Y of X is contractible. In that case the projection map
becomes a fiber bundle with structure group G, in fact a principal bundle for G. The interest in the classifying space concept really arises from the fact that in this case Y has a universal property with respect to principal G-bundles, in the homotopy category. This is actually more basic than the condition that the higher homotopy groups vanish: the fundamental idea is, given G, to find such a contractible space Y on which G acts freely. (The weak equivalence idea of homotopy theory relates the two versions.) In the case of the circle example, what is being said is that we remark that an infinite cyclic group C acts freely on the real line R, which is contractible. Taking X as the quotient space circle, we can regard the projection π from R = Y to X as a helix in geometrical terms, undergoing projection from three dimensions to the plane. What is being claimed is that π has a universal property amongst principal C-bundles; that any principal C-bundle in a definite way 'comes from' π.
A more formal statement takes into account that G may be a topological group (not simply a discrete group), and that group actions of G are taken to be continuous; in the absence of continuous actions the classifying space concept can be dealt with, in homotopy terms, via the Eilenberg–MacLane space construction. In homotopy theory the definition of a topological space BG, the classifying space for principal G-bundles, is given, together with the space EG which is the total space of the universal bundle over BG. That is, what is provided is in fact a continuous mapping
Assume that the homotopy category of CW complexes is the underlying category, from now on. The classifying property required of BG in fact relates to π. We must be able to say that given any principal G-bundle
over a space Z, there is a classifying map φ from Z to BG, such that γ is the pullback of a bundle of π along φ. In less abstract terms, the construction of γ by 'twisting' should be reducible via φ to the twisting already expressed by the construction of π.
For this to be a useful concept, there evidently must be some reason to believe such spaces BG exist. In abstract terms (which are not those originally used around 1950 when the idea was first introduced) this is a question of whether the contravariant functor from the homotopy category to the category of sets, defined by
- h(Z) = set of isomorphism classes of principal G-bundles on Z
- The circle is a classifying space for the infinite cyclic group .
- The n-torus is a classifying space for , the free abelian group of rank n.
- The wedge of n circles is a classifying space for the free group of rank n.
- A closed (that is compact and without boundary) connected surface S of genus at least 1 is a classifying space for its fundamental group π1(S).
- The infinite-dimensional real projective space is a classifying space for .
- A closed (that is compact and without boundary) connected hyperbolic manifold M is a classifying space for its fundamental group π1(M).
- A finite connected locally CAT(0) cubical complex is a classifying space of its fundamental group.
This still leaves the question of doing effective calculations with BG; for example, the theory of characteristic classes is essentially the same as computing the cohomology groups of BG, at least within the restrictive terms of homotopy theory, for interesting groups G such as Lie groups. As was shown by the Bott periodicity theorem, the homotopy groups of BG are also of fundamental interest. The early work on classifying spaces introduced constructions (for example, the bar construction), that gave concrete descriptions as a simplicial complex.
An example of a classifying space is that when G is cyclic of order two; then BG is real projective space of infinite dimension, corresponding to the observation that EG can be taken as the contractible space resulting from removing the origin in an infinite-dimensional Hilbert space, with G acting via v going to −v, and allowing for homotopy equivalence in choosing BG. This example shows that classifying spaces may be complicated.
In relation with differential geometry (Chern–Weil theory) and the theory of Grassmannians, a much more hands-on approach to the theory is possible for cases such as the unitary groups that are of greatest interest. The construction of the Thom complex MG showed that the spaces BG were also implicated in cobordism theory, so that they assumed a central place in geometric considerations coming out of algebraic topology. Since group cohomology can (in many cases) be defined by the use of classifying spaces, they can also be seen as foundational in much homological algebra.
Generalizations include those for classifying foliations, and the classifying toposes for logical theories of the predicate calculus in intuitionistic logic that take the place of a 'space of models'.
- ^ Stasheff, James D. (1971), "H-spaces and classifying spaces: foundations and recent developments", Algebraic topology (Proc. Sympos. Pure Math., Vol. XXII, Univ. Wisconsin, Madison, Wis., 1970), Providence, R.I.: American Mathematical Society, pp. 247–272 , Theorem 2
- Hazewinkel, Michiel, ed. (2001), "Classifying space", Encyclopaedia of Mathematics, Springer, ISBN 978-1556080104, http://eom.springer.de/C/c022440.htm
Wikimedia Foundation. 2010.
Look at other dictionaries:
classifying space — noun A topological space that is the quotient of a free action (of the specified group) on a weakly contractible space … Wiktionary
Classifying space for U(n) — In mathematics, the classifying space for the unitary group U(n) is a space B(U(n)) together with a universal bundle E(U(n)) such that any hermitian bundle on a paracompact space X is the pull back of E by a map X → B unique up to homotopy. This… … Wikipedia
Classifying space for O(n) — In mathematics, the classifying space for O(n) may be constructed as the Grassmannian of n planes in an infinite dimensional real Hilbert space. It is analogous to the classifying space for U(n). This topology related article is a stub. You can… … Wikipedia
Space group — In mathematics and geometry, a space group is a symmetry group, usually for three dimensions, that divides space into discrete repeatable domains. In three dimensions, there are 219 unique types, or counted as 230 if chiral copies are considered… … Wikipedia
Space science — is an all encompassing term that describes all of the various science fields that are concerned with the study of the Universe, generally also meaning excluding the Earth and outside of the Earth s atmosphere . Originally, all of these fields… … Wikipedia
Complex projective space — The Riemann sphere, the one dimensional complex projective space, i.e. the complex projective line. In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a … Wikipedia
Covering space — A covering map satisfies the local triviality condition. Intuitively, such maps locally project a stack of pancakes above an open region, U, onto U. In mathematics, more specifically algebraic topology, a covering map is a continuous surjective… … Wikipedia
Real projective space — In mathematics, real projective space, or RP n is the projective space of lines in R n +1. It is a compact, smooth manifold of dimension n , and a special case of a Grassmannian.ConstructionAs with all projective spaces, RP n is formed by taking… … Wikipedia
Acyclic space — In mathematics, an acyclic space is a topological space X in which cycles are always boundaries, in the sense of homology theory. This implies that the integral homology groups in all dimensions of X are isomorphic to the corresponding homology… … Wikipedia
Configuration space — Not to be confused with PCI Configuration Space. C space redirects here. For the art gallery, see C Space, Beijing. Contents 1 Configuration space in physics 2 Configuration spaces in mathematics 3 See also … Wikipedia