A new depth and the annihilation of local cohomology modules (Q2481710)

The notion of a strong relative regular sequence is introduced, and strong relative depth is defined and characterized. Let \(R\) be a commutative noetherian local ring, \(J \subseteq I\) proper ideals of \(R\) and \(M\) a finitely generated \(R\)-module. A sequence \(a_1,\ldots,a_n \in I\) is said to be a strong relative regular sequence on \(M\) (or a strong \(M\)-sequence) with respect to \(I\) and \(J\) if (1) For \( i=1,\ldots,n\) and all \(e_1,\ldots,e_{i-1} > 0\), \[ H^0_{a_i}(M/(a_1^{e_1},\ldots,a_{i-1}^{e_{i-1}})M) =H^0_I(M/(a_1^{e_1},\ldots,a_{i-1}^{e_{i-1}})M), \text{ and } \] (2) There exists some \(r>0\) such that \(J^rH^0_I(M/(a_1^{e_1},\ldots,a_i^{e_i})M) = 0\) holds for \(i=0,1,\ldots,n\) and all \(e_1,\ldots,e_i > 0\). It is shown that any permutation of a strong relative regular sequence is still a strong relative regular sequence and that all the maximal strong \(M\)-sequences with respect to \(I\) and \(J\) have the same length. The strong relative depth, \(\text{srdepth}_J(I,M)\), of \(M\) with respect to \(I\) and \(J\) is defined as the length of any maximal strong relative regular sequence on \(M\) with respect to \(I\) and \(J\). \newline The following equalities are proven: \(\text{srdepth}_J(I,M)\) \[ \begin{aligned} &= \max \{\;n \mid \exists r>0 \text{ such that } J^rH^i_I(M)=0 \text{ for } i=0,1,\ldots,n \}\\ &= \max \{\;n \mid \exists r>0 \text{ such that } J^r\text{Ext}^i_R(R/(b_1^t,\ldots,b_m^t),M)=0 \text{ for } i=0,1,\ldots,n \text{ and } \forall t>0 \} \\ &= \max \{\;n \mid \exists r>0 \text{ such that } J^rH^i(b_1^t,\ldots,b_m^t;M)=0 \text{ for } i=0,1,\ldots,n \text{ and } \forall t>0 \},\end{aligned} \] where \(I = (b_1,\ldots,b_m)\) and \(H^i(b_1^t,\ldots,b_m^t;M)\) is the \(i\)-th Koszul cohomology module of \(M\) with respect to \(b_1^t,\ldots,b_m^t\).