2007•arXiv (Cornell University)Open access

Vanishing of the top local cohomology modules over Noetherian rings

Kamran Divaani-Aazar

Open full text 0 citations

Abstract

Let R be a (not necessarily local) Noetherian ring and M a finitely generated R-module of finite dimension d. Let \fa be an ideal of R and \fM denote the intersection of all prime ideals \fp in Supp_RH^d_{\fa}(M). It is shown that H^d_{\fa}(M)\simeq H^d_{\fM}(M)/\displaystyle{\sum_{n\in \mathbb{N}}}(0:_{H^d_{\fM}(M)}\fa^n), where for an Artinian R-module A we put A=\cap_{n\in \mathbb{N}} \fM^nA. As a consequence, it is proved that for all ideals \fa of R, there are only finitely many non-isomorphic top local cohomology modules H^d_{\fa}(M) having the same support. In addition, we establish an analogue of the Lichtenbaum-Hartshorne Vanishing Theorem over rings that need not be local.

Open-access reader

About this research paper

What this paper is about

Let R be a (not necessarily local) Noetherian ring and M a finitely generated R-module of finite dimension d. Let \fa be an ideal of R and \fM denote the intersection of all prime ideals \fp in Supp_RH^d_{\fa}(M). It is shown that H^d_{\fa}(M)\simeq H^d_{\fM}(M)/\displaystyle{\sum_{n\in \mathbb{N}}}(0:_{H^d_{\fM}(M)}\fa^n), where for an Artinian R-module A we put A=\cap_{n\in \mathbb{N}} \fM^nA. As a consequence, it is proved that for all ideals \fa of R, there are only finitely many non-isomorphic top local cohomology modules H^d_{\fa}(M) having the same support. In addition, we establish an analogue of the Lichtenbaum-Hartshorne Vanishing Theorem over rings that need not be local.

Why it matters

A significance statement is not available in the OpenAlex record.

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 be a (not necessarily local) Noetherian ring and M a finitely generated R-module of finite dimension d. Let \fa be an ideal of R and \fM denote the intersection of all prime ideals \fp in Supp_RH^d_{\fa}(M). It is shown that H^d_{\fa}(M)\simeq H^d_{\fM}(M)/\displaystyle{\sum_{n\in \mathbb{N}}}(0:_{H^d_{\fM}(M)}\fa^n), where for an Artinian R-module A we put A=\cap_{n\in \mathbb{N}} \fM^nA. As a consequence, it is proved that for all ideals \fa of R, there are only finitely many non-isomorphic top local cohomology modules H^d_{\fa}(M) having the same support. In addition, we establish an analogue of the Lichtenbaum-Hartshorne Vanishing Theorem over rings that need not be local.

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

Related papers

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