Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added to tmf a section that gives an outline of the proof strategy for how to compute the homotopy groups of the -spectrum from global sections of the -structure sheaf on the moduli stack of elliptic curves.
A point which I wanted to emphasize is that
The problem of constructing as global sections of an -structure sheaf has a tautological solution: take the underlying space to be .
From this tautological but useless solution one gets to the one that is used for actual computations by one single crucial fact:
In the -topos over the -site of formal duals of -rings, the dual of the Thom spectrum, is a well-supported object. the terminal morphism
in the -topos is an effective epimorphism, hence a covering of the point.
Using this we can pull back the tautological solution of the problem to the cover and then compute there. This is what actually happens in practice: the decategorification of the pullback of to is the moduli stack of elliptic curves. And it is a happy coincidence that despite this drastic decategorification, there is still enough information left to compute on that.
I have considerably expanded the idea-section at tmf. Also I started some notes at Definition and construction – Decomposition via Arithmetic fracture squares, which is however very much stubby still.
Have added to tmf a section Maps to K-theory and to Tate K-theory.
Also I have split the “Definition and Construction”-section into a Definition-section and a Construcion-section and added some actual (though basic) content to the Definition section (the Construction-section remains very piecemeal, naturally but nevertheless woefully).
added a list of the low degree homotopy groups of tmf
Corrected the indexing on the table in #4 (started at 1 instead of 0)
Added the reference
added pointer to:
have given the statement about the Boardman homomorphism for a little Properties-subsection (here) of its own (splitting it off from the subsection on stable homotopy groups).
Will also give this a stand-alone entry: Boardman homomorphism in tmf, for ease of hyperlinking from elsewhere.
added DOI to
1 to 9 of 9