An algebraic model for commutative HZ-algebras

DOI10.2140/AGT.2017.17.2013MaRDI QIDQ2398909zbMATH OpenOpenAlexFDO

Authors Birgit Richter, B. Shipley

Publication date 21 August 2017

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

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

zbMATH Keywords

\(E_\infty\)-differential graded algebrasDold-Kan correspondenceEilenberg-Mac Lane spectramodel categoriessymmetric spectra

Mathematics Subject Classification ID

Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Abstract: We show that the homotopy category of commutative algebra spectra over the Eilenberg-Mac Lane spectrum of the integers is equivalent to the homotopy category of E-infinity-monoids in unbounded chain complexes. We do this by establishing a chain of Quillen equivalences between the corresponding model categories. We also provide a Quillen equivalence to commutative monoids in the category of functors from the category of finite sets and injections to unbounded chain complexes.

Review text

The main purpose of this paper is to show that the homotopy category of commutative algebra spectra over the Eilenberg-Mac Lane spectrum \(HR\) of an arbitrary commutative ring \(R\) is equivalent to the homotopy category of \(E_\infty\)-monoids in unbounded chain complexes over \(R\) by providing an explicit chain of Quillen equivalences. A similar equivalence was established by \textit{B. Shipley} [Am. J. Math. 129, No. 2, 351--379 (2007; Zbl 1120.55007)] comparing algebra spectra over \(HR\) to differential graded \(R\)-algebras; in this paper the commutative case is established. The existence of an explicit chain of Quillen equivalences was suggested by \textit{M. A. Mandell} [Adv. Math. 177, No. 2, 227--279 (2003; Zbl 1027.55009)]; this paper provides the desired chain. The authors proceed by demonstrating a chain of Quillen equivalences between various categories as follows: (1) There is a Quillen equivalence between commutative \(HR\)-algebra spectra and commutative symmetric ring spectra of simplicial \(R\)-modules induced by the Quillen equivalence between \(HR\)-module spectra and symmetric spectra of simplicial \(R\)-modules. (2) Using a variation of the Dold-Kan correspondence, the authors establish a Quillen equivalence between commutative symmetric ring spectra of simplicial \(R\)-modules and commutative symmetric ring spectra in nonnegatively graded chain complexes over \(R\). (3) The inclusion functor from nonnegatively graded chain complexes to unbounded chain complexes, together with its adjoint the truncation functor, is used to establish a Quillen equivalence between commutative symmetric ring spectra in nonnegatively graded chain complexes and commutative symmetric ring spectra of unbounded chain complexes. (4) The existence of certain right-induced model structures on categories of algebras over operads in symmetric spectra implies that commuative monoids of symmetric spectra of unbounded chain complexes and \(E_\infty\)-monoids in symmetric spectra of unbounded chain complexes are Quillen equivalent. (5) The Quillen equivalence between \(E_\infty\)-monoids in symmetric spectra of unbounded chain complexes over \(R\) and \(E_\infty\)-monoids in unbounded chain complexes over \(R\) is induced by the functor which evaluates a symmetric spectrum at its 0-th object, and its adjoint. Finally, an interpretation of these results in terms of the diagram categories indexed by the category of finite sets and injections is provided. These diagram categories can be thought of as an alternative approach to symmetric spectra, see Proposition 9.1. Many of the equivalences in this chain are modifications or extensions of Quillen equivalence used elsewhere in the literature. For example, a Dold-Kan correspondence similar to the one in step (2) for commutative monoids in symmetric sequences is established by \textit{B. Richter} [Isr. J. Math. 209, Part 2, 651--682 (2015; Zbl 1378.13009)], but in the pointed case. Section 5 of this paper establishes this for the setting of positive model structures. The existence of right-induced model structures used in step (4) uses results of \textit{D. Pavlov} and \textit{J. Scholbach} [``Admissibility and rectification of coloured symmetric operads, Preprint, \url{arXiv:1410.5675}; ``Symmetric operads in abstract symmetric spectra, Preprint, \url{arXiv:1410.5699}], but an alternative proof of the necessary results based on \textit{S. G. Chadwick} and \textit{M. A. Mandell}'s work in [Geom. Topol. 19, No. 6, 3193--3232 (2015; Zbl 1335.55008)] is presented. Throughout, the paper gives a clear exposition of the construction of the Quillen equivalences, and presents the various categories and model structures needed for explicit constructions well.

Recommendations

• HZ -algebra spectra are differential graded algebras
• Stable homotopy of algebraic theories
• Flatness and Shipley's algebraicization theorem
• Algebras and Modules in Monoidal Model Categories
• An algebraic model for rational naïve-commutative \(G\)-equivariant ring spectra for finite \(G\)

Cites work

• \(E_{n}\) genera
• Algebras and Modules in Monoidal Model Categories
• Axiomatic homotopy theory for operads
• Cohomology operations from higher products in the deRham complex
• Diagram spaces and symmetric spectra
• Equivalences of monoidal model categories
• FI-modules and stability for representations of symmetric groups
• Homotopy theory of modules over operads in symmetric spectra
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• HZ -algebra spectra are differential graded algebras
• Model categories of diagram spectra
• On the homology and homotopy of commutative shuffle algebras
• Quillen model structures for relative homological algebra
• Replacing model categories with simplicial ones
• Spectra and symmetric spectra in general model categories
• Symmetric spectra
• The homotopy infinite symmetric product represents stable homotopy
• Topological André--Quillen cohomology and \(E_{\infty}\) André--Quillen cohomology

Cited in

(23)

• Topological equivalences of E-infinity differential graded algebras
• Towards topological Hochschild homology of Johnson-Wilson spectra
• Model structures on commutative monoids in general model categories
• DGAs with polynomial homology
• Naive-commutative ring structure on rational equivariant \(K\)-theory for abelian groups
• Flatness and Shipley's algebraicization theorem
• Homotopical adjoint lifting theorem
• An algebraic model for rational naïve-commutative ring SO(2)-spectra and equivariant elliptic cohomology
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• HZ -algebra spectra are differential graded algebras
• scientific article; zbMATH DE number 2144719 (Why is no real title available?)
• Model algebras, multiplicities, and representability indices of varieties of associative algebras
• A strictly commutative model for the cochain algebra of a space
• Cohomology of generalized configuration spaces
• Coalgebras in the Dwyer-Kan localization of a model category
• A monoidal Dold-Kan correspondence for comodules
• Models for knot spaces and Atiyah duality
• Genuine‐commutative structure on rational equivariant K$K$‐theory for finite abelian groups
• Equivariant algebraic K-theory, G-theory and derived completions
• Extension DGAs and topological Hochschild homology
• Left Bousfield localization without left properness
• Tensor-triangular rigidity in chromatic homotopy theory
• Commutative \(\Gamma \)-rings do not model all commutative ring spectra

This page was built for publication: An algebraic model for commutative \(H\mathbb{Z}\)-algebras

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