|
|||||
|
|
|
|
|
|
|
|
|
Homotopy completion and
topological Quillen homology of structured ring spectra
John E Harper and Kathryn Hess |
|
Geometry & Topology 17 (2013) 1325–1416
|
Abstract |
|
Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (eg structured ring spectra). We prove a strong convergence theorem that shows that for –connected algebras and modules over a –connected operad, the homotopy completion tower interpolates (in a strong sense) between topological Quillen homology and the identity functor. By systematically exploiting strong convergence, we prove several theorems concerning the topological Quillen homology of algebras and modules over operads. These include a theorem relating finiteness properties of topological Quillen homology groups and homotopy groups that can be thought of as a spectral algebra analog of Serre’s finiteness theorem for spaces and H R Miller’s boundedness result for simplicial commutative rings (but in reverse form). We also prove absolute and relative Hurewicz Theorems and a corresponding Whitehead Theorem for topological Quillen homology. Furthermore, we prove a rigidification theorem, which we use to describe completion with respect to topological Quillen homology (or –completion). The –completion construction can be thought of as a spectral algebra analog of Sullivan’s localization and completion of spaces, Bousfield and Kan’s completion of spaces with respect to homology and Carlsson’s and Arone and Kankaanrinta’s completion and localization of spaces with respect to stable homotopy. We prove analogous results for algebras and left modules over operads in unbounded chain complexes. |
Keywords
topological Quillen homology, symmetric spectra, structured
ring spectra, spectral algebra, completion, operads, model
category
|
Mathematical Subject Classification 2010
Primary: 18G55, 55P43, 55P48, 55U35
|
References |
Publication
Received: 6 February 2011
Revised: 4 December 2012
Accepted: 20 January 2013
Published: 6 June 2013
Proposed: Haynes Miller
Seconded: Peter Teichner, Bill Dwyer
|
Authors |
| John E Harper | |
| Department of Mathematics Purdue University West Lafayette, IN 47907 USA and Department of Mathematics University of Western Ontario London Ontario, N6A 5B7 Canada |
|
| Kathryn Hess | |
| MATHGEOM École Polytechnique Fédérale de Lausanne MA B3 454 CH-1015 Lausanne Switzerland |
|
| http://gr-he.epfl.ch/page-74136.html | |
|
