The first basic example of characteristic classes are the Stiefel-Whitney classes. Given a (real) -dimensional vector bundle , the Stiefel-Whitney classes take values in the cohomology ring . They can be used to show that most projective spaces are not parallelizable.
So how do we get them? One way, as discussed last time, is to compute the cohomology of the infinite Grassmannian. This is possible by using an explicit cell decomposition into Schubert varieties. On the other hand, it seems more elegant to give the axiomatic formulation. That is, following Milnor-Stasheff, we’re just going to list a bunch of properties that we want the Stiefel-Whitney classes to have.
Let be a bundle. The Stiefel-Whitney classes are characteristic classes that satisfy the following properties.
First, when . When you compute the cohomology of , the result is in fact a polynomial ring with generators. Consequently, we should only have characteristic classes of an -dimensional vector bundle. In addition, we require that always.
Second, like any characteristic class, the are natural: they commute with pulling back. If is a bundle, is a map, then . Without this, they would not be very interesting.
Third, they satisfy a product formula. Namely, if are two bundles over , then we have
which can be interpreted in the following way. Given any bundle , we can form its total Stiefel-Whitney class . Then the formula becomes simply
It follows that is a homomorphism from the semigroup of real vector bundles on into the units . The latter is a commutative group since we are using -coefficients. Since is always invertible, as , this in particular induces a map from the real -group .
Fourth, characteristic classes are supposed to measure the extent to which vector bundles aren’t trivial. So we require that for a trivial bundle.
Finally, we need one axiom to ensure that these classes are actually interesting in some way (i.e. not the ones with for all ). For this, let us consider the tautological line bundle over . By definition, the fiber over a point is the set of points lying in the line represented by . We require that , so it is the unique nonzero element of .
Alright. So we have said that we want characteristic classes of this form. Unfortunately there doesn’t seem to be a very easy way to get these Stiefel-Whitney classes. Milnor-Stasheff get them via the Steenrod squaring operations combined with the Thom isomorphism.
So for now, let’s just quote:
Theorem 1 Stiefel-Whitney classes satisfying the above properties exist.
In fact, the above properties actually determine the Stiefel-Whitney classes, as one can check by doing some computations with the infinite Grassmannian.
What can we do with this? Well, the first thing I want to do in the next post is talk about when is parallelizable. But let us start with a simple example computation.
Namely, let us consider the tangent bundle and compute the Stiefel-Whitney classes. Note that and consequently there is a normal bundle with fiber over consisting of vectors in which are perpendicular to . By definition, is just the trivial bundle .
In particular, we find
But in fact is a trivial line bundle. The reason is that we have a globally defined nonzero section, because for each , the vector itself is in the fiber of over . So the map makes a trivial line bundle. Thus .
In particular, we find
which means that Stiefel-Whitney classes are insufficient, at least by themselves, for determining when the sphere is parallelizable.