arxiv: v1 [math.at] 17 Apr 2008

Transcription

1 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA arxiv: v1 [math.at] 17 Apr 2008 GONÇALO TABUADA Abstract. We construct a zig-zag of Quillen equivalences between the homotopy theories of differential graded (=DG) and Eilenberg-Mac Lane spectral (=HR) categories. As an application, every invariant of HR-categories gives rise to an invariant of DG categories. In particular, we obtain a well-defined topological Hochschild homology theory for DG categories. Moreover, by considering the restriction functor from HR-categories to spectral ones, we obtain a topological equivalence theory, which generalizes previous work by Dugger-Shipley on DG algebras. In particular, we show that over the rationals Q, two DG categories are topological equivalent if and only if they are quasi-equivalent. Contents 1. Introduction 2 2. Acknowledgements 4 3. Preliminaries 5 4. Homotopy theory of general Spectral categories Conditions on C and K: Conditions on C-Cat: Levelwise quasi-equivalences Proof of Theorem Properties I Stable quasi-equivalences Q-functor Main theorem Properties II Homotopy Idempotence A Quillen equivalence criterion Examples of Quillen equivalences General Spectral algebra Levelwise quasi-equivalences Proof of theorem Stable quasi-equivalences Q-functor Main theorem Eilenberg-Mac Lane spectral algebra 37 Key words and phrases. Dg category, Eilenberg-MacLane s spectral algebra, symmetric spectra, Quillen model structure, Bousfield localization, topological Hochschild homology, non commutative algebraic geometry. 1

2 2 GONÇALO TABUADA 9. Global picture Topological Hochschild homology Topological equivalence theory 40 Appendix A. Adjunctions 42 Appendix B. Quillen model category tools 46 Appendix C. Bousfield localization techniques 48 Appendix D. Non-additive filtration argument 49 Appendix E. Flip isomorphism 51 References Introduction In the past two decades, the discovery of highly structured categories of spectra (S-modules [9], symmetric spectra [13], simplicial functors [19], orthogonal spectra [20],...) has opened the way for a brave new spectral algebra. One of the main features of this brave new spectral algebra is that it subsumes a good deal of classical homological algebra. The purpose of this paper is to prove a new result in this direction: Theorem 1.1. The homotopy theory of differential graded categories is Quillen equivalent to the homotopy theory of Eilenberg-Mac Lane spectral categories. Differential graded categories: A differential graded (=dg) category is a category enriched in the category of complexes of modules over some commutative base ring R. Dg categories (and their close cousins:= A -categories) provide a framework for homological geometry and for non commutative algebraic geometry in the sense of Bondal, Drinfeld, Kapranov, Kontsevich, Van den Bergh,... [1] [2] [6] [7] [16] [17] [18]. In [28], the homotopy theory of dg categories was constructed. This theory has allowed several developments such as: the creation by Toën of a derived Morita theory [32]; the construction of a category of non commutative motives [28]; the first conceptual characterization [29] of Quillen-Waldhausen s K-theory [23] [33] since its definition in the early 70 s.... Spectral categories: Spectral categories are categories enriched over the symmetric monoidal category of symmetric spectra. As linear categories can be understood as rings with several objects, spectral categories can be understood as symmetric ring spectra with several objects. They are considered as the topological analogue of dg categories and they provide a non-additive framework for non commutative algebraic geometry. In [30], the homotopy theory of spectral categories was constructed. This theory has allowed, in particular, a simple conceptual characterization of topological Hochschild cohomology, see [30, 7.16]. Eilenberg-Mac Lane spectral categories: To every commutative ring R, it is associated its Eilenberg-Mac Lane symmetric ring spectrum HR, see [24, I-2.7]. Recall from [13], that the category HR-Mod of HR-modules, carries naturally a symmetric monoidal structure. By a Eilenberg-Mac Lane spectral (=HR) category, we mean a category enriched over HR-Mod.

3 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 3 Background and Motivation: Recall that Shipley constructed in [27, 1.1] an intrincate (four steps) zig-zag of weak monoidal Quillen equivalences relating the category Ch of chain complexes and the category HR-Mod. From this zig-zag, Shipley deduced (see [27, 1.1]) that the model category of dg algebras is Quillen equivalent to the model category of HR-algebra spectra. In this paper, we prove the several objects version of this result. Notice that in a several objects context, the correct notion of equivalence is not defined by simply forgetting the multiplicative structure: it is a mixture between weak equivalences and categorical equivalences, as in definition 3.8. Our motivation comes from non commutative algebraic geometry: To a variety X we associate a dg model, i.e. a dg category Ddg b (coh(x)), which is well defined up to quasi-equivalence (see 3.8), such that the triangulated category H 0 (Ddg b (coh(x))) is equivalent the bounded derived category of quasi-coherent complexes on X. For example, for Ddg b (coh(x)), we can take the dg category of left bounded complexes of injective O X -modules whose homology is bounded and coherent. In general a dg model for X is NOT quasi-equivalent to a single dg algebra. In fact, Bondal and Van den Bergh have shown in [1, 5.6.1], that if X is a smooth compact analytic variety with no curves, then the dg category of complexes of coherent sheaves on X is not saturated and so can not be replaced by a single dg algebra. As this example shows, the several objects context is the optimal one. Statement of results: In order to compare the homotopy theories of dg and HR-categories, we inspire ourselves in the arguments of the Quillen model structure on spectral categories [30], and generalize them in two orthogonal directions: - In one direction: recall that Hovey starting from a well-behaved monoidal model category C and a cofibrant object K C constructed in [11, 7.2] the stable monoidal model category Sp Σ (C, K) of K-symmetric spectra over C. By imposing mild conditions on C and K and the existence of a model structure on C-Cat, we construct in chapter 4 a Quillen model structure on Sp Σ (C, K)-Cat (see theorem 4.43). We then show that our results apply to the case of chain complexes (Ch), positive graded chain complexes (Ch 0 ) and simplicial R-modules (smod) (see examples 4.2 and 4.6). Morevover we prove that our construction satisfies an homotopy idempotence property (see theorem 4.49). This property allow us to prove that the model structure on dg categories dgcat is Quillen equivalent to the one on Sp Σ (Ch, Z[1])-Cat (see remark 4.50). In chapter 5, we establish a general criterion for a Quillen equivalence between Sp Σ (C, K) and Sp Σ (D, K ) to induce a Quillen equivalence between Sp Σ (C, K)-Cat and Sp Σ (D, K )-Cat (see theorem 5.2). We then apply this criterion, in chapter 6, to the case of chain complexes, positive graded chain complexes and simplicial R-modules (see remarks 6.1 and 6.2). - On the other direction: for every commutative symmetric ring spectrum R, we construct in chapter 7 a Quillen model structure on the category R-Cat, of small categories enriched over R-Mod (see theorem 7.26). In chapter 8, we prove that in the case of the Eilenberg-Mac Lane ring spectrum HR, we obtain a model structure Quillen equivalent to the one

4 4 GONÇALO TABUADA constructed in chapter 6 for the case of simplicial R-modules (see proposition 8.1). In conclusion, we obtain in chapter 9, the following (four steps) zig-zag of Quillen equivalences: HR-Cat Z U Sp Σ (smod, R(S 1 )-Cat L cat φ N Sp Σ (Ch 0, R[1])-Cat i τ 0 Sp Σ (Ch, R[1])-Cat F 0 Ev 0 dgcat, where the weak equivalences, in each model structure, are those of definition 3.8. As an application, every invariant of HR-categories gives rise to an invariant of dg categories. In particular we obtain in chapter 10 a well defined topological Hochschild homology (=THH) theory of dg categories THH : Ho(dgcat) H Ho(HR-Cat) THH Ho(Sp Σ ), where H denotes the composed derived equivalence. Since the THH of a ring carries much more torsion information than its Hochschild homology, we obtain in this way a richer invariant of dg categories. Finally, in chapter 11, by considering the restriction functor HZ-Cat Sp Σ -Cat to spectral categories, we obtain a topological equivalence theory for dg categories, which generalizes previous work by Dugger-Shipley on dg algebras, see [5]. In particular, we show in proposition 11.6 that if work over the rationals Q, then two dg categories A and B are topological equivalent if and only if they are isomorphic in Ho(dgcat Q ). 2. Acknowledgements It is a great pleasure to thank Stefan Schwede for stating this problem to me and Gustavo Granja for helpful conversations. I would like also to thank the Institute for Advanced Study at Princeton for excellent working conditions.

5 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 5 3. Preliminaries Throughout this article we will be working (to simplify notation) over the integers Z. However all our results are valid if we replace Z by any unital commutative ring R. Let Ch denote the category of complexes and Ch 0 the full subcategory of positive graded complexes. We consider homological notation (the differential decreases the degree). We denote by sab the category of simplicial abelian groups. Notation 3.1. Let (C, C,1 C ) be a symmetric monoidal category [3, 6.1.2]. We denote by C-Cat the category of small categories enriched over C, see [3, 6.2.1]. An object in C-Cat will be called a C-category and a morphism a C-functor. Notation 3.2. Let D be a Quillen model category, see [22]. We denote by W D the class of weak equivalences in D and by [, ] D the set of morphisms in the homotopy category Ho(D) of D. Moreover, if D is cofibrantly generated, we denote by I D, resp. by J D, the set of generating cofibrations, resp. generating trivial cofibrations. Let (C,,1 C ) and (D,,1 D ) be two symmetric monoidal categories. Definition 3.3. A lax monoidal functor is a functor F : C D equipped with: - a morphism η : 1 D F(1 C ) and - natural morphisms ψ X,Y : F(X) F(Y ) F(X Y ), X, Y C which are coherently associative and unital (see diagrams 6.27 and 6.28 in [3]). A lax monoidal functor is strong monoidal if the morphisms η and ψ X,Y are isomorphisms. Now, suppose that we have an adjunction L C D, with N a lax monoidal functor. Then, recall from [25, 3.3], that the left adjoint L is endowed with a lax comonoidal structure. γ : L(1 D ) 1 C φ : L(X Y ) L(X) L(Y ). Definition 3.4. A weak monoidal Quillen pair L C D, between monoidal model categories C and D (see [12, 4.2.6]) consists of a Quillen pair, with a lax monoidal structure on the right adjoint, such that the following two conditions hold: N N

6 6 GONÇALO TABUADA (i) for all cofibrant objects X and Y in D, the comonoidal map φ : L(X Y ) L(X) L(Y ) belongs to W C and (ii) for some (hence any) cofibrant resolution 1 c D 1 D, the composite map belongs to W C. L(1 c D) L(1 D ) γ 1 C A strong monoidal Quillen pair is a weak monoidal Quillen pair for which the comonoidal maps γ and φ are isomorphisms. Remark 3.5. Notice that if 1 D is cofibrant and L is strong monoidal, then N is lax monoidal and the Quillen pair is a strong monoidal Quillen pair. Definition 3.6. A weak (resp. strong) monoidal Quillen pair is a weak monoidal Quillen equivalence (respectively strong monoidal Quillen equivalence) if the underlying pair is a Quillen equivalence. Let C a symmetric monoidal model category [12, 4.2.6]. We consider the following natural notion of equivalence in C-Cat: Remark 3.7. Observe that we have a functor [ ] : C-Cat Cat, with values in the category of small categories, obtained by base change along the monoidal composite functor C Ho(C) [1C, ] Set. Definition 3.8. A C-functor F : A B is a weak equivalence if: WE1) for all objects x, y A, the morphism belongs to W C and WE2) the induced functor is an equivalence of categories. F(x, y) : A(x, y) B(Fx, Fy) [F] : [A] [B] Remark 3.9. Notice that if condition WE1) is verified, condition WE2) is equivalent to: WE2 ) the induced functor is essentially surjective. [F] : [A] [B] Throughout this article the adjunctions are displayed vertically with the left, resp. right, adjoint on the left side, resp. right side.

7 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 7 4. Homotopy theory of general Spectral categories Hovey developped in [11] the homotopy theory of symmetric spectra in general Quillen model categories. Starting from a well-behaved monoidal model category C and a cofibrant object K C, Hovey constructed the stable monoidal model category Sp Σ (C, K) of K-symmetric spectra over C, see [11, 7.2]. In this chapter, we will construct the homotopy theory of general Spectral categories, i.e. small categories enriched over Sp Σ (C, K). For this, we impose the existence of a well-behaved Quillen model structure on C-Cat and certain conditions on C and K. Let (C, C,1 C ) be a cofibrantly generated monoidal model category and K an object of C Conditions on C and K: C1) The model structure on C is proper ([10, ]) and cellular ([10, ]). C2) The domains of the morphisms of the sets I C (generating cofibrations) and J C (generating trivial cofibrations) are cofibrant and sequentially small (E.1). C3) The model structure on C satisfies the monoid axiom ([25, 3.3]). C4) There exists a product preserving functor : C Set such that a morphism f belongs to W C (see 3.2) if and only if f is an isomorphism in Set. C5) The object K C is cofibrant and sequentially small (E.1). C6) The stable model structure on Sp Σ (C, K) (see [11, 8.7]) is right proper and satisfies the monoid axiom. C7) The identity 1 C is a domain or codomain of an element of I C. Remark Notice that since C is right proper, so it is the level model structure on Sp Σ (C, K) (see [11, 8.3]). - Notice also, that since the evaluation functors ([11, 7.3]) Ev n : Sp Σ (C, K) C, n 0 preserve filtered colimits, the domains of the generating (trivial) cofibrations of the level model structure on Sp Σ (C, K) are also sequentially small. - Observe that the functor admits a natural extension: T : Sp Σ (C, K) Set n 0 (X n ) n 0 ( X n ) n 0. In this way a morphism f in Sp Σ (C, K) is a level equivalence if and only if f T is an isomorphism. Example ) If we consider for C the projective model structure on the category Ch (see [12, ]) and for K the chain complex Z[1], which contains a single copy of Z in dimension 1, then conditions C1)-C7) are satisfied: conditions C1), C2), C5) and C7) are verified by construction. For condition C4), consider the functor, which associates to a chain complex M the set H n (M). Finally condition C3) is proved in [27, 3.1] and n Z condition C6) is proved in [27, 2.9].

8 8 GONÇALO TABUADA 2) If we consider for C the projective model structure on Ch 0 (see [14, III]) and for K the chain complex Z[1], then as in the previous example, conditions C1)-C7) are satisfied. 3) If we consider for C the model structure on sab defined in [14, III-2.8] and for K the simplicial abelian group Z(S 1 ), where S 1 = [1]/ [1] and Z(S 1 ) n is the free abelian group on the non-basepoint n-simpleces in S 1, then conditions C1)-C7) are satisfied: conditions C1), C2), C5) and C7) are verified by construction. For condition C4), consider the functor which associates to a simplicial abelian group M, the set π n (M). Finally conditions C3) and C6) are proved in [27, 3.4] Conditions on C-Cat: We impose the existence of a (fixed) set J of C- functors, such that: the category C-Cat carries a cofibrantly generated Quillen model, whose weak equivalences are those defined in 3.8 and the sets of generating (trivial) cofibrations are as follows: Definition 4.3. The set I of generating cofibrations on C-Cat consist of: - the C-functors obtained by applying the functor U (see D.1) to the set I C of generating cofibrations on C and - the C-functor 1 C from the empty C-category (which is the initial object in C-Cat) to the C-category 1 C with one object and endomorphism ring 1 C. Definition 4.4. The set J := J J of generating trivial cofibrations on C-Cat consist of: - the set J of C-functors obtained by applying the functor U to the set J C of generating trivial cofibrations on C and - the fixed set J of C-functors. n N Moreover, we impose that: H1) the C-functors in J have sequentially small domains. H2) for every C-category A, the (solid) diagram B 1 P B 2 A admits a lift φ, where P is a C-functor in J. H3) the Quillen model structure obtained is right proper. Remark 4.5. Notice that the class I-inj, i.e. the class of trivial fibrations on C-Cat consist of the C-functors F : A B such that: - for all objects x, y A, the morphism F(x, y) : A(x, y) B(Fx, Fy) is a trivial fibration in C and - the C-functor F induces a surjective map on objects. Notice also that the class J-inj, i.e. the class of fibrations on C-Cat consist of the C-functors F : A B such that: φ

9 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 9 - for all objects x, y A, the morphism F(x, y) : A(x, y) B(Fx, Fy) is a fibration in C and - have the right lifting property (=R.L.P.) with respect to the set J. In particular, by condition H2), a C-category A is fibrant if and only if for all objects x, y A, the object A(x, y) is fibrant in C. Example ) If in the first example of 4.2, we consider for C-Cat the Quillen model structure of theorem [28, 1.8], where the set J consists of the dg functor F : A K (see section 1.3 of [28]), then conditions H1)-H3) are satisfied: condition H1) is satisfied by construction and conditions H2) and H3) follow from remark [28, 1.14] and corollary [10, ]. 2) If in the second example of 4.2, we consider for C-Cat the Quillen model structure of theorem [31, 4.7], where the set J consists of the dg functor F : A K, then conditions H1)-H3) are satisfied: condition H1) is also satisfied by construction (see section 4 of [31]) and conditions H2) and H3) are analogous to the previous example. 3) If in the third example of 4.2, we consider for C-Cat the Quillen model structure of theorem [31, 5.10], where the set J consists of the simplicial abelian functor L(F) : L(A) L(K) (see section 5.2 of [31]), then conditions H1)-H3) are satisfied: since the normalization functor ([31, 5.2]) N : sab-cat dgcat 0 clearly preserves filtered colimits and every object is fibrant in sab-cat (see remark [31, 5.18]) conditions H1)-H3) are satisfied. From now on until the end of this chapter, we suppose that C, K and C-Cat satisfy conditions C1)-C6) and H1)-H3) Levelwise quasi-equivalences. Remark 4.7. In this section we consider the level model structure on Sp Σ (C, K), see [11, 8.3]. Recall from [11, 7.2] that the category Sp Σ (C, K) of K-symmetric spectra over C is endowed with a symmetric monoidal structure whose identity is the K-spectrum 1 Sp Σ (C,K) = (1 C, K, K K,...,K n,...), where the permutation group Σ n acts on K n by permutation. Moreover, as it is shown in [11, 7.3], we have an adjunction Sp Σ (C, K) F 0 C, Ev 0

10 10 GONÇALO TABUADA where both adjoints are strong monoidal (3.3). This naturally induces, by remark A.6, the following adjunction Sp Σ (C, K)-Cat F 0 Ev 0 C-Cat. Remark 4.8. Notice that by remark 4.1, the right adjoint functor Ev 0 preserves filtered colimits. We now construct a Quillen model structure on Sp Σ (C, K)-Cat, whose weak equivalence are defined as follows. Definition 4.9. A Sp Σ (C, K)-functor F : A B is a levelwise quasi-equivalence if: L1) for all objects x, y A, the morphism F(x, y) : A(x, y) B(Fx, Fy) is a level equivalence in Sp Σ (C, K) (see [11, 8.1]) and L2) the induced C-functor Ev 0 (F) : Ev 0 (A) Ev 0 (B) is a weak equivalence (3.8) in C-Cat. Notation We denote by W L the class of levelwise quasi-equivalences. Remark Notice that if condition L1) is verified, condition L2) is equivalent to: L2 ) the induced functor (3.7) is essentially surjective. [Ev 0 (F)] : [Ev 0 (A)] [Ev 0 (B)] We now define our sets of generating (trivial) cofibrations. Definition The set I L of generating cofibrations in Sp Σ (C, K)-Cat consists of: - the set I L of SpΣ (C, K)-functors obtained by applying the functor U (see D.1) to the set I Sp Σ (C,K) of generating cofibrations for the level model structure on Sp Σ (C, K) (see [11, 8.2]) and - the Sp Σ (C, K)-functor 1 Sp Σ (C,K) from the empty Sp Σ (C, K)-category (which is the initial object in Sp Σ (C, K)-Cat) to the Sp Σ (C, K)-category 1 Sp Σ (C,K) with one object and endomorphism ring 1 Sp Σ (C,K). Definition The set J L := J L J L Sp Σ (C, K)-Cat consists of: of generating trivial cofibrations in

11 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 11 - the set J L of SpΣ (C, K)-functors obtained by applying the functor U to the set J Sp Σ (C,K) of trivial generating cofibrations for the level model structure on Sp Σ (C, K) and - the set J L of SpΣ (C, K)-functors obtained by applying the functor F 0 to the set J of trivial generating cofibrations (4.4) in C-Cat. Theorem If we let M be the category Sp Σ (C, K)-Cat, W be the class W L, I be the set I L of definition 4.12 and J the set J L of definition 4.13, then the conditions of the recognition theorem B.3 are satisfied. Thus, the category Sp Σ (C, K)-Cat admits a cofibrantly generated Quillen model structure whose weak equivalences are the levelwise quasi-equivalences Proof of Theorem Observe that the category Sp Σ (C, K)-Cat is complete and cocomplete and that the class W L satisfies the two out of three axiom and is stable under retracts. Since the domains of the generating (trivial) cofibrations in Sp Σ (C, K) are sequentially small (see 4.1) the same holds by remark D.2, for the domains of Sp Σ (C, K)-functors in the sets I L and J L. By remark 4.8, this also holds for the remaining Sp Σ (C, K)-functors of the sets I L and J L. This implies that the first three conditions of the recognition theorem B.3 are verified. We now prove that J L -inj W L = I L -inj. For this we introduce the following auxiliary class of Sp Σ (C, K)-functors: Definition Let Surj be the class of Sp Σ (C, K)-functors F : A B such that: Sj1) for all objects x, y A, the morphism F(x, y) : A(x, y) B(Fx, Fy) is a trivial fibration in Sp Σ (C, K) and Sj2) the Sp Σ (C, K)-functor F induces a surjective map on objects. Lemma I L -inj = Surj. Proof. Notice that by adjunction (see remark D.2), a Sp Σ (C, K)-functor satisfies condition Sj1) if and only if it has the R.L.P. with respect to the set I L of generating cofibrations. Clearly a Sp Σ (C, K)-functor has the R.L.P. with respect to 1 Sp Σ (C,K) if and only if it satisfies condition Sj2). Lemma Surj = J L -inj W L. Proof. We prove first the inclusion. Let F : A B be a Sp Σ (C, K)-functor which belongs to Surj. Clearly condition Sj1) and Sj2) imply conditions L1) and L2) and so F belongs to W L. Notice also that a Sp Σ (C, K)-functor which satisfies condition Sj1) has the R.L.P. with respect to the set J L of generating trivial cofibrations. It is then enough to show that F has the R.L.P. with respect to the set J L of generating trivial cofibrations. By adjunction, this is equivalent to demand that the C-functor Ev 0 (F) : Ev 0 (A) Ev 0 (B) has the R.L.P. with respect to the set J of generating trivial cofibrations in C-Cat. Since F satisfies conditions Sj1) and Sj2), remark 4.5 implies that Ev 0 (F) is a trivial fibration in C-Cat and so the claim follows. We now prove the inclusion. Start by observing that a Sp Σ (C, K)-functor satisfies condition Sj1) if and only if it satisfies condition L1) and it has the R.L.P.

12 12 GONÇALO TABUADA with respect to the set J L of generating trivial cofibrations. Now, let F : A B be a Sp Σ (C, K)-functor which belongs to J L -inj W L. It is then enough to show that it satisfies condition Sj2). Since F has the R.L.P. with respect to the set J L of generating trivial cofibrations, the C-functor Ev 0 (F) : Ev 0 (A) Ev 0 (B) has the R.L.P. with respect to the set J of generating trivial cofibrations in C-Cat. These remarks imply that Ev 0 (F) is a trivial fibration in C-Cat and so by remark 4.5, the C-functor Ev 0 (F) induces a surjective map on objects. Since Ev 0 (F) and F induce the same map on the set of objects, the Sp Σ (C, K)-functor F satisfies condition Sj2). We now characterize the class J L -inj. Lemma A Sp Σ (C, K)-functor F : A B has the R.L.P. with respect to the set J L of trivial generating cofibrations if and only if it satisfies: F1) for all objects x, y A, the morphism F(x, y) : A(x, y) B(Fx, Fy) is a fibration in the level model structure on Sp Σ (C, K) and F2) the induced C-functor Ev 0 (F) : Ev 0 (A) Ev 0 (B) is a fibration (4.5) in the Quillen model structure on C-Cat. Proof. Observe that a Sp Σ (C, K)-functor F satisfies condition F1) if and only if it has the R.L.P. with respect to the set J L of generating trivial cofibrations. By adjunction, F has the R.L.P. with respect to the set J L if and only if the C- functor Ev 0 (F) has the R.L.P. with respect to the set J. In conclusion F has the R.L.P. with respect to the set J L if and only if it satisfies conditions F1) and F2) altogether. Lemma J L -cell W L. Proof. Since the class W L is stable under transfinite compositions ([10, ]) it is enough to prove the following: consider the following pushout: U(X) U(j) R A U(Y ) B, where j belongs to the set J Sp Σ (C,K) of generating trivial cofibrations on Sp Σ (C, K). We need to show that P belongs to W L. Since the morphism j : X Y is a trivial cofibration in Sp Σ (C, K), proposition D.3 and proposition [11, 8.3] imply that the spectral functor P satisfies condition L1). Since P induces the identity map on objects, condition L2 ) is automatically satisfied and so P belongs to W L. For the proof of the next proposition we consider the following notion. Definition A Sp Σ (C, K)-functor F : A B satisfies condition Ijπ), resp. Sjπ), if for all objects x, y A, the induced morphism in Set (see 4.1) A(x, y) T B(Fx, Fy) T is a monomorphism, resp. an epimorphism. P n 0

13 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 13 Remark Observe that condition C4) implies that conditions Ijπ) and Sjπ) altogether are equivalent to condition L1). Proposition J L -cell W L. Proof. Since the class W L is stable under transfinite compositions, it is enough to prove the following: consider the following push-out F 0 (G) R A F 0(V ) F 0 (D) B, P where G V D belongs to the set J of generating trivial cofibrations in C-Cat. We need to show that P belongs to W L. We start by condition L1). The proof of condition L1) is divided in two parts: in the first part we show that P satisfies condition Ijπ) and in the second part we show that it satisfies condition Sjπ). By remark 4.21 this implies that P satisfies condition L1). Part 1: Apply the small object argument, using the set J L of generating trivial cofibrations, to the Sp Σ (C, K)-functor A, where denotes the terminal object. In the factorization obtained A Q A S E(A), the Sp Σ (C, K)-functor Q A belongs to W L (by lemma 4.19) and S has the R.L.P. with respect to the set J L of generating trivial cofibrations. Observe that by condition H2), the Sp Σ (C, K)-functor S has also the R.L.P. with respect to the set J L of generating trivial cofibrations. Now, since P is obtained by co-base change with an element of the set J L of generating trivial cofibrations in Sp Σ (C, K)-Cat, the following (solid) diagram P A B Q A E(A) S admits a lifting B E(A) which makes both triangles commute. In particular for all (fixed) objects x, y A, we have the diagram A(x, y) E(A)(x, y) B(Px, Py),

14 14 GONÇALO TABUADA where the horizontal map is a level equivalence in Sp Σ (C, K). By applying the functor T to the previous diagram, we obtain A(x, y) T E(A)(x, y) T B(Px, Py) T, where the horizontal map is now an isomorphism by remark 4.1. This clearly implies that P satisfies condition Ijπ). Part 2: Notice that the construction A E(A) (see part 1) is functorial in A. This allow us to construct a commutative square P A QA E(A) E(P) B QB E(B), where the horizontal Sp Σ (C, K)-functors belong to W L and induce the identity map on the set of objects. This implies that P satisfies condition Sjπ) if and only if E(P) satisfies condition Sjπ). In what follows, we will construct a diagram Z E(A) T E(P) E(B), with T satisfying condition Sjπ) and the horizontal Sp Σ (C, K)-functor inducing a surjective map on objects. Notice that this implies that E(P) satisfies condition Sjπ). For this, apply the small object argument, using the set I L of generating cofibrations (see 4.12), to the diagonal and obtain the factorization E(B) E(B) E(B) E(B) E(B) E(B) S R 0 R 1 P. Notice that by lemma 4.16, the Sp Σ (C, K)-functor R 0 R 1 belongs to Surj and so by lemma 4.17, it has the R.L.P. with respect to the set J L. Notice also that, since the domains of all the Sp Σ (C, K)-functors in I L are sequentially small (see E.1), proposition E.2 implies that P is endowed with a flip isomorphism τ such

15 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 15 that the square P τ P R 0 R 1 E(B) E(B) commutes. Now, since we have the pullback square δ R 0 R 1 E(B) E(B) E(B) E(B) N 1 E(B) N 0 E(B) and the Sp Σ (C, K)-functor E(B) has the R.L.P. with respect to the set J L (see part 1) so thus the projection functors N 0, N 1 : E(B) E(B) E(B). Observe also, that P R1 S E(B) admits a section given by E(B) P, induces a surjective map on objects and has also the R.L.P. with respect to the set J L. Consider now the following pullback diagram Z := P E(A) E(B) E(A) P R 1 E(P) E(B). Notice that by construction of pullbacks in Sp Σ (C, K)-Cat, the Sp Σ (C, K)-functor Z E(A) induces a surjective map on objects. We now show that the composed Sp Σ (C, K)-functor T : P E(B) E(A) E(B) satisfies condition Sjπ). Notice that the flip isomorphism τ : P P induces the following commutative diagram P E(A) E(B) τ IdId P E(A) E(B) P τ P T R 0 R 1 E(B) E(B) δ R 0 R 1 E(B) E(B) T N 0 E(B) N 1 E(B). The horizontal maps are isomorphisms and so T satisfies condition Sjπ) if and only if the composed Sp Σ (C, K)-functor T : P E(A) P R0 R1 E(B) E(B) N0 E(B) E(B)

16 16 GONÇALO TABUADA satisfies condition Sjπ). Notice that T can be factorized as Z := P E(A) E(B) E(B) E(B) E(A) E(B) E(A) E(B) T E(B), where the fiber product E(B) E(B) E(A) is calculated using N 1 and the E(B) Sp Σ (C, K)-functor E(B) E(A) E(B) corresponds to the projection functor. In particular, since the functor T preserves products, the Sp Σ (C, K)-functor E(B) E(A) E(B) satisfies condition Sjπ). Now, consider the diagram P R 1 E(P) E(B) E(A) R 0 R 1 E(B) E(B) E(B) E(A). N 1 E(P) Since the Sp Σ (C, K)-functors P R1 E(B) and E(B) E(B) N1 E(B) have the R.L.P. with respect to the set J L, they satisfy condition F1), by lemma The level model structure on Sp Σ (C, K) is right proper (see 4.1) and so we conclude, by construction of fiber products in Sp Σ (C, K)-Cat, and by proposition [10, ], that the induced Sp Σ (C, K)-functor Z := P E(A) E(B) E(B) E(A) E(B) E(B) satisfies condition L1). This implies that it satisfies condition Sjπ) and so thus the composed Sp Σ (C, K)-functor T : Z E(B). This proves part 2. In conclusion part 1 and part 2 show us that P satisfies condition L1). We now show that P satisfies condition L2 ). Consider the following commutative square in Cat [G] [Ev 0(R)] [Ev 0 (A)] [V ] [Ev 0(P)] [D] [Ev 0 (B)]. We need to show that the functor [Ev 0 (P)] is essentially surjective. Notice that if we restrict ourselves to the objects of each category (obj( )) in the previous diagram, we obtain the following co-cartesien square obj[g] obj[v ] obj[d] obj[ev 0(R)] obj[ev 0 (A)] obj[ev 0(P)] obj[ev 0 (B)]

17 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 17 in Set. Since V belongs to J, the functor [V ] is essentially surjective. These facts imply, by a simple diagram chasing argument, that [Ev 0 (P)] is also essentially surjective and so the Sp Σ (C, K)-functor P satisfies condition L2 ). In conclusion, P satisfies condition L1) and L2 ) and so it belongs to W L. We have shown that J L -cell W L (lemma 4.19 and proposition 4.22) and that I L -inj = J L -inj W L (lemmas 4.16 and 4.17). This implies that the last three conditions of the recognition theorem B.3 are satisfied. This finishes the proof of theorem Properties I. Proposition A Sp Σ (C, K)-functor F : A B is a fibration with respect to the model structure of theorem 4.14, if and only if it satisfies conditions F1) and F2) of lemma Proof. This follows from lemma 4.18, since by the recognition theorem B.3, the set J L is a set of generating trivial cofibrations. Corollary A Sp Σ (C, K)-category A is fibrant with respect to the model structure of theorem 4.14, if and only if for all objects x, y C, the K-spectrum A(x, y) is levelwise fibrant in Sp Σ (C, K) (see [11, 8.2]). Remark Notice that by proposition 4.23 and remark 4.5 we have a Quillen adjunction Sp Σ (C, K)-Cat F 0 Ev 0 C-Cat. Proposition The Quillen model structure on Sp Σ (C, K)-Cat of theorem 4.14 is right proper. Proof. Consider the following pullback square in Sp Σ (C, K)-Cat A C B A P R C B F with R a levelwise quasi-equivalence and F a fibration. We now show that P is a levelwise quasi-equivalence. Notice that pullbacks in Sp Σ (C, K)-Cat are calculated on objects and on morphisms. Since the level model structure on Sp Σ (C, K) is right proper (see 4.1) and F satisfies condition F 1), the spectral functor P satisfies condition L1).

18 18 GONÇALO TABUADA Notice that if we apply the functor Ev 0 to the previous diagram, we obtain a pullback square in C-Cat Ev 0 (A) Ev 0 (C) Ev 0(B) Ev 0(P) C Ev 0 (A) Ev 0(R) Ev 0 (B) Ev 0(F) with Ev 0 (R) a weak equivalence and Ev 0 (F) a fibration. Now, condition C3) allow us to conclude that P satisfies condition L2). Proposition Let A be a cofibrant Sp Σ (C, K)-category (in the Quillen model structure of theorem 4.14). Then for all objects x, y A, the K-spectrum A(x, y) is cofibrant in the level model structure on Sp Σ (C, K). Proof. The model structure of theorem 4.14 is cofibrantly generated and so any cofibrant object in Sp Σ (C, K)-Cat is a retract of a I L -cell complex, see corollary [10, ]. Since cofibrations are stable under filtered colimits it is enough to prove the proposition for pushouts along a generating cofibration. Let A be a Sp Σ (C, K)-category such that A(x, y) is cofibrant for all objects x, y A: - Consider the following pushout A 1 Sp Σ (C,K) B. Notice that B is obtained from A, by simply introducing a new object. It is then clear that, for all objects x, y B, the K-spectrum B(x, y) is cofibrant in the level model structure on Sp Σ (C, K). - Now, consider the following pushout U(X) i A P U(Y ) B, where i : X Y belongs to the set I Sp Σ (C,K) of generating cofibrations of Sp Σ (C, K). Notice that A and B have the same set of objects and P induces the identity map on the set of objects. Since i : X Y is a cofibration, proposition D.4 and proposition [11, 8.3] imply that the morphism P(x, y) : A(x, y) B(x, y) is still a cofibration. Since I-cell complexes in Sp Σ (C, K)-Cat are built of (the initial object), the proposition is proven. Lemma The functor sends cofibrations to cofibrations. U : Sp Σ (C, K) Sp Σ (C, K)-Cat (see D.1)

19 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 19 Proof. The model structure of theorem 4.14 is cofibrantly generated and so any cofibrant object in Sp Σ (C, K)-Cat is a rectract of a (possibly infinite) composition of pushouts along the generating cofibrations. Since the functor U preserves retractions, colimits and send the generating cofibrations to (generating) cofibrations (see 4.12) the lemma is proven Stable quasi-equivalences. Remark In this section we consider the stable model structure on Sp Σ (C, K), see [11, 8.7]. Recall from [11, 7.2] that since C is a closed symmetric monoidal category, the category Sp Σ (C, K) is tensored, co-tensored and enriched over C. In what follows, we denote by Hom(, ) this C-enrichment and by Hom C (, ) the internal Homobject in C. We will now construct a Quillen model structure on Sp Σ (C, K)-Cat, whose weak equivalences are as follows. Definition A Sp Σ (C, K)-functor F is a stable quasi-equivalence if it is a weak equivalence in the sense of definition 3.8. Notation We denote by W S the class of stable quasi-equivalences Q-functor. We now construct a functor Q : Sp Σ (C, K)-Cat Sp Σ (C, K)-Cat and a natural transformation η : Id Q, from the identity functor on Sp Σ (C, K)-Cat to Q. Recall from [11, 8.7] the following set of morphisms in Sp Σ (C, K): S := {F n+1 (C K) ζc n F n C n 0}, where C runs through the domains and codomains of the generating cofibrations of C and ζn C is the adjoint to the map C K Ev n+1 F n (C) = Σ n+1 (C K) corresponding to the identity of Σ n+1. For each element of S, we consider a factorization ζ C n F n+1 (C K) F n (C) fζ C n Z C n in the level model structure on Sp Σ (C, K). Recall from [11, 8.7], that the stable model structure on Sp Σ (C, K) is the left Bousfield localization of the level model structure with respect to the morphisms ζ C n (or with respect to the morphisms ζ C n ). Definition Let S be the following set of morphisms in Sp Σ (C, K): i ζ n C : B F n+1(c K) A Zn C B ZC n, A F n+1(c K) where i : A B is a generating cofibration in C.

20 20 GONÇALO TABUADA Remark Notice that since Sp Σ (C, K) is a monoidal model category, the elements of the set S are cofibrations with cofibrant (and sequentially small) domains. Definition Let A be a Sp Σ (C, K)-category. The functor Q : Sp Σ (C, K)-Cat Sp Σ (C, K)-Cat is obtained by applying the small object argument, using the set J L U( S) (see D.1) to factorize the Sp Σ (C, K)-functor where denotes the terminal object. A, Remark We obtain in this way a functor Q and a natural transformation η : Id Q. Notice also that Q(A) has the same objects as A, and the R.L.P. with respect to the set J L U( S). Proposition Let A be a Sp Σ (C, K)-category which has the right lifting property with respect to the set J L U( S). Then it satisfies the following condition: Ω) for all objects x, y A, the K-spectrum A(x, y) is an Ω-spectrum (see [11, 8.6]). Proof. By corollary 4.24, A has the R.L.P. with respect to J L if and only if for all objects x, y A, the K-spectrum A(x, y) is levelwise fibrant in Sp Σ (C, K). Now, suppose that A has the R.L.P. with respect to U( S). Then by adjunction, for all objects x, y A, the induced morphism Hom(Z C n, A(x, y)) Hom(F n+1 (C K), A(x, y)) is a trivial fibration in C. Notice also that we have the following weak equivalences Hom(Zn C, A(x, y)) Hom(F n(c), A(x, y)) Hom C (C, A(x, y) n ) and Hom(F n+1 (C K), A(x, y)) Hom C (C K, A(x, y) n+1 ) Hom C (C, A(x, y) K n+1). This implies that the induced morphisms in C Hom C (C, A(x, y) n ) Hom C (C, A(x, y) K n+1), are weak equivalences, where C runs through the domains and codomains of the generating cofibrations of C. By condition C7), we obtain the weak equivalence A(x, y) n Hom C (1 C, A(x, y) n ) Hom C (1 C, A(x, y) K n+1) A(x, y) K n+1. In conclusion, for all objects x, y A, the K-spectrum A(x, y) is an Ω-spectrum. Proposition Let A be a Sp Σ (C, K)-category. The Sp Σ (C, K)-functor is a stable quasi-equivalence (4.30). η A : A Q(A) Proof. Notice that the elements of the set J Sp Σ (C,K) S are trivial cofibrations in the stable model structure on Sp Σ (C, K) (see [11, 8.8]). Notice also that the stable model structure is monoidal ([11, 8.11]) and that by condition C6), it satisfies the monoid axiom. This implies, by proposition D.3, that η A satisfies condition WE1). Since the Sp Σ (C, K)-categories Q(A) and A have the same set of objects condition WE2 ) is automatically verified.

21 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA Main theorem. Definition A Sp Σ (C, K)-functor F : A B is: - a Q-weak equivalence if Q(F) is a levelwise quasi-equivalence (4.9). - a cofibration if it is a cofibration in the model structure of theorem a Q-fibration if it has the R.L.P. with respect to all cofibrations which are Q-weak equivalences. Lemma Let A be a Sp Σ (C, K)-category which satisfies condition Ω) of proposition Then the category [A] (see 3.7) is naturally identified with the category [Ev 0 (A)]. Proof. Recall from [11, 8.8], that an object in Sp Σ (C, K) is stably fibrant if and only if it is an Ω-spectrum. Since the adjunction Sp Σ (C, K) F 0 C Ev 0 is strong monoidal, we have the following identifications which imply the lemma. [1 Sp Σ (C,K), A(x, y)] [1 C, Ev 0 (A(x, y))], x, y A, Corollary Let F : A B be a Sp Σ (C, K)-functor between Sp Σ (C, K)- categories which satisfy condition Ω). Then F satisfies condition W E2) if and only if Ev 0 (F) satisfies condition WE2). Proposition Let F : A B be stable quasi-equivalence between Sp Σ (C, K)- categories which satisfy the condition Ω). Then F is a levelwise quasi-equivalence (4.9). Proof. Since F satisfies condition WE1) and A and B satisfy condition Ω), lemmas [10, ] imply that F satisfies condition L1). By corollary 4.40, the Sp Σ (C, K)-functor F satisfies condition WE2) if and only if it satisfies condition L2). This proves the proposition. Lemma A Sp Σ (C, K)-functor F : A B is a Q-weak equivalence if and only if it is a stable quasi-equivalence. Proof. We have at our disposal a commutative square A η A Q(A) F B ηb Q(B) Q(F) where the Sp Σ (C, K)-functors η A and η B are stable quasi-equivalences by proposition Since the class W S satisfies the two out of three axiom, the Sp Σ (C, K)- functor F is a stable quasi-equivalence if and only if Q(F) is a stable quasiequivalence. The Sp Σ (C, K)-categories Q(A) and Q(B) satisfy condition Ω) and so by proposition 4.41, Q(F) is a levelwise quasi-equivalence. This proves the lemma.

22 22 GONÇALO TABUADA Theorem The category Sp Σ (C, K)-Cat admits a right proper Quillen model structure whose weak equivalences are the stable quasi-equivalences (4.30) and the cofibrations those of theorem Proof. The proof will consist on verifying the conditions of theorem C.2. We consider for M the Quillen model structure of theorem 4.14 and for Q and η, the functor and natural transformation defined in The Quillen model structure of theorem 4.14 is right proper (see 4.26) and by lemma 4.42 the Q-weak equivalences are precisely the stable quasi-equivalences. We now verify conditions (A1), (A2) and (A3): (A1) Let F : A B be a levelwise quasi-equivalence. We have the following commutative square A η A Q(A) F B ηb Q(B) Q(F) with η A and η B stable quasi-equivalences. Notice that since F is a levelwise quasi-equivalence it is in particular a stable quasi-equivalence. The class W S satisfies the three out of three axiom and so Q(F) is a stable quasiequivalence. Since the Q(A) and Q(B) satisfy condition Ω), proposition 4.41 implies that Q(F) is in fact a levelwise quasi-equivalence. (A2) We now show that for every Sp Σ (C, K)-category A, the Sp Σ (C, K)-functors η Q(A), Q(η A ) : Q(A) QQ(A) are levelwise quasi-equivalences. Since the Sp Σ (C, K)-functors η Q(A) and Q(η A ) are stable quasi-equivalences between Sp Σ (C, K)-categories which satisfy condition Ω), proposition 4.41 implies that they are levelwise quasiequivalences. (A3) We start by observing that if P : C D is a Q-fibration, then for all objects x, y C, the morphism P(x, y) : C(x, y) D(Px, Py) is a Q-fibration in Sp Σ (C, K). In fact, by proposition 4.28, the functor U : Sp Σ (C, K) Sp Σ (C, K)-Cat sends cofibrations to cofibrations. Since clearly it sends stable equivalences in Sp Σ (C, K) to stable quasi-equivalences in Sp Σ (C, K)-Cat, the claim follows. Now consider the diagram A B Q(A) B P A η A Q(A),

23 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 23 with P a Q-fibration. The stable model structure on Sp Σ (C, K) is right proper by condition C6), and so we conclude, by construction of fiber products in Sp Σ (C, K)-Cat, that the induced Sp Σ (C, K)-functor η A : A B B Q(A) satisfies condition WE1). Since η A induces the identity map on objects so thus η A, and so condition WE2 ) is proven Properties II. Proposition A Sp Σ (C, K)-category A is fibrant with respect to theorem 4.43 if and only if for all objects x, y A, the K-spectrum A(x, y) is an Ω-spectrum in Sp Σ (C, K). Notation We denote these fibrant Sp Σ (C, K)-categories by Q-fibrant. Proof. By corollary C.4, A is fibrant with respect to theorem 4.43 if and only if it is fibrant for the structure of theorem 4.14 (see corollary 4.24) and the Sp Σ (C, K)- functor η A : A Q(A) is a levelwise quasi-equivalence. Observe that η A is a levelwise quasi-equivalence if and only if for all objects x, y A the morphism η A (x, y) : A(x, y) Q(A)(x, y) is a level equivalence in Sp Σ (C, K). Since Q(A)(x, y) is an Ω-spectrum we have the following commutative diagrams (for all n 0) A(x, y) n fδ n A(x, y) K n+1 Q(A)(x, y) n f δn Q(A)(x, y) K n+1, where the bottom and vertical arrows are weak equivalences in C. This implies that δ n : A(x, y) n A(x, y) K n+1, n 0 is a weak equivalence in C and so, for all x, y A, the K-spectrum A(x, y) is an Ω-spectrum in Sp Σ (C, K). Remark Observe that remark 4.35 and propositions 4.36 and 4.37 imply that η A : A Q(A) is a (functorial) fibrant replacement of A in the model structure of theorem In particular η A induces the identity map on the set of objects. Notice also, that since the cofibrations (and so the trivial fibrations) of the model structure of theorem 4.43 are the same as those of theorem 4.14, proposition 4.27 and lemma 4.28 stay valid in the Quillen model structure of theorem Proposition Let F : A B is a Sp Σ (C, K)-functor between Q-fibrant Sp Σ (C, K)-categories. Then F is a Q-fibration if and only if it is a fibration.

24 24 GONÇALO TABUADA Proof. By theorem C.3, if F is a Q-fibration then it is a fibration. Let us now prove the converse. Suppose that F : A B is a fibration. Consider the commutative square F A η A Q(A) Q(F) B ηb Q(B). Since A and B satisfy the condition Ω), proposition 4.41 implies that η A and η B are levelwise quasi-equivalences. Since the model structure of theorem 4.14 is right proper (see 4.26), the previous square is homotopy cartesian and so by theorem C.3, F is in fact a Q-fibration. Remark Notice that since a Q-fibration is a fibration, the adjunction of remark 4.25 induces a natural Quillen adjunction Sp Σ (C, K)-Cat F 0 Ev 0 C-Cat with respect to the model structure of theorem Homotopy Idempotence. In [11, 9.1], Hovey proved the following idempotence property: S) If the functor is a Quillen equivalence. Then the Quillen adjunction K : C C Sp Σ (C, K) F 0 C, is a Quillen equivalence, where Sp Σ (C, K) is endowed with the stable model structure. Theorem If conditon S) is verified then the Quillen adjunction of remark 4.48 is a Quillen equivalence. Ev 0 Sp Σ (C, K)-Cat F 0 Ev 0 C-Cat Proof. The proof will consist on verifying conditions a) and b) of proposition B.5. a) Let F : A B be a Sp Σ (C, K)-functor between Q-fibrant Sp Σ (C, K)- categories, such that Ev 0 (A) : Ev 0 (A) Ev 0 (B) is a weak equivalence in

25 DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA 25 C-Cat. Since A and B satisfy condition Ω), condition a) of proposition B.5 applied to the Quillen equivalence Ev 0 : Sp Σ (C, K) C implies that F satisfies condition WE1). Notice also that since Ev 0 (F) is a weak equivalence in C-Cat, corollary 4.40 implies that F satisfies condition WE2). In conclusion F is a stable quasi-equivalence. b) Let A be a cofibrant C-category and let us denote by I its set of objects. Notice, that in particular A is cofibrant in C I -Cat, with respect to the model structure of remark A.2. Now, since the adjunction Sp Σ (C, K) F 0 C, Ev 0 is a strong monoidal Quillen equivalence (3.6), remark A.4 implies that condition b) of proposition B.5 is verified for the adjunction (F0 I, EvI 0 ). By remark 4.46, the Sp Σ (C, K)-functor η A : A Q(A) is a fibrant resolution in Sp Σ (C, K) I and so we conclude that condition b) is verified. Remark Clearly the first example of 4.2 satisfies condition S), since the functor Z[1] : Ch Ch is the classical suspension procedure. This implies, by theorem 4.49, that we have a Quillen equivalence Sp Σ (Ch, [1])-Cat F 0 Ev 0 dgcat. 5. A Quillen equivalence criterion Let C and D be two monoidal model categories with K an object of C and K an object of D. Remark 5.1. In this chapter, we suppose that C, K and C-Cat and D, K and D-Cat satisfy conditions C1)-C6) and H1)-H3) from the previous chapter. Suppose that we have a weak monoidal Quillen equivalence (3.6) Sp Σ (C, K) L N Sp Σ (D, K ) with respect to the stable model structures (see [11, 8.7]), which preserves fibrations and levelwise weak equivalences. By proposition A.5, we have the following

26 26 GONÇALO TABUADA adjunction Sp Σ (C, K)-Cat L cat N Sp Σ (D, K )-Cat. Theorem 5.2. If there exists a functor Ñ : C-Cat D-Cat which preserves fibrations and weak equivalences and makes the following diagram C-Cat Ev 0 Sp Σ (C, K)-Cat en D-Cat Ev 0 N Sp Σ (D, K )-Cat commute, then the adjunction (L cat, N) is a Quillen adjunction (with respect to the model structure of theorem 4.43). Moreover, if Ñ satisfies the following reflexion condition: R) If the D-functor Ñ(F) : Ñ(A) Ñ(B) satisfies condition WE2), so does the C-functor F : A B. Then the Quillen adjunction (L cat, N) is a Quillen equivalence. Proof. We start by proving that the adjunction (L cat, N) is a Quillen adjunction with respect to the Quillen model structure of theorem Observe that since the functor N : Sp Σ (C, K) Sp Σ (D, K ) preserves fibrations and levelwise weak equivalences, proposition 4.23, definition 4.9 and the above commutative square imply that N : Sp Σ (C, K)-Cat Sp Σ (D, K )-Cat preserves fibrations and levelwise quasi-equivalences. We now show that this adjunction induces a Quillen adjunction on the model structure of theorem For this we use proposition B.4. The functor N clearly preserves trivial fibrations since they are the same in the model structures of theorems 4.14 and Now, let F : A B be a Q-fibration between Q-fibrant objects (see 4.44). By proposition 4.47, F is a fibration an so thus N(F). Since the condition Ω) is clearly preserved by the functor N, proposition 4.47 implies that the Sp Σ (D, K )-functor N(F) is in fact a Q-fibration. We now show that if the reflexion condition R) is satisfied, the adjunction (L cat, N) is in fact a Quillen equivalence. For this, we verify conditions a) and b) of proposition B.5. a) Let F : A B be a Sp Σ (C, K)-functor between Q-fibrant objects such that N(F) is a stable quasi-equivalence in Sp Σ (D, K )-Cat. Since condition Ω) is clearly preserved by the functor N, proposition 4.41 implies that N(F) is in fact a levelwise quasi-equivalence. Since A and B are Q-fibrant, condition a) of proposition B.5 applied to the Quillen equivalence N : Sp Σ (C, K) Sp Σ (D, K )