Cohomological dimension and top local cohomology modules
type: Item
instance of: scholarly article
title: Cohomological dimension and top local cohomology modules
zbMATH Open document ID: 1433.13016
DOI: 10.1216/RMJ-2019-49-6-1843
author: Tuğba Yıldırım
author: Vahap Erdogdu
published in: Rocky Mountain Journal of Mathematics
publication date: 2019-11-26T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.rmjm/1572746421
review text: Let \(R\) be a commutative Noetherian ring with identity. Let \(I\) be an ideal of \(R\) and \(M\) a finitely generated \(R\)-module. The authors prove some interesting results concerning the notion of cohomological dimension. The \textit{cohomological dimension} of \(M\) with respect to \(I\) is defined as \[ \text{cd}(I,M):=\sup\{i\in \mathbb{N}_0\mid \text{H}_{I}^i(M)\neq 0\}, \] where the \(i\)-th local cohomology module of \(M\) with respect to \(I\) is defined by \[ \text{H}_I^i(M):=\varinjlim_n \text{Ext}^i_R(R/I^n,M). \] In Theorem 2.2, they provide a lower bound for \(\text{cd}(I,M)\). They use this to show that if \(R\) is a non-catenary domain, then it possesses a prime ideal that is not set-theoretic complete intersection. Then they study the Artinianness of the top local cohomology module \(\text{H}_I^{\text{cd}(I,M)}(M)\). Their related results could be summarized as below: Theorem. Assume that \(R\) is local with the unique maximal ideal \(\mathfrak m\) and \(n:=\dim R\). \begin{itemize} \item[(i)] Suppose that \(R\) is an UFD and \(n\leq 3\). Then \(\text{H}_I^{\text{cd}(I,R)}(R)\) is Artinian if and only if \(\text{cd}(I,R)=\dim R\). \item[(ii)] Suppose that \(\text{depth}(I,R)>0\) and \(c:=\text{cd}(I,R)\leq n-2\). Then there exists an ideal \(J\subsetneqq I\) of \(R\) such that \(\text{cd}(J,R)=\text{cd}(I,R)=c\) and \(\text{H}_J^c(R)\) is non-Artinian. \item[(iii)] Suppose that \(\dim_R(M/IM)=1\). Then \(\text{H}_I^{\text{cd}(I,M)}(M)\) is Artinian if and only if \(\text{cd}(I,M)=\dim_R M\). \item[(iv)] Suppose that \(\dim_R(M/IM)=2\). If \(\text{H}_I^{\text{cd}(I,M)}(M)\) is Artinian, then either \(\text{cd}(I,M)=\dim_R M\); or \(\text{cd}(I,M)=\dim_R M-1\) and \(\text{H}_{\mathfrak m}^2(\text{H}_I^{\dim_R M-2}(M))\neq 0\). \end{itemize}
Mathematics Subject Classification ID: 13D45
Mathematics Subject Classification ID: 13E10
zbMATH DE Number: 7136581
zbMATH Keywords: cohomological dimension
zbMATH Keywords: radically perfect ideal
zbMATH Keywords: top local cohomology module
reviewed by: Kamran Divaani-Aazar
MaRDI profile type: Publication
cites work: Artinianness of local cohomology modules
cites work: Artinian and Non-Artinian Local Cohomology Modules
cites work: Every algebraic set in n-space is the intersection of n hypersurfaces
cites work: Coprime packedness and set theoretic complete intersections of ideals in polynomial rings
cites work: Radically perfect prime ideals in polynomial rings
cites work: Efficient Generation of Prime Ideals in Polynomial Rings up to Radical
cites work: Commutative rings whose prime ideals are radically perfect
cites work: Artinianness of local cohomology
cites work: On the support of local cohomology
cites work: Q4026073
cites work: Q3973365
cites work: Radically Perfect Prime Ideals in Polynomial Rings Over Prüfer and Pullback Rings
description: scientific article; zbMATH DE number 7136581