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
.
Leave a Reply