I’ve just uploaded to arXiv my paper “The homology of ,” which is an outgrowth of a project I was working on last summer. The main result of the paper is a description, well-known in the field but never written down in detail, of the mod cohomology of the spectrum of (connective) topological modular forms, as a module over the Steenrod algebra: one has
where is the Steenrod algebra and is the 64-dimensional subalgebra generated by and . This computation means that the Adams spectral sequence can be used to compute the homotopy groups of ; one has a spectral sequence
Since is finite-dimensional, the entire page of the ASS can be computed, although the result is quite complicated. Christian Nassau has developed software to do these calculations, and a picture of the page for is in the notes from André Henriques‘s 2007 talk at the Talbot workshop. (Of course, the determination of the differentials remains.)
The approach to the calculation of in this paper is based on a certain eight-cell (2-local) complex , with the property that
where is a quotient of the classical Brown-Peterson spectrum by a regular sequence. The usefulness of this equivalence, a folk theorem that is proved in the paper, is that the spectrum is a complex-orientable ring spectrum, so that computations with it (instead of ) become much simpler. In particular, one can compute the cohomology of (e.g., from the cohomology of ), and one finds that it is cyclic over the Steenrod algebra. One can then try to “descend” to the cohomology of . This “descent” procedure is made much simpler by a battery of techniques from Hopf algebra theory: the cohomologies in question are graded, connected Hopf algebras.
In general, computing the -homology is difficult, especially since the homotopy groups of are so difficult, but if one works with the non-connective version (a spectrum whose connective cover is ), then the -homology of a given spectrum is essentially an amalgamation of the elliptic homology of , modulo differentials in a spectral sequence. In the case of , a key step in the paper is a modular description of the elliptic homology of (roughly, it is the ring classifying -structures on the elliptic curve), which makes possible the computation of the groups . In fact, the spectrum is almost certainly the spectrum of “topological modular forms of level 3,” although I do not believe that a description of this spectrum is in print. (Away from the prime 2, this appears in Vesna Stojanoska‘s thesis.)
In this blog post, I’d like to sketch the strategy of the computation used in the paper.
1. The different flavors of
In a previous post, I described the spectrum of (periodic) topological modular forms, which was obtained as a homotopy limit of various elliptic spectra. Namely, one had a sheaf of -ring spectra on the étale site of the moduli stack of elliptic curves. For every affine étale morphism
classifying an elliptic curve over , one had an elliptic spectrum , which was an -algebra whose formal group was identified with the formal group of that elliptic curve. (The stack is a Deligne-Mumford stack: that is, there are enough étale morphisms into from actual schemes.) The spectrum was defined as the global sections of this sheaf. In other words, it was the elliptic cohomology associated to the “universal” elliptic curve — but the only way to define that was taking an inverse limit over a stack.
The descent spectral sequence provides a map
into the ring of integral modular forms (with grading doubled), with the modular discriminant inverted since we are working with smooth elliptic curves. The map is not surjective, although it is an isomorphism with inverted. Integrally, only survives, making a 576-periodic ring spectrum.
The above data can be thought of as a structure sheaf for the étale site of , except it takes values in -rings instead of ordinary commutative rings. The POV of derived algebraic geometry suggests that one should think of this as a sort of derived algebraic (Deligne-Mumford) stack whose structure sheaf is in fact the sheaf of elliptic spectra. Given this, and given the description as a ringed -topos, one may ask about the moduli interpretation is of this “derived stack”: this was found by Jacob Lurie and is sketched in his survey on elliptic cohomology.
But there are other variants of topological modular forms. It turns out that it is possible to extend the sheaf of -rings from the étale site of to the étale site of the compactification of “generalized” elliptic curves that are allowed to have a nodal singularity. Such generalized elliptic curves also have formal groups; for a nodal cubic, it is given by the formal multiplicative group. One defines
this is a non-periodic ring spectrum, since is no longer invertible over the compactified stack . The spectrum is defined by
that is, it is the connective cover. This is the smallest of the various things called , and it is much smaller than taking .
2. The complex and level 3 structures
In general, the homotopy groups of are quite complicated; there is considerable torsion at the primes 2 and 3. (This paper of Tilman Bauer describes the calculation of the connective cover.) The homotopy groups of are calculated via a spectral sequence
where is the line bundle on that assigns to an elliptic curve the dual of its Lie algebra. The reason the homotopy groups of are so complicated is that the cohomology of the moduli stack is very messy. However, it’s possible that smashing with a finite spectrum could simplify the homotopy groups. For instance, in -theory, it’s a classical theorem of Wood that : that is, one can get from the (comparatively messy) homotopy groups of -theory to the very simple ones of unitary -theory .
In general, for an even finite spectrum (that is, a connective spectrum with finitely generated homology), the elliptic homology of naturally lives as a quasi-coherent sheaf on . In other words, for every elliptic curve classified by an étale map , one can form the associated elliptic homology theory (that is, the sections of the sheaf of elliptic spectra over ), and the resulting as varies defines a vector bundle on the moduli stack of elliptic curves. One then has a descent spectral sequence
which is the descent spectral sequence for . In other words, one has this sheaf of -rings over the étale site of , and then one smashes it with to get a sheaf of modules whose global sections give . The descent spectral sequence one gets is as above.
The above spectral sequence is related to the Adams-Novikov spectral sequence, which for an even spectrum produces a vector bundle on the moduli stack of formal groups , and runs .
The basic observation here is that while the cohomology of the structure sheaf of is very complicated, the cohomology of vector bundles on it can be much simpler. For example, at the prime , there is an eight-fold cover of the moduli stack ,
where the stack classifies elliptic curves together with a nonzero point of order 3. The pushforward of the structure sheaf along this cover gives a rank eight vector bundle on . The stack is much simpler than : it is, up to -action, affine. To see this, given an elliptic curve with a point of order 3, we can move the point of order 3 to , which means is an inflection point. Hence the cubic equation must have the form
and the only isomorphisms between such cubic curves come from . It follows that the moduli stack of elliptic curves with a point of order 3 can be described as where acts by . In particular, since -actions just keep track of gradings, the stack is basically affine, for our purposes, and we have a nice vector bundle on with trivial cohomology and lots of sections.
The vector bundle actually extends to as well; in fact, an explicit calculation shows that provides an eight-fold flat cover of the even larger moduli stack of all cubic curves (which are allowed to have a cuspidal singularity).
The main step in the paper is to show that this eight-dimensional bundle on is realizable as the elliptic homology of an eight-cell complex. This complex is denoted ; it is a 2-local finite spectrum whose cohomology, as a module over the Steenrod algebra, can be drawn as:
Although it’s generally not possible to realize even a small module over the Steenrod algebra by a spectrum (cf. the Hopf invariant one problem), the complex can be built fairly explicitly by attaching cells.
How does one compute the elliptic homology of ? The main point is to understand the “cooperations”: that is, one needs to know not what the elliptic homology of is for one elliptic curve (which is easy to determine; it’s projective of rank eight), but what it is in a functorial manner. In the paper, the key step is to observe that, for formal reasons, the vector bundle can be extended over the stack of cubic curves; over this stack, the fiber over the cuspidal cubic encodes the mod 2 homology. This fiber turns out to play a special role in the theory of vector bundles over , by a form of Nakayama’s lemma: since the entire stack “contracts” onto this cuspidal point, it’s the key place from which to extract data.
3. Truncated Brown-Peterson spectra
The above work shows that the -homology of a certain eight-cell complex is tractable; in fact, it is the cohomology of the stack . At least additively, one can get an evaluation of the homotopy groups
the negative homotopy groups are similar (and dual to these). The very simple answer is, of course, in sharp contrast to the complicated homotopy groups of , and arise because the stack of elliptic curves with -structure is much simpler (e.g., it has cohomological dimension one) than the moduli stack of elliptic curves.
The next step from here is to appeal to a somewhat mysterious fact: the homotopy groups of have a gap in dimensions , while the 8 cell complex is sufficiently small that one has
In particular, this computes the -homology of as well; that’s surprising because itself doesn’t have a similar moduli interpretation and, at least a priori, it’s not clear how to compute the -homology of anything. (It turns out that there is a tractable Adams-Novikov spectral sequence for , but that requires some work to set up; one approach is presented in this paper.)
The homotopy groups of are precisely those of the spectrum , obtained from the Brown-Peterson spectrum with
by taking the quotient by the regular sequence . Since the choice of the generators is not canonical, it’s preferable to say “a form of .” That doesn’t prove that is in fact a form of , but some additional work can be used to produce a map from to the connective cover of a quotient of , which one can check is in fact a form of . In other words, one concludes the folk theorem
which is a -analog of Wood’s theorem in (connective) real and complex -theory.
From here, the evaluation of the homology can be done as follows. The homology of is known, by definition. The homology of can be calculated explicitly from the homology of . Putting this together, one finds that , and one has its graded dimension. In general, the graded dimension is enough to pin down ; however, the homology of a ring spectrum is a comodule algebra over the dual Steenrod algebra, and it’s very hard to write down comodule subalgebras of . In fact, a little bit of Hopf algebra technology is enough to pin down .