One of the really nice pictures in homotopy theory is the “chromatic” one, relating the structure of the stable homotopy category to the geometry of formal groups (or rather, the geometry of the moduli stack of formal groups). A while back, I did a series of posts trying to understand a little about the relationship between formal groups and complex cobordism; the main result I was able to get to was Quillen’s theorem on the formal group of . I didn’t understand too much of the picture then, but I spent the summer engaging with it and think I have a slightly better feel for it now. In this post, I’ll try to give a description of how a natural attack on the homotopy groups of a spectrum via descent leads very naturally to the moduli stack of formal groups and to the Adams-Novikov spectral sequence. (There are other approaches to Adams-type spectral sequences, for instance in these notes of Haynes Miller.)
Let’s start with some high-powered generalities that I don’t really understand, and then come back to earth. Consider an -ring ; the most important examples will be or . There is a map of -rings , where is the sphere spectrum.
Let be a plain spectrum. Then, equivalently, is a module over . Tensoring with gives an -module spectrum , where the smash product of spectra is written . In fact, we have an adjunction
between and forgetting the -module structure. As in ordinary algebra, we might try to apply the methods of flat descent to this adjunction. In other words, given a spectrum , we might try to recover from the -module together with the “descent data” on . The benefit is that while the homotopy groups may be intractable, those of are likely to be much easier to compute: they are the -homology groups of .
Let’s recall how this works in algebra. Given a faithfully flat morphism of rings and an -module , then we can recover as the equalizer of
How does one imitate this construction in homotopy? One then has a cosimplicial -ring given by the cobar construction
The (homotopy limit) of a cosimplicial object is the homotopyish version of the 1-categorical notion of an equalizer. In particular, we might expect that we can recover the spectrum as the homotopy limit of the cosimplicial diagram
In fact, this is often possible. The natural map
turns out to be an equivalence if is “nice” (e.g., connective with finitely generated homology) and . In other words, the spectrum can be recovered from the cosimplicial module over the cosimplicial -ring . This, combined with the homotopy spectral sequence for a cosimplicial object, offers an approach to calculating in terms of the -homology of . What is this approach? It’s the Adams-Novikov spectral sequence! If we replace with , we get the classical Adams spectral sequence and the above is the 2-adic completion of (which is all that one can hope for, as a homotopy limit of -modules).
2. The Adams-Novikov spectral sequence
So let’s take the picture from the previous section. Given a spectrum , under nice hypotheses we can recover from the -modules . In particular, we had
Now, whenever you have a cosimplicial spectrum , there is a homotopy spectral sequence
where defines a cosimplicial abelian group, and is the homotopy of that cosimplicial abelian group (i.e., the cohomology of the associated complex under Dold-Kan). In the present case, this means that we get a spectral sequence
and where the is of the complex
But a nice thing happens since we are working with . Since satisfies a flatness condition ( is flat over ), we have that
and the above complex is precisely the cobar complex for computing the group
in the category of -comodules. In particular, we find the spectral sequence runs
which is precisely the ANSS.
3. The stacky language
The Adams-Novikov ss has been around a long time, but one of the newer developments that gives it an extra conceptual edge is the stacky language. Namely, let’s go back to the fact that we had a cosimplicial -ring , and that we recovered a given spectrum from the cosimplicial module on it. Taking homotopy groups everywhere, we have a cosimplicial ring
and a cosimplicial module
The cosimplicial module is “compatible” with cosimplicial ring structure in the strong sense that any coface or codegeneracy map in the cosimplicial module comes from tensoring up with the corresponding coface or codegeneracy map in the cosimplicial ring. Stated another way, we have a Hopf algebroid, and a comodule over the Hopf algebroid.
Now, a cosimplicial ring (for instance, that corresponding to a Hopf algebroid) is the same thing as a simplicial affine scheme. Moreover, a simplicial affine scheme gives a presentation of a stack, and a simplicial quasi-coherent sheaf on a simplicial affine scheme such that the face and degeneracy maps are cartesian is the same thing as a quasi-coherent sheaf on the associated stack.
So what does this tell us? Well, the Hopf algebroid presents a stack, and the comodule presents a quasi-coherent sheaf on it. One more thing: everything here takes values in the graded category of rings and modules. This grading is the same as an action of the multiplicative group scheme , and taking the stacky quotient gives a stack and a quasi-coherent sheaf on .
The amazing result is that is actually a natural object in algebraic geometry.
Theorem 2 (Quillen) is the moduli stack of formal groups (i.e., one-dimensional smooth formal group schemes).
This is essentially Quillen’s theorem on the formal group law of . One of the things I’ve wondered about is whether there is a “derived” version of all this: as I heard from a topologist once, take the geometric realization of in the category of derived stacks. Is this a concrete derived stack? Not knowing about derived stacks, I can’t offer much here.
Anyway, the point was: the descent cosimplicial diagram has homotopy groups forming a cosimplicial ring, which presents a stack classifying formal groups. Given a spectrum , the homotopy groups of the cosimplicial diagram (equivalently, together with the comodule structure) describe a quasi-coherent sheaf on the stack of formal groups. We get a functor:
which is a fancier way of saying that any spectrum gives an -module with a comodule structure over .
Finally, we have:
Theorem 3 Let be the quasi-coherent sheaf defined by on . The page of the ANSS can be described as .
Why is that? Again, as before, the page of the ANSS is described as the cohomology of a cobar-type complex, or as in the category of comodules over ; but if we identify comodules over this Hopf algebroid with quasi-coherent sheaves on the stack, the groups become cohomology groups.
This language becomes really powerful once you start doing geometry with , rather than sticking to algebra with comodules. There’s a very nice structure theory for in terms of the theory of heights (various theorems of Lazard) that let you “visualize” via a stratification–which, remarkably, turns out to be reflected in stable homotopy! More on this later.