Extension Functors of Generalized Local Cohomology Modules

Authors
Alireza Vahidi
Faisal Hassani
Elham Hoseinzade
Payame Noor University
10.52547/mmr.7.1.151
Abstract
Introduction

Throughout this paper, is a commutative Noetherian ring with non-zero identity, is an ideal of , is a finitely generated -module, ‎and is an arbitrary -module which is not necessarily finitely generated.

Let L be a finitely generated R-module. Grothendieck, in [11], conjectured that is finitely generated for all . In [12], ‎Hartshorne gave a counter-example and raised the question whether is finitely generated for all and . The th generalized local cohomology module of and with respect to ,



was introduced by Herzog in [14]. It is clear that is just the ordinary local cohomology module of with respect to . As a generalization of Hartshorne's question, we have the following question for generalized local cohomology modules (see [25, Question 2.7]).

Question. When is finitely generated for all and ?

In this paper, we study in general for a finitely generated -module and an arbitrary -module .

Material and methods

The main tool used in the proofs of the main results of this paper is the spectral sequences.

Results and discussion

We present some technical results (Lemma 2.1 and Theorems 2.2, 2.9, and 2.14) which show that, in certain situation, for non-negative integers , , , and with , and the -modules and are in a Serre subcategory of the category of -modules (i.e. the class of -modules which is closed under taking submodules, quotients, and extensions).

Conclusion

We apply the main results of this paper to some Serre subcategories (e.g. the class of zero -modules and the class of finitely generated -modules) and deduce some properties of generalized local cohomology modules. In Corollaries 3.1-3.3, we present some upper bounds for the injective dimension and the Bass numbers of generalized local cohomology modules. We study cofiniteness and minimaxness of generalized local cohomology modules in Corollaries 3.4-3.8. Recall that, an -module is said to be -cofinite (resp. minimax) if and is finitely generated for all [12] (resp. there is a finitely generated submodule of such that is Artinian [26]) where

. We show that if is finitely generated for all and is minimax for all , then is -cofinite for all and is finitely generated (Corollary 3.5). We prove that if is finitely generated for all , where is the arithmetic rank of , and is -cofinite for all , then is also an -cofinite -module (Corollary 3.6). We show that if is local, , and is finitely generated for all , then is -cofinite for all if and only if is finitely generated for all (Corollary 3.7). We also prove that if is local, , is finitely generated for all , and (or ) is -cofinite for all , then is -cofinite for all (Corollary 3.8). In Corollary 3.9, we state the weakest possible conditions which yield the finiteness of associated prime ideals of generalized local cohomology modules. Note that, one can apply the main results of this paper to other Serre subcategories to deduce more properties of generalized local cohomology modules../files/site1/files/71/15.pdf
Keywords
Associated prime ideals
Bass numbers
Cofinite modules
Extension functors
Generalized local cohomology modules
Injective dimensions
Minimax modules
1. Aghapournahr M., Melkersson L., "Local cohomology and Serre subcategories", J. Algebra, 320 (2008) 1275-1287.## 2. Aghapournahr M., Taherizadeh A.J., Vahidi A., "Extension functors of local cohomology modules", Bull. Iranian Math. Soc., 37 (2011) 117-134. ## 3. Bahmanpour K., Aghapournahr M., "A note on cofinite modules", Comm. Algebra, 44 (2016) 3683-3691. ## 4. Bahmanpour K., Naghipour R., Sedghi M., "Cofiniteness with respect to ideals of small dimensions", Algebr. Represent. Theory, 18 (2015) 369-379. ## 5. Brodmann M.P., Sharp R.Y., "Local Cohomology: An Algebraic Introduction with Geometric Applications", Cambridge University Press, Cambridge (1998). ## 6. Bruns W., Herzog J., "Cohen-Macaulay Rings", Cambridge University Press, Cambridge (1998). ## 7. Cuong N.T., Hoang N.V., "On the vanishing and the finiteness of supports of generalized local cohomology modules", Manuscripta Math., 126 (2008) 59-72. ## 8. Dibaei M.T., Yassemi S., "Bass numbers of local cohomology modules with respect to an ideal", Algebr. Represent. Theory, 11 (2008) 299-306. ## 9. Divaani-Aazar K., Mafi A., "Associated primes of local cohomology modules", Proc. Amer. Math. Soc., 133 (2005) 655-660. ## 10. Divaani-Aazar K., Sazeedeh R., Tousi M., "On vanishing of generalized local cohomology modules", Algebra Colloq., 12 (2005) 213-218. ## 11. Grothendieck A., "Cohomologie Locale des Faisceaux Coherents et Theoremes de Lefschetz Locaux et Globaux (SGA 2)", ‎North-Holland Pub. Co., Amsterdam (1969). ## 12. Hartshorne R., "Affine duality and cofiniteness", Invent. Math., 9 (1970) 145-164. ## 13. Hasanzadeh S. H., Vahidi A., "On vanishing and cofinitness of generalized local cohomology modules", Comm. Algebra, 37 (2009) 2290-2299. ## 14. Herzog J., "Komplexe‎, ‎Auflosungen und Dualitat in der Lokalen Algebra", Habilitationsschrift, Universitat Regensburg, Regensburg (1970). ## 15. Khashyarmanesh K., "On the finiteness properties of associated primes of generalized local cohomology modules", Forum Math., 20 (2008) 265-273. ## 16. Mafi A., "A generalization of the finiteness problem in local cohomology modules", Proc. Indian Acad. Sci. Math. Sci., 119 (2009) 159-164. ## 17. Marley T., Vassilev J.C., "Cofiniteness and associated primes of local cohomology modules", J. Algebra, 256 (2002) 180-193. ## 18. Melkersson L., "Modules cofinite with respect to an ideal", J. Algebra, 285 (2005) 649-668. 19. Rahimpour Nasbi Y., Vahidi A., Ahmadi Amoli K., "Torsion functors of generalized local cohomology modules", Comm. Algebra, 45 (2017) 5420-5430. ## 20. Rotman J.J., "An Introduction to Homological Algebra", Springer Science and Business Media, New York (2008). ## 21. Vahidi A., "Injective dimensions of local cohomology modules", Bull. Korean Math. Soc., 54 (2017) 1331-1336. ## 22. Vahidi A., Aghapournahr M., "Some results on generalized local cohomology modules", Comm. Algebra, 43 (2015) 2214-2230. ## 23. Vahidi A., Hassani F., Hoseinzade E., "Finiteness of extension functors of generalized local cohomology modules", Comm. Algebra,47 (2019) 1376-1384. ## 24. Vasconcelos W., "Divisor Theory in Module Categories", North-Holland Pub. Co., Amsterdam (1974). ## 25. Yassemi S., "Cofinite modules", Comm. Algebra, 29 (2001) 2333-2340. ## 26. Zoschinger H., "Minimax moduln", J. Algebra, 102 (1986) 1-32. ##  
Mathematical Research
Volume 7, Issue 1 - Serial Number 16
Spring 2021
Pages 151-164