Lichtenbaum-Hartshorne vanishing theorem for generalized local cohomology modules
Abstract
Let $R$ be a commutative Noetherian ring, and let $\mathfrak a$ be a proper ideal of $R$. Let $M$ be a non-zero finitely generated $R$-module with the finite projective dimension $p$. Also, let $N$ be a non-zero finitely generated $R$-module with $N\neq\mathfrak{a} N$, and assume that $c$ is the greatest non-negative integer with the property that $\operatorname{H}^i_{\mathfrak a}(N)$, the $i$-th local cohomology module of $N$ with respect to $\mathfrak a$, is non-zero. It is known that $\operatorname{H}^i_{\mathfrak a}(M, N)$, the $i$-th generalized local cohomology module of $M$ and $N$ with respect to $\mathfrak a$, is zero for all $i>p+c$. In this paper, we obtain the coassociated prime ideals of $\operatorname{H}^{p+c}_{\mathfrak a}(M, N)$. Using this, in the case when $R$ is a local ring and $c$ is equal to the dimension of $N$, we give a necessary and sufficient condition for the vanishing of $\operatorname{H}^{p+c}_{\mathfrak a}(M, N)$ which extends the Lichtenbaum-Hartshorne vanishing theorem for generalized local cohomology modules.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2023
- DOI:
- 10.48550/arXiv.2310.00743
- arXiv:
- arXiv:2310.00743
- Bibcode:
- 2023arXiv231000743F
- Keywords:
-
- Mathematics - Commutative Algebra;
- 13D45;
- 13E05;
- 13E10
- E-Print:
- Journal of Advanced Mathematical Modeling, 13(2) (2023) 250--258