(This is the first in a series of posts on the Hopkins-Miller theorem; this post is primarily motivational.)
Let be the functor of complex -theory. Then is the first serious “extraordinary” cohomology theory one tends to encounter, and historically it has provided a useful language to express problems such as obtaining the right language for index theory.
One thing that you might want with a new exotic thing like , though, is to be able to see better that maps that are not nullhomotopic are in fact not nullhomotopic. For instance, any map of spheres
for induces the zero map in ordinary homology, but such an can be far from being nullhomotopic. So homology can’t say much (at least at this level) about the homotopy groups of spheres.
Unfortunately, -theory doesn’t help much more either. If is any map between spheres for , then is zero: this is a consequence of the fact that the stable homotopy groups of spheres are torsion, while the -groups of spheres are torsion-free. Another way of saying this is that if you think of -theory as a ring spectrum, then the Hurewicz map
is zero (except on ).
However, it turns out that we can, with a little additional effort, manufacture a cohomology theory from with a much better Hurewicz homomorphism. The observation is that -theory, as a spectrum, admits a -action.
On the level of cohomology theories, we have an involution on the group for each finite space , coming from complex conjugation of vector bundles.
Proposition 1 The above action of on for each space comes from a -action on the spectrum representing -theory.
By the Brown representability theorem, we should think of a -equivariant spectrum as a cohomology theory on -equivariant spaces. This cohomology theory is “-theory,” or Real -theory. This is an idea that goes back to Atiyah’s paper “-theory and reality,” and the capitalization of “Real” is intentional.
Definition 2 A Real vector bundle on a -equivariant space is a complex vector bundle . Moreover, we require an antilinear action of on , such that the map is a morphism of equivariant spaces.
In other words, if we denote the involution on by , then we are required to have antilinear maps
which fit together into a map of topological spaces . In Atiyah’s paper, he shows that Real vector bundles can be used to define a cohomology theory on -equivariant spaces.
So, for instance, if the involution on is trivial, then (by a special case of Galois descent) a Real vector bundle on is the same as a real vector bundle on . If for a non-equivariant space, then a Real vector bundle on is the same as a complex vector bundle on .
Now the whole point of this digression, and one of the major applications of the Hopkins-Miller theorem, is that given an equivariant spectrum, taking homotopy fixed points is a way to manufacture new and potentially interesting ones. For instance, we’ve seen that -theory cannot do some of the things we might ask of an “extraordinary” cohomology theory; can its homotopy fixed point spectrum do better?
Example: The homotopy fixed point spectrum is -theory: that is, real -theory. For a finite space , is the Grothendieck group of stable real vector bundles on .
The idea here is that if making into a -equivariant spectrum meant inventing a new equivariant cohomology theory , then taking homotopy fixed points means restricting to spaces with trivial -action. But on a space with trivial -action, is literally the Grothendieck group of real vector bundles, as above.
Edit: I forgot to mention, somewhat carelessly, that the Hurewicz image of -theory is much better than the Hurewicz image of -theory, because there is torsion in . For instance, the Hopf map , and its square, are nonzero in -theory. In general, in dimensions , Adams showed that there is a nontrivial Hurewicz image in -theory.
Now -theory and -theory are easier examples than the one relevant to the Hopkins-Miller theorem, because concrete geometric models (via vector bundles) are known for both of them. The spectra relevant for Hopkins-Miller are a fair bit more algebraic, though see the answer to this MathOverflow question for some interesting ideas.
2. Landweber’s exact functor theorem
Let be a complex-oriented cohomology theory. As we saw in the (unfinished) series of posts on complex cobordism, the complex orientation of allows one to define a theory of Chern classes in -cohomology for complex vector bundles. However, the theory of Chern classes is not necessarily well-behaved with respect to tensor products: that is, for line bundles , we do not have
(as we do in ordinary cohomology), but rather we have
where is a formal group law over the ring .
The amazing result of Quillen was that, when one works with the cohomology theory of complex bordism (which, for relatively formal reasons, turns out to be the “universal” complex-oriented theory), then the formal group law we get is actually the universal one: that is, there is a canonical isomorphism
for the Lazard ring.
My understanding is that a “good” explanation of Quillen’s theorem is not known to working homotopy theorists. It is proven using a fairly explicit computation in the Adams spectral sequence for and a look at the (far simpler) formal group law over . (Quillen had a later more elementary and less homotopy-theoretic proof.) Still, without such an explanation, we can still infer from the result that the connection between formal group laws and cohomology theories is pretty deep. And that maybe we might go in the other direction — maybe we might start with a formal group law, and get a cohomology theory.
So let’s say we have a ring (appropriately graded) together with a formal group law over .
Goal: Construct a complex-oriented cohomology theory with and such that the formal group law of is precisely .
How might we do this? The formal group law over is classified by a map , by Quillen’s theorem. So we might try to manufacture our cohomology theory directly from : that is, we might set
This is not generally going to work, because the tensor product is only right-exact, so as defined above cannot a priori necessarily be expected to satisfy the required exactness assumptions.
Theorem 3 (Landweber) Suppose and satisfy the following property. For each prime , let denote the coefficient of in the -series . Suppose
is a regular sequence in , for each prime . Then defines a homology theory on spectra. Alternatively, defines a cohomology theory on finite complexes, and its formal group law is precisely .
By the homology version of the Brown representability theorem, we can use the above “exact functor theorem” to produce new spectra.
The regular sequence condition in Landweber’s theorem seems a little strange at first. Landweber originally proved it by studying the category of finitely presented comodules over the “Hopf algebroid” : in other words, the analog of categories of modules over the Steenrod algebra. He showed that, while has a big category of modules, the category of modules admitting “-operations” is a lot smaller. Landweber proved:
Theorem 4 (Invariant prime ideal theorem) Let be a prime ideal which is invariant under the action of -cooperations. Then is of the form
for some and (possibly infinite).
Using a version of primary decomposition for comodules, Landweber proved the exact functor theorem by reducing to showing that any finitely presented comodule admits a filtration whose subquotients were of the form for some ; this is how the regularity condition enters.
The modern take on Landweber’s results is rather different; it was later observed that the conditions of the exact functor theorem are in fact a flatness condition. In other words, the Landweber condition is precisely requiring that the map
to the stack of formal groups (notice: not formal group laws!) is a flat morphism, and the precise nature of the condition comes from the rather unusual picture of drawn for instance in these notes. This is a beautiful story, which is explained in Jacob Lurie’s course notes or Paul Goerss’s paper.
So, using the Landweber exact functor theorem, we can get a whole host of new complex-oriented cohomology theories. For instance, we can get . (We can’t get ordinary cohomology, though.) Unfortunately, complex-oriented cohomology theories won’t let us see the stable homotopy groups any more: the problem is that the Hurewicz map
for any complex-oriented cohomology theory , factors through
and the first map is zero since is torsion-free.
However, motivated by the discussion at the beginning of the post, perhaps we might get a more powerful theory if we took homotopy fixed points of a Landweber-exact theory under a suitable group action. The fact that we can do this, and that we can in fact do this in the setting of structured ring spectra, is the content of the Hopkins-Miller theorem.