Finiteness dimensions and cofiniteness of local cohomology modules

DOI10.1216/RMJ.2021.51.1079MaRDI QIDQ1983239zbMATH OpenOpenAlexFDO

Authors Alireza Vahidi, Moharram Aghapournahr, Elahe Mahmoudi Renani

Publication date 10 September 2021

Published in Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1216/rmj.2021.51.1079

cofinite modules finiteness dimensions local cohomology modules minimax modules weakly Laskerian modules

Homological dimension and commutative rings (13D05) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Local cohomology and commutative rings (13D45)

Review text

Let \(R\) be a commutative Noetherian ring with nonzero identity, \(\mathfrak a\) an ideal of \(R\), \(X\) an \(R\)-module, and \(n\) a nonnegative integer. Set \(\mathrm{Spec}(R)_{\geq n}=\{{\mathfrak p}\in\mathrm{Spec}(R): \dim(R/{\mathfrak p})\geq n\}.\) \textit{K. Bahmanpour} et al. [Commun. Algebra 41, No. 8, 2799--2814 (2013; Zbl 1273.13025)] introduced the notion of the \(n\)-th finiteness dimension of \(X\) with respect to a \(\mathfrak a\), as \(f_{\mathfrak a}^n(X)=\inf\{f_{{\mathfrak a}R_{\mathfrak p}}(X_{\mathfrak p}): {\mathfrak p}\in\mathrm{Spec}(R)_{\geq n}\}\). Note that if \(n=0\), then, by Faltings' local-global principle for the finiteness of local cohomology modules [\textit{F. Faltings}, Math. Ann. 255:1, 45--56 (1981; Zbl 0451.13008)], \(f_{\mathfrak a}^0(X)\) is just the finiteness dimension of \(X\) with respect to a \(\mathfrak a\); that is, \(f_{\mathfrak a}^0(X)=\inf\{i\in {\mathbb N_0}: H_{\mathfrak a}^i(X) \text{ is not a finitely generated } R\text{-module}\}.\) Bahmanpour et al. showed that if \(X\) is finitely generated, then \(f_{\mathfrak a}^1(X)=\inf\{i\in \mathbb N_0: H_{\mathfrak a}^i(X) \text{ is not a minimax } R\text{-module}\},\) and, if \(R\) is a semilocal ring and \(X\) is finitely generated, then \(f_{\mathfrak a}^2(X)=\inf\{i\in \mathbb N_0: H_{\mathfrak a}^i(X) \text{ is not a weakly Laskerian } R\text{-module}\}.\) Recall that an \(R\)-module \(X\) is said to be an \(FD_{<n}\) \(R\)-module, if there exists a finitely generated submodule \(X'\) of \(X\) such that \(\dim_R(X/X')<n\). It is shown in [\textit{A. A. Mehrvarz}, \textit{R. Naghipour}, and \textit{M. Sedghi}, Comm. Algebra 43:11, 4860--4872 (2015; Zbl 1329.13028)] that if \(X\) is finitely generated, then \(f_{\mathfrak a}^n(X)=\inf\{i\in \mathbb N_0: H_{\mathfrak a}^i(X) \text{ is not an FD}_{<n } ~~~~ R\text{-module}\}.\) In the paper under review, the authors generalize the aforementioned results and they get them in the case that \(X\) is an arbitrary (not necessarily finitely generated) \(R\)-module such that \(\mathrm{Ext}_R^i(R/{\mathfrak a}, X)\) is finitely generated for all \(i\).

Recommendations

Cites work

Cited in

(17)

This page was built for publication: Finiteness dimensions and cofiniteness of local cohomology modules

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