Let be a fixed base compact and Hausdorff space. Denote by the Grothendieck group of of isomorphism classes of finite-dimensional complex vector bundles over with addition given by and multiplication given by . For example, if , then and thus . Denote by the kernel of the map , induced by the inclusion . This is called reduced K-theory. K-theory has been used, for example, to answer the Hopf invariant one problem, which we won’t discuss here. (There are many more applications of topological K-theory, but we won’t go into those in this post, as some of them require more algebro-topological stuff.) One of the many reasons why K-theory is so interesting is because of the following beautiful result by Bott:
Theorem (Bott periodicity): There’s an isomorphism .
In future posts, we’ll prove the Bott periodicity theorem. In this post, however, what we want to prove in this post is the following result, which hints to us that K-theory might be some kind of cohomology theory:
Theorem (LES): Let be a closed subset of a compact Hausdorff space . There’s a long exact sequence:
The sequence is called the Puppe sequence. Consider the sequence where is the cone of . First, since is contractible, is homotopy equivalent to , and second, is simply . Thus sticking to the end of , etc., gives us the Puppe sequence. Now, a very important property of the Puppe sequence is that if and are path-connected CW-complexes, then there’s a long exact sequence . But, well, this looks somewhat like the required long exact sequence for reduced K-theory. Hmm…
Let’s go back to ordinary vector bundles. Let be a vector bundle over , and let be a continuous map. There’s an induced bundle over , given by (what’s the projection map?). How does this help us? Suppose is a vector bundle; if this is classified by a map from to some space, then, well, we could use the long exact sequence from the Puppe sequence to prove the required result.
If is a vector bundle of rank , there indeed is such a space! Let denote the space of -dimensional complex linear subspaces of . The open subsets of are sets of subspaces which intersect an open subset of . How is this helping us? We can define a vector bundle over via . If is induced by the inclusion , then . So, what we can do is consider the union of under the inclusion maps in the previous sentence. This gives the classifying space of the unitary group , which is also the Eilenberg-Maclane space . We have the following important result:
Important result: There’s a universal bundle, denoted , over , which induces , such that any rank vector bundle over a paracompact space is induced by a map , and two such bundles are isomorphic if they’re induced by homotopic maps.
That’s a really cool result, but it doesn’t seem to help us much in the case of a general vector bundle over , which is what K-theory is about. Let’s consider the inclusions , and denote by its direct limit. The classifying space of is denoted . This is also the direct limit of the inclusions . It’s easy to see that a general vector bundle over corresponds via the above important result to a map , and this vector bundle is of rank if is the minimal integer such that the map factors as .
Well, by the definition of , we see that ! Note also that ; to see this, note that . Because , the required result follows. By the long exact sequence induced by the Puppe sequence, we’ve finished the proof of the Theorem (LES). The above discussion also implies, via Bott periodicity, that . As mentioned in the beginning of the post, K-theory might be a cohomology theory; it indeed is! K-theory is an example of something called an extraordinary cohomology theory, in the sense that it satisfies all of the Eilenberg-Steenrod axioms except for the dimension axiom. (I’ll note here that there’s also an analogue of all of this stuff for real K-theory, where we consider real vector bundles.)