# zbMATH — the first resource for mathematics

An algebraic model for commutative $$H\mathbb{Z}$$-algebras. (English) Zbl 1381.55007
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 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 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 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 D. Pavlov and J. Scholbach [“Admissibility and rectification of coloured symmetric operads”, Preprint, arXiv:1410.5675; “Symmetric operads in abstract symmetric spectra”, Preprint, arXiv:1410.5699], but an alternative proof of the necessary results based on S. G. Chadwick and 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.

##### MSC:
 55P43 Spectra with additional structure ($$E_\infty$$, $$A_\infty$$, ring spectra, etc.)
Full Text:
##### References:
 [1] 10.1007/s00014-003-0772-y · Zbl 1041.18011 [2] 10.1090/conm/431/08265 [3] 10.2140/pjm.1989.140.21 · Zbl 0689.55019 [4] 10.2140/gt.2015.19.3193 · Zbl 1335.55008 [5] 10.1017/S0305004102006126 · Zbl 1016.18008 [6] 10.1215/00127094-3120274 · Zbl 1339.55004 [7] 10.1090/S0002-9947-01-02661-7 · Zbl 0974.55011 [8] 10.1017/CBO9780511529955.009 [9] 10.2140/agt.2009.9.1637 · Zbl 1235.55004 [10] ; Hirschhorn, Model categories and their localizations. Mathematical Surveys and Monographs, 99, (2003) · Zbl 1017.55001 [11] 10.1016/S0022-4049(00)00172-9 · Zbl 1008.55006 [12] 10.1090/S0894-0347-99-00320-3 · Zbl 0931.55006 [13] 10.1090/conm/271/04359 [14] 10.1016/S0001-8708(02)00017-8 · Zbl 1027.55009 [15] 10.1112/S0024611501012692 · Zbl 1017.55004 [16] 10.1007/s11856-015-1232-2 · Zbl 1378.13009 [17] 10.1016/j.aim.2012.07.013 · Zbl 1315.55007 [18] 10.2140/agt.2007.7.1963 · Zbl 1131.55007 [19] 10.1007/PL00012472 [20] 10.1112/S002461150001220X · Zbl 1026.18004 [21] 10.2140/agt.2003.3.287 · Zbl 1028.55013 [22] 10.1090/conm/346/06300 [23] 10.1353/ajm.2007.0014 · Zbl 1120.55007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.