This is the third in a series of posts on oriented cobordism. In the first post, we analyzed the spectrum $MSO$ at odd primes; in this post, we will analyze the prime $2$. After this, we’ll be able to deduce various classical geometric facts about manifolds.

The next goal is to  determine the structure of the homology ${H_*(MSO; \mathbb{Z}/2)}$ as a comodule over ${\mathcal{A}_2^{\vee}}$. Alternatively, we can determine the structure of the cohomology ${H^*(MSO; \mathbb{Z}/2)}$ over the Steenrod algebra ${\mathcal{A}_2}$: this is a coalgebra and a module.

Theorem 8 (Wall) As a graded ${\mathcal{A}_2}$-module, ${H^*(MSO; \mathbb{Z}/2)}$ is a direct sum of shifts of copies of ${\mathcal{A}_2}$ and ${\mathcal{A}_2/\mathcal{A}_2\mathrm{Sq}^1}$.

This corresponds, in fact, to a splitting at the prime 2 of $MSO$ into a wedge of Eilenberg-MacLane spectra.

In fact, this will follow from the comodule structure theorem of the previous post once we can show that if ${t \in H^0(MSO; \mathbb{Z}/2)}$ is the Thom class, then the action of ${\mathcal{A}_2}$ on ${t}$ has kernel ${J = \mathcal{A}_2 \mathrm{Sq}^1}$: that is, the only way a cohomology operation can annihilate ${t}$ if it is a product of something with ${\mathrm{Sq}^1}$. Alternatively, we have to show that the complementary Serre-Cartan monomials in ${\mathcal{A}_2}$ applied to ${t}$,

$\displaystyle \mathrm{Sq}^{i_1} \mathrm{Sq}^{i_2} \dots \mathrm{Sq}^{i_n} t, \quad i_k \geq 2i_{k-1}, \quad i_n \neq 1,$

are linearly independent in ${H^*(MSO; \mathbb{Z}/2)}$. (more…)

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 $A \subset M$ is a closed submanifold of a manifold, there is a lower shriek (Gysin) homomorphism from the cohomology of $A$ to that of $M$; this is Poincaré dual to the restriction map in the other direction. We will see that the “fundamental class” of $A$ (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 $M \subset M \times M$, the corresponding normal bundle is just the tangent bundle of $M$. 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.

I’ve been trying to fix the (many) gaps in my knowledge of classical algebraic topology as of late, and will probably do a few posts in the near future on vector bundles, K-theory, and characteristic classes.

Let ${B}$ be a base space, and let ${p: E \rightarrow B}$ be a real vector bundle. There are numerous constructions for the characteristic classes of ${B}$. Recall that these are elements in the cohomology ring ${H^*(B; R)}$ (for ${R}$ some ring) that measure, in some sense, the twisting or nontriviality of the bundle ${B}$.

Over a smooth manifold ${B}$, with ${E}$ a smooth vector bundle, a construction can be made in de Rham cohomology. Namely, one chooses a connection ${\nabla}$ on ${E}$, computes the curvature tensor of ${E}$ (which is an ${\hom(E,E)}$-valued 2-form ${\Theta}$ on ${B}$), and then applies a suitable polynomial from matrices to polynomials to the curvature ${\Theta}$. One can show that this gives closed forms, whose de Rham cohomology class does not depend on the choice of connection. This is the subject of Chern-Weil theory, and it applies more generally to principal ${G}$-bundles on a manifold for ${G}$ a Lie group.

But there is something that this approach misses: torsion. By working with de Rham cohomology (or equivalently, cohomology with ${\mathbb{R}}$-coefficients), the very interesting torsion phenomena that algebraic topologists care about is lost. For the purposes of this post, we’re interested in cohomology classes where the ground ring is ${R = \mathbb{Z}/2}$, and so de Rham cohomology is out. However, in return, we have cohomology operations. We can use them instead. (more…)

Last time we gave the axiomatic description of the Stiefel-Whitney classes. Today, following Milnor-Stasheff, we want to look at what happens in the particular case of real projective space ${\mathbb{RP}^n}$. In particular, we want to compute the Stiefel-Whitney classes of the tangent bundle ${T(\mathbb{RP}^n)}$. The cohomology ring of ${\mathbb{RP}^n}$ with ${\mathbb{Z}/2}$-coefficients is very nice: it’s ${\mathbb{Z}/2[t]/(t^{n+1})}$. We’d like to find what ${w(T(\mathbb{RP}^n)) \in \mathbb{Z}/2[t]/(t^{n+1})}$ is.

On ${\mathbb{RP}^n}$, we have a tautological line bundle ${\mathcal{L}}$ such that the fiber over ${x \in \mathbb{RP}^n}$ is the set of vectors that lie in the line represented by ${x}$. Let’s start by figuring out the Stiefel-Whitney classes of this. I claim that

$\displaystyle w(\mathcal{L}) = 1+t \in H^*(\mathbb{RP}^n, \mathbb{Z}/2).$

The reason is that, if ${\mathbb{RP}^1 \hookrightarrow \mathbb{RP}^n}$ is a linear embedding, then ${\mathcal{L}}$ pulls back to the tautological line bundle ${\mathcal{L}_1}$ on ${\mathbb{RP}^1}$. In particular, by the axioms, we know that ${w(\mathcal{L}_1) \neq 1}$, and in particular has nonzero ${w_1}$. This means that ${w_1(\mathcal{L}) \neq 0}$ by the naturality. As a result, ${w_1(\mathcal{L})}$ is forced to be ${t}$, and there can be nothing in other dimensions since we are working with a 1-dimensional bundle. The claim is thus proved. (more…)

The first basic example of characteristic classes are the Stiefel-Whitney classes. Given a (real) ${n}$-dimensional vector bundle ${p: E \rightarrow B}$, the Stiefel-Whitney classes take values in the cohomology ring ${H^*(B, \mathbb{Z}/2)}$. 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 ${\mathbb{Z}/2}$ 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 ${p: E \rightarrow B }$ be a bundle. The Stiefel-Whitney classes are characteristic classes ${w_i(E) \in H^i(B, \mathbb{Z}/2)}$ that satisfy the following properties.

First, ${w_i(E) = 0}$ when ${i > \dim E}$. When you compute the cohomology of ${\mathrm{Gr}_n(\mathbb{R}^{\infty})}$, the result is in fact a polynomial ring with ${n}$ generators. Consequently, we should only have ${n}$ characteristic classes of an ${n}$-dimensional vector bundle. In addition, we require that ${w_0 \equiv 1}$ always.

Second, like any characteristic class, the ${w_i}$ are natural: they commute with pulling back. If ${E \rightarrow B}$ is a bundle, ${f: B' \rightarrow B}$ is a map, then ${w_i(f^*E) = f^* w_i(E)}$. Without this, they would not be very interesting. (more…)