Non-vanishing and cofiniteness of generalized local cohomology modules (Q6571335)

The ambient category is that of finitely generated modules over commutative Noetherian ring \(R\). \(M\) denotes a finitely generated \(R\)-module and \(I\) an ideal of \(R\), and in particular for dim\(R/I\leq 1\). For another \(R\)-module \(N\) and an integer \(i\geq 0\), the \(i\)th generalized local cohomology module of the pair \(M, N\), with respect to \(I\) is denoted and defined as follows:\[H^i_I(M,N)=\varinjlim_nExt^i_R(M/I^nM,N).\] A number of authors took interest in this cohomology module and when it vanishes and in particular in number cd\((I,M,N)\) -- the supremum of \(i\)'s such that \(H^i_I(M,N)\neq 0\). There is no exact computation of cd, but there are some estimates under various conditions. The authors of this paper propose some conditions for non-vanishing of the cohomology module. If `dim' stands for the Krull dimension, and grade\(_R(I,N)\) stands for the common length of the maximal \(N\)-sequences in \(I\), denote \(d= \mathrm{dim} R-\mathrm{grade}_R(\mathrm{Ann}_RN,M)\). Then inducting on dim\(N\), the authors obtain the following result: Theorem 2.7 Let \((R,\mathfrak{m})\) be a Cohen-Macaulay local ring and \(M, N\) be non-zero finitely generated \(R\)-modules with id\(M<\infty\) and Gid\(N<\infty\). Then \(H_\mathfrak{m}^d(M,N)\neq 0\). Here `id', `Gid' stand respectively for injective dimension, and Gorenstein injective dimension. The authors also study the cofininiteness of local cohomology modules. An \(R\)-module \(K\) is \(I\)-cofinite, if Supp\(_RK\subset V(I)\) and Ext\(^i_R(R/I,K)\) is finitely generated for all \(i\geq 0\); here \(V(I)\) stands for the set of all prime ideals of \(R\) containing \(I\).