A new depth and the annihilation of local cohomology modules

From MaRDI portal
Publication:2481710





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\).











This page was built for publication: A new depth and the annihilation of local cohomology modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2481710)