On Lurie's theorem and applications

Abstract

Lurie's theorem states that there exists a sheaf of ring spectra on the site of formally étale Deligne--Mumford stacks over the moduli stack of $p$-divisible groups of height $n$, which agrees with the classical Landweber exact functor theorem (LEFT) on affines. In other words, this theorem is a global, higher categorical refinement of the LEFT. In recent work, Lurie has introduced many of the ingredients one needs to prove this theorem, and in this article, we gather these ingredients together and prove Lurie's theorem. Applications of this theorem to Lubin--Tate theories, topological modular and automorphism forms, and Adams operations are also discussed.

arXiv comment60 pages, v3. overhauled in many ways, final version accepted in Mathematische Zeitschrift. Comments are always welcome

References in corpus (7)

• The $C_2$-spectrum $Tm{f}_1(3)$ and its invertible modules
• Hyperdescent and étale K-theory
• On the ring of cooperations for 2-primary connective topological modular forms
• Elliptic cohomology is unique up to homotopy
• Uniqueness of real ring spectra up to higher homotopy
• Hecke operators on topological modular forms
• The Devinatz-Hopkins Theorem via Algebraic Geometry