I’ve been reading Milnor’s paper “The Steenrod algebra and its dual,” and want to talk a little about it today. The starting point of this story is the theory of cohomology operations. Given a cohomology theory on spaces (or just CW complexes; one can always Kan extend to all spaces), one can consider *cohomology operations* on . Most interesting for our purposes are the *stable* cohomology operations.

A stable cohomology operation of degree will be a collection of homomorphisms for each , which are natural in the space , and which commute with the suspension isomorphisms. If we think of as represented by a spectrum , so that is a representable functor (in the stable homotopy category), then a stable cohomology operation comes from a homotopy class of maps of degree .

A stable cohomology operation is *additive*, because it comes from a spectrum map, and the stable homotopy category is additive. Moreover, the set of all stable cohomology operations becomes a graded ring under composition. It is equivalently the graded ring .

The case where is an Eilenberg-MacLane spectrum, and ordinary cohomology, is itself pretty interesting. First off, one has to work in finite characteristic—in characteristic zero, there are no nontrivial stable cohomology operations. In fact, the only (possibly unstable) natural transformations come from taking iterated cup products because can be computed, via the spectral sequence, to be a free graded-commutative algebra over generated by the universal element. These aren’t stable, so the only stable one has to be zero. So we will work with coefficients for a prime.

Here the algebra of stable cohomology operations is known and has been known since the 1950’s; it’s called the **Steenrod algebra** . In fact, all *unstable*cohomology operations are themselves known. Let me state the result for .

Steenrod had constructed **squaring** operations

These are natural transformations, which have the following properties:

- is the identity operation.
- on a cohomology class of dimension vanishes for . For , acts by the cup square on .
- The Steenrod squares behave well with respect to the cohomology cross (and thus cup) product: .
- is the Bockstein connecting homomorphism associated to the short exact sequence .
- commutes with suspension (and thus is a homomorphism).

By the last property, the Steenrod squares are *stable* cohomology operations. One can explicitly construct these using an acyclic models argument. The intuition is that the Steenrod squares measure the deviation from which the *cochain* algebra , which has an associative and homotopy commutative product given by the Alexander-Whitney formula, cannot be “strictified” to a commutative algebra. In fact, one should think of as an example of an -algebra: these are those dgas whose product is commutative up to coherent homotopy. In general, one cannot replace an -algebra by a cdga, and the Steenrod squares measure this failure. However, the Steenrod squares do not behave the same way on general algebras as they do on spaces. I’ll come back to this.

To determine *unstable* cohomology operations, one reduces by Yoneda’s lemma to determining the mod cohomology of the spaces . This was done by Serre by use of his spectral sequence. In fact, Serre showed that the cohomology of is a polynomial ring on the iterated Steenrod squares of the universal class (except those which have to vanish for dimensional reasons). The corollary of this result is:

Theorem 1The algebra of stable cohomology operations in -cohomology is generated by the .

One might ask what the relations are. These are the **Adem relations**, for which I’ll refer you to Wikipedia. The point of the Adem relations is that, whenever you have an expression where , then you can write as a sum of smaller terms. So the basis for the Steenrod algebra is given by sequences where . It turns out that the Adem relations are *exactly* the relations one has to impose. That is, the Steenrod algebra is the quotient of the free associative algebra on the modulo the Adem relations (and ).

It’s somewhat interesting that establishing is actually nontrivial. In fact, this is false for the action of the Steenrod algebra on general -algebras (and one also gets Steenrod squares in negative degrees). So is actually special to topological spaces! One way to see this is to note that on , should act by the cup square. For a cohomology algebra mod two, any element in degree zero squares to itself, but that is not true for the cohomology of a general -algebra.

OK, so we have . We know, moreover, that there is a natural action

for any space (where cohomology is all mod ). Now one might ask how a general Steenrod operation acts with respect to the ring structure of . This is the source of the additional structure of .

Milnor showed that is a *connected Hopf algebra* (a graded one). In other words, there is a *comultiplication map*

This is required to satisfy the condition that be a homomorphism of graded algebras, and also for any homogeneous . Finally, the requirement is that in degree zero, is generated by the unit element. This ensures that the map given by projecting to the zeroth coordinate is a *counit*, so we do have a Hopf algebra in an ordinary sense.

How do we define ? Milnor does it to make the following diagram commute for any spaces :

Here the left vertical map is the composite of the comultiplication and the braiding. The right vertical map is the action of the Steenrod algebra on . The bottom horizontal arrow is the composite of the actions of the Steenrod algebras on both cohomology rings. The top horizontal arrow is the cohomology cross product.

In particular, this means that if , then acts on the cup product of two cohomology classes by applying to and taking the cup product of them. That is, if , then .

Theorem 2 (Milnor)There is a unique homomorphism which satisfies the above conditions, and makes into a connected Hopf algebra.

Milnor shows this result as follows. He considers the set of all for which there exists some in which do satisfy the above conditions. This set includes the operations , by the Cartan product formula. It is also easily checked to be an algebra, and that the choice of is unique (by working over an Eilenberg-MacLane space). This pretty much implies the theorem.

Note that is cocommutative and coassociative (while it’s associative, but not commutative). This follows by chasing through the diagrams because the cup product is commutative and associative. Since we’re working mod , we don’t even have to worry about signs.

So, now that is a connected Hopf algebra, we can take its *dual* and get a new connected Hopf algebra.

Definition 3is the dual Hopf algebra of and is called thedual Steenrod algebra.

The nice thing about is that, since the Steenrod algebra was *coassociative* and *cocommutative*, its dual is actually commutative and associative. One of Milnor’s results in this paper is that is actually a polynomial ring.

## Leave a Reply