# Classifying spaces

The goal of this section is to introduce the notion of *classifying space* of a (Hausdorff) topological group . This space has the property that isomorphism classes of principal -bundles over a paracompact Hausdorff base space correspond bijectively to homotopy classes of maps from the base to , hence the name. More explicitly this correspondence is given by pullback of a *universal principal -bundle* .

## The whole world in an example[edit | edit source]

We begin by considering the special case of . But first we need some preliminaries on Grassmannians. Denote by the Grassmannian of -dimensional linear subspaces of . We then have a tautological short exact sequence of vector bundles on :

Now let be a complex vector bundle of rank over a manifold ; for the present discussion it is irrelevant whether this is a smooth vector bundle or just a topological one. Denote by the trivial vector bundle with fibre over , where is the space of sections of . We then have a short exact sequence of vector bundles

**Example 5.1**

Consider the case . By choosing inner products on the (e.g. the obvious ones) we obtain an isomorphism . Combining this with what we have seen so far we obtain a bijective correspondence

**Example 5.2**

Now let be the unit -sphere. One can show by means of clutching functions that corresponds bijectively to . But by what we have seen now we also know that corresponds to . Thus we conclude that there is an isomorphism

Note that The whole world in an example doesn't quite fit into the general statement given in the introduction: there are no principal bundles mentioned here. It turns out however that there is a somewhat canonical correspondence between complex vector bundles of rank and principal -bundles (this works for other fields too). Namely we define the *frame bundle* of a given vector bundle of rank to be the principal -bundle whose fibre over a point is the space of isomorphisms from to the fibre of over that point. Note that there is an obvious right action of on which preserves the fibres and acts freely and transitively on them. Noting that pulling back commutes with the frame bundle construction we can translate what we have seen so far into a correspondence

*universal principal -bundle*(precisely because of the above correspondence).

We now want to see that the space is weakly contractible. This will be true in the general setting and is part of the allure of the universal principal bundle. Knowing that is paracompact we obtain a long exact sequence of homotopy groups:

**Exercise 5.1**

Meditate on the fact that is the same map as the one in (MISSING).

**Exercise 5.2**

Think about what the above construction of looks like explicitly in the case of the Hopf fibration .

**Exercise 5.3**

Let be the group of integers under addition. Show that and that is with the map being the complex exponential. Do the above by noting that principal -bundles on are in correspondence with and that the latter is in correspondence with .

**Exercise 5.4**

Think about what the total space of the pullback of under the double cover looks like.

## General groups[edit | edit source]

To define the classifying space and universal bundle for a general (Hausdorff) group we can start by constructing a principal -bundle with contractible. To do this we use the topological join construction:

**Definition 5.1**

Let be topological spaces. The *join* is then defined to be , where the equivalence relation is generated by and for and .

Note that the join of two spaces is just the space obtained by connecting every point of one space by the unit interval to every point of the other space. Moreover the construction is associative and commutative. We now define the universal bundle by setting and . One has to verify that this is indeed a principal -bundle (in particular that it has local trivialisations), but that follows by thinking in an appropriately elegant way about .

**Example 5.3**

We have seen how to construct . If has a faithful linear representation then note that acts freely on and so we can just define and .

We now have the following correspondence in general:

**Theorem 5.1**

Let be a paracompact Hausdorff space and let be a Hausdorff topological group. There is a bijective correspondence

For Example 5.3 to fit into this general picture we have to mention another result:

**Theorem 5.2**

Let be a Hausdorff topological group. Then every principal -bundle with contractible total space is a universal bundle in the sense of Theorem 5.1. In particular its total and base spaces are unique up to homotopy.

Although a rigorous proof of Theorem 5.1 in the general topological setting requires some care regarding technicalities, we can easily argue why this should be true for the case of a smooth manifold and a compact Lie group. Namely let be a principal -bundle and consider the following diagram:

Here where for , and . Now note that the bundle is the pullback of under the obvious map , and also that it is the pullback of under the projection . But we also have that is a fibre bundle with fibre which is weakly contractible and so it has a global section . Finally it follows from what we have said so far that is the pullback of under .