An abelian category of cofinite modules

DOI10.1007/S11587-025-01020-5MaRDI QIDQ6847018zbMATH OpenFDO

Authors Moharram Aghapournahr, M. Y. Sadeghi

Publication date 10 March 2026

Published in Ricerche di Matematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11587-025-01020-5

abelian category cofinite module local cohomology local homology

Local cohomology and commutative rings (13D45) Commutative Noetherian rings and modules (13E05) Abelian categories, Grothendieck categories (18E10)

Review text

Let \(R\) be a commutative noetherian ring, \(\mathfrak{a}\) an ideal of \(R\), and \(M\) an \(R\)-module. For any \(i \geq 0\), the \(i\)th local cohomology module of \(M\) with respect to \(\mathfrak{a}\) is given by \N\[\NH^{i}_{\mathfrak{a}}(M) \cong \underset{n\geq 1}\varinjlim \mathrm{Ext}^{i}_{R}\left(R/ \mathfrak{a}^{n},M\right).\N\]\NHartshorne defined an \(R\)-module \(M\) to be \(\mathfrak{a}\)-cofinite if \(\mathrm{Supp}_{R}(M)\subseteq \mathrm{Var}(\mathfrak{a})\) and \(\mathrm{Ext}^{i}_{R}\left(R/ \mathfrak{a},M\right)\) is a finitely generated \(R\)-module for every \(i\geq 0\).\N\NNow let \((R,\mathfrak{m})\) be local, and suppose that \(Ht\left(\frac{\mathfrak{a}\widehat{R}^{\mathfrak{m}}+\mathfrak{p}}{\mathfrak{p}}\right)\leq 1\) for every \(\mathfrak{p}\in \mathrm{Spec}\left(\widehat{R}^{\mathfrak{m}}\right)\). In this paper, the authors show that the category of \(\mathfrak{a}\)-cofinite \(R\)-modules forms an abelian subcategory of the category of all \(R\)-modules. This assertion provides a partially affirmative answer to a question raised by Hartshorne.

Cites work

This page was built for publication: An abelian category of cofinite modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6847018)