Spaces of multiplicative maps between highly structured ring spectra

MaRDI QIDQ4811764zbMATH OpenFDO

Authors Andrey Lazarev

Publication date 6 September 2004

Full work available at URL https://arxiv.org/abs/math/0209388

zbMATH Keywords

\(A_\infty\) and \(E_\infty\) ring spectra\(A_\infty\) ring mapsBrown-Peterson spectrumderivation spectrumtopological Hochschild cohomology

Mathematics Subject Classification ID

Bordism and cobordism theories and formal group laws in algebraic topology (55N22) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Review text

The author presents a workable tool for computing the homotopy type of spaces of algebra maps between \(R\)-algebras \(A\to B\) where \(R\) is an algebra over the sphere spectrum. He uses the categories constructed by \textit{A. D. Elmendorf, I. Kriz, M. A. Mandell} and \textit{J. P. May} [Rings, modules and algebras in stable homotopy theory, Mathematical Surveys and Monographs 47, AMS (1997; Zbl 0894.55001)]. If \(\text{Alg}_R (A,B)\) is the space of algebra maps and \(f:A\to B\) is a chosen base point, he shows that \(\Omega (\text{Alg}_R (A,B), f)\) is weakly equivalent to the \(0\)-th space of the spectrum \(\text{Der}_R (A, \Sigma^{-1} B)\) of topological derivations of \(A\) with values in \(\Sigma^{-1} B\). The paper starts with a recollection of basic facts of the derivations spectrum \(\text{Der}_R (A,M)\) and its relationship to the topological Hochschild cohomology spectrum \(\text{THH}_R (A,M)\), which includes a spectral sequence \[ E_2^{**} = \text{Der}_{R_x}^* (A_*,B_*) \Rightarrow \pi_{-*} \text{Der}_R (A,B) \] where the \(E_2\)-term consists of algebraic derivations. Then the main result is proved and applied to the study of \(A_\infty\)-maps from the complex cobordism spectrum MU to itself. Let \([\text{MU,MU}]_a\) denote the set of homotopy classes of associative algebra maps. The main result here is that the forgetful map \([\text{MU,MU}]_a \to \text{Mult} (\text{MU,MU})\) into the set of multiplicative (up to homotopy) maps has a unique section into a subset of specific algebra maps, called \(\mathbb{Q}\)-preferred \(S\)-algebra maps. A consequence of this result is that the \(p\)-local Brown-Peterson spectrum BP is an \(A_\infty\)-retract of the spectrum \(\text{MU}\) localized at \(p\). For the entire collection see [Zbl 1027.00023].

Recommendations

• Homotopy theory of \(A_{\infty}\) ring spectra and applications to \(MU\)-modules
• scientific article; zbMATH DE number 949383
• Homology and cohomology of \(E_\infty\) ring spectra
• scientific article; zbMATH DE number 4109639
• Towers of MU-Algebras and the Generalized Hopkins–Miller theorem

Cited in

(11)

• Small ring spectra
• Couniversal spaces which are equivariantly commutative ring spectra
• On the string topology category of compact Lie groups
• On the moduli space of 𝐴_{∞}-structures
• Multiplicative maps from H Z to a ring spectrum R---a naive version
• scientific article; zbMATH DE number 4109639 (Why is no real title available?)
• Lifting homotopy \(T\)-algebra maps to strict maps
• Long knots and maps between operads
• The topological cyclic homology of the dual circle
• \(E_{n}\) genera
• For complex orientations preserving power operations, \(p\)-typicality is atypical

This page was built for publication: Spaces of multiplicative maps between highly structured ring spectra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4811764)