derived smooth geometry
symmetric monoidal (∞,1)-category of spectra
This entry is about the text
reviews basics of elliptic cohomology
and discusses this in the context of equivariant cohomology.
The central theorem is
The following entry has some paragraphs that summarize central ideas.
These links point to pages that contain notes on aspects of the theory that are in the style of and originate from a seminar on A Survey of Elliptic Cohomology:
towards geometric models
These links point to pages that have an exposition of the Stolz-Teichner program for constructing geometric models for elliptic cohomology.
Outline of the constructions and statements
Here is the table of contents of the Survey reproduced. Behind the links are linked keyword lists for relevant terms.
The text starts with showing or recalling that
the collection of all elliptic cohomology theories and
Then it uses this higher topos theoretic derived algebraic geometry perspective to analyze further properties of elliptic cohomology theories, in particular their refinements to equivariant cohomology.
The triple of generalized (Eilenberg-Steenrod) cohomology theories
It so happens that all multiplicative periodic generalized Eilenberg-Steenrod cohomology theories are characterized by the formal group (an infinitesimal group) whose ring of functions is the cohomology ring obtained by evaluating on the complex projective space – the classifying space for complex line bundles – and whose group product is induced from the morphism that representes the tensor product of complex line bundles.
There are precisely three different types of such formal groups:
the additive formal group (a single one)
the multiplicative formal group (a single one)
a formal group defined by an elliptic curve (many).
It is therefore natural to subsume all elliptic cohomology theories into one single cohomology theory. This is the theory called tmf.
It turns out that the right way to formalize what “subsume” means in the above sentence involves formulating the way in which an elliptic cohomology theory is associated to a given elliptic curve in the correct higher categorical language:
The collection of all 1-dimensional elliptic curves forms a generalized space – a stack – defined by the property that it is the classifying space for elliptic curves in that elliptic curves over a ring correspond to classifying maps .
We may think of maps as picking certain subsets of the generalized space and of morphisms
In order to glue all elliptic cohomology theories in some way one would like to take something like the category of elements of this sheaf, i.e. its homotopy limit. In order to say what that should mean, one has to specify the suitable nature of the codomain, the collection of “all cohomology theories”.
As emphasized at generalized (Eilenberg-Steenrod) cohomology, the best way to do this is to identify a generalized (Eilenberg-Steenrod) cohomology theory with the spectrum that represents it. It is and was well known how to do this for each elliptic curve separately. What is not so clear is how this can be done coherently for all elliptic curves at once: we need a lift of the above cohomology-theory-valued sheaf to a sheaf of representing spectra
In this generality this turns out to be a hard problem. But by definition here we are really interested just in the special case where all cohomology theories in question are multiplicative cohomology theories and where hence all spectra in question are commutative ring spectra
Accordingly, one can then obtain the tmf spectrum as the homotopy limit of this sheaf of E-∞ rings . Recall from the discussion at limit in a quasi-category that such a homotopy limit computes global sections. It is an -version of computing sections in a Grothendieck construction, really, as described there.
What is noteworthy about the above construction is that, as the notation above suggests, sheaves of E-infinity rings generalize sheaves of rings as thery are familiar from the theory of ringed spaces, where they are called structure sheaves.
Lots of literature on modular forms is collected at
An introduction to and survey of the Goerss-Hopkins-Miller-Lurie theorem is in
which has grown out of
A good bit of details is in