Decomposition of local cohomology tables of modules with large E-depth (Q1996069)

Let \(k\) be a field, \(R=k[X_{1},\dots,X_{m}]\) a polynomial ring equipped with the standard grading, and \(\mathfrak{m}\) the irrelevant maximal ideal of \(R\). Given a \(\mathbb{Z}\)-graded \(R\)-module \(M\), the authors define the E-depth of \(M\) as follows: \[ \operatorname{E-depth}_{R}(M):= \min \left\{n,\sup \left\{t\geq 0\mid \operatorname{depth}_{R}\left(\operatorname{Ext}^{i}_{R}(M,R)\right)\geq \min\{t,n-i\}\text{ for all } i \right\}\right\} \] Then they characterize graded modules over \(R\) with (sufficiently) large E-depth as those modules whose (sufficiently) partial general initial submodules preserve the Hilbert function of local cohomology modules supported at \(\mathfrak{m}\). This extends a result of Herzog and Sbarra on sequentially Cohen-Macaulay modules. Considering the \(\mathbb{Z}\)-grading of the local cohomology module \(H_{\mathfrak{m}}^{j}(M)\) as \[ H_{\mathfrak{m}}^{j}(M) = \bigoplus_{i \in \mathbb{Z}} H_{\mathfrak{m}}^{j}(M)_{i} \] for every \(j \geq 0\), the local cohomology table of \(M\) is given by the infinite matrix \[ [H_{\mathfrak{m}}^{\bullet}(M)]=\left(\dim_{k}\left(H_{\mathfrak{m}}^{j}(M)_{i}\right)\right) \in M_{\mathbb{Z}\times(\dim_{R}(M)+1)}\left(\mathbb{Z}_{\geq 0}\right). \] The authors describe the cone of local cohomology tables of modules with sufficiently high E-depth, building on the previous work of the second author and \textit{I. Smirnov} [Math. Z. 297, No. 1--2, 1--24 (2021; Zbl 1454.13024)]. Finally, they obtain a non-Artinian version of a socle-lemma proved by \textit{A. R. Kustin} and \textit{B. Ulrich} [J. Algebra 147, No. 1, 63--80 (1992; Zbl 0762.13004)].