Topological Quillen localization of structured ring spectra

DOI10.32513/TBILISI/1569463235MaRDI QIDQ2299571zbMATH OpenOpenAlexFDO

Publication date 21 February 2020

Published in Tbilisi Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1811.06535, https://projecteuclid.org/euclid.tbilisi/1569463235

Bousfield localization operads structured ring spectra symmetric spectra topological Quillen homology

Homotopical algebra, Quillen model categories, derivators (18N40) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Loop space machines and operads in algebraic topology (55P48) Localization and completion in homotopy theory (55P60) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: The aim of this short paper is two-fold: (i) to construct a TQ-localization functor on algebras over a spectral operad O, in the case where no connectivity assumptions are made on the O-algebras, and (ii) more generally, to establish the associated TQ-local homotopy theory as a left Bousfield localization of the usual model structure on O-algebras, which itself is almost never left proper, in general. In the resulting TQ-local homotopy theory, the "weak equivalences" are the TQ-homology equivalences, where "TQ-homology" is short for topological Quillen homology, which is also weakly equivalent to stabilization of O-algebras. More generally, we establish these results for TQ-homology with coefficients in a spectral algebra A. A key observation, that goes back to the work of Goerss-Hopkins on moduli problems, is that the usual left properness assumption may be replaced with a strong cofibration condition in the desired subcell lifting arguments: Our main result is that the TQ-local homotopy theory can be established (e.g., a semi-model structure in the sense of Goerss-Hopkins and Spitzweck, that is both cofibrantly generated and simplicial) by localizing with respect to a set of strong cofibrations that are TQ-equivalences.

Review text

Topological Quillen homology (or {TQ}-homology) is a homology theory for algebras over an operad. In this paper, the authors focus on operads in symmetric spectra (spectral operads) and construct a {TQ}-localization functor. The method is to construct a semi-model structure on algebras over a spectral operad \(\mathcal{O}\) in terms of a left Bousfield localization. For the definition of a semi-model structure see [\textit{M. Spitzweck}, Operads, algebras and modules in model categories and motives. Bonn: Univ. Bonn. Mathematisch-Naturwissenschaftliche Fakultät (Dissertation) (2001; Zbl 1103.18300)] or [\textit{P. G. Goerss} and \textit{M. J. Hopkins}, Contemp. Math. 265, 41--85 (2000; Zbl 0999.18009)]. With this model structure, the localisation functor is given by a fibrant replacement functor. Note that there are no connectivity assumptions required for this result. The difficulty comes from the lack of left properness in the model structures. This is resolved by using a subcell lifting argument based on ideas in [\textit{P. G. Goerss} and \textit{M. J. Hopkins}, Moduli problems for structured ring spectra. (2005) available at \url{http://hopf.math.purdue.edu}]. Applications of the theory appear in [\textit{M. Ching} and \textit{J. E. Harper}, Tbil. Math. J. 11, No. 3, 69--79 (2018; Zbl 1440.55006)] and work of the second author [``Homotopy pro-nilpotent structured ring spectra and topological Quillen localization, Preprint, \url{arXiv:1902.03500}].

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Topological Quillen localization of structured ring spectra

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