TY - JOUR

T1 - Units of ring spectra, orientations, and Thom spectra via rigid infinite loop space theory

AU - Ando, Matthew

AU - Blumberg, Andrew J.

AU - Gepner, David

AU - Hopkins, Michael J.

AU - Rezk, Charles

N1 - Publisher Copyright:
© 2014 London Mathematical Society.

PY - 2013/1/21

Y1 - 2013/1/21

N2 - We extend the theory of Thom spectra and the associated obstruction theory for orientations in order to support the construction of the E∞ string orientation of tmf, the spectrum of topological modular forms. Specifically, we show that, for an E∞ ring spectrum A, the classical construction of gl1A, the spectrum of units, is the right adjoint of the functor Σ∞+Ω∞: ho(connective spectra) -→ ho(E∞ ring spectra). To a map of spectra f : b -→ bgl1A, we associate an E∞ A-algebra Thom spectrum Mf, which admits an E∞ A-algebra map to R if and only if the composition b -→ bgl1A -→ bgl1R is null; the classical case developed by May, Quinn, Ray, and Tornehave arises when A is the sphere spectrum. We develop the analogous theory for A∞ ring spectra: if A is an A∞ ring spectrum, then to a map of spaces f : B -→ BGL1A, we associate an A-module Thom spectrum Mf, which admits an R-orientation if and only if B -→ BGL1A -→ BGL1R is null. Our work is based on a new model of the Thom spectrum as a derived smash product.

AB - We extend the theory of Thom spectra and the associated obstruction theory for orientations in order to support the construction of the E∞ string orientation of tmf, the spectrum of topological modular forms. Specifically, we show that, for an E∞ ring spectrum A, the classical construction of gl1A, the spectrum of units, is the right adjoint of the functor Σ∞+Ω∞: ho(connective spectra) -→ ho(E∞ ring spectra). To a map of spectra f : b -→ bgl1A, we associate an E∞ A-algebra Thom spectrum Mf, which admits an E∞ A-algebra map to R if and only if the composition b -→ bgl1A -→ bgl1R is null; the classical case developed by May, Quinn, Ray, and Tornehave arises when A is the sphere spectrum. We develop the analogous theory for A∞ ring spectra: if A is an A∞ ring spectrum, then to a map of spaces f : B -→ BGL1A, we associate an A-module Thom spectrum Mf, which admits an R-orientation if and only if B -→ BGL1A -→ BGL1R is null. Our work is based on a new model of the Thom spectrum as a derived smash product.

UR - http://www.scopus.com/inward/record.url?scp=84922479277&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84922479277&partnerID=8YFLogxK

U2 - 10.1112/jtopol/jtu009

DO - 10.1112/jtopol/jtu009

M3 - Article

AN - SCOPUS:84922479277

SN - 1753-8416

VL - 7

SP - 1077

EP - 1117

JO - Journal of Topology

JF - Journal of Topology

IS - 4

M1 - jtu009

ER -