Elliptic curve over spectra? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T08:11:37Z http://mathoverflow.net/feeds/question/308 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/308/elliptic-curve-over-spectra Elliptic curve over spectra? Ilya Nikokoshev 2009-10-11T20:02:25Z 2009-11-09T23:51:40Z <p>Filling the gaps in my knowledge to understand <a href="http://mathoverflow.net/questions/283/what-is-a-tmf-in-topology" rel="nofollow">the tmf question</a>.</p> <p>So, what is the <strong>analogue of elliptic curve</strong> over the category of spectra?</p> http://mathoverflow.net/questions/308/elliptic-curve-over-spectra/310#310 Answer by S. Carnahan for Elliptic curve over spectra? S. Carnahan 2009-10-11T20:13:22Z 2009-10-11T20:13:22Z <p>Jacob Lurie has notes on this question: <a href="http://math.mit.edu/~lurie/papers/survey.pdf" rel="nofollow">(pdf)</a>. The short answer is "an oriented spectral (or derived) elliptic curve." A more primitive answer is given by an elliptic spectrum (due to Hopkins and Miller), which is an even periodic complex-oriented cohomology theory, an elliptic curve, and an isomorphism between the formal group corresponding to the cohomology theory and the formal group of the elliptic curve.</p> http://mathoverflow.net/questions/308/elliptic-curve-over-spectra/312#312 Answer by Kevin Lin for Elliptic curve over spectra? Kevin Lin 2009-10-11T21:02:09Z 2009-11-09T23:51:40Z <p>First you should know what a "derived scheme" (or "spectral scheme") is. Roughly, this is the same as an ordinary scheme, except instead of locally being the Spec of an ordinary commutative ring, it's locally the Spec of an E-infinity ring spectrum, or just E-infinity ring for short. An E-infinity ring is not the same as a ring spectrum; a ring spectrum is something that is "a ring up to homotopy", and an E-infinity ring is something that is "a ring up to <em>coherent</em> homotopy".</p> <p>As a topological space, Spec of an E-infinity ring A is defined to be the Spec of pi<sub>0</sub>(A), which is an ordinary commutative ring. The difference is that the sheaf of functions is no longer a sheaf of rings but a sheaf of E-infinity rings. This sheaf of E-infinity rings is (analogously to the structure sheaf for ordinary affine schemes) defined by U<sub>f</sub> -> A[f<sup>-1</sup>], where U<sub>f</sub> is a distinguished open subset, and the localization A[f<sup>-1</sup>] is now taken in the category (or rather infinity-category) of E-infinity rings (see section 2.2 of Lurie's survey for a characterization of this localization).</p> <p>There is a natural functor from derived schemes to ordinary schemes. It is (X, O<sub>X</sub>) -> (X, pi<sub>0</sub>(O<sub>X</sub>)), where pi<sub>0</sub>(O<sub>X</sub>) denotes the sheafification of the presheaf U -> pi<sub>0</sub>(O<sub>X</sub>(U)).</p> <p>Then Definition 4.1 of Lurie's survey article defines an elliptic curve over an E-infinity ring A: it is a commutative A-group E -> Spec A such that (E, pi<sub>0</sub>(O<sub>E</sub>)) -> Spec pi<sub>0</sub>(A) is an ordinary elliptic curve over pi<sub>0</sub>(A).</p> <p>I think one of the punchlines is that there is a derived Deligne-Mumford moduli stack of <em>oriented</em> derived elliptic curves, which becomes the ordinary Deligne-Mumford moduli stack of ordinary elliptic curves after hitting it with pi<sub>0</sub>. Taking global sections on this derived moduli stack is more or less tmf. I don't have a good short explanation of what an orientation is, but it's in the beginning of section 3 of the survey.</p> <p>Unfortunately I think a lot of the details of this stuff are still not available. (I think it is supposed to be in "DAG VII: Spectral Schemes"; there may be some hints and related material in "DAG V: Structured Spaces".)</p>