Originally I was thinking of doing a series of posts to develop some of the basic ideas of topological -theory (which is still likely going to happen), but it occurred to me that there were many interesting aspects of the theory of vector bundles (or, more generally, -bundles or, even more generally, fibrations) that wouldn’t relate to that. This post aims to introduce the concept of vector bundles and see how they fit in to a broader context of algebraic topology.

**Definition.** A *vector bundle* over a topological space is a (continuous) map satisfying the following properties:

(1) For any , the pre-image is homeomorphic to . (The pre-image of a point is called a *fiber*)

(2) (*Local Triviality*) For any , there is an open neighborhood around that point such that is homeomorphic to

is called the base space and is called the total space.

Examples of vector bundles are fairly easy to come by. We have, for example, the tangent bundle of a manifold, which can easily shown to satisfy the two conditions above. We will re-visit tangent bundles several times in future blog posts. Another important example is the Möbius bundle over . Intuitively, this assigns a line to each point on the unit circle in such a way that it “twists” once before it comes around the circle (geometrically, this would look like a Möbius strip, hence the name). This example is important because it is one of the easiest example of a non-trivial line bundle (that is, it doesn’t look globally like ).

A mild technical note: in general, we will be assuming that our base spaces are compact and Hausdorff, though a weaker assumption (such as paracompactness) is generally sufficient to get all of the properties that we want.

* * *

While there is a lot more to be said about the theory of vector bundles (which will be the case in future blog posts), instead I will focus on two related notions. The first is the theory of fibrations. This generalizes the idea of a vector bundle in a way that yields useful results in homotopy theory.

**Definition. **A *fiber bundle* is defined in the same way as a vector bundle, but instead of requiring that the fibers be homeomorphic to , we allow them to be any topological space . (Of course this also has to satisfy the local triviality condition)

While fiber bundles are useful, we want a slightly more specific homotopy theoretic property:

**Definition. **A map is said to satisfy the *homotopy lifting property* if, for any space , a homotopy lifts (not necessarily uniquely) to a homotopy satisfying . Such a map is called a *fibration*.

A reader familiar with some of the basic ideas of homotopy theory might recognize something familiar in these definitions: the idea of a covering space satisfies these properties exactly. An -sheeted covering space if precisely a -fibration. The most important property of fibrations (from the viewpoint of homotopy theory) is the following:

**Claim.** Given a fibration , there is a long exact sequence of homotopy groups:

The first two homomorphisms are the obvious ones induced by the fibration maps. The third one can be obtained through some diagram chasing (in a way analogous to the Snake Lemma).

**Example.** The *Hopf fibration* is historically an important example of a fibration. We can think of as . In an analogous way we can define as equivalence classes of pairs of complex numbers with if and only if . We can think of this equivalence relation as sending a pair of complex numbers to their quotient with an additional point at infinity – the one point compactification of . This, then, naturally induces a map sending a pair of complex numbers to their equivalence class. The pre-image of a given point is the set of complex numbers with norm 1, which is precisely . This is the Hopf fibration, and it leads to the following result on homotopy groups:

**Claim.** For , we have . In particular, .

**Proof.** We can directly apply our long exact sequence, along with the fact that al higher homotopy groups of are trivial, to get the following short exact sequence:

Because this is exact, the groups must be isomorphic. Using the fact that for all yields the desired result.

This is just one example of the usefulness of fibrations. (Ironically, from the perspective of homotopy theory, vector bundles are one of the least interesting example of fibrations because the homotopy groups of are not of much interest.)

* * *

The final area I would like to discuss is the theory of classifying spaces. First, we will explore a bit more about the theory of vector bundles:

**Definition.** Define the *infinite Grassmanian* to be the set of all -dimensional subspaces of . We can also define it as a limit of with the weak limit topology. We will denote as . There is an analogous construction in the complex case, which we will denote .

For the sake of simplicity, we will be working with complex vector bundles. The reason that this case is simpler is because every manifold has a unique complex orientation, so we don’t need to worry about issues of orientability.

**Theorem.** There is a bijection between complex line bundles and maps .

The reasoning behind this statement should be apparent: we are assigning to each point in a point in , which is precisely an -dimensional vector space. We would like to generalize this construction to fiber bundles where the fiber is any topological group. (This is a generalization because we can think of a vector bundle as having fibers in the infinite unitary group ). Unfortunately, solving this problem for any topological group is extremely difficult. However, if we assume that we are working with a discrete topological group, then there is a solution. As it turns out, is just an example of what is known as a *classifying space*:

**Definition. **Let be a discrete (topological) group. Then define a space called the *classifying space* of to be a topological space such that and all higher homotopy groups are trivial.

Of course, the task of constructing such a topological space is non-trivial. One solution is to resort to the Eilenberg-Maclane space . this certainly satisfies the definition. However, an observant algebraic topologist will notice that this definition only defines a classifying space up to homotopy equivalence, so there are many different models of classifying spaces. Thus, we will give another construction that is in some ways a “better” model – this will have the property . As the functor doesn’t preserve products, this new model can be seen as “better”.

**Definition.** Given a small category , define the *nerve* of the category to be a simplicial set based on morphisms in the category. We will give the construction here:

Our 0-simplices will simply be the objects in the category. Our 1-simplices will be morphisms between the objects. 2-simplices will be the diagrams with edges given by two composable morphisms along with their composition (that is, given two composable morphisms , we take the commutative triangle with edges ). We can continue this construction to get a simplicial set, which we will call the nerve of the category. We still need to specify the face and degeneracy maps in order to have the entire structure of a simplicial set. Define the face map by taking the simplex to the simplex by composing the morphisms into one morphism. Define the degeneracy map by inserting an identity morphism at the object .

We will use this construction to very easily construct a classifying space. Given a discrete group , we can think of it as a single-element groupoid (that is, a category with one object in which all of the morphisms are isomorphisms). Then we take the nerve of this category, and finally take the geometric realization of the nerve. This is a topological space, which will be precisely . Note that the nerve functor is right adjoint, so it commutes with limits, including products. Additionally, it is a well-known fact that geometric realization commutes with products, even though it is a left adjoint functor (see, for example, this paper for a motivation of why this is true).

That the result of this construction is a classifying space is not hard to see. The fundamental groups of a CW complex (and, thus, a simplicial complex) is obtained from the 2-skeleton by taking formal products of the 1-cells and using the 2-cells to apply relations. In this case, the 1-cells are precisely the elements of the group and the 2-cells will tell us that , so this will give us the correct fundamental group. Verifying that the higher homotopy groups are trivial is much more difficult and beyond the scope of this post.

**Example.** Consider the group with two elements. Then, in the nerve of the category, there will be exactly one non-degenerate simplex in each dimension. This will give rise to a simplicial complex with one simplex in each dimension. This is precisely analogous to infinite real projective space, which can be realized as a CW complex with one cell in each dimension. By making the proper identifications we can see that this the same space. Because our construction of classifying spaces commutes with products, we have that is the classifying space for any product of these spaces as well.