## HZ-algebra spectra are differential graded algebras (2004)

### Cached

### Download Links

Venue: | Amer. Jour. Math |

Citations: | 32 - 10 self |

### BibTeX

@ARTICLE{Shipley04hz-algebraspectra,

author = {Brooke Shipley},

title = {HZ-algebra spectra are differential graded algebras},

journal = {Amer. Jour. Math},

year = {2004},

volume = {129},

pages = {351--379}

}

### OpenURL

### Abstract

Abstract: We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZ-algebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded algebras and HZ-algebra spectra. We also construct Quillen equivalences between the differential graded modules and module spectra over these algebras. We use these equivalences in turn to produce algebraic models for rational stable model categories. We show that bascially any rational stable model category is Quillen equivalent to modules over a differential graded Q-algebra (with many objects). 1.

### Citations

377 | Basic concepts of enriched category theory, volume 64 - Kelly - 1982 |

327 |
Homotopical algebra
- Quillen
- 1967
(Show Context)
Citation Context ...uctures give a way around this problem. A Quillen model structure on a category C is a choice of three subcategories called weak equivalences, cofibrations and fibrations which satisfy certain axioms =-=[Qui67]-=-. [DS95] is a good introduction to model categories; our standard reference though is [Hov99]. Given a Quillen model structure, inverting the weak equivalences, W, produces a well-defined homotopy cat... |

261 | Simplicial objects in algebraic topology - May - 1992 |

236 | Categories for the working mathematician. Graduate Texts - Lane - 1998 |

224 | Rational homotopy theory - Quillen - 1969 |

196 | Locally Presentable and Accessible Categories - Adámek, Rosicky - 1994 |

191 | Symmetric spectra - Hovey, Shipley, et al. |

152 | Des Catégories Dérivées des Categories Abéliennes, Asterisque 239 - Verdier - 1996 |

145 |
modules, and algebras in stable homotopy theory
- Elmendorf, Kriz, et al.
- 1997
(Show Context)
Citation Context ...ules over an Eilenberg-Mac Lane spectrum associated to a discrete ring R is equivalent to the unbounded derived category of R, or the homotopy category of (unbounded) di#erential graded R-modules. In =-=[EKMM]-=-, this result was reproved in the context of a symmetric monoidal category of spectra where A# modules are replaced by modules. In [SS1, 5.1.6], we strengthened this result by showing that the associa... |

145 | Algebras and modules in monoidal model categories
- Schwede, Shipley
(Show Context)
Citation Context ...in the ordinary underlying model category for Sp # (ChQ ) rather than the positive model category. 3. Monoidal model categories and the monoid axiom In this section we prove Proposition 2.5. We use [=-=SS00]-=- to establish model categories and Quillen invariance on the categories of modules and algebras. The monoid axiom is the main property needed to extend a model structure on a monoidal model category t... |

143 | Model categories, Mathematical surveys and monographs - Hovey - 1998 |

122 |
Homotopy theories and model categories, Handbook of algebraic topology
- Dwyer, Spaliński
- 1995
(Show Context)
Citation Context ...ive a way around this problem. A Quillen model structure on a category C is a choice of three subcategories called weak equivalences, cofibrations and fibrations which satisfy certain axioms [Qui67]. =-=[DS95]-=- is a good introduction to model categories; our standard reference though is [Hov99]. Given a Quillen model structure, inverting the weak equivalences, W, produces a well-defined homotopy category Ho... |

114 | Model categories of diagram spectra
- Mandell, May, et al.
(Show Context)
Citation Context ...S2, 1.1]. In this paper we use symmetric spectra as our symmetric monoidal category of spectra; the results in Theorem 1.1 can be translated to other symmetric monoidal categories of spectra by using =-=[MMSS]-=-, [Sch1] or [S1]. The comparison between HZ-module spectra and (unbounded) di#erential graded Z-modules, Ch in [SS1, Appendix B] is given by comparing each of these model categories to an intermediary... |

82 | On PL de Rham theory and rational homotopy type - Bousfield, Gugenheim - 1976 |

76 | Stable model categories are categories of modules, Topology 42
- Shipley, Schwede
- 2003
(Show Context)
Citation Context ...sewhere we could consider either right or left modules. We mention left modules in general because they are more standard, but right modules are what appear naturally in the classification results in =-=[SS1]-=-. [SS1, 3.3.3] shows that any stable model category C with a set of small generators G is Quillen equivalent to (right) modules over a symmetric ring spectrum with many objects, the endomorphism ring ... |

75 | Motivic symmetric spectra - Jardine - 2000 |

61 | Sheafifiable homotopy model categories - Beke |

54 | Homology of symmetric products and other functors of complexes - Dold - 1958 |

54 | Spectra and symmetric spectra in general model categories
- Hovey
(Show Context)
Citation Context ...ras and modules with the weak equivalences and fibrations being determined on the underlying category. If C is a monoidal model category, [Hov00, 8.11] shows that the stable model category defined in =-=[Hov00]-=- on Sp # (C) is also a monoidal model category. [Hov00] was not able to verify the monoid axiom in general though. In Proposition 3.3 we show that the monoid axiom does hold for Sp # (sAb), Sp # (ch +... |

50 | Combinatorial model categories have presentations - Dugger |

41 | A convenient model category for commutative ring spectra, from: “Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic - Shipley |

33 |
Model Categories and their
- HIRSCHHORN
- 2003
(Show Context)
Citation Context ...⊗ Z[1]) −→ FnA}n≥0 for one object A from each isomorphism class of countable objects in Sp Σ (ch + ). See [Hov01, Section 2] for a brief summary of Bousfield localization; the definitive reference is =-=[Hir00]-=-. One could also use the machinery developed by Jeff Smith [Sm] to establish the existence of these local model categories because these categories are also left proper and combinatorial (cofibrantly ... |

29 | Simplicial functors and stable homotopy theory, preprint - Lydakis - 1998 |

27 |
Localization of Model Categories
- Hirschhorn
- 2000
(Show Context)
Citation Context ...# Z[1]) -# FnA}n#0 for one object A from each isomorphism class of countable objects in Sp # (ch + ). See [Hov00, Section 2] for a brief summary of Bousfield localization; the definitive reference is =-=[Hir00]-=-. One could also use the machinery developed by Je# Smith [Sm] to establish the existence of these local model categories because these categories are also left proper and combinatorial (cofibrantly g... |

23 | Equivalences of monoidal model categories
- Shipley, Schwede
(Show Context)
Citation Context ...ent comparison between HZ-Mod and Ch via three intermediary categories. The functors and categories involved in each of these Quillen equivalences are monoidal and satisfy the hypotheses developed in =-=[SS2]-=- for lifting Quillen equivalences to categories of algebras and modules. In [SS2, Section 6] we consider monoids with many objects (or enriched categories) and their categories of (right) modules. In ... |

22 |
modules and symmetric
- Schwede, S
- 2001
(Show Context)
Citation Context .... In this paper we use symmetric spectra as our symmetric monoidal category of spectra; the results in Theorem 1.1 can be translated to other symmetric monoidal categories of spectra by using [MMSS], =-=[Sch1]-=- or [S1]. The comparison between HZ-module spectra and (unbounded) di#erential graded Z-modules, Ch in [SS1, Appendix B] is given by comparing each of these model categories to an intermediary categor... |

18 | Replacing model categories with simplicial ones - Dugger |

17 | Stable homotopical algebra and Γ-spaces - Schwede |

16 | Spectral enrichments of model categories - Dugger |

16 | Symmetric spectra and topological Hochschild homology, K-Theory 19 - Shipley |

13 | Handbook of Categorical Algebra. II. Categories and Structures - Borceux - 1994 |

13 |
Algebraic models for rational torus-equivariant cohomology theories. arXiv:1101.2511
- Greenlees, Shipley
- 2011
(Show Context)
Citation Context ... it would require different techniques. The following related statement, however, is simple to prove here and is used in the construction of an algebraic model of rational T n -equivariant spectra in =-=[GS]-=-. Its proof appears near the end of Section 4. Recall Θ from Theorem 1.1. Theorem 1.2. For C any commutative HQ-algebra, ΘC is naturally weakly equivalent to a commutative differential graded Q-algebr... |

11 | Monoidal uniqueness of stable homotopy theory - Shipley |

10 |
The extraordinary derived category
- Robinson
- 1987
(Show Context)
Citation Context ... is a Quillen equivalence between di#erential graded #B-modules and B-module spectra. #B-Mod #Q B-Mod Special cases of Theorem 1.1, Parts 2 and 3 have already appeared in the literature. Robinson, in =-=[Rob87]-=-, showed that the homotopy category of A# modules over an Eilenberg-Mac Lane spectrum associated to a discrete ring R is equivalent to the unbounded derived category of R, or the homotopy category of ... |

8 | A 1 -homotopy theory, Doc - Voevodsky - 1998 |

8 |
Topological Andre-Quillen cohomology and E∞ Andrew-Quillen cohomology
- Mandell
(Show Context)
Citation Context ...en the categories of modules over these algebras; see Corollary 2.15. We then use these Quillen equivalences to construct algebraic models for rational stable model categories; see Corollary 2.16. In =-=[Man03]-=-, an analogue of Theorem 1.1 is proved for E∞-algebras, the commutative analogue of A∞-algebras which are associative and commutative up to coherent homotopies. Mandell shows that the homotopy categor... |

8 | An algebraic model for rational S 1 -equivariant stable homotopy theory
- Shipley
(Show Context)
Citation Context ...te large. This model can be used as a stepping stone to a practical model though. For example, this corollary applies to the category of rational G-equivariant spectra for any compact Lie group G. In =-=[Shi02]-=- and [GS] this large model is used to show that there is an explicit algebraic model Quillen equivalent to the category of rational T n -equivariant spectra for T n the n-dimensional torus. For G fini... |

8 | Units of ring spectra and their traces in algebraic K-theory
- Schlichtkrull
(Show Context)
Citation Context ... I × I −→ I given by p(n, m) = n + m does not agree with the functor pτ : I × I −→ I given by pτ(n, m) = m+n where τ(n, m) = (m, n). See also the discussion of commutative I-monoids in section 2.2 of =-=[Sc]-=-. Since the paper [S1] is mainly concerned with associative algebras, the only place this mistaken claim was used was in the proof of Theorem 1.2. Since D is not symmetric monoidal, it does not preser... |

6 | Equivariant stable homotopy theory
- Greenlees, May
- 1995
(Show Context)
Citation Context ...his corollary applies to the category of rational G-equivariant spectra for any compact Lie group G. In [S2] and [GS] this algebraicization is used to show that the explicit algebraic models given in =-=[Gr99]-=- and [Gr] are Quillen equivalent to the category of rational T n -equivariant spectra for T n the n-dimensional torus. For G finite this extends the results of [GM95, Appendix A] to incomplete univers... |

4 | Stable homotopical algebra and #-spaces - Schwede - 1999 |

4 |
An algebraic model for rational S1-equivariant stable homotopy theory, Quart
- Shipley
(Show Context)
Citation Context ...H∗A and the full graded subcategory of Ho(C) with objects G. C≃QMod-E(G) ≃Q Mod-A For example, this corollary applies to the category of rational G-equivariant spectra for any compact Lie group G. In =-=[S2]-=- and [GS] this algebraicization is used to show that the explicit algebraic models given in [Gr99] and [Gr] are Quillen equivalent to the category of rational T n -equivariant spectra for T n the n-di... |

3 | An algebraic model for rational S -equivariant stable homotopy theory, Quart
- Shipley
- 2000
(Show Context)
Citation Context ...A and the full graded subcategory of Ho(C) with objects G. C #Q Mod-E(G) #Q Mod-A For example, this corollary applies to the category of rational G-equivariant spectra for any compact Lie group G. In =-=[S2]-=- and [GS] this algebraicization is used to show that the explicit algebraic models given in [Gr99] and [Gr] are Quillen equivalent to the category of rational T n -equivariant spectra for T n the n-di... |

3 | Morita theory in stable homotopy theory. In Handbook of tilting theory, volume 332 - Shipley - 2007 |

3 | Motivic symmetric spectra, Doc.Math.5 - Jardine - 2000 |

3 |
Rational S1-equivariant stable homotopy theory, Mem.Amer.Math. Soc. vol 138. no 661
- Greenlees
- 1998
(Show Context)
Citation Context ...his corollary applies to the category of rational G-equivariant spectra for any compact Lie group G. In [S2] and [GS] this algebraicization is used to show that the explicit algebraic models given in =-=[Gr99]-=- and [Gr] are Quillen equivalent to the category of rational T n -equivariant spectra for T n the n-dimensional torus. For G finite this extends the results of [GM95, Appendix A] to incomplete univers... |

3 |
Personal communication
- Strickland
- 2005
(Show Context)
Citation Context ...ebras, in the author’s paper [American Journal of Mathematics 129 (2007) 351-379 (arxiv:math/0209215v4)] is correct as originally stated. Neil Strickland carefully proved that D is symmetric monoidal =-=[St1]-=-; so Proposition 4.7 and hence also Theorem 1.2 hold as stated. Strickland’s proof will appear in joint work with Stefan Schwede [ScSt]; see related work in [arXiv:0810.1747] [St2]. Note here D is def... |

2 | Rational torus-equivariant stable homotopy III: the Quillen equivalence, in preparation
- Greenlees, Shipley
(Show Context)
Citation Context ...ry applies to the category of rational G-equivariant spectra for any compact Lie group G. In [S2] and [GS] this algebraicization is used to show that the explicit algebraic models given in [Gr99] and =-=[Gr]-=- are Quillen equivalent to the category of rational T n -equivariant spectra for T n the n-dimensional torus. For G finite this extends the results of [GM95, Appendix A] to incomplete universes; see [... |

2 |
Enrichments of additive model categories, preprint 2006
- Dugger, Shipley
(Show Context)
Citation Context ...ull graded subcategory of Ho(C) with objects G. C �Q Mod-E(G) �Q Mod-A To specify A, recall the functor Θ from Theorem 1.1. This functor can be extended to rings with many objects; see [SS03b, 6] and =-=[DS, 6]-=-. Then A ∼ = Θ(HQ ∧ cE(G)) where c is a cofibrant replacement functor for ring spectra (with many objects) from [SS03b, 6.3]. In general, Mod-A is not a practical algebraic model; it is difficult to m... |

2 |
Topological André-Quillen cohomology and
- Mandell
(Show Context)
Citation Context ...en the categories of modules over these algebras; see Corollary 2.15. We then use these Quillen equivalences to construct algebraic models for rational stable model categories; see Corollary 2.16. In =-=[Man03]-=-, an analogue of Theorem 1.1 is proved for E∞-algebras, the commutative analogue of A∞-algebras which are associative and commutative up to coherent homotopies. Mandell shows that the homotopy categor... |

2 | Equivariant symmetric spectra - Mandell - 2002 |