One of the most incredible facts I learned last semester was a result of Ravenel and Wilson from the 70s (later revisited and formalized by Goerss in the very late 80s) about the space of maps between two complex orientable spectra.
A complex oriented cohomology theory is a ring-valued cohomology theory E, together with a distinguished element so that . What makes complex oriented cohomology theories interesting is that they provide a notion of Chern classes very similar to the Chern classes associated to ordinary cohomology, and characteristic classes are in general an extremely useful approach to the study of vector bundles. Given the class x above, a complex oriented cohomology theory E associates to a vector bundle V over a space X a sequence of E-Chern classes satisfying the following properties:
A famous result on the geometry of vector bundles is that every vector bundle can be pulled back to a sum of line bundles along a map that is injective on cohomology, and so these axioms actually determine the Chern classes for all vector bundles.
Part of the reason K-theory gets so much interest is that the K-theory of a space is not just a group under direct sum of virtual bundles but actually a ring with multiplication given by tensor product of bundles. However, our axioms don’t say anything about the tensor product of bundles, but they do give us the tools we need to study it, since the tensor product of line bundles comes with a universal example: the map classifying the tensor product . Applying the axioms, we simply compute:
where F(u, v) is just defined to be the image of x under the map induced by f in E-cohomology. F itself is an interesting gadget, since it inherits several properties of the tensor product, namely:
F is called a formal group law over , and is a very interesting invariant associated to a complex oriented cohomology theory.
An even more interesting invariant, constructed in exactly the same way, is the more complicated formal group from which the formal group law descends: . For the uninitiated, one approach to algebraic geometry is to think of rings R as the functors that they represent. This assignment from rings to functors is written , and it adds in the limits that are missing in the original category of rings (by dualizing and adding colimits). This is very much akin to easing the study of manifnews by adding their missing colimits — for instance, the corner has no pushout in the category of manifnews, but in some sense because those maps exist, the pushout should morally exist as an object of interest, and the same is true for rings. Things are made even more complicated because our cohomology rings inherit a topology that comes from filtering the CW-complex X by its finite subcomplexes . We define
a sort of scheme-with-topology, called a formal scheme.
This object carries all the data of the formal group law associated to the complex orientation of E – and more, via this topology. What’s neat about this object is the incredible amount of data about E that it encodes. The result of Ravenel and Wilson that I wanted to get to is, given two complex oriented spectra E and F, the E-cohomology of F (under certain niceness conditions) can be described algebro-geometrically as
This is a truly incredible result, but I personally started to feel its impact when I found it could be used to describe the structure of the Steenrod algebra. Recall that the (mod p) Steenrod algebra is defined as the cohomology operations of , or equivalently the cohomology ring . In the 50s, Milnor famously noticed that the linear dual of the Steenrod algebra is a lot easier to handle than the Steenrod algebra itself, and since we’re working with coefficients in a field, there’s little work to be done to see that this coincides with the homology ring . Integral cohomology, and hence cohomology with coefficients in , is complex orientable, and in fact it satisfies the niceness conditions needed to employ the algebraic geometry gestured at above — we just need to compute the formal group . It turns out that this formal group is well known, it goes by the name “the additive formal group,” denoted , and it comes with the formal group law . This formal group comes with the action
with addition inherited from R.
The ring representing is , and an automorphism of corresponds to a power series F such that . Over , it’s easy to check that F must be of the form
and the space of such power series is represented by the ring . The Hopf algebra structure map arises from the composition of these automorphisms, which we calculate as follows:
which is the usual cryptic relation among the duals of the Steenrod squares, laid bare as a trivial consequence of composing certain kinds of power series. Neat!