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.
October 18, 2011 at 9:27 pm
[…] so we want to construct the Stiefel-Whitney classes. I explained slightly less than a year ago what the properties we want of them are. Let me repeat them. We want […]