arxiv: v2 [math.at] 12 Sep 2016

Transcription

1 DIFFERENTIAL GRADED CATEGORIE ARE K-LINEAR TABLE -CATEGORIE arxv: v2 [math.at] 12 ep 2016 LEE COHN Abstract. We descrbe a comparson between pretrangulated dfferental graded categores and certan stable -categores. pecfcally, we use a model category structure on small dfferental graded categores over k (a commutatve rng wth unt) where the weak equvalences are the Morta equvalences, and where the fbrant objects are n partcular pretrangulated dfferental graded categores. We show the underlyng -category of ths model category s equvalent to the -category of small dempotent-complete k-lnear stable -categores. Contents 1. Introducton 2 2. Dfferental Graded Categores Revew of Dfferental Graded Categores The Morta Model Category tructure for Dfferental Graded Categores 7 3. pectral Categores and the Enrched Dold-Kan Correspondence Revew of pectral Categores Revew of R-Module pectra Comparng Categores Enrched n R-Mod and Perf(R) cell -Module Categores The Enrched Dold-Kan Correspondence Revew of -Categores From Model Categores to -Categores table -Categores and Idempotent-Complete -Categores Ind-Categores Tensor Products of table -Categores Operads From Cofbrant pectral Categores to Flat pectral Categores The Barr-Beck-Lure Theorem The Man Theorem 31 Date: eptember 13,

2 References Introducton In ths paper we prove the folklore theorem (e.g. mplctly assumed n works such as [BFN], [G]) that pretrangulated dfferental graded categores over k (a commutatve rng wth unt) are k-lnear stable -categores. The basc settng for our work s the theory of -categores (partcularly stable -categores), whch provde a tractable way to handle homotopcal categores of homotopcal categores as well as homotopcally meanngful categores of homotopcal functors. Thus, our comparson between pretrangulated dg categores and stable -categores allows for an nterpretaton of a homotopcal category of homotopcal, algebrac categores. Trangulated categores arse naturally n geometry (e.g. as derved categores or as stable homotopy categores). However, trangulated categores lack homotopcal propertes such as functoral mappng cones. Dfferental graded categores and stable -categores are enhancements of trangulated categores that have such homotopcal propertes. Dfferental graded categores are advantageous for trangulated enhancements because one can often perform explct computatons n ths settng. table -categores are an alternatve enhancement of trangulated categores that are more general than dg categores and are amenable to unversal propertes. In [To1] and [Tab2], Töen and Tabuada construct a model category structure on the category of dfferental graded categores, Cat k dg, n whch the weak equvalences are the Dwyer-Kan (DK)-equvalences. That s, the weak equvalences are dg functors that nduce both quas-somorphsms on the hom complexes and an ordnary categorcal equvalence of homotopy categores. Followng [TabM], we also use a Morta model structure on dg categores, where the weak equvalences are now the larger class of dg functors that nduce DK-equvalences on ther categores of modules. In ths model category, fbrant dg categores are, n partcular, pretrangulated. One of the mpedments to workng wth these model categores s that whle there s a monodal structure on the category of dg categores gven by the pontwse tensor product of dg categores, ths tensor product does not respect ether model category structure. Thus, dg categores do not form a monodal model category for the pontwse tensor structure. There are examples of two cofbrant dg categores whose pontwse tensor product s not cofbrant(wth respect to both model category structures). Ths s one reason why our comparson between dg categores and k- lnear stable -categores s not completely trval. To resolve ths ssue, we use deas nspred by [To1], [CT], and [BGT2] to derve the tensor product of dg categores va flat dg categores. 2

3 Followng [Tab1], we use a Qullen equvalence between dg categores over k (wth the Morta model structure) and categores enrched n Hk-module symmetrc spectra (also wth the Morta model structure) to reformulate our questons n the language of spectral categores. Here, an Hk-module spectrum s a spectrum A, wth an acton map Hk A A that satsfes the usual assocatvty and dentty axoms. Ths Qullen equvalence may be nterpreted as an enrched Dold-Kan correspondence because the mappng complexes n dg categores are chan complexes whle the mappng complexes n spectral categores may be modeled usng smplcal sets. Gven an E -rng R (e.g. Hk), R may be consdered as a homotopy coherent commutatve algebra object n the -category of spectra, p, and also as a homotopy coherent commutatve algebra object n the model category of symmetrc spectra. As an object n, we may form ts category of perfect modules Perf(R), and restrct to the subcategory of perfect cell R-modules, Perf(R) cell. A perfect R-module s cell f t can be teratvely obtaned from homotopy cofbers of maps whose sources are wedges of shfts of R. Let Cat denote the category of spectral categores. Then a module over Perf(R) cell s a spectral category C wth an acton map Perf(R) cell C C that preserves fnte colmts and tensors wth fnte spectra n each varable and s equpped wth the usual assocatvty maps. We let Mod Perf(R) cell(cat ) denote the spectral category of modules over Perf(R) cell. Let Cat denote the category of spectral categores, Cat flat the category of flat spectralcategores4.37, W thecollecton ofmortaequvalencesnmod R-Mod cell(cat ), and W the collecton of Morta equvalences n Cat. We also let the superscrpt denote the extra structure of a symmetrc monodal -category. Usng the notaton above, there s a localzaton of -categores (see 4.1) θ : N(Cat flat ) N(Cat flat )[W 1 ]. nce the nerve s monodal 4.35, the map θ descends to a well-defned functor θ : N(Mod Perf(R) cell(cat ) flat )[W 1 ] Mod Perf(R) (N(Cat flat )[W 1 ] ) becausethenerveofamodulecategory overperf(r) cell ncat snaturallyamodule category over the -category Perf(R). Our man theorem s: Theorem 5.1. The functor θ : N(Mod Perf(R) cell(cat ) flat )[W 1 ] Mod Perf(R) (N(Cat flat )[W 1 ] ) s an equvalence of -categores. In other words, ths theorem asserts an equvalence between module categores over the spectral category Perf(R) cell and module categores over the stable - category Perf(R) up to Morta equvalence. Next, we use an equvalence between module categores over Perf(R) cell wth all fnte colmts and closed under tensors wth fnte spectra and categores enrched 3

4 n R-modules wth all fnte colmts and closed under tensors wth fnte spectra to prove the followng. Proposton 4.3. There s an equvalence of -categores N(Cat R-Mod )[W 1 ] N(Mod Perf(R) cell(cat ))[W 1 ]. Usng our man theorem above we deduce the followng corollary. Corollary 5.3. There s an equvalence of -categores N(Cat R-Mod )[W 1 ] Mod Perf(R) (N(Cat flat )[W 1 ] ). In other words, our corollary states that the underlyng -category of the model category of categores enrched n R-module spectra localzed at the Morta equvalences and the -category of module categores over the -category Perf(R) n N(Cat flat )[W 1 ] are equvalent. By [BGT2, 3.8], there s an equvalence N(Cat flat )[W 1 ] (Cat perf ), where Cat perf s the -category of small stable dempotent-complete -categores wth exact functors. Thus, N(Cat R-Mod )[W 1 ] Mod Perf(R) ((Cat perf ) ). Applyng ths theorem to the Elenberg-MacLane rng spectrum Hk yelds the followng corollary. Corollary 5.4. There s an equvalence of -categores N(Cat Hk-Mod )[W 1 ] Mod Perf(Hk) ((Cat perf ) ). We now combne ths result wth the Qullen equvalence [Tab1] and 3.24 to obtan our man corollary. Cat Hk-Mod Cat k dg Corollary 5.5. There s an equvalence of -categores N(Cat k dg )[W 1 ] Mod Perf(Hk) ((Cat perf ) ). That s, there s an equvalence between the underlyng -category of the model category of dg categores over k localzed at the Morta equvalences and the - category of small dempotent-complete k-lnear stable -categores. Usng the Ind-constructon we have a symmetrc monodal equvalence between Cat perf and compactly-generated presentable stable -categores wth functors that preserve colmts and compact objects (denoted Prst,ω L ). Ths mples the followng proposton. 4

5 Proposton 5.6. There s an equvalence of -categores Ind : Mod Perf(Hk) ((Cat perf ) ) Mod Hk-Mod ((Pr L st,ω) ) We now have our second man corollary. Corollary 5.7. There s an equvalence of -categores N(Cat k dg )[W 1 ] Mod Hk-Mod ((Pr L st,ω) ). In other words, the underlyng -category of the Morta model category structure on Cat k dg s equvalent to the -category of compactly-generated presentable k-lnear stable -categores wth functors that preserve colmts and compact objects. Our man corollary s, frst and foremost, a rectfcaton result. That s, gven an dempotent-complete k-lnear small stable -category C, there exsts a pretrangulated dg category correspondng to C. Thus, the category of dg categores localzed at the Morta equvalences can benterpreted as a model for the -category of small dempotent-complete k-lnear stable -categores. Acknowledgments: The author wshes to thank Andrew Blumberg for all of hs help and gudance. The author also thanks Davd Ben-Zv, Owen Gwllam, Aaron Royer, and Pavel afronov for helpful dscussons and/or comments. 2. Dfferental Graded Categores 2.1. Revew of Dfferental Graded Categores. In ths secton we revew the defnton of a dfferental graded category, gve several basc examples, and recall the model category structure on the category of dg categores gven by Töen and Tabuada. The reader s referred to [K] or [To2] for a general ntroducton to dg categores. We now fx k any commutatve rng wth unt. Let Ch(k) denote the category of chan complexes of k-modules. Defnton 2.1. A dfferental graded (dg) category T over k conssts of the followng data. A class of objects Ob(T ). For every par of objects x,y T a complex T(x,y) Ch(k). For every trple x,y,z T a composton T (y,z) T (x,y) T (x,z). A unt for every x T, e x : k T (x,x). These data are requred to satsfy the usual assocatvty and unt condtons. We say that a dg category s small f ts class of objects Ob(T ) forms a set. Notaton 2.2. We wll denote the category of small dg categores by Cat k dg. The defnton of a dg functor s the usual defnton of an enrched functor. 5

6 Defnton 2.3. Let T and T be dg categores. A dg functor F : T T conssts of: A map on objects F : Ob(T ) Ob(T ). A map of chan complexes F x,y : T (x,y) T (F(x),F(y)) for all x,y Ob(T ), whch s compatble wth the unts and compostons n the obvous sense. Every dg category has an underlyng ordnary category gven by restrctng to the 0 th cohomology group of each hom complex. Defnton 2.4. Let T be a dg category. The homotopy category of T, denoted by [T ], s the ordnary category gven by: The objects of [T ], Ob([T ]), are the objects of T. For every par of objects x,y Ob([T ]), the set of morphsms [T ](x,y) := H 0 (T (x,y)). Example 2.5. A dg algebra s a dg category wth one object. Example 2.6. Chan complexes Ch(k) form a dg category. Gven two chan complexes, one can form a chan complex of morphsms between them. A fact that we wll mplctly use n the sequel s Example 2.7. If C s a dg category, then so s ts opposte category C op. In [Tab2, 2.2.1], Tabuada shows that the category of dg categores over k has a model category structure that we recall here. Theorem 2.8. The category of small dg categores, Cat k dg, has the structure of a combnatoral model category where (W) The weak equvalences are the DK-equvalences. That s, a dg functor F : T T s a weak equvalence f for any two objects x,y T the morphsm T(x,y) T (F(x),F(y)) s a quas-somorphsm of chan complexes and the nduced functor [F] : [T ] [T ] s an equvalence of categores. (F) The fbratons are the DK-fbratons. That s, a dg functor F : T T s a fbraton f for any two objects x,y T the morphsm T(x,y) T (F(x),F(y)) s a fbraton of chan complexes (.e. s surjectve n each degree), and for any somorphsm u : x y [T ] and any y [T ] such that F(y) = y, there s an somorphsm u : x y [T ] such that [F](u) = u. We wll refer to ths model structure as the Dwyer-Kan (or DK)-model structure on Cat k dg. 6

7 Remark 2.9. It s easy to see that F : T T s a DK-equvalence f and only f t nduces an equvalence of graded homotopy categores H (F) : H (T ) H (T ). There s a pontwse tensor product of two dg categores nducng a monodal structure on the category of dg categores. Defnton Let C and D be two dg categores. The pontwse tensor product C D s the dg category specfed by The objects of C D, Ob(C D), are gven by pars of objects (c,d), where c C and d D. For every par of objects (c,d),(c,d ) C D, the morphsm complex C D((c,d),(c,d )) := C(c,c ) k D(d,d ). For us, an mportant aspect of the model category structure s that t does not respect the monodal structure of dg categores gven by the pontwse tensor product. For nstance, the followng s known [To2, Exercse 14]. Example Let 1 k be the dg category wth two objects 0 and 1 and wth 1 k (0,0) = k, 1 k (1,1) = k, 1 k (0,1) = k, 1 k (1,0) = 0. Then 1 k s a cofbrant dg category. However, 1 k 1 k s not a cofbrant dg category. In the sequel, we wll derve the pontwse tensor product of dg categores The Morta Model Category tructure for Dfferental Graded Categores. In ths secton we recall that there s a model category structure on Cat k dg where the weak equvalences are the Morta equvalences. Namely, we further localze the model category on Cat k dg gven n the prevous secton by the Morta equvalences. We refer to ths model category structure as the Morta model category structure on Cat k dg. The Morta model category structure wll be the one we use n our comparson theorem wth k-lnear stable -categores. We begn by recallng several defntons n the theory of modules over a dg category Dfferental Graded Categores of Modules. We gve a bref account of dg categores of modules whch s largely based on [To2, 2.3]. Defnton Gven a dg category T the category of rght T -modules, ˆT s defned to be Fun dg (T op,ch(k)). That s, a rght T -module s a functor from T op Ch(k). Example If T s a dg category wth one object, then T has the same data as a dg algebra A. The category rght T -modules s equvalent to the category of rght dg modules over the dg algebra A. 7

8 Remark The category ˆT can be gven the structure of a combnatoral model category n whch the weak equvalences are the pontwse equvalences n Ch(k) and the fbratons are the pontwse fbratons n Ch(k). The generatng cofbratons and generatng acyclc cofbratons are the maps T (,x) f for x T and f varyng through the generatng cofbratons and generatng acyclc cofbratons, respectvely, of the model structure on chan complexes. The representable rght T-modules T (,x) are both cofbrant and compact. We wll denote by ˆT cf the category of fbrant and cofbrant rght T-modules, and by D(T ) the derved category of the dg category T. As usual, there s an equvalence [ˆT cf ] D(T). Thus, ˆT cf can be vewed as the dg enhancement of the derved category of T. Example If T s a dg category wth one object, then T has the same data as a dg algebra A. The category D(T ) s the derved category of the dg algebra A Pretrangulated Dfferental Graded Categores. We gve a bref account of pretrangulated dg categores. Our defnton for a pretrangulated dg category s a verson of the defnton of a pretrangulated spectral category n [BM, 5.4]. Defnton A dg category T s called pretrangulated f (1) There s an object 0 n T such that the rght T -module T(,0) s homotopcally trval (weakly equvalent to the constant functor wth value the complex 0). (2) Whenever a rght T-module M has the property that ΣM s weakly equvalent to a representable T-module T (,c) (for some object c T ), then M s weakly equvalent to a representable T-module T (,d) for some object d T. (The suspenson of a T-module M refers to a pontwse shft when evaluated on each object of T ). (3) Whenever the rght T -modules M and N are weakly equvalent to representable T -modules T(,a) and T(,b) respectvely, the homotopy cofber of any map of rght T -modules M N s weakly equvalent to a representable T -module. Example If X s a scheme over k, then ts category of unbounded complexes of sheaves of O X -modules s a pretrangulated dg category. Remark Note that ths defnton promses a 0 object n Ho(T ), as well as shft functors on Ho(T ). We now relate our noton of pretrangulated, 2.16, to that ntroduced by Bondal and Kapranov n [BK, Defnton 2] and Drnfeld [Drnfeld, 2.4]. 8

9 Defnton To a dg category A, Bondal and Kapranov assocate another dg category, A pre tr, where the objects are formal expressons {( n =1 C [r ],q),c A,r Z,q = (q j )}, where each q j Hom(C,C j )[r j r ] s homogenous of degree 1 and dq + q 2 = 0. If C,C A pre tr, C = ( n j=1 C j[r j ],q) and C = ( n =1 C [r ],q ), then the complex Hom(C,C ) sthespaceofmatrces f = (f j ),f j Hom(C j,c )[r r j] and composton s gven by matrx multplcaton. The dfferental d : Hom(C,C ) Hom(C,C ) s gven by df := d f +q f ( 1) l fq, f deg(f j ) = l, where d := (df j ). Gven a morphsm f : A B n A, the cone on f, cone(f), s defned to be the object (A[1] B,q) A pre tr, where q 12 = f and q 11 = q 21 = q 22 = 0. The dg category A s sad to be pretrangulated f 0 A pre tr s homotopc to an object n A, f for every A A, the object A[n] A pre tr, s homotopc to an object n A, and for every closed morphsm f of degree 0 n A, cone(f) A pre tr, s homotopc to an object n A. The concept behnd defntons 2.16 and 2.19 of a pretrangulated dg category s for our dg categores to be ponted, closed under shfts, and closed under the formaton of mappng cones. Thus Proposton The two notons of pretrangulated dg categores 2.16 and 2.19 agree. Proof. There s a functor α : A pre tr Fun dg (A op,ch(k)) bysendngk = ( n =1 C [r ],q)tothefunctorα(k) : A op Ch(k), whereα(k)(b) = Hom A (B,C )[r ]wthdfferentald+q, wheredsthedfferentalon Hom A (B,C )[r ]. The functor α s an embeddng of A pre tr as a full dg subcategory of  and t sends the element cone(f) A pre tr to the element cone(α(f)) Â. If K s homotopc to an object n K A, then α(k) s certanly weakly representable by A(,K ). Thus, 2.19 mples Conversely, f the functor α(k) s weakly representable by an object K A, then K s homotopc to K n A pre tr. Ths follows snce A(,K ) s a cofbrant-fbrant object of  and A pre tr s a full subcategory of Â. Thus, a weak homotopy equvalence A(,K ) α(k) s a homotopy equvalence n A pre tr. We conclude that 2.16 mples Corollary nce the homotopy category of a pretrangulated dg category as n 2.19 s trangulated by [BK, Proposton 2], so s the homotopy category of a pretrangulated dg category as n

10 We now wsh to say that any small dg category embeds n a small pretrangulated category. However, we must frst defne an embeddng n the dg category settng. Defnton A dg functor F : T T s a Dwyer-Kan embeddng or DKembeddng f for any objects x,y Ob(T ), the map T(x,y) T (F(x),F(y)) s a quas-somorphsm. Remark Ths s equvalent to the defnton of quas-fully fathful n [To2, 2.3]. Proposton Any small dg category DK-embeds n a small pretrangulated dg category. Proof. We use an argument smlar to [BM, 5.5]. Gven any dg category T, ts category of modules, ˆT, s pretrangulated. We restrct to a small full subcategory of ˆT as follows: For any set U, wrte U ˆT for the full subcategory of ˆT consstng of functors takng values n Ch(k) whose underlyng sets are n U. Then U ˆT s a small dg category, and f we choose U to be the power set of a suffcently large cardnal, then U ˆT wll be closed under the usual constructons of homotopy theory n ˆT, ncludng the small objects argument constructng factorzatons. In partcular, U ˆT s a model category wth cofbratons, fbratons, and weak equvalences the maps that are such n ˆT. We also have a closed model category Fun dg (U ˆT,Ch(k)) of modules over U ˆT. Let T be the full subcategory of U ˆT consstng of the cofbrant-fbrant objects. Ths wll be our desred small pretrangulated dg category. We have a closed model category Fun dg ( T,Ch(k)) of modules over T. Propertes (1) and (2) for T n the defnton of a pretrangulated dg category are clear. For property (3), consder a map of T -modules M N. nce the model structure on Fun dg ( T,Ch(k)) s left proper, after replacng M and N wth fbrant replacements, we obtan an equvalent homotopy cofber, and so we can assume wthout loss of generalty that M and N are fbrant. We assume that M s weakly equvalent to T(,a) and N s weakly equvalent to T (,b) for objects a,b T. nce T (,a) and T (,b) are cofbrant and M and N are fbrant, we can choose weak equvalences T(,a) M and T (,b) N. Furthermore, as T (a,b) and N(a) are both fbrant, we can lft the composte map T (,a) N to a homotopc map T (,a) T (,b). We obtan a weak equvalence on the homotopy cofbers. The map T (,a) T (,b) s determned by the map a b by the Yoneda lemma. A fbrant replacement of the homotopy cofber n U ˆT s n T and represents the homotopy cofber of M N n Fun dg ( T,Ch(k)). Moreover, we have that Proposton A dg functor between pretrangulated dg categores nduces a trangulated functor on ts homotopy categores. Moreover, a dg functor between 10

11 pretrangulated dg categores s a DK-equvalence f and only f t nduces an equvalence of homotopy categores. Now that we have developed the noton of pretrangulated dg categores, we wsh to use a model category structure on dg categores where every fbrant dg category s n partcular pretrangulated. The followng defntons le n the model for ˆT constructed n the proof above. Defnton Gven a dg category T, a rght T -module X : T op Ch(k) s called a fnte cell object f t can be obtaned from the ntal T-module by a fnte sequence of pushouts along generatng cofbratons n ˆT. Defnton Gven a dg category T, ts trangulated closure, ˆT tr, s defned to be the full dg subcategory of ˆT cf of objects that have the homotopy type of fnte cell objects. Gven a dg category T, the category of perfect modules, ˆT perf, s the thck closure of ˆT tr. That s, t s the smallest full dg subcategory of ˆT cf contanng objects that have the homotopy type of retracts of fnte cell objects. Remark The category ˆT perf s an dempotent-complete pretrangulated dg category. Defnton A dg functor F : T T s called a Morta equvalence f F nduces a DK-equvalence of dg categores ˆT perf T ˆ perf. Usng the defntons above, the followng s proved n [TabM, 5.1]. Proposton The category Cat k dg admts the structure of a combnatoral model category whose weak equvalences are the Morta equvalences and whose cofbratons are the same as those n the DK-model structure on Cat k dg. Defnton The model category structure defned above wll be referred to as the Morta model category structure on Cat k dg. Remark The functor R : Cat k dg Catk dg gven by T ˆT perf s a fbrant replacement functor n the Morta model structure on Cat k dg. The followng property of the fbrant replacement functor R s used crucally n 4.3. Proposton The value of a morphsm n Cat R-Mod under the functor R preserves fnte colmts and tensors of objects wth fnte spectra. 11

12 Proof. Let F : C D be a morphsm n Cat R-Mod. Let R C : C Ĉperf and R D : D ˆD perf be the embeddngs of C and D nto ther categores of perfect modules. The functor R F : Ĉperf ˆD perf s gven by the left Kan extenson C R C Ĉ perf F D R D ˆDperf R F That s, R F := Lan RC (R D F). Thus, R F preserves fnte colmts and tensors of objects wth fnte spectra by the unversal property of the left Kan extenson. 3. pectral Categores and the Enrched Dold-Kan Correspondence The theory of spectral categores has a smlar flavor to the theory of dg categores. The reader s encouraged to read [BGT1], [BGT2], and [BM] for further background n ths drecton Revew of pectral Categores. We let denote the symmetrc monodal smplcal model category of symmetrc spectra [H]. When relevant, we wll be usng the stable model structure on. Defnton 3.1. A spectral category A s gven by A class of objects Ob(A). For each par of objects x,y Ob(A), a symmetrc spectrum A(x,y). For each trple x,y,z Ob(A) a composton n, A(y,z) A(x,y) A(x,z). For any x Ob(A), a map e x : A(x,x) n. satsfyng the usual assocatvty and unt condtons. A spectral category s sad to be small f ts class of objects forms a set. We wrte Cat for the category of small spectral categores and spectral (enrched) functors. As wth dg categores, there s a DK-model structure on Cat, where the weak equvalences are the DK-equvalences [Tab, 5.10]. Defnton 3.2. Let A be a spectral category. The homotopy category of A, denoted by [A], s the ordnary category gven by: The objects of [A], Ob([A]), are the objects of A. For every par of objects x,y Ob([A]), the set of morphsms [A](x,y) := π 0 (T (x,y)). Defnton 3.3. A spectral functor F : A A s a DK-equvalence f 12

13 Foreveryparofobjectsx,y Ob(A),themorphsmn,F(x,y) : A(x,y) B(x, y) s a stable equvalence of symmetrc spectra. The nduced functor [F] : [A] [B] s an equvalence of ordnary categores. Moreover, we have [BGT2, 2.2.4]. Proposton 3.4. The category Cat wth the DK-model structure s a combnatoral model category. Moreover, Cat can be replaced by a Qullen equvalent smplcal model category. Remark 3.5. As wth dg categores, there are smlar notons of a pretrangulated spectral category and a Morta equvalence of spectral categores. We can use the machnery of Bousfeld localzaton n ths settng to obtan a combnatoral model category structureoncat wheretheweak equvalencesarethemortaequvalences. nce ths model structure s the one we wll use n our theorem, we record here as a proposton. Proposton 3.6. The category Cat wth the Morta model structure s a combnatoral model category Revew of R-Module pectra. In ths secton we set up the relevant propertes of the model category of R-module spectra used n our man theorem. Let R be an E -rng spectrum and R-Mod the category of R-module spectra. Proposton 3.7. There s a cofbrantly generated symmetrc monodal model category structure on R-Mod by [H]. Remark 3.8. More explctly, start wth the stable model category on symmetrc spectra [H, 6.3]. Applyng the machnery of [1], one then constructs a model category structure on modules over R. nce the former s cofbrantly generated, so s the latter. The generatng cofbratons and generatng acyclc cofbratons for symmetrc spectra are gven by the sets FI and K FI Λ respectvely. Here, FI s the set of maps F n [m] + F n [m] +, K s the set of pushouts products [m] + F n+1 1 [m] + F n+1 1 [m]+ Z(λ n ) [m] + Z(λ n ), and FI Λ s the set of horn nclusons F n Λ k [m] + F n [m] +. The functor F n s the left adjont of the evaluaton functor Ev n and Z(λ n ) s the mappng cylnder of the natural map F n+1 1 F n 0. The generatng cofbratons 13

14 for R-Mod are gven by the set R FI and the generatng acyclc cofbratons are gven by R (K FI Λ ). For a more detaled descrpton, please see [H, 3.4]. Much of the structure of the model category R-Mod s controlled by the unt object R R-Mod, and t s convenent to descrbe how R-modules can be bult from the unt object R va operatons such as takng varous colmts and retracts thereof. Defnton 3.9. An R-module M s perfect f t les n the smallest stable subcategory of R- Mod contanng R and closed under fnte homotopy colmts and retracts. Wewllusethenotonof cell R-modulesasaway togan control over thecofbrant objects n R-Mod. Defnton AnR-moduleM scell f M stheunonof anexpandngsequence of sub R-modules M l such that M 0 = and M j+1 s the homotopy cofber of a map φ j : F j M j, where F j s a wedge of shfts of R as a module over tself. If a cell R-module s addtonally perfect, we wll refer to t as a perfect cell R-module. Notaton We denote the category of cell R-modules by R-Mod cell and the category of perfect cell R-modules by Perf(R) cell. nce the smash product over R of two cell R-modules s a cell R-module, R-Mod cell and Perf(R) cell are symmetrc monodal spectral categores wth unt R. Remark The defnton of cell R-modules gven above agrees wth the usual defnton of cell objects usng the model structure n the stable model category of symmetrc spectra mentoned n the prevous remark. We wll also need a crucal property of cell R-modules. Proposton Every R-module s functorally weakly equvalent to a cell R- module. Moreover, every perfect R-module s functorally weakly equvalent to a perfect cell R-module. Proof. Retracts of cell objects are the cofbrant objects n any cofbrantly-generated model category. Moreover, the standard use of the small object argument can be used to make ths choce functoral. We conclude ths secton wth the followng. Proposton The category Perf(R) cell s generated by R under fnte colmts and tensors wth fnte spectra. Proof. uspensons and desuspensons of R are obtaned by tensorng R wth a shfted sphere spectrum [n] := Σ n. That s, R[n] R [n]. By the defnton above, a perfect cell R-module M can be expressed as a fnte colmt over a dagram consstng of objects of the form R[n]. The result follows. 14

15 3.3. Comparng Categores Enrched n R-Mod and Perf(R) cell -Module Categores. In ths secton, we wll compare small categores enrched n R- Mod and module categores over the symmetrc monodal category Perf(R) cell. Usng the symmetrc monodal model category structure on R- Mod we can defne the model category of categores enrched n R- Mod mmckng the defnton of the model structure on categores enrched n spectra. Defnton Let Cat R-Mod denote the combnatoral model category of categores whose morphsm spaces are enrched n R- Mod. Theres a monodal structureoncat R-Mod gven by thepontwse smashproduct. Defnton Gven C,D Cat R-Mod. The pontwse smash product C D s specfed by The objects of C D, Ob(C D), are gven by pars of objects (c,d), where c C and d D. For every par of objects (c,d),(c,d ) C D, the morphsm spectrum C D((c,d),(c,d ) := C(c,c ) R D(d,d ). Defnton Amodulecategoryoverthesymmetrcmonodalcategory Perf(R) cell s a spectral category M wth a spectral bfunctor α : Perf(R) cell M M preservng fnte colmts and tensors of objects wth fnte spectra n each varable, and wth Functoral assocatvty somorphsms m x,y,m : α(x R y,m) α(x,α(y,m)). Unt somorphsms l m : α(r,m) m. for any x,y Perf(R) cell and m M. The somorphsms above are subject to the usual pentagon and trangle axoms. Defnton A functor F : M M between two module categores over Perf(R) cell s a spectral functor equpped wth functoral somorphsms c x,m : F(α(x,m)) α(x,f(m)) for any x Perf(R) cell and m M. These somorphsms are subject to the usual pentagon and trangle axoms. We can now defne Defnton Let Mod Perf(R) cell(cat ) be the category of module categores over the category Perf(R) cell. A morphsm n Mod Perf(R) cell(cat ) s defned to be a Morta equvalence f t s a Morta equvalence of underlyng spectral categores. 15

16 Notaton WenowconsdersubcategoresofCat R-Mod andmod Perf(R) cell(cat ) consstng of categores closed under all fnte colmts and tensors of objects wth fnte spectra. Let CatR-Mod f.c. be the category wth objects categores enrched n R-modules closed under all fnte colmts and tensors wth fnte spectral. Morphsms are functors of categores enrched n R-modules whch preserve fnte colmts and tensors of objects wth fnte spectra. Let Mod Perf(R) cell(cat f.c. ) be the category wth objects module categores over Perf(R) cell closed underall fntecolmts andtensorswthfntespectra. Morphsms are functors of module categores over Perf(R) cell whch preserve fnte colmts and tensors of objects wth fnte spectra. We have the followng: Proposton There s an equvalence of categores Cat f.c. R-Mod Mod Perf(R) cell(catf.c. ) Moreover, ths equvalence s the dentty on underlyng spectral categores. Proof. Let C be a category n Mod Perf(R) cell(cat f.c. ), then C s equpped wth a bfunctor α : Perf(R) cell C C, that preserves fnte colmts n each varable and has somorphsms α(r,x) x for all objects x C. We see that C s thus equpped wth maps Hom R (R,R) C(x,y) C(x,y), whch s equvalent to R C(x,y) C(x,y), so each mappng space n C s ndeed an R-module. Thus, C CatR-Mod f.c.. Moreover, gven a morphsm G : C D n Mod Perf(R) cell(cat f.c. ) restrcton to /R gves G the structure of a morphsm n CatR-Mod f.c.. Thus, ths constructon defnes a functor Res : Mod Perf(R) cell(cat f.c. ) Cat f.c. R-Mod. Now, let C CatR-Mod f.c. be closed under fnte colmts and tensors of objects wth fnte spectra. We wsh to produce a functor α : Perf(R) cell C C. The data of the acton of R on each mappng spectrum C (x,y) s equvalent to the data of an acton map act : /R C C, where /R s the spectral category wth one object and Hom /R (, ) = R. That s, C s a module category over /R. tartng wth the acton act : /R C C and the full and fathful ncluson : /R C Perf(R) cell C, let Lan (act) : Perf(R) cell C C be the spectral enrched left Kan extenson of act by [Du]. Ths enrched left Kan extenson exsts because C closed under fnte colmts and tensors of objects wth fnte spectra. Thus, we have the followng commutatve dagram satsfyng the unversal property 16

17 of left Kan extensons: /R C act Perf(R) cell C. Lan (act) C We clam the functor Lan (act) s the desred functor α : Perf(R) cell C C. The condton that the bfunctor α preserves colmts and tensors of objects by fnte spectra n each varable follows from the defnton of an enrched left Kan extenson. That α s assocatve,.e that α(m R N,x) α(m,α(n,x)) for all M,N Perf(R) cell and x C also follows from the defntons. Namely, wrte M and N as fnte colmts M colmr[n ] and N colmr[n j ]. Then we j have α(m R N,x) α((colm R[n ]) R (colm j R[n j ]),x) α(colm,j (R[n ] R R[n j ]),x) colm,j (α(r[n +n j ],x)) colm,j (act(r,x)[n +n j ]) colm colm α(colm colmα(r[n ],α(r[n j ],x) j α(r[n ],colmα(r[n j ],x)) j R[n ],α(colmr[n j ],x)) α(m,α(n,x)). j Now let C,D CatR-Mod f.c. have all fnte colmts and be closed under tensors wth fnte spectra. Let F : C D be a functor n CatR-Mod f.c. whch preserves fnte colmts and tensors of objects by fnte spectra. We can use the left Kan extenson above to construct α : Perf(R) cell C C and β : Perf(R) cell D D : structures of a module category over Perf(R) cell. We wsh to show that F also extends to a functor n Mod Perf(R) cell(cat ). Re-expressng the functor F as a dagram /R C C Id F /R D D. We wsh show ths extends to the followng dagram: F Perf(R) cell C α C Id F Perf(R) cell D 17 β F D.

18 Ths also follows from the defnton of the left Kan extenson. Namely, let x C and let M Perf(R) cell so that M colmr[n ], where ths colmt s fnte. Then we have F(α(M, x)) F(α(colm R[n ],x)) F(colmα(R[n ],x)) colmf(α(r[n ],x)) colmβ(r[n ],F(x)) β(colmr[n ],F(x)) β(m,f(x)) as desred. Thus, ths constructon of left Kan extenson defnes a functor LKan : Cat f.c. R-Mod Mod Perf(R) cell(catf.c. ). We now wsh to show that Res and LKan are nverse equvalences. It s easy to see there s an equvalence Id Res LKan. Thus, t suffces to show there s an equvalence LKan Res Id. If we start wth C a module category of Perf(R) cell closed under fnte colmts and tensors of objects by fnte spectra β : Perf(R) cell C C, restrct to the acton on each hom spectra act β : R C (x,y) C (x,y), then we wll show the nduced natural transformaton Lan (act β ) β s a natural somorphsm. Let M Perf(R) cell so that M colmr[n ], where ths colmt s fnte. Then, for x C the natural transformaton Lan (act β )(M,x) β(m,x) s equvalent to Lan (act β )(colm R[n ],x) β(colm R[n ],x) colmact β (R,x)[n ] colmβ(r,x)[n ]. However, ths s an somorphsm by defnton. Thus, we have our desred equvalence Cat f.c. R-Mod Mod Perf(R) cell(catf.c. ). 18

19 Remark Let us also descrbe how the enrched left Kan extenson acts on morphsm spectra. Let C CatR-Mod f.c. and let x 1,x 2 C. We start wth an acton map act : R Hom C (x 1,x 2 ) Hom C (x 1,x 2 ). Now let M colm R[n ] be a perfect cell R-module (.e the colmt s fnte). The enrched left Kan extenson determnes a map Hom Perf(R) cell C ((R,x 1),(M,x 2 )) Hom C (α(r,x 1 ),α(m,x 2 )) Hom Perf(R) cell(r,colm R[n ]) Hom C (x 1,x 2 ) colm R[n ] Hom C (x 1,x 2 ) Hom C (α(r,x 1 ),colm α(r[n ],x 2 )) Hom C (x 1,colm x 2 [n ]). We wll return to the comparson between Cat R-Mod and Mod Perf(R) cell(cat ) after revewng how to pass from model categores to -categores. We wll obtan an equvalencebetweentheunderlyng -categores ofcat R-Mod andmod Perf(R) cell(cat ) after localzng by Morta equvalences The Enrched Dold-Kan Correspondence. In [2], chwede-hpley generalze the Dold-Kan correspondence and prove that the category of modules over the Elenberg-MacLane symmetrc spectrum Hk, Hk- Mod, s Qullen equvalent to chan complexes of k-modules, Ch(k). In [Tab1], Tabuada further generalzes ths result and establshes a Qullen equvalence between dg categores over k, Cat k dg, and categores enrched n Hk-module symmetrc spectra, Cat Hk-Mod, where both categores have the DK-model structure: Proposton There s a Qullen equvance Cat k dg Cat Hk-Mod where both categores are endowed wth the DK-model structure. We wll explot ths equvalence between dg categores and categores enrched n Hk-module spectra n our comparson theorem by usng machnery that was developed for spectral categores n [BGT1] and [BGT2]. Moreover, one can conclude that: Proposton A dg category T s pretrangulated f and only f ts assocated spectral category s pretrangulated. mlarly, two dg categores are Morta equvalent f and only f ther assocated spectral categores are Morta equvalent. 19

20 Corollary There s a Qullen equvance Cat k dg Cat Hk-Mod where both categores are endowed wth the Morta model structure. 4. Revew of -Categores We now work wth the theory of quascategores, a well-developed model of - categores. These frst appeared n the work of Boardman and Vogt, where they were referred to as weak Kan complexes. The theory was subsequently developed by Joyal and then extensvely studed by Lure. In ths secton we gve a bref revew of the relevant background regardng the theory of -categores. Our basc references for ths materal are Jacob Lure s books [HA],[T]. An extremely bref ntroducton to the defnton of an -category s gven n [L3] From Model Categores to -Categores. There are a number of optons for producng the underlyng -category of a category equpped wth a noton of weak equvalence. The most structured settng s that of a smplcal model category C, where the -category can be obtaned by restrctng to the full smplcal subcategory C cf of cofbrant-fbrant objects and then applyng the smplcal nerve functor N. More generally, f C s a category equpped wth a subcategory of weak equvalences wc, the Dwyer-Kan smplcal localzaton LC provdes a correspondng smplcal category, and then N((LC) f ), where ( ) f denotes fbrant replacement n smplcal categores, yelds an assocated -category. Lure has gven a verson of ths approach n[ha, 1.3.4]: we assocate to a (not necessarly smplcal) category C wth weak equvalences W an -category N(C)[W 1 ]. Here, the notaton N(C)[W 1 ] refers to the unversal -category equpped wth a map N(C) N(C)[W 1 ] such that for another -category D, the functor nduced by precomposton Fun(N(C)[W 1 ],D) Fun(N(C),D) s a fully fathful embeddng whose essental mage s the collecton of functors from C to D that map the mage of morphsms n W to equvalences n D [HA, ]. If C s a model category, t s usually convenent to restrct to the cofbrant objects C c and consder N(C c )[W 1 ]. All of these constructons produce equvalent -categores f C s a model category [HA, 1.3.4]. We wll refer to ths constructon as the underlyng -category of a model category. Furthermore, all of these constructons are functoral. In the sequel, we wll need that gven a Qullen adjuncton (F, G), there s an nduced adjuncton of functors on 20

21 the level of the assocated -categores [T, ]. Moreover, a Qullen equvalence wll nduce an equvalence of -categores. We wll often be nterested n -categores for whch we have set theoretc control. Lure provdes a thorough treatment of the theory of presentable and accessble - categores n [T, 5.4] and [T, 5.5]. Brefly, an -category A s accessble f t s locally small and has a good supply of fltered colmts and compact objects. A great source of examples of accessble -categores are Ind-categores (defned n the sequel) of small -categores. An -category A s presentable f t s accessble and furthermore admts all small colmts. Notaton 4.1. Let Pr L denote the -category of presentable -categores and colmt-preservng functors; the -category of colmt preservng functors s denoted Fun L (, ). In fact, Fun L (, ) s a presentable -category and provdes an nternal hom object for Pr L. We wll also need [HA, ]: Proposton 4.2. Let C be a combnatoral model category, then the underlyng -category of C s a presentable -category. Wenowusethspropostontoshowthatthe -categoryn(mod Perf(R) cell(cat ))[W 1 ] s a presentable -category, where Mod Perf(R) cell(cat ) s ntroduced n ecton 3.3. Frst, usng the comparson 3.21 we have the followng proposton. Proposton 4.3. Let W be the class of Morta equvalences n Cat R-Mod and let W be the class of Morta equvalences n Mod Perf(R) cell(cat ). There s an equvalence of underlyng -categores N(Cat R-Mod )[W 1 ] N(Mod Perf(R) cell(cat ))[W 1 ]. Proof. In 3.21, we proved an equvalence of categores Cat f.c. R-Mod Mod Perf(R) cell(catf.c. ) Ths equvalence nduces an equvalence of -categores N(Cat f.c. R-Mod )[W 1 ] N(Mod Perf(R) cell(cat f.c. ))[W 1 ]. The natural ncluson functor nduces an equvalence of -categores : Cat f.c. R-Mod Cat R-Mod N(Cat f.c. R-Mod )[W 1 ] N(Cat R-Mod )[W 1 ] by [HA, ] snce Cat R-Mod (wth ts Morta model structure) has a fbrant replacement functor R : Cat R-Mod Cat R-Mod whch takes values n CatR-Mod f.c. by 2.32 and

22 mlarly, the natural ncluson functor nduces an equvalence of -categores : Cat f.c. Cat N(Mod Perf(R) cell(cat f.c. ))[W 1 ] N(Mod Perf(R) cell(cat ))[W 1 ]. In summary, we have the followng dagram of equvalences of -categores: N(Cat f.c. R-Mod )[W 1 ] The concluson follows. N(Mod Perf(R) cell(cat f.c. ))[W 1 ] N(Cat R-Mod )[W 1 ] N(Mod Perf(R) cell(cat ))[W 1 ]. Corollary 4.4. The -category N(Mod Perf(R) cell(cat ))[W 1 ] s presentable. Proof. The category Cat R-Mod wth the Morta model structure s a combnatoral model category, hence N(Cat R-Mod )[W 1 ] s presentable. Now use the proposton above table -Categores and Idempotent-Complete -Categores. We now recall the defnton of a stable -category. There s a close a connecton between stable -categores and spectral categores. On the one hand, for every par of objects n a stable -category one can extract a mappng spectrum. On the other hand, gven a category enrched n spectra, ts category of rght modules has a projectve model structure and ts assocated -category s stable. Defnton 4.5. An -category s stable [HA, ] f t has fnte lmts and colmts and pushout and pullback squares concde [HA, ]. Let Cat ex denote the -category of small stable -categores and exact functors (.e. functors whch preserve fnte lmts and colmts) [HA, 1.1.4]. The -category of exact functors between A and B s denoted by Fun ex (A,B). Remark 4.6. For a small stable -category C, the homotopy category Ho(C) s trangulated, wth the exact trangles determned by the cofber sequences n C [HA, ]. Ths s why we use the Morta model structure on dg categores (and on Cat Hk Mod ),.e. fbrant objects n the Morta model structure on dg categores are pretrangulated. Recall that an -category C s dempotent-complete f the mage of C under the Yoneda embeddng C Fun(C,N(et cf )) s closed under retracts, where N(etcf ) s the -category of spaces. Notaton 4.7. Let Cat perf denote the -category of small dempotent-complete stable -categores and exact functors. 22

23 There s an dempotent completon functor gven as the left adjont to the ncluson Cat ex, whch we denote by Idem( ). Cat perf Defnton 4.8. Let A and B be small stable -categores. Then we wll say that A and B are Morta equvalent f Idem(A) and Idem(B) are equvalent. It s shown n [BGT1, 4.23] that: Theorem 4.9. The -category Cat perf s the underlng -category of the category Cat endowed wth the Morta model category structure. That s, the noton of Morta equvalence for spectral categores s compatble wth the noton of Morta equvalence for stable -categores. Thus, pretrangulated spectral categores can be nterpreted as a rectfed model of dempotent-complete small stable -categores Ind-Categores. Our revew of Ind-categores s based on the materal n [BFN, 4.1] and [BGT1, 2.4]. We wll use Ind-categores to defne the symmetrc monodal structure on Cat perf and to relate large and small -categores. Presentable -categores are large -categores that are generated under suffcently large fltered colmts by some small -category. To make ths noton precse we need the noton of an Ind-category. Gven a small -category C, we can form the -category P(C) of presheaves on C valued n the -category of spaces. Ths s the formal closure of C under colmts. There s a fully fathful Yoneda embeddng C P(C) and P(C) s generated by the mage of C under small colmts [T, ]. For any -category C and nfnte regular cardnal κ, we can form Defnton The Ind-category Ind κ (C), whch s the formal closure under κ- fltered colmts of C [T, 5.3.5]. The -category Ind κ (C) s a full subcategory of P(C), and the Yoneda embeddng C P(C) factors as C Ind κ (C) P(C). We record here the followng useful propertes of the constructon of the Indcategory. Proposton Let C be a small -category and κ an nfnte regular cardnal. The -category Ind κ (C) admts all κ-small colmts that exst n C [T, , ]. The functor C Ind κ (C) preserves κ-fltered colmts [T, , ]. If C s addtonally a stable -category, then Ind κ (C) s a stable -category [HA, ]. The mage of C n Ind κ (C) provdes a set of compact objects whch generates Ind(C) under κ-fltered colmts [T, , ]. 23

24 The category Ind κ (C) s characterzed by the property that t has κ-small fltered colmts, admts a functor C Ind κ (C), and ths functor nduces an equvalence Fun κ (Ind(C),D) Fun(C,D), for any D whch admts κ-fltered colmts (here Fun κ (, ) denotes the - category of functors that preserve κ-small fltered colmts) [T, ]. The precedng dscusson carres over when we restrct attenton to stable categores. In ths settng, the stablzaton tab(c) s ntal amongst presentable stable -categores admttng a functor from C [HA, ], n the sense that f D s a presentable stable -category then Σ + nduces an equvalence Fun L (tab(c),d) Fun L (C,D). The -category of stable presentable -categores Prst L s a full subcategory of Pr L, and the Ind-category sets up a correspondence between Cat perf wth functors that preserve small colmts and compactly generated stable -categores wth functors whch preserve compact objects and colmts denoted Prst,ω. L 4.4. Tensor Products of table -Categores. The -category Prst L of presentable stable -categores s a closed symmetrc monodal -category wth product and nternal mappng object gven by the presentable stable -category Fun L (A,B) of colmt-preservng functors [HA, , ]. Followng [BFN, 4.1.2], we can then defne the tensor product on small dempotent-complete stable -categores as C D = (Ind(C) Ind(D)) ω. The tensor product of dempotent-complete small stable -categores s characterzed by the unversal property that maps out of A B correspond to maps out of the product A B whch preserve fnte colmts n each varable [BFN, 4.4]. If A and B are arbtrary small stable -categores, then we set A B := Idem(A) Idem(B). More precsely, we can defne Cat perf as a symmetrc monodal -category as follows. Let Prst,ω L denote the subcategory of Prst L on the compactly-generated stable -categores wth functors that preserve colmts and compact objects. The crteron of [HA, ] mples that Prst,ω L s a symmetrc monodal subcategory of Prst; L the tensor product of compactly-generated stable -categores s tself compactly-generated, as s the unt p Ind(p ω ). For a small stable dempotent-complete -category A and a presentable - category B, Fun ex and Fun L are related by the formula Fun ex (A,B) Fun L (Ind(A),B), 24

25 whch follows from [T, ] and the fact that functors whch preserve fltered colmts and fnte colmts preserve all colmts. Note that Ind : Cat perf PrL st factors through the full subcategory Pr L st,ω by defnton. Proposton Ths gves an equvalence of -categores between Cat perf and the subcategory Prst,ω L of Prst L whose objects are the compactly-generated stable - categores and whose maps Fun ex (A,B) Fun L ω (Ind(A),Ind(B)) FunL (Ind(A),Ind(B)), are the full subcategory of the colmt-preservng functors Ind(A) Ind(B) whch preserve compact objects [T, ]. We regard Cat perf as a symmetrc monodal -category va ths equvalence. The observaton of [HA, ] mples that Cat perf s closed. Hence we have the followng result. Proposton The -category of small dempotent-complete stable -categores s a closed symmetrc monodal category wth respect to. The unt s the - category p ω of compact spectra and the nternal mappng object s gven for small dempotent-complete stable -categores A and B by Fun ex (A,B) Operads. In ths secton we brefly recall the basc defntons and propertes of -operads, the -categorcal noton of a colored operad followng [HA, Chapter 2]. Note that ordnary operads are colored operads wth only one color. Thus, there s a slght abuse of termnology. We use the language of -operads to defne symmetrc monodal -categores and also algebra and module objects wthn a symmetrc monodal -category. We then use the language of -operads to show the nerve functor s monodal. We wll need a few techncal defntons before we can defne an -operad. Let Γ denote the category wth objects the ponted sets n = {,1,2,...,n} and morphsms those functons whch preserve the base pont. Defnton Let n = {1,2,...,n}, we wll say a morphsm f : m n s nert f for n, the nverse mage f 1 () has exactly one element. Thus, f : m n s nert f n s obtaned from m by dentfyng some subset of m wth the base pont. An example we wll use s Example For 1 n, let ρ : n 1 denote the nert morphsm { 1 f = j ρ (j) = otherwse. 25