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.
I have expanded a bit the previous stub entry Goerss-Hopkins-Miller theorem. It’s still stubby, but less so.
I have added
more of the pertinent references;
an actual Idea-section
the statement of the Hopkins-Miller theorem in the version as it appears in Charles Rezk’s notes.
Maybe this feeble step forward inspires Aaron to add more… :-)
I have added a brief paragraph “Lurie theorem” with the rough statement of theorem 4.1 in the Survey.
For completeness of cross-references I have added the same paragraph also to derived elliptic curve and to moduli stack of elliptic curves.
Of course this deserves to be expanded.
1 to 2 of 2