2015Bulletin of the Belgian Mathematical Society - Simon StevinOpen access

Cofiniteness of local cohomology modules over Noetherian local rings

Iraj Bagheriyeh, Jafar A’zami, Kamal Bahmanpour

Open full text 1 citations

Abstract

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring. Let $I$ be an ideal of $R$ and let $M$ be a finitely generated $R$-module of dimension $d\geq 1$. In this paper we consider the $I$-cofiniteness property of the local cohomology module $H^{d-1}_I(M)$. More precisely, we prove that the $R$-module $H^{d-1}_I(M)$ is $I$-cofinite if and only if the $R$-module $\Hom_R(R/I,H^{d-1}_I(M))$ is finitely generated. As an immediate consequence of this result, we prove that if $(R,\operatorname{\frak m})$ is a regular local ring of dimension $d\geq 2$ and $I$ is an ideal of $R$ with $\dim R/I\neq 1$, then $H^{d-1}_I(R)=0$ if and only if the $R$-module $\Hom_R(R/I,H^{d-1}_I(R))$ is finitely generated.

Open-access reader

About this research paper

What this paper is about

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring. Let $I$ be an ideal of $R$ and let $M$ be a finitely generated $R$-module of dimension $d\geq 1$. In this paper we consider the $I$-cofiniteness property of the local cohomology module $H^{d-1}_I(M)$. More precisely, we prove that the $R$-module $H^{d-1}_I(M)$ is $I$-cofinite if and only if the $R$-module $\Hom_R(R/I,H^{d-1}_I(M))$ is finitely generated. As an immediate consequence of this result, we prove that if $(R,\operatorname{\frak m})$ is a regular local ring of dimension $d\geq 2$ and $I$ is an ideal of $R$ with $\dim R/I\neq 1$, then $H^{d-1}_I(R)=0$ if and only if the $R$-module $\Hom_R(R/I,H^{d-1}_I(R))$ is finitely generated.

Why it matters

OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring. Let $I$ be an ideal of $R$ and let $M$ be a finitely generated $R$-module of dimension $d\geq 1$. In this paper we consider the $I$-cofiniteness property of the local cohomology module $H^{d-1}_I(M)$. More precisely, we prove that the $R$-module $H^{d-1}_I(M)$ is $I$-cofinite if and only if the $R$-module $\Hom_R(R/I,H^{d-1}_I(M))$ is finitely generated. As an immediate consequence of this result, we prove that if $(R,\operatorname{\frak m})$ is a regular local ring of dimension $d\geq 2$ and $I$ is an ideal of $R$ with $\dim R/I\neq 1$, then $H^{d-1}_I(R)=0$ if and only if the $R$-module $\Hom_R(R/I,H^{d-1}_I(R))$ is finitely generated.

Key concepts: Local cohomology, Mathematics, Local ring, Finitely-generated abelian group, Noetherian ring, Ideal (ethics), Noetherian, Commutative property

Related papers

Back to paper searchBrowse research topicsOriginal source
Cofiniteness of local cohomology modules over Noetherian local rings — Research Paper | ScholarLens