Today I would like to take a break from the index theorem, and blog about a result of Wu, that the Stiefel-Whitney classes of a compact manifold (i.e. those of the tangent bundle) are homotopy invariant. It is not even a priori obvious that the Stiefel-Whitney classes are homeomorphism invariant; note that “homeomorphic” is a strictly weaker relation than “diffeomorphic” for compact manifolds, a result first due to Milnor. But in fact the argument shows even that the Stiefel-Whitney classes (of the tangent bundle) can be worked out solely in terms of the structure of the cohomology ring as a module over the Steenrod algebra.
Here is the idea. When is a closed submanifold of a manifold, there is a lower shriek (Gysin) homomorphism from the cohomology of to that of ; this is Poincaré dual to the restriction map in the other direction. We will see that the “fundamental class” of (that is, the image of 1 under this lower shriek map) corresponds to the mod 2 Euler (or top Stiefel-Whitney) class of the normal bundle. In the case of , the corresponding normal bundle is just the tangent bundle of . But by other means we’ll be able to work out the Gysin map easily. Once we have this, the Steenrod operations determine the rest of the Stiefel-Whitney classes.
The Gysin map
Let be a compact manifold. All cohomology will be with -coefficients.
Given a closed submanifold with an inclusion , there is a Gysin map where is the codimension. This can be defined as the Poincaré dual to the map given by restriction.
Definition 1 The fundamental class of is the .
Alternatively, is Poincaré dual to the image of the “fundamental class” .
We are going to determine the pull-back of the fundamental class. The claim is that it is going to be the top Stiefel-Whitney class of the normal bundle of . When we apply this to the case of a manifold sitting inside its square (via the diagonal embedding), we will get a formula that will imply Wu’s theorem.
Namely, let us start by considering , which maps to . We know that there is a neighborhood of in isomorphic to the normal bundle , so by excision we have an isomorphism
where is imbedded in via the zero-section. However, by the Thom isomorphism, we also know that (which is in fact the reduced cohomology of the Thom space of ), is a free module over , generated by a class (as ). If we were working over with oriented bundles, this would be the Euler class.
Proposition 2 The class maps to the class under restriction .
To prove this, we will work out what the Gysin map should be for an imbedding of a manifold in the zero section of a vector bundle.
There is still a Gysin map for an imbedding
where is noncompact, except here we have to use compactly supported cohomology to apply Poincaré duality. The map goes where is the codimension and indicates that compact supports are used. Suppose now that is the total space of a vector bundle over , and that in particular implies . Then the claim is that the Gysin map is just multiplication by the class (the top Stiefel-Whitney or “Euler mod 2” class). To be precise, we mean that there is a class in , given by the Thom isomorphism theorem, such that multiplication by it is the Gysin map; this class becomes the “Euler” class when restricted to .
In fact, what we have to do is to check that multiplication by , which induces a map
is Poincaré dual to restriction . The last map is an isomorphism. So we have to check the following. Let be the projection and the inclusion of the zero section. We have to check that if is a cohomology class, then for any , we have a correspondence between
where to say that they “correspond” just means that they are either both nonzero or both zero (by Poincaré duality, we know that the top cohomology is ). But this is just the Thom isomorphism theorem, which states that multiplication by induces an isomorphism
This is the result.
In other words, we have also proved:
Proposition 3 The Gysin map for the inclusion of a manifold inside the zero section of a vector bundle is given by multiplication by the mod 2 Euler class or top Stiefel-Whitney class of the normal bundle. In particular, it is an isomorphism.
We can also use the above result, together with the tubular neighborhood theorem, to get something weaker for the inclusion for a compact manifold . Let , so we can write .
Corollary 4 (Gysin sequence) There is a long exact sequence
In fact, we need only consider the long exact sequence
The first map is restriction, and the second map is the coboundary. If we use the isomorphism between and (the Thom isomorphism), then we are done.
In any event, we see that if is a closed imbedding, then is the mod 2 Euler class of the normal bundle.
The diagonal map
Let be a compact manifold of dimension , and consider the inclusion
We are interested in understanding what is. On the one hand, we know that the normal bundle of imbedded in is just the tangent bundle itself. So we can say that is going to have to correspond to the mod 2 Euler class of .
But we will now step away momentarily from characteristic classes. The goal is:
Proposition 5 Let be a basis for and let be the dual basis. Then we have:
In fact, we know that has the following property. For any cohomology class , we have that
where is the fundamental homology class. But this is . This is the definition of as being Poincaré dual to the map given by pulling back to (via and) “integrating.”
Now, by assumption, we can express for some . We just need to compute the as the Kronecker delta. In fact, fix , and consider . Then
If we evaluate this on the homology fundamental class , we get . On the contrary, if we compute , we get . As a result, we find as claimed
This proves the claim about .
In particular, we note that is a homotopy invariant of , in that it is determined in terms of the cohomology ring. If we compute , we recall that this is the top Stiefel-Whitney class of the normal bundle of , or equivalently . Thus:
Proposition 6 is a homotopy invariant of (and in fact is determined solely in terms of the cohomology ring of ).
This is not terribly surprising, since is the mod 2 Euler characteristic.
The other Stiefel-Whitney classes
Next, the claim is that all the Stiefel-Whitney classes of are determined in terms of the cohomology ring of , with the action of the Steenrod squares. In fact, let us recall how the Stiefel-Whitney classes can be constructed for the vector bundle . Namely, consider the generator in , and apply the total squaring operation to it; then invert the Thom isomorphism to pull back to . This will be the total Stiefel-Whitney class.
So, we have that , and the claim is that the inverse Thom isomorphism
can be realized in another way.
Proposition 7 The inverse to the Thom isomorphism, which is a map , is given by restricting to and then the slant product with .
In fact, if we look at the description of , we see that the slant product of this with is definitely . Both are homomorphisms of modules, so we are done.
In other words, if we want to compute the Stiefel-Whitney classes of , all we need to do is to take , apply to that, and then slant product with . We write this as:
Proposition 8 The Stiefel-Whitney class .
Corollary 9 (Wu) The Stiefel-Whitney class (and thus the Stiefel-Whitney numbers) is a homotopy invariant of .
This is because we have seen is a homotopy invariant of .
Incidentally, a deep result in algebraic topology due to Thom is that the Stiefel-Whitney numbers of a manifold determine the unoriented cobordism class. In particular, we find:
Corollary 10 Two manifolds which are homotopy equivalent are unoriented cobordant.
We can also get another formula for the class .
Definition 11 If is a compact manifold, consider the map given by . This defines by duality an element , which is called the Wu class.
The main formula is:
Theorem 12 (Wu) The Stiefel-Whitney class is .
To see this, note that what we have is
This is equivalently where the last thing is the pairing. However, is easily seen to be , so we are done.
It is sort of surprising that things are very different when one works with Pontryagin classes. There, it is true that certain polynomials in the Pontryagin classes are homotopy invariant; these polynomials are those given by the Hirzebruch signature theorem. However, those are the only Pontryagin numbers which are oriented homotopy type invariants.