arxiv: v3 [math.ac] 7 Apr 2016

Transcription

1 DUAL OF BASS NUMBERS AND DUALIZING MODULES arxv: v3 [math.ac] 7 Apr 2016 MOHAMMAD RAHMANI AND ABDOLJAVAD TAHERIZADEH Abstract. Let R be a Noetheran rng and let C be a semdualzng R-module. In ths paper, we mpose varous condtons on C to be dualzng. For example, as a generalzaton of Xu [22, Theorem 3.2], we show that C s dualzng f and only f for an R-module M, the necessary and suffcent condton for M to be C-njectve s that π p,m) = 0 for all p SpecR) and all htp), where π s the nvarant dual to the Bass numbers defned by E.Enochs and J.Xu [8]. 1. ntroducton Throughout ths paper, R s a commutatve Noetheran rng wth non-zero dentty. A fntely generated R-module C s semdualzng f the natural homothety map R Hom R C,C) s an somorphsm and Ext R C,C) = 0 for all > 0. Semdualzng modules have been studed by Foxby [9], Vasconcelos [20] and Golod [10] who used the name sutable for these modules. Dualzng complexes, ntroduced by A.Grothendeck, s a powerful tool for nvestgatng cohomology theores n algebrac geometry. A bounded complex of R- modules D wth fntely generated homologes s sad to be a dualzng complex for R, f the natural homothety morphsm R RHom R D,D) s quassomorphsm, and d R D) <. These noton has been extended to semdualzng complexes by L.W. Chrstensen [5]. A bounded complex of R-modules C wth fntely generated homologes s semdualzng for R f the natural homothety morphsm R RHom R C,C) s quassomorphsm. He used these noton to defne a new homologcal dmenson for complexes, namely G C -dmenson, whch s a generalzaton of Yassem s G-dmenson [23]. The followng, s the translaton of a part of [5, Proposton 8.4] to the language of modules: Theorem 1. Let R,m,k) be a Noetheran local rng and let C be a semdualzng R- module. The followng are equvalent: ) C s dualzng. ) G C -dm R M) < for all fnte R-modules M. ) G C -dm R k) <. In partcular, the above theorem recovers [4, 1.4.9]. Note that k s a Cohen-macaulay R- moduleoftype1. R.Takahash,n[17, Theorem2.3],replacedthecondtonG-dm R k) < n [4, 1.4.9] by weaker condtons and obtaned a nce characterzaton for Gorensten rngs Mathematcs Subject Classfcaton. 13C05, 13D05, 13D07, 13H10. Key words and phrases. Semdualzng modules, dualzng modules, G C -dmenson, Bass numbers, dual of Bass numbers, mnmal flat resoluton, local cohomology. 1

2 2 M. RAHMANI AND A.- J. TAHERIZADEH Indeed, he showed that R s Gorensten, provded that ether R admts an deal I of fnte G- dmenson such that R/I s Gorensten, or there exsts a Cohen-Macaulay R-module of type 1 and of fnte G-dmenson. The followng s the man result of secton 3, whch generalzes Theorem 1 as well as [17, Theorem 2.3]. See Theorem 3.4 below. Theorem 2. Let R,m) be a Noetheran local rng and let C be a semdualzng R-module. The followng are equvalent: ) C s dualzng. ) There exsts an deal a wth G C -dm R ac) < such that C/aC s dualzng for R/a. ) There exsts a Cohen-Macaulay R-module M wth r R M) = 1 and G C -dm R M) <. v) r R C) = 1 and there exsts a Cohen-Macaulay R-module M wth G C -dm R M) <. E.Enochs et al. [1], solved a long standng conjecture about the exstence of flat covers. Indeed, they showed that f R s any rng, then all R-modules have flat covers. E.Enochs [6], determned the structure of flat cotorson modules. Also, E.Enochs and J.Xu [8, Defnton 1.2], defned a new nvarant π, dual to the Bass numbers, for modules related to flat resolutons. J.Xu [22], studed the mnmal njectve resoluton of flat R-modules and mnmal flat resoluton of njectve R-modules. He characterzed Gorensten rngs n terms of vanshng of Buss numbers of flat modules, and vanshng of dual of Bass numbers of njectve modules. More precsely, the followng theorem s [22, Theorems 2.1 and 3.2]. Theorem 3. Let R be a Noetheran rng. The followng are equvalent: ) R s Gorensten. ) An R-module F s flat f and only f µ p,f) = 0 for all p SpecR) whenever htp). ) An R-module E s njectve f and only f π p,e) = 0 for all p SpecR) whenever htp). In secton 4, we gve a generalzaton of Theorem 3. Indeed, n Theorem 4.3, we prove the followng result. Theorem 4. Let R be a Noetheran rng and let C be a semdualzng R-module. The followng are equvalent: ) C s pontwse dualzng. ) An R-module M s C-njectve f and only f π p,m) = 0 for all p SpecR) whenever htp). ) An R-module M s njectve f and only f π p,hom R C,M)) = 0 for all p SpecR) whenever htp). Theorem 4 has several applcatons. Let R, m) be a d-dmensonal Cohen-Macaulay local rng possessng a canoncal module. In ths secton, we gve the structure of the mnmal flat resoluton of H d m R), the top local cohomology of R. More precsely, the followng theorem s Corollary 4.7.

3 DUAL OF BASS NUMBERS AND DUALIZING MODULES 3 Theorem 5. Let R, m) be a d-dmensonal Cohen-Macaulay local rng possessng a canoncal module. The mnmal flat resoluton of H d m R) s of the form 0 R m T p T p H d mr) 0, htp)=1 htp)=0 n whch T p s the completon of a free R p -module wth respect to pr p -adc topology. In ths secton, by usng the above resoluton, we obtan the followng somorphsm for a d-dmensonal Cohen-Macaulay local rng See Corollary 4.8). { Tor R Hd m R),Hd m R)) H d mr) = d, = 0 d. 2. prelmnares In ths secton, we recall some defntons and facts whch are needed throughout ths paper. By an njectve cogenerator, we always mean an njectve R-module E for whch Hom R M,E) 0 whenever M s a nonzero R-module. For an R-module M, the njectve hull of M, s always denoted by EM). Defnton 2.1. Let X be a class of R-modules and M an R-module. An X-resoluton of M s a complex of R-modules n X of the form X =... X X n n X n 1... X X 1 1 X 0 0 such that H 0 X) = M and H n X) = 0 for all n 1. Also the X-projectve dmenson of M s the quantty X-pd R M) := nf{sup{n 0 X n 0} X s an X-resoluton of M}. So that n partcular X-pd R 0) =. The modules of X-projectve dmenson zero are precsely the non-zero modules n X. The terms of X-coresoluton and X-d are defned dually. Defnton 2.2. A fntely generated R-module C s semdualzng f t satsfes the followng condtons: ) The natural homothety map R Hom R C,C) s an somorphsm. ) Ext R C,C) = 0 for all > 0. For example a fntely generated projectve R-module of rank 1 s semdualzng. If R s Cohen-Macaulay, then an R-module D s dualzng f t s semdualzng and that d R D) <. For example the canoncal module of a Cohen-Macaulay local rng, f exsts, s dualzng. Defnton 2.3. Followng [12], let C be a semdualzng R-module. We set F C R) = the subcategory of R modules C R F where F s a flat R module. I C R) = the subcategory of R modules Hom R C,I) where I s an njectve R module.

4 4 M. RAHMANI AND A.- J. TAHERIZADEH The R-modules n F C R) and I C R) are called C-flat and C-njectve, respectvely. If C = R, then t recovers the classes of flat and njectve modules, respectvely. We use the notatons C-fd and C-d nstead of F C -pd and I C -d, respectvely. Proposton 2.4. Let C be a semdualzng R-module. Then we have the followng: ) SuppC) = SpecR), dmc) = dmr) and AssC) = AssR). ) If R S s a flat rng homomorphsm, then C R S s a semdualzng S-module. ) If x R s R regular, then C/xC s a semdualzng R/xR-module. v) If, n addton, R s local, then depth R C) = depthr). Proof. The parts ), ) and ) follow from the defnton of semdualzng modules. For v), note that an element of R s R-regular f and only f t s C-regular snce AssC) = AssR). Now an easy nducton yelds the equalty. Defnton 2.5. Let C be a semdualzng R-module. A fntely generated R-module M s sad to be totally C-reflexve f the followng condtons are satsfed: ) The natural evaluaton map M Hom R Hom R M,C),C) s an somorphsm. ) Ext R M,C) = 0 = Ext R Hom RM,C),C) for all > 0. For an R-module M, f there exsts an exact sequence0 G n G 1 G 0 M 0, of R-modules such that each G s totally C-reflexve, then we say that M has G C -dmenson at most n, and wrte G C -dm R M) n. If there s no shorter such sequence, we set G C - dm R M) = n. Also, f such an nteger n does not exst, then we say that M has nfnte G C -dmenson, and wrte G C -dm R M) =. The next proposton collects basc propertes of G C -dmenson. For the proof, see [10]. Proposton 2.6. Let R,m) be local, M a fntely generated R-module and let C be a semdualzng R-module. The followng statements hold: ) If G C -dm R M) <, and x m s M-regular, then If, also, x s R-regular, then G C -dm R M) = G C -dm R M/xM) 1. G C -dm R M) = G C/xC -dm R/xR M/xM). ) If G C -dm R M) < and x s an R-regular element n Ann R M), then G C -dm R M) = G C/xC -dm R/xR M)+1. ) Let 0 K L N 0 be a short exact sequence of R-modules. If two of L,K,N are of fnte G C -dmenson, then so s the thrd. v) If G C -dm R M) <, then G C -dm R M) = sup{ 0 Ext R M,C) 0} = depthr) depth R M). Defnton 2.7. Let C be a semdualzng R-module. The Auslander class wth respect to C s the class A C R) of R-modules M such that: ) Tor R C,M) = 0 = Ext R C,C R M) for all 1, and

5 DUAL OF BASS NUMBERS AND DUALIZING MODULES 5 ) The natural map M Hom R C,C R M) s an somorphsm. The Bass class wth respect to C s the class B C R) of R-modules M such that: ) Ext R C,M) = 0 = TorR C,Hom RC,M)) for all 1, and ) The natural map C R Hom R C,M)) M s an somorphsm. The class A C R) contans all R-modules of fnte projectve dmenson and those of fnte C- njectvedmenson. AlsotheclassB C R)contansallR-modulesoffntenjectvedmenson and those of fnte C-projectve dmenson see [18, Corollary 2.9]). Also, f any two R- modules n a short exact sequence are n A C R) resp. B C R)), then so s the thrd see [13]). Proposton 2.8. Let R,m) be a local rng and let C be a semdualzng R-module. ) C s a dualzng R-module f and only f C R R s a dualzng R-module. ) Let x m be R-regular. Then C s a dualzng R-module f and only f C/xC s a dualzng R/xR-module. Proof. Just use the defnton of dualzng modules. Theorem 2.9. Let C be a semdualzng R-module and let M be an R-module. ) C-d R M) = d R C R M) and d R M) = C-d R Hom R C,M)). ) C-fd R M) = fd R Hom R C,M)) and fd R M) = C-fd R C R M). Proof. For ), see [18, Theorem 2.11] and for ), see [19, Proposton 5.2]. Lemma Let C be a semdualzng R-module, E be an njectve cogenerator and M be an R-module. ) One has C-d R M) = C-fd R Hom R M,E)). ) One has C-fd R M) = C-d R Hom R M,E)). Proof. ). We have the followng equaltes C-d R M) = d R C R M) = fd R Hom R C R M,E)) = fd R Hom R C,Hom R M,E)) = C-fd R Hom R M,E)), n whch the frst equalty s from Theorem 2.9), and the last one s from Theorem 2.9). ). Is smlar to ). Remark Let R,m) be a local rng and let M be a fntely generated R-module. We use ν R M) to denote the mnmal number of generators of M. More precsely, ν R M) = vdm R/m M R R/m). It s easy to see that f x m, then ν R M) = ν R/xR M/xM). In partcular, f x Ann R M), then ν R M) = ν R/xR M). Assume that depth R M) = n. The type of M, denoted by r R M), s defned to be vdm R/m Ext n R R/m,M)). If x m, then r R M/xM) = r R/xR M/xM) by [2, Exercse ]. Also, f x m s M- and R-regular, then r R M) = r R/xR M/xM) by [2, Lemma ]. Assuma that C s a semdualzng

6 6 M. RAHMANI AND A.- J. TAHERIZADEH R-module. Then r R C) r R R). Indeed, by reducton modulo a maxmal R-sequence, we can assume that depth R C) = 0 = depthr). Then we have r R R) = vdm R/m Hom R R/m,R) = vdm R/m Hom R R/m,Hom R C,C)) = vdm R/m Hom R R/m R C,C) = vdm R/m Hom R R/m R C R/m R/m,C) = vdm R/m Hom R/m R/m R C,Hom R R/m,C)) = ν R C)r R C). In partcular, f r R R) = 1 e.g. R s Gorensten local), then ν R C) = 1 and then C = R. Defnton Let M be an R-module and let X be a class of R-modules. Followng [7], a X-precover of M s a homomorphsm ϕ : X M, wth X X, such that every homomorphsm Y M wth Y X, factors through φ;.e., the homomorphsm Hom R Y,ϕ) : Hom R Y,X) Hom R Y,M) s surjectve for each module Y n X. A X-precover ϕ : X M s a X-cover f every ψ Hom R X,X) wth ϕψ = ϕ s an automorphsm. Defnton Followng [6], an R-module M s called cotorson f Ext 1 R F,M) = 0 for any flat R-module F. Remark In [1], E. Enochs et al. showed that f R s any rng, then every R-module has a flat cover. It s easy to see that flat cover must be surjectve. By [6, Lemma 2.2], the kernel of a flat cover s always cotorson. So that f F M s flat cover and M s cotorson, then so s F. Therefore for an R-module M, one can teratvely take flat covers to construct a flat resoluton of M. Snce flat cover s unque up to somorphsm, ths resoluton s unque up to somorphsmofcomplexes. Such aresolutons calledthe mnmal flat resolutonofm. Note that the mnmal flat resoluton of M s a drect summand of any other flat resoluton of M. Assume that F F 1 F 0 M 0, s the mnmal flat resoluton of M. Then F s cotorson for all 1. If, n addton, M s cotorson, then all the flat modules n the mnmal flat resoluton of M are cotorson. E. Enochs [6], determned the structure of flat cotorson modules. He showed that f F s flat and cotorson, then F = p T p where T p s the completon of a free R p -module wth respect to pr p -adc topology. So that we can determne the structure of the mnmal flat resoluton of cotorson modules. Defnton Let M be a cotorson R-module and let F F 1 F 0 M 0, be the mnmal flat resoluton of M. Followng [8], for a prme deal p of R and an nteger 0, the nvarant π p,m) s defned to be the cardnalty of the bass of a free R p -module whose completon s T p n the product F = T p. By [8, theorem 2.2], for each 0, p π p,m) = vdm Rp/pR p Tor Rp Rp /pr p,hom R R p,m) ).

7 DUAL OF BASS NUMBERS AND DUALIZING MODULES 7 Remark Let M be a fntely generated R-module. There are somorphsms Hom R M,ER/p)) = HomR M,ER/p) R R p ) = Hom R M,ER/p)) R R p = Hom Rp M p,e Rp R p /pr p )), where the the frst somorphsm holds because ER/p) = E Rp R p /pr p ), and the second somorphsm s tensor-evaluaton [7, Theorem ]. 3. Fnteness of G C -dmenson Throughout ths secton, C s a semdualzng R-module. We begn wth three lemmas that are needed for the man result of ths secton. It s well-known that a local rng over whch there exsts a non-zero fntely generated njectve module, must be Artnan. Our frst lemma generalzes ths fact by replacng the njectvty condton wth weaker assumpton. Lemma3.1. Let R,m) be local and let M be a fntelygenerated R-module wth depthm) = 0. If Ext 1 RR/m,M) = 0, then R s Artnan. In partcular, M s njectve. Proof. We show that dmr) = 0. Assume, on the contrary, that dmr) > 0. Note that f N s an R-module of fnte length, then by usng a composton seres for N n conjuncton wth the assumpton, we have Ext 1 R N,M) = 0. Now an easy nducton on l RN) yelds the equalty l R Hom R N,M)) = l R N)l R Hom R R/m,M)). Next, note that l R R/m ) < for any 1, and that the sequence {l R R/m )} =1 s not bounded snce m m +1 for any 1. Hence {l R Hom R R/m,M))} =1 s not bounded. But 0 : M m 0 : M m 2 s a chan of submodules of M, and hence s eventually statonary. Ths s a contradcton. Therefore R s Artnan. Fnally, the assumpton Ext 1 R R/m,M) = 0 mples that M s njectve. Lemma 3.2. Let R,m) be a local rng and let M be a Cohen-Macaulay R-module wth G C - dm R M) <. Then r R C) r R M). Proof. We use nducton on n = depthr). If n = 0, then by Proposton 2.6v), we have G C -dm R M) = 0, and hence there s an somorphsm M = Hom R Hom R M,C),C), and the equaltes depth R C) = 0 = depth R M). Hence we have r R M) = vdm R/m Hom R R/m,M) = vdm R/m Hom R R/m,Hom R Hom R M,C),C)) = vdm R/m Hom R R/m R Hom R M,C),C) = vdm R/m Hom R R/m R Hom R M,C) R/m R/m,C) = vdm R/m Hom R/m R/m R Hom R M,C),Hom R R/m,C)) = ν R Hom R M,C))r R C). Therefore r R C) r R M). Now, assume nductvely that n > 0. We consder two cases: Case 1. If depth R M) = 0, then M s of fnte length snce t s Cohen-Macaulay. Hence we can take an R-regular element x such that xm = 0. Set ) = ) R R/xR. Then by

8 8 M. RAHMANI AND A.- J. TAHERIZADEH Proposton 2.6), we have G C -dm R M) <. Also, note that M s a Cohen-Macaulay R-module. Hence by nducton hypothess we have r R C) r R M). Thus r R C) r R M). Case 2. If depth R M) > 0, then we can take an element y m to be M- and R-regular. Set ) = ) R R/yR. Now M s a Cohen-Macaulay R-module, and that G C -dm R M) = G C -dm R M) <, by Proposton 2.6). Therefore, by nducton hypothess, we have r R C) r R M), whence r R C) r R M). Ths complete the nductve step. Lemma 3.3. Let R,m) be local and that r R C) = 1. If there exsts a totally C-reflexve R-module of fnte length, then C s dualzng. Proof. Assume that M s a fnte length C-reflexve R-module. Then depth R M) = 0, and hence depthr) = G C -dmm) = 0 by Proposton 2.6v). Therefore, we have depth R C) = 0 by Proposton 2.4v). Now assume, on the contrary, that C s not dualzng. Hence, by Lemma 3.1, we have Ext 1 R R/m,C) 0. Let 0 = M 0 M 1 M r = M, be a composton seres for M. Thus the factors are all somorphc to R/m, and we have exact sequences 0 M 1 M R/m 0, for all 1 r. Applyng the functor Hom R,C), we get the exact sequence 0 Hom R R/m,C) Hom R M,C) Hom R M 1,C), for each1 r 1. Now snce depth R C) = 0 and r R C) = 1, we havehom R R/m,C) = R/m. Hence we have the nequalty l R Hom R M,C)) l R Hom R M 1,C))+1 for each 1 r 1. On the other hand, applcaton of the functor Hom R,C) on the exact sequence 0 M r 1 M R/m 0, yelds an exact sequence 0 Hom R R/m,C) Hom R M,C) Hom R M r 1,C) Ext 1 R R/m,C) Ext1 R M,C) = 0. Therefore l R Hom R M,C)) = l R Hom R M r 1,C)) + 1 l R Ext 1 R R/m,C)). But snce l R Ext 1 R R/m,C)) > 0, we have l R Hom R M,C)) < l R Hom R M r 1,C))+1 l R Hom R M r 2,C))+2 l R Hom R M 0,C))+r = r = l R M). Now snce Hom R M,C) s agan a totally C-reflexve R-module of fnte length, the same argument shows that l R HomR Hom R M,C),C) ) l R Hom R M,C)). But snce M s totally C-reflexve, we have M = Hom R Hom R M,C),C), whch mples that l R M) < l R M), a contradcton. Hence C s dualzng. The followng theorem s a generalzaton of [17, Theorem 2.3]. Theorem 3.4. Let R, m) be local. The followng are equvalent:

9 DUAL OF BASS NUMBERS AND DUALIZING MODULES 9 ) C s dualzng. ) There exsts an deal a wth G C -dm R ac) < such that C/aC s dualzng for R/a. ) There exsts a Cohen-Macaulay R-module M wth r R M) = 1 and G C -dm R M) <. v) r R C) = 1 and there exsts a Cohen-Macaulay R-module M of fnte G C -dmenson. Proof. )= ). Choose a = 0. )= ). We show that C/aC has the desred propertes. Frst, the exact sequence 0 ac C C/aC 0, n conjuncton wth Proposton 2.6), show that G C -dm R C/aC) <. On the other hand, C/aC s a Cohen-Macaulay R/aR-module and hence s a Cohen-Macaulay R-module. Fnally, by [2, Exercse ], we have r R C/aC) = r R/a C/aC) = 1. )= v). By Lemma 3.2, we have r R C) = 1. v)= ). Assume that M s a Cohen-MacaulayR-module wth G C -dm R M) <. We use nducton on m = depth R M). If m = 0, then M s of fnte length snce t s Cohen- Macaulay. Snce Ann R M) = m, we can choose a maxmal R-sequence from elements of Ann R M), say x. In vew of Proposton 2.8) and Proposton 2.6), we can replace C by C/xC and R by R/xR, and assume that M s totally C-reflexve. In ths case, C s dualzng by Lemma 3.3. Now assume nductvely that m > 0. Hence depthr) > 0 by Proposton 2.6v), and we can take an element x m to be M- and R-regular. Set ) = ) R R/xR. NowM s acohen-macaulayr-moduleand r R C) = r R C) = 1. Also, by Proposton 2.6), we have G C -dm R M) =G C -dm R M) <. Hence, by nducton hypothess, C s dualzng for R, whence C s dualzng for R by Proposton 2.8). It s well-known that the exstence of a fntely generated resp. Cohen-Macaulay) module of fnte njectve resp. projectve) dmenson mples Cohen-Macaulyness of the rng. But, n the specal case that C s dualzng, the proof s easy, as the followng relatons show dmr) = dm R C) d R C) = depthr), where the frst equalty s from Proposton 2.4), and the remanng parts are from [2, Theorem ]. Therefore, n vew of Theorem 3.4, we can state the followng corollary. Corollary 3.5. Let R, m) be local. If there exsts a Cohen-Macaulay R-module of type 1 and of fnte G C -dmenson, then R s Cohen-Macaulay. 4. C-njectve modules In ths secton, our am s to extend two nce results of J.Xu [22]. It s well-known that a Noetheran rng R s Gorensten f and only f µ p,r) = δ,htp) the Kronecker δ). As a generalzaton, J.Xu [22, Theorem 2.1], showed that R s Gorensten f and only f for any R-module F, the necessaryand suffcent condton forf to be flat s that µ p,f) = 0for all p SpecR) andall htp). Next, n [22, Theorem3.2], he provedadualforths theorem. Indeed, he proved that R s Gorensten f and only f for any R-module E, the necessary and suffcent condton for E to be njectve s that π p,e) = 0 for all p SpecR) and

10 10 M. RAHMANI AND A.- J. TAHERIZADEH all htp). In the present secton, frst we generalze the mentoned results. Next, we use our new results to determne the mnmal flat resoluton of some top local cohomology of a Cohen-Macaulay local rngs and ther torson products. Lemma 4.1. The followngs are equvalent: ) C s pontwse dualzng. ) C-fd R ER/m)) = htm) for any m MaxR). ) C-fd R ER/m)) < for any m MaxR). v) C-fd R ER/p)) = htp) for any p SpecR). v) C-fd R ER/p)) < for any p SpecR). v) C-d R T m ) = htm) for any m MaxR). v) C-d R T m ) < for any m MaxR). v) C-d R T p ) = htp) for any p SpecR). x) C-d R T p ) < for any p SpecR). Proof. )= ). Assume that m MaxR). There are equaltes C-fd R ER/m)) = fd R Hom R C,ER/m))) = fd Rm Hom Rm C m,e Rm R m /mr m )) = d Rm C m ) = dmr m ) = htm), n whch the frst equalty s from Theorem 2.9), and the second one s from Remark that )= ). Is clear. )= ). We can assume that R,m) s local. Now one can use Theorem 2.9), to see whence C s dualzng. d R C) = fd R Hom R C,ER/m))) = C-fd R ER/m)) <, )= v). Let p be a prme deal of R. Note that ER/p) q 0 f and only f q p. Now as n )= ), we have C-fd R ER/p)) = dmr p ) = htp). v)= v). Is clear. v)= ). Agan, we can assume that R s local. Now the proof s smlar to that of )= ). ) v) and ) v). Note that T m = Hom R ER/m),ER/m) X) ) for some set X. Now we have the equaltes C-d R T m ) = d R C R T m ) = d R C R Hom R ER/m),ER/m) X) )) = d R HomR HomR C,ER/m)),ER/m) X))) = fd R Hom R C,ER/m))) = C-fd R ER/m)),

11 DUAL OF BASS NUMBERS AND DUALIZING MODULES 11 n whch the frst equalty s from Theorem 2.9), the fourth equalty s from Remark 2.16 and the fact that ER/m) X) s an njectve cogeneratorn the category of R m -modules, and the last one s from Theorem 2.9). v) v) and v) x). Are smlar to ) v). The followng theorem s a generalzaton of [21, theorem 2.1]. Theorem 4.2. The followng are equvalent: ) C s pontwse dualzng. ) An R-module M s C-flat f and only f µ p,m) = 0 for all p SpecR) whenever htp). ) An R-module M s flat f and only f µ p,c R M) = 0 for all p SpecR) whenever htp). Proof. )= ). Frst assume that M s C-flat. Set M = C R F, where F s a flat R-module. Snce C s pontwse dualzng, we have µ p,c) = 0 for all p SpecR) wth htp). Assume that 0 C E 0 C) E 1 C)... E C)... s the mnmal njectve resoluton of C. By applyng the exact functor R F to ths resoluton, we fnd an exact complex 0 M = C R F E 0 C) R F E 1 C) R F... E C) R F..., ) whch s an njectve resoluton for M. By [7, Theorem ] the njectve R-module ER/p) R F s a drect sum of copes of ER/p) for each p SpecR). Now, snce the mnmal njectve resoluton of M s a drect summand of the complex ), we get the result. Conversely, suppose that M s an R-module such that µ p,m) = 0 for all p SpecR) whenever htp). In order to show that M s C-flat, t s enough to prove that M m s C m - flat R m -module for all m MaxR). For f M m s C m -flat R m -module for all m MaxR), then Hom R C,M) m = HomRm C m,m m ) s flat as an R m -module for all m MaxR) by Theorem 2.9). Hence Hom R C,M) s a flat R-module and thus M s C-flat by Theorem 2.9). Hence, replacng R by R m, we can assume that R,m) s local. Clearly we may assume that M 0. In ths case we have d R M) < snce by assumpton µ p,m) = 0 for all p SpecR) and all > dmr). Hence the assumpton n conjuncton wth Lemma 4.1, mply that M has a bounded njectve resoluton all of whose terms have fnte C-flat dmensons. More precsely, by Lemma 4.1, f E s the -th term n the mnmal njectve resoluton of M, then C-fd R E ) = for all 0 dm). Breakng up ths resoluton to short exact sequences and usng [19, Corollary 5.7], we can conclude that C-fd R M) = 0. Hence M s C-flat, as wanted. )= ). Assume that M s a flat R-module. Then C R M F C and µ p,c R M) = 0 for all p SpecR) whenever htp) by assumpton. Conversely, suppose that µ p,c R M) = 0 for all p SpecR) whenever htp). Then, by assumpton, C R M s C-flat. Set C R M = C R F, where F s flat. Therefore C R M B C R), whence

12 12 M. RAHMANI AND A.- J. TAHERIZADEH M A C R) by [18, Theorem 2.8b)]. Thus we have the somorphsms M = Hom R C,C R M) = Hom R C,C R F) = F, where the frst and the last somorphsm hold snce both M and F are n A C R). )= ). Note that R s a flat R-module. Hence by assumpton, f m MaxR), then µ m,c R R) = 0 for all > htm). Thus d Rm C m ) <, as wanted. Theorem 4.3. The followng are equvalent: ) C s pontwse dualzng. ) An R-module M s C-njectve f and only f π p,m) = 0 for all p SpecR) whenever htp). ) An R-module M s njectve f and only f π p,hom R C,M)) = 0 for all p SpecR) whenever htp). Proof. )= ). AssumethatM sanonzeroc-njectver-module. SetM = Hom R C,E) wth E s njectve. Frst, we show that M s cotorson. Assume that F s a flat R-module. Then, by [7, Theorem 3.2.1], we have Ext 1 R F,Hom RC,E)) = Hom R Tor R 1 F,C),E) = 0, and hence M s cotorson. Fx a prme deal p of R and set kp) = R p /pr p. Note that Hom R R p,e) s an njectve R-module and that Hom R R p,e) = ER/q), where q X X Ass R E) and each element of X s a subset of p. There are somorphsms Tor Rp kp),homr R p,hom R C,E)) ) = Tor R p = Tor Rp = Tor Rp kp),homr C p,e) ) kp),homrp C p,hom R R p,e) ) kp),homrp C p, ER/q) ) q X ER/q) ), = Hom Rp Ext Rp kp),c p ), q X where the last somorphsm s from [7, Theorem ]. Now snce C p s dualzng for R p, we have Ext R p kp),c p ) = 0 for all htp). Therefore π p,m) = 0 for all htp). Conversely, assume that M s a non-zero R-module wth π p,m) = 0 for all htp). By assumpton, the mnmal flat resoluton of M s of the form n whch F = F 0 = htp)=0 F F 1 F 0 M 0, T p for all 1. Also, n vew of [22, Lemma 3.1], we have htp)= T p. Hence the mnmal flat resoluton of M s of the form htp)= T p htp)=1 T p htp)=0 T p M 0. ) Let E be an njectve cogenerator. Accordng to Lemma 2.10), t s enough to show that Hom R M,E) s C-flat. In fact, by Theorem 4.2, we need only to show that µ p,hom R M,E)) = 0 for all htp) and all 0. Applyng the exact functor Hom R,E) on ), we get an njectve resoluton 0 Hom R M,E) Hom R htp)=0 ) T p,e

13 DUAL OF BASS NUMBERS AND DUALIZING MODULES 13 Hom R htp)=1 for Hom R M,E). Note that Hom R Set Hom R htp)= ) T p,e Hom R htp)= htp)= ) T p,e, ) T p,e s an njectve R-module for all 0. T p,e) = ER/q). We show that htq) =. Snce C s pontwse dualzng, by Lemma 4.1, we have C-fd R ER/q)) = htq). On the other hand, we have the equaltes C-fd R ER/q)) = C-fd R ER/q)) = C-fd R Hom R = C-d R =, htp)= htp)= T p ) )) T p,e n whch the thrd equalty s from Lemma 2.10), and the last one s from Lemma 4.1. Hence µ p,hom R M,E)) = 0 for all 0 wth htp), as wanted. )= ). Assume that M s an njectve R-module. Then Hom R C,M) I C and µ p,hom R C,M)) = 0 for all p SpecR) whenever htp) by assumpton. Conversely, suppose that µ p,hom R C,M)) = 0 for all p SpecR) whenever htp). Then, by assumpton, Hom R C,M) s C-njectve. Set Hom R C,M) = Hom R C,I), where I s njectve. Therefore Hom R C,M) A C R), whence M B C R) by [18, Theorem 2.8a)]. Thus we have the somorphsms M = C R Hom R C,M) = C R Hom R C,I) = I, where the frst and the last somorphsm hold snce both M and I are n B C R). )= ). Assume that m s a maxmal deal of R. Set km) = R m /mr m. Snce ER/m) s njectve, by assumpton, we have π m,homr C,ER/m)) ) = 0 fo all htm). On the other hand, there are somorphsms Hom Rm Ext Rm km),c m ),Ekm)) ) = Tor R m km),homrm C m,ekm)) ) = Tor Rm = Tor Rm = Tor Rm km),homrm C m Rm R m,ekm)) ) km),homr R m,hom Rm C m,ekm)) ) km),homr R m,hom R C,ER/m)) ), where the frst somorphsm s from [7, Theorem ], and the last one s from Remark From ths somorphsms, t follows that Hom Rm Ext Rm km),c m ),Ekm)) ) = 0 for all htm), from whch we conclude that Ext R m km),c m ) = 0 for all htm), snce Ekm)) s an njectve cogenerator n the category of R m -modules. Thus C m s dualzng for R m, as requred. Corollary 4.4. Let C be pontwse dualzng. Then flat cover of any C-njectve R-module s C-njectve.

14 14 M. RAHMANI AND A.- J. TAHERIZADEH Proof. By Lemma 4.1, C-d R T p ) = 0 for any prme deal p wth htp) = 0. Hence T p s C-njectve for any prme deal p wth htp) = 0. Assume that M s a C-njectve R-module. By Theorem 4.3, we have FM) = T p. Now the result follows snce the class I C closed under arbtrary drect product. htp)=0 Corollary 4.5. The R-module C s pontwse dualzng f and only f for any prme deal p of R, π p,homr C,ER/p)) ) { 1 = htp), = 0 htp). Proof. Assume that p SpecR). Set kp) = R p /pr p. We have the followng equaltes π p,homr C,ER/p)) ) = vdm kp) Tor Rp kp),homr R p,hom R C,ER/p)) ) = vdm kp) Tor Rp kp),homr C p,hom Rp R p,er/p)) ) = vdm kp) Tor Rp kp),homr C p,er/p)) ) = vdm kp) Hom Rp Ext Rp kp),c p ),ER/p) ), where the second equalty s from Remark 2.16, and the last equalty s from [7, Theorem ]. Now, C s pontwse dualzng f and only f C p s the dualzng module of R p for all p SpecR), and ths s the case f and only f { Ext R p kp),c p ) kp) = htp), = 0 htp). for all p SpecR). Thus we are done by the above equaltes and the fact that Hom Rp kp),er/p)) = kp). In the followng corollares, we are concerned wth the local cohomology. For an R- module M, the -th local cohomology module of M wth respect to an deal a of R, denoted by H a M), s defned to be H am) = lmext R R/an,M). n 1 For the basc propertes of local cohomology modules, please see the textbook [3]. Corollary 4.6. Let R,m) be a Cohen-Macaulay local rng wth dmr) = d possesng a canoncal module ω R. Then π m,h d m R) ) = δ,d, and π q,h d m R) ) = 0 for any nonmaxmal prme deal q whenever htq). Proof. By [3, Theorem ], we have H d m R) = Hom R ω R,ER/m)), and hence H d m R) s ω R -njectve. Assumethatqsanon-maxmalprmedealofR. ThenbytheTheorem4.3,we have π q,h d m R) ) = 0 for all htq). Fnally, by corollary4.5, we have π m,h d m R) ) = 0 for all d and that π d m,h d m R) ) = 1, as wanted. If R,m) s a Cohen-Macaulaylocal rng wth dmr) = d, then by [3, Corollary6.2.9]the only non-vanshng local cohomology of R wth respect to m s H d mr). Also, f R admts a

15 DUAL OF BASS NUMBERS AND DUALIZING MODULES 15 canoncal module, then by [7, Proposton ], we have fd R H d mr)) = d. The followng corollary descrbes the structure of the mnmal flat resoluton of H d m R). Corollary 4.7. Let R, m) be a d-dmensonal Cohen-Macaulay local rng possessng a canoncal module. The mnmal flat resoluton of H d m R) s of the form 0 R m T p T p H d mr) 0. htp)=1 htp)=0 In the followng corollary, we gve another proof of [16, Corollary 3.7]. Our approach s drect, and uses the well-known fact that the homology functor Tor can be computed by a flat resoluton. Corollary 4.8. Let R, m) be a d-dmensonal Cohen-Macaulay local rng. Then { Tor R Hd m R),Hd m R)) H d m R) = d, = 0 d. Proof. Note that R s a d-dmensonal complete Cohen-Macaulay local rng, and hence admts a canoncal module ω R. The R-module H d mr) s Artnan by [3, Theorem 7.1.6], and thus naturally hasa R-module structureby [3, Remark ]. Hence Tor R Hd m R),Hd m R)) s Artnan for all 0 by [14, Corollary 3.2]. Thus there are somorphsms Tor R Hd m R),Hd m R)) = Tor R H d m R),Hd m R)) R R = Tor R H d mr) R R,H d m R) R R) = Tor R H d m R R),H d m R R) ), n whch the second somorphsm s from [7, Theorem ], and the last one s flat base change [3, Theorem 4.3.2]. Also, we have the somorphsms H d m R) = H d m R) R R = H d m R R) = Hom R ω R,E R R/m R) ), n whch the frst somorphsm holds because H d mr) s Artnan, the second somorphsm s the flat base change, and the last one s local dualty [3, Theorem ]. Thus H d m R) s a ω R-njectve R-module. Hence, by Corollary 4.7, the mnmal flat resoluton of H d mr), as an R-module, s of the form 0 Rm R htq)=1 T Q htq)=0 T Q H d mr) 0, n whch T Q s the completon of a free R Q -module wth respect to Q R Q -adc topology, for Q Spec R). Observe that the above resoluton s a flat resoluton of H d mr) as an R-module snce the modules n the above resoluton are all flat R-modules. Therefore, we can replace R by R, and assume that R s complete. So that, the mnmal flat resoluton of H d m R) s of the form 0 R m htp)=1 T p htp)=0 T p H d mr) 0,

16 16 M. RAHMANI AND A.- J. TAHERIZADEH n whch T p s the completon of a free R p -module wth respect to pr p -adc topology, for p SpecR). Next, note that for each prme deal p wth p m, we have H d Tp ) mr) R = 0. Indeed, we can wrte H d mr) = lmm α, where M α s a fntely generated submodule of H d m R). Also T p = Hom R ER/p),ER/p) X) ) for some set X. Now snce M α s of fnte length by [3, Theorem 7.1.3], we can take an element x m q such that xm α = 0. But multplcaton of x nduces an automorphsm on ER/p) and hence on Tp ) T p. Consequently, multplcaton of x on M α R s both an somorphsm and Tp ) zero. Hence M α R = 0, from whch we conclude that H d Tp ) mr) R = 0 snce tensor commutes wth drect lmt. Thus Tor R Hd mr),h d mr)) = 0 for d. Fnally, we have α I Tor R d Hd m R),Hd m R)) = Rm R H d m R) = H d m R m R m ) = Hom Rm ω Rm,E Rm R m /m R m )) = Hom Rm ω Rm,E Rm R m /mr m )) Rm Rm = Hom Rm ω Rm,E Rm R m /mr m )) = Hom R ω R,ER/m)) R R m = Hom R ω R,ER/m) R R m ) = Hom R ω R,ER/m)) = H d mr), n whch the second somorphsm s the flat base change[3, Theorem 4.3.2], the thrd somorphsm s local dualty [3, Theorem ], and the ffth one s from [3, Remark ], snce Hom Rm ω Rm,E Rm R m /mr m )) s an Artnan R m -module and hence has a natural structure as an R m -module. The followng theorem s a slght generalzaton of [22, Theorem 3.3]. Theorem 4.9. The followng are equvalent: ) C s pontwse dualzng. ) If M s a cotorson R-module such that C-d R M) = n <, then M admts a mnmal flat resoluton such that π p,m) = 0 for all p SpecR) whenever htp) / {,...,+n}. Proof. ) = ). We use nducton on n. If n = 0, then we are done by Theorem 4.3. Now assume nductvely that n > 0 and the case n e settled. Fx a prme deal p of R. Assume that M s a cotorson R-module wth C-d R M) = n+1. Hence M A C R), and so the I C -preenvelope of M s njectve by [18, Corollary 2.4b)]. Thus there exsts an exact sequence 0 M Hom R C,I) L 0, ) n whch I s njectve, and L = CokerM Hom R C,I)). Note that L s cotorson snce both M and Hom R C,I) are cotorson. Also, snce both M and Hom R C,I) are n A C R), we have L A C R), and therefore Tor R 1 C,L) = 0. On the other hand

17 DUAL OF BASS NUMBERS AND DUALIZING MODULES 17 C R Hom R C,I) = I, by [7, Theorem ]. Hence applcaton of C R on ) yelds an exact sequence 0 C R M I C R L 0. By Theorem 2.9), we have d R C R M) = n+1. Therefore d R C R L) = n, whence C-d R L) = n. Now nducton hypothess appled to Hom R C,I) and L yelds that π p,homr C,I) ) = 0 for all htp), and that π p,l) = 0 fo all htp) / {,...,+n}. Note that Ext 1 R R p,m) = 0 snce M s cotorson. Hence the exact sequence ) yelds an exact sequence 0 Hom R R p,m) Hom R R p,hom R C,I)) Hom R R p,l) 0, and the later exact sequence, by applyng kp) Rp, yelds the long exact sequence Tor Rp +1 kp),homr R p,hom R C,E)) ) Tor +1 Rp kp),homr R p,l) ) Tor Rp kp),homr R p,m) ) Tor Rp kp),homr R p,hom R C,E)) ). From the above long exact sequence, t follows that Tor Rp kp),homr R p,m) ) = 0 for all htp) / {,...,+n+1}, as wanted. Ths completes the nductve step. ) = ). Let m be a maxmal deal of R. Now Hom R C,ER/m)) s C-njectve and hence by assumpton π m,homr C,ER/m)) ) = 0 for all htm). Now by the same argument as n the proof of Theorem 4.3, we have Ext R m km),c m ) = 0 for all htm), whence C m s dualzng for R m. Corollary The followng statements hold true: ) If C s pontwse dualzng, then C-d R FM)) C-d R M) for any cotorson R- module M. ) If C-d R FM)) C-d R M) for any R-module M, then C s pontwse dualzng. Proof. ). Assume that M s a cotorson R-module. If C-d R M) =, then we are done. So assume that C-d R M) = n <. Then by Theorem 4.9, we have FM) = T p where 0 htp) n. Now the result follows by Lemma 4.1. ). Assume that m s a maxmal deal of R. We have to show that C m s dualzng for R m. Assume that x s a maxmal R-sequence n m. Then fd R R/xR) <, and Ass R C/xC) = {m} snce x s also a maxmal C-sequence. Hence we have the equaltes C-fdC/xC) = fd R Hom R C,C/xC)) = fd R Hom R C,C R R/xR)) = fd R R/xR) <, n whch the frst equalty s from Theorem 2.9), and the thrd one holds because R/xR A C R). Assume that E s an njectve cogenerator. Set ) = Hom R,E). Then C- d R C/xC) ) < by Lemma 2.10). Now f F s the flat cover of C/xC), then by assumpton, we have C-d R F) <. Therefore, we have C-fd R F ) < by Lemma 2.10). Next, note that we have C/xC C/xC) F. Hence, the njectve envelope of C/xC s a drect summand of F. Thus, n fact, ER/m)

18 18 M. RAHMANI AND A.- J. TAHERIZADEH s a drect summand of F, snce R/m C/xC. It follows that C-fd R ER/m)) <, and hence we are done by Lemma 4.1, snce m was arbtrary. Acknowledgments. We thank the referee for very careful readng of the manuscrpt and also for hs/her useful suggestons. References 1. L. Bcan, R. El Bashr and E. Enochs, All modules have flat covers, Bull. London Math. Soc ), W. Bruns and J. Herzog, Cohen-Macaulay rngs, Cambrdge Unversty Press, Cambrdge, M.P. Brodmann and R.Y. Sharp, Local cohomology: an algebrac ntroducton wth geometrc applcatons, Cambrdge Unversty Press, Cambrdge, L.W. Chrstensen, Gorensten Dmensons, Lecture Notes n Math., vol. 1747, Sprnger, Berln, L.W. Chrstensen, Sem-dualzng complexes and ther Auslander categores, Trans. Amer. Math. Soc ), E. Enochs, Flat covers and flat cotorson modules, Proc. Amer. Math. Soc ), E. Enochs and O. Jenda, Relatve Homologcal Algebra, de Gruyter Expostons n Mathematcs 30, E. Enochs and J. Xu, On nvarants dual to the Bass numbers, Proc. Amer. Math. Soc ), H.-B. Foxby, Gorensten modules and related modules, Math. Scand ), E. S. Golod, G-dmenson and generalzed perfect deals, Trudy Mat. Inst. Steklov. Algebrac geometry and ts applcatons ), R. Hartshorne, Local cohomology, A semnar gven by A. Grothendeck, Harvard Unversty, Fall, vol. 1961, Sprnger-Verlag, Berln, H. Holm, P. Jørgensen, Sem-dualzng modules and related Gorensten homologcal dmensons, J. Pure Appl. Algebra, ) H. Holm, D. Whte, Foxby equvalence over assocatve rngs, J. Math. Kyoto Unv. 47 no.4, 2007), B. Kubk, M. J. Leamer, and S. Sather-Wagstaff, Homology of artnan and Matls reflexve modules I, J. Pure Appl. Algebra, ), no. 10, B. Kubk, M. J. Leamer, and S. Sather-Wagstaff, Homology of artnan and mn-max modules, J. Algebra ), no.1, M. Rahman and A.-J. Taherzadeh, Tensor product of C-njectve modules, preprnt, 2015, avalable from R. Takahash, Some characterzatons of Gorensten local rngs n terms of G-dmenson, Acta Math. Hungar. 104 no. 4, 2004), R. Takahash and D.Whte, Homologcal aspects of semdualzng modules, Math. Scand ) M. Salm, E. Tavasol, S. Sather-Wagstaff and S. Yassem, Relatve tor functor wth respect to a semdualzng module, Algebras and Representaton Theory, 17, no.1, 2014), W. V. Vasconcelos, Dvsor theory n module categores, North-Holland Math. Stud. 14, North-Holland Publshng Co., Amsterdam 1974). 21. J. Xu, Flat covers of modules, Lecture Notes n Mathematcs, Vol. 1634, Sprnger, New York, 1996). 22. J. Xu, Mnmal njectve and flat resolutons of modules over Gorensten rngs, J. Algebra ), S. Yassem, G-dmenson, Math. Scand ), no. 2,

19 DUAL OF BASS NUMBERS AND DUALIZING MODULES 19 Faculty of Mathematcal Scences and Computer, Kharazm Unversty, Tehran, Iran. E-mal address: E-mal address: