On the cominimaxness of generalized local cohomology modules

Abstract

The local cohomology theory plays an important role in commutative algebra and algebraic geometry. The I-cofiniteness of local cohomology modules is one of interesting properties which has been studied by many mathematicians. The I-cominimax modules is an extension of I-cofinite modules which was introduced by Hartshorne. An R-module M is I-cominimax if Supp_R(M)\subseteq V(I) and Ext^i_R(R/I,M) is minimax for all  i\ge 0. In this paper, we show some conditions such that the generalized local cohomology module H^i_I(M,N) is I-cominimax for all i\ge 0. We show that if H^i_I(M,K) is I-cofinite for all i<t and all finitely generated R-module K, then  H^i_I(M,N) is I-cominimax for all i<t  and all minimax R-module N.  If M is a finitely generated R-module, N is a minimax R-module and t is a non-negative integer such that  dim Supp_R(H^i_I(M,N))\le 1 for all i<t then H^i_I(M,N) is I-cominimax for all  i<t. When  dim R/I\le 1 and H^i_I(N) is I-cominimax for all  i\ge 0 then H^i_I(M,N) is I-cominimax for all i\ge 0.