Timeline for What is the original source for the Goerss-Hopkins-Miller-Lurie theorem on tmf?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 5, 2023 at 10:34 | comment | added | Jack Davies | Perhaps best practice is to reference where it was first proven, by Behrens in section 12 of the tmf book, or Lurie's proof in section 7 of elliptic II. For historical context not already mentioned, Goerss has a Bourbaki seminar article which touches on the combination of the GHM theorem and Lurie's interpretation (at the time), and Hopkins' 1994 and 2002 ICM notes seem to be early summaries of the material. I'd also like a more complete history of this too... | |
| May 5, 2023 at 1:54 | comment | added | M.G. | My impression is that originally the GHM theorem wasn't stated as such precisely in the form it has nowadays, but rather was a "corollary" of the program outlaid by Goerss and Hopkins in "Moduli Spaces of Commutative Ring Spectra" and supplemented by their "Moduli Problems for Structured Ring Spectra". As for Lurie's version (derived elliptic curves) I suspect that the "best original source" is his survey on Elliptic Cohomology. | |
| May 5, 2023 at 0:43 | history | asked | Doron Grossman-Naples | CC BY-SA 4.0 |