Cofiniteness and finiteness of local cohomology modules over regular local rings
Jafar A’zami, Naser Pourreza
Abstract
Open-access reader
Jafar A’zami, Naser Pourreza
Abstract
Open-access reader
summary:Let $(R,\mathfrak m)$ be a commutative Noetherian regular local ring of dimension $d$ and $I$ be a proper ideal of $R$ such that ${\rm mAss}_R(R/I)={\rm Assh}_R(I)$. It is shown that the $R$-module $H^{{\rm ht}(I)}_I(R)$ is $I$-cofinite if and only if ${\rm cd}(I,R)={\rm ht}(I)$. Also we present a sufficient condition under which this condition the $R$-module $H^i_I(R)$ is finitely generated if and only if it vanishes.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
summary:Let $(R,\mathfrak m)$ be a commutative Noetherian regular local ring of dimension $d$ and $I$ be a proper ideal of $R$ such that ${\rm mAss}_R(R/I)={\rm Assh}_R(I)$. It is shown that the $R$-module $H^{{\rm ht}(I)}_I(R)$ is $I$-cofinite if and only if ${\rm cd}(I,R)={\rm ht}(I)$. Also we present a sufficient condition under which this condition the $R$-module $H^i_I(R)$ is finitely generated if and only if it vanishes.
Key concepts: Mathematics, Local cohomology, Local ring, Pure mathematics, Cohomology, Ordinary differential equation, Algebra over a field, Mathematical analysis