English

On the cofiniteness of generalized local cohomology modules

Commutative Algebra 2015-11-03 v1

Abstract

Let RR be a commutative Noetherian ring, II an ideal of RR and MM, NN two finitely generated RR-modules. The aim of this paper is to investigate the II-cofiniteness of generalized local cohomology modules HIj(M,N)=\dlim\ExtRj(M/InM,N)\displaystyle H^j_I(M,N)=\dlim\Ext^j_R(M/I^nM,N) of MM and NN with respect to II. We first prove that if II is a principal ideal then HIj(M,N)H^j_I(M,N) is II-cofinite for all M,NM, N and all jj. Secondly, let tt be a non-negative integer such that dim\Supp(HIj(M,N))1for allj<t.\dim\Supp(H^j_I(M,N))\le 1 \text{for all} j<t. Then HIj(M,N)H^j_I(M,N) is II-cofinite for all j<tj<t and \Hom(R/I,HIt(M,N))\Hom(R/I,H^t_I(M,N)) is finitely generated. Finally, we show that if dim(M)2\dim(M)\le 2 or dim(N)2\dim(N)\le 2 then HIj(M,N)H^j_I(M,N) is II-cofinite for all jj.

Keywords

Cite

@article{arxiv.1207.0703,
  title  = {On the cofiniteness of generalized local cohomology modules},
  author = {Nguyen Tu Cuong and Shiro Goto and Nguyen Van Hoang},
  journal= {arXiv preprint arXiv:1207.0703},
  year   = {2015}
}

Comments

16 pages