Gorenstein Injective Dimension and Cohen-Macaulayness

Authors
Reza Sazeedeh
fatemeh Savoji
Urmia University
10.29252/mmr.5.2.157
Abstract
Throughout this paper‎, (R, m) is a‎ commutative Noetherian local ring with the maximal ideal m. ‎The following conjecture proposed by Bass [1]‎, ‎has been‎ proved by Peskin and Szpiro [2] for almost all rings: ‎

(B) If R admits a finitely generated R-module of‎ finite injective dimension‎, ‎then R is Cohen-Macaulay.

‎The problems treated in this paper are closely related to the‎ following generalization of Bass conjecture which is still wide‎ open:‎

(GB) If R admits a finitely generated R-module of‎ finite Gorenstein-injective dimension‎, ‎then R is‎ Cohen-Macaulay.

‎ Our idea goes back to the first steps of the solution of Bass conjecture given by Levin and Vasconcelos in 1968 [3] when R admits a‎ finitely generated R-module of injective dimension 1‎.

Levin and Vasconcelos indicate that if‎ is a non-zerodivisor‎, ‎then for‎ every finitely generated R/xR-module M‎, ‎there is‎ ‎. ‎Using this fact‎, ‎they construct a‎ finitely generated R-module of finite injective dimension in‎ the case where R is Cohen-Macaulay (the converse of Conjecture‎ B)‎.

‎ In this paper we study the Gorenstein injective dimension of local cohomology‎. ‎We also show that if R is Cohen-Macaulay‎ with minimal multiplicity‎, ‎then every finitely generated module‎ of finite Gorenstein injective dimension has finite injective‎ dimension.‎

‎We prove that a Cohen-Macaulay local ring‎ has a finitely generated module of‎ finite Gorenstein injective dimension.‎

./files/site1/files/52/4.pdf
Keywords
Gorenstein injective
Cohen-Macaulay ring and Local cohomology modules
1. Bass H., "On the ubiquity, Stable of Gornestein rings", Math. Z. 82 (1963) 8-28.## 2. Peskine C., Szpiro L., "Dimension projective finite et cohomologie local", Publ. Math. I. H. E. S. 42 (1972) 47-119. ## 3. Levin G., Vasconcelos W. V., "Homological dimensions and Macaulay rings", Pacific J. Math, 25 (1968) 315-323. ##4. Christensen L. W., Frankild A., Holm H., "On Gorentein projective, injective and flat dimensions-A factorial descripotion with applications", J. Algebra, 302 (2006) 231-279. ## 5. Yoshino Y.," Modules of G-dimension zero over local rings with the cube of maximal ideal being zero", commutative algebra, singularities and computer algebra (Sinaia, 2002) NATo Sci. Ser. II Math. Phys. Chem., vol, 115, Kluwer Acad. Publ., Dordrecht (2003) 255-273. ## 6. Enochs E., Jenda O. M. G., "Gorestein injective and projective modules", Math. Z, 220 (1995) 611-633. ## 7. Sazeedeh R., "Gorenstein injective modules and local cohomology", Proc. Amer. Math. Soc, 132 (2004) 2885-2891. ## 8. Weibel C. A., "An introduction to homological algebra", Cambridge Studies in Advanced Mathematics, vol 38 Cambridge University Press (1994). ## 9. Lipman J., "Lectures on local cohomology and duality", in perparation. ## 10. Foxby H. B., Frankild A. J., "Cyclic modules of finite Gorenstein injective dimension and Gorenstien rings", Illinois. J. Math, 51 (2007) 67-82. ## 11. Christensen L. W., Sather-Wagstaff S., "Transfer of Gorenstein dimension along ring homomorphisms", J. Pure Appl. Algebra, 214 (2010) 982-989. ## 12. Sazeedeh R., "Gorenstein injectivity of the section functor", Forum. Math, 22 (2010) 1117-1127. ## 13. Holm H., "Gorenstein homological dimensions", J. Pure Appl. algebra, 189 (2004) 167-193. ## 14. Esmkhani M. A., Tousi M., "Gorenstein homological dimensions and Auslander categories", J. Algebra, 308 (2007) 321-329. ## 15. Foxby H. B., Iyengar S., "Depth and amplitude for unbounded complexes", Contemporary Mathematics 331 (2003) 119-137. ## 16. Christensen L. W., Foxby H. B., "Hyperhomological algebra with application to commutative rings", (10 Dec 2006) notes in preparation. ## 17. Tarro L. A., Lopez A. J., Lipman J., "Local homology and cohomology on schemes", Ann. Sci. Ecole Norm. Sup, 30 (1997) 1-39. ## 
Mathematical Research
Volume 5, Issue 2 - Serial Number 11
Autumn 2019
Pages 157-164