I’ve been reading about spectra and stable homotopy theory lately, but don’t feel ready to start talking about them here. Instead, I shall say a few words on characteristic classes. The present post will be quite general and preparatory — the more difficult matter is to actually construct such characteristic classes. Our goal is to see that characteristic classes essentially boil down to computing the cohomology of the infinite Grassmannian.

A lot of problems in mathematics involve the existence of sections to vector bundles. For instance, there is the old question of when the sphere is parallelizable. A quick Euler characteristic argument shows that even-dimensional spheres can’t be—then there would be an everywhere nonzero vector field, whose infinitesimal flows would be homotopic to the identity (and consequently having nonzero Lefschetz number by the even-dimensionality) while having no fixed points. In fact, much more is known. Using the group or group-like structures on (coming from the complex numbers, quarternions, and octonions), it is easy to see that these manifolds are parallelizable. But in fact no other sphere is.

A **characteristic class** is a means of assigning some invariant to a vector bundle. Ideally, it should be trivial on trivial bundles, so the characteristic class can be thought of as an “obstruction” to finding large numbers of linearly independent sections.

More formally, let be a vector bundle. A **characteristic class** assigns to this bundle (of some fixed dimension, say ) an element of the cohomology ring (with coefficients in some ring). To be interesting, the characteristic class has to be **natural**. That is, if is a map, then the characteristic class of the pull-back bundle should be the pull-back of the characteristic class of . (more…)