an:05856444
Zbl 1222.55003
Goerss, Paul G.
Topological modular forms [after Hopkins, Miller and Lurie]
EN
S??minaire Bourbaki. Volume 2008/2009. Expos??s 997--1011. Paris: Soci??t?? Math??matique de France (SMF) (ISBN 978-2-85629-291-4/pbk). Ast??risque 332, 221-255, Exp. No. 1005 (2010).
2010
a
55N34 11F23 14D23 14H52 55N22
derived algebraic geometry; elliptic cohomology; Deligne-Mumford moduli stack; \(E_\infty\)-spectra; modular forms; topological modular forms
The paper has an expository character. The author describes the connection between homotopy theory and number theory. The results and notions discussed are put in historical context, which allows the reader to get a feeling of the development of the subject. The work of \textit{D. Quillen} [Adv. Math. 7, 29--56 (1971; Zbl 0214.50502)] showed a strong connection between formal 1-parameter Lie groups and cohomology theories which admit natural Chern classes. The algebraic geometry of the formal Lie groups led to important conjectures in stable homotopy theory e.g., the nilpotence conjecture of Ravenel. The solution of this conjecture by \textit{E. S. Devinatz, M. J. Hopkins} and \textit{J. H. Smith} was one of the major achievements in homotopy theory of the 1980's [Ann. Math. (2) 128, No.~2, 207--241 (1988; Zbl 0673.55008) and ibid. 148, No.1, 1--49 (1998; Zbl 0927.55015)].
The 1-parameter formal Lie groups come from algebraic groups of dimension 1. Among these, elliptic curves as they can be considered in families over the base scheme \(S\) play an important role. The concept of elliptic cohomology provided an input, from homotopy theory, for a new field, namely the derived algebraic geometry, to emerge. The derived algebraic geometry also has its origins in various other branches of mathematics: in geometry [cf. the work of \textit{J.-P. Serre} and \textit{P. Gabriel}, Alg??bre locale, multiplicit??s. Paris: Cours profess?? au Coll??ge de France. (1960; Zbl 0091.03701)] and [\textit{L. Illusie}, Complexe cotangent et d??formations. I. (The cotangent complex and deformations. I.). Lecture Notes in Mathematics. 239. Berlin-Heidelberg-New York: Springer-Verlag. (1971; Zbl 0224.13014)], in algebraic \(K\)-theory [cf. \textit{J. F. Jardine}, Can. J. Math. 39, No.~3, 733--747 (1987; Zbl 0645.18006)].
The author describes and explains the theorem of Hopkins and Miller refined by Jacob Lurie which says that the compactified Deligne-Mumford moduli stack of elliptic curves is canonically and essentially uniquely an object in derived algebraic geometry. The homotopy global sections of this derived stack form the ring spectrum of topological forms. The author also describes the impact topological modular forms have in the theory of Witten genus, in the theory of modular forms and in understanding homotopy groups of spheres. The paper is written very clearly with exact references.
For the entire collection see [Zbl 1192.00071].
Piotr Kraso?? (Szczecin)
Zbl 0214.50502; Zbl 0673.55008; Zbl 0927.55015; Zbl 0091.03701; Zbl 0224.13014; Zbl 0645.18006