Stable Under Specialization Sets and Cofiniteness

Abstract

Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim (\mathcal{Z})\le 1$, or $\dim (R)\le 2$, or $R$ is semilocal with $\cd(\mathcal{Z},R) \leq 1$, we show that the category of $\mathcal{Z}$-cofinite $R$-modules is abelian. Also, in each of these cases, we prove that the local cohomology module $H_{\mathcal{Z}}^i(X)$ is $\mathcal{Z}$-cofinite for every homologically left-bounded $R$-complex $X$ whose homology modules are finitely generated and every $i\in \mathbb{Z}$.

arXiv commentIt will appear in Journal of Algebra and its applications