Duality and vanishing of generalized local cohomology (Q1423825): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00013-003-4769-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2056031808 / rank | |||
Normal rank |
Latest revision as of 21:08, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Duality and vanishing of generalized local cohomology |
scientific article |
Statements
Duality and vanishing of generalized local cohomology (English)
0 references
7 March 2004
0 references
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.
0 references
generalized local cohomology
0 references
vanishing
0 references
duality
0 references
Gorenstein module
0 references
maximal Cohen-Macaulay module
0 references
hypersurface rings
0 references