Duality and vanishing of generalized local cohomology (Q1423825): Difference between revisions

Let \((R, \mathfrak m)\) be a local Noetherian ring, and let \(M, N\) be two \(R\)-modules. \textit{J. Herzog} [``Komplexe, Auflösungen und Dualität in der lokalen Algebra'', Habilitationsschrift (Univ. Regensburg 1970)], the first author introduced the notion of \(H^i_{\mathfrak m}(M,N) = \varinjlim \text{ Ext}^i_R(M/\mathfrak m^n M,N),\) the generalized local cohomology [see also \textit{N. Suzuki}, J. Math. Kyoto Univ. 18, 71--85 (1978; Zbl 0618.13008) for a further look]. In the paper under review the authors investigate duality and vanishing results for the generalized local cohomology. In the case of a local Cohen-Macaulay ring \(R\) they prove two variations of the local duality theorem [see \textit{A. Grothendieck}, ``Local cohomology'', Seminar, Harvard Univ. 1961, Notes by \textit{R. Hartshorne}, Lect. Notes Math. 41 (1967; Zbl 0185.49202)], where either \(M\) is of finite projective dimension or \(N\) is of finite injective dimension. Moreover the authors consider the category of finitely generated \(R\)-modules \(N^{\perp}\) with the property that \(H^i_{\mathfrak m}(M,N) = 0\) for all \(i \not= \text{depth\,} N.\) It is shown that \(N^{\perp}\) coincides with the category of all finitely generated \(R\)-modules if and only if \(N\) is a Gorenstein module, and that the category of finitely generated modules of finite projective dimension is contained in \(N^{\perp}\) if and only if \(N\) is a maximal Cohen-Macaulay module. Further results are related to complete hypersurface rings and Cohen-Macaulay modules of arbitrary dimensions.