On a category of cofinite modules which is abelian
type: Item
instance of: scholarly article
title: On a category of cofinite modules which is abelian
zbMATH Open document ID: 1228.13020
author: Ken-Ichiroh Kawasaki
published in: Mathematische Zeitschrift
publication date: 2011-10-25T00:00:00Z
review text: Let \(I\) be an ideal of a commutative noetherian local ring \((R,\mathfrak{m})\) and \(M\) a finitely generated \(R\)-module. In 1968, \textit{A. Grothendieck} [Séminaire de géométrie algébrique: Cohomologie locale des faisceaux cohérents et théoremes de Lefschetz locaux et globaux (1962; Zbl 0159.50402)] has conjectured that \(\Hom_R(R/I,H_{I}^i(M))\) is finitely generated for all \(i\geq 0\). \textit{R. Hartshorne} gave a counter-example to this conjecture [Invent. Math. 9, 145--164 (1970; Zbl 0196.24301)]. In the same paper, Hartshorne introduced the notion of \(I\)-cofinite modules and asked the following question: For which local rings \(R\) and ideals \(I\) is \(H_{I}^i(N)\) \(I\)-cofinite for all \(i\geq 0\) and any finitely generated \(R\)-module \(N\)? An \(R\)-module \(X\) is said to be \(I\)-cofinite if \(\mathrm{Supp}_RX\subseteq V(I)\) and \(\mathrm{Ext}^i_R(R/I,X)\) is finitely generated for all \(i\geq 0\). Now, it is known that if either \(I\) is principal or \(\dim R/I=1\), then \(H_{I}^i(N)\) is \(I\)-cofinite for all \(i\geq 0\) and any finitely generated \(R\)-module \(N\). Let \(\mathcal{M}(R,I)_{cof}\) denote the full subcategory of \(I\)-cofinite \(R\)-modules. When \(I\) is principal, Hartshorne showed that \(\mathcal{M}(R,I)_{cof}\) is abelian. He asked whether \(\mathcal{M}(R,I)_{cof}\) is abelian when \(\dim R/I=1\). In the paper under review, the author provides an affirmative answer to this questions.
reviewed by: Kamran Divaani-Aazar
Mathematics Subject Classification ID: 13D45
Mathematics Subject Classification ID: 13D09
zbMATH DE Number: 5963464
zbMATH Keywords: abelian categories
zbMATH Keywords: cofinite complexes
zbMATH Keywords: derived categories
zbMATH Keywords: local cohomology
MaRDI profile type: Publication
full work available at URL: s00209-010-0751-0
OpenAlex ID: W2136854946
cites work: Q5563439
cites work: Cofiniteness of generalized local cohomology modules
cites work: On the ubiquity of Gorenstein rings
cites work: Q3843687
cites work: On the cofiniteness of local cohomology modules
cites work: Cofinite modules and local cohomology
cites work: Q5596003
cites work: Affine duality and cofiniteness
cites work: Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
cites work: Q4143433
cites work: Cofiniteness and vanishing of local cohomology modules
cites work: Q5421047
cites work: On the finiteness of Bass numbers of local cohomology modules
cites work: Cofiniteness of Local Cohomology Modules for Principal Ideals
cites work: On finiteness properties of local cohomology modules over Cohen-Macaulay local rings
cites work: Lectures on local cohomology and duality
cites work: Q3882554
cites work: Q3739243
cites work: Properties of cofinite modules and applications to local cohomology
cites work: Modules cofinite with respect to an ideal
cites work: Q3882615
cites work: COFINITE MODULES
cites work: Cofiniteness of local cohomology modules for ideals of dimension one
DOI: 10.1007/S00209-010-0751-0
Recommended article: Some homological properties of ideals with cohomological dimension one
Recommended article: A study of cofiniteness through minimal associated primes
Recommended article: Cofinite modules and local cohomology
Recommended article: ON THE FINITENESS PROPERTIES OF THE GENERALIZED LOCAL COHOMOLOGY MODULES
Recommended article: Cofiniteness of local cohomology modules over Noetherian local rings
Recommended article: Cofiniteness of local cohomology modules for ideals of small dimension
Recommended article: On the cofiniteness of local cohomology modules
Recommended article: Cofiniteness of torsion functors of a pair of cofinite modules (II)
Recommended article: Q6091016
Recommended article: Artinian local cohomology modules of cofinie modules
description: scientific article; zbMATH DE number 5963464