English

On injective and Gorenstein injective dimensions of local cohomology modules

Commutative Algebra 2013-02-27 v5

Abstract

Let (R,\fm)(R,\fm) be a commutative Noetherian local ring and let MM be an RR-module which is a relative Cohen-Macaulay with respect to a proper ideal \fa\fa of RR and set n:=\hM\fan:=\h_{M}\fa. We prove that \indM<\ind M<\infty if and only if \ind\H^{n}_\fa(M)<\infty and that \ind\H^{n}_\fa(M)=\ind M-n. We also prove that if RR has a dualizing complex and \GidRM<\Gid_{R} M<\infty, then \Gid_{R}\H^{n}_\fa(M)<\infty and \Gid_{R}\H^{n}_\fa(M)=\Gid_{R} M-n. Moreover if RR and MM are Cohen-Macaulay, then it is proved that \GidRM<\Gid_{R} M<\infty whenever \Gid_{R}\H^{n}_\fa(M)<\infty. Next, for a finitely generated RR-module MM of dimension dd, it is proved that if KM^K_{\hat M} is Cohen-Macaulay and \Gid_{R}\H_{\fm}^{d}(M)<\infty, then\Gid_{R}\H_{\fm}^{d}(M)=\depth R- d. The above results have consequences which improve some known results and provide characterizations of Gorenstein rings.

Keywords

Cite

@article{arxiv.1204.2394,
  title  = {On injective and Gorenstein injective dimensions of local cohomology modules},
  author = {Majid Rahro Zargar and Hossein Zakeri},
  journal= {arXiv preprint arXiv:1204.2394},
  year   = {2013}
}

Comments

13 pages. to appear in Algebra Colloquium