On the generalized local cohomology and its duality (Q1089051)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the generalized local cohomology and its duality |
scientific article |
Statements
On the generalized local cohomology and its duality (English)
0 references
1978
0 references
The purpose of this paper is to extend the local duality theorem to the generalized local cohomology functors defined by \(H^ i_{{\mathfrak m}}(M,N)=\lim_{\vec n}Ext^ i_ R(M/{\mathfrak m}^ nM,N),\quad as\) introduced by J. Herzog ((R,\({\mathfrak m})\) denotes a Noetherian local ring, M and N\ R-modules). - To explain the main result we put \(d=depth(R)\) and write I for the R-injective envelope of R/\({\mathfrak m}\). Let \({\mathcal F}(R)\) be the category of finitely generated R-modules and let \({\mathcal D}(R)\) be the subcategory of \({\mathcal F}(R)\) which consists of those R-modules M that satisfy \(H^ i_{{\mathfrak m}}(M,N)=0\) for all \(i>d\) and all \(N\in {\mathcal F}(R)\). (Another characterization of \({\mathcal D}(R)\) follows from theorem 3.16 and corollary 3.21: \(M\in {\mathcal D}(R)\) if and only if \(pd_ R(M)<\infty\) and depth\((\hat R_{\hat p})+ \dim(\hat R/\hat P)=d\) for all \(\hat P\in Supp(\hat R\otimes_ RM).)\) Now the key result (theorem 3.5) gives the equivalence of the statements: (i) \(M\in {\mathcal D}(R),\) (ii) for all \(i<d\) and all \(N\in {\mathcal F}(R)\) we have: \(Hom_ R(H^ i_{{\mathfrak m}}(M,N),I)\not\cong Ext_{\hat R}^{d-i}(N\otimes \hat R,Hom_ R(H^ d_{{\mathfrak m}}(M,R),I))\). If \(R=M\) is a Cohen-Macaulay ring, this gives the usual duality theorem. In case R is a homomorphic image of a Gorenstein ring S of dimension s, \({\mathcal D}(R)\) may be characterized in another way (theorem 4.6): Let \(\omega\) be the generalized canonical module \(Ext_ S^{s-d}(R,S)\) and let \({\mathcal I}(R)\) be the subcategory of \({\mathcal F}(R)\) which consists of modules of finite injective dimension. Then the (flat) functors \(\omega \otimes_ R\cdot: {\mathcal D}(R)\to {\mathcal I}(R),\) \(Hom_ R(\omega,\cdot): {\mathcal I}(R)\to {\mathcal D}(R)\) establish an equivalence of categories. This generalizes a corresponding result of R. Sharp for the case in which R is Cohen-Macaulay.
0 references
generalized local cohomology functors
0 references
depth
0 references
Cohen-Macaulay ring
0 references
duality theorem
0 references