On asymptotic socle degrees of local cohomology modules (Q2040531)

Let \(k\) be a field, \(R\) a standard graded \(k\)-algebra i.e. \(R= k[X_{1},\dots,X_{n}]/\mathfrak{a}\) where \(\mathfrak{a}\) is a homogeneous ideal of \(k[X_{1},\dots,X_{n}]\), and \(\mathfrak{m}= \langle X_{1},\dots,X_{n} \rangle\) the homogeneous maximal ideal of \(R\). For any graded \(R\)-module \(M\), the beginning and the end of \(M\) is defined as \(\text{beg}(M)=\inf \{i\in \mathbb{Z}| M_{i}\neq 0\}\) and \(\textrm{end}(M)=\sup \{i\in \mathbb{Z}| M_{i}\neq 0\}\), respectively. Moreover, the socle of \(M\) is defined as \(\mathrm{Soc}_{R}(M)=(0:_{M}\mathfrak{m})\). If \(M\) is finitely generated, then the local cohomology modules \(H^{i}_{\mathfrak{m}}(M)\) are artinian, so \(\text{beg}\left(\mathrm{Soc}_{R}\left(H^{i}_{\mathfrak{m}}(M)\right)\right)\) and \(\textrm{end}\left(\mathrm{Soc}_{R}\left(H^{i}_{\mathfrak{m}}(M)\right)\right)\) are both finite. If \(I\) is a homogeneous ideal of \(R\), then it is well-known that there exists a constant \(c\) such that \[\textrm{end}\left(\mathrm{Soc}_{R}\left(H^{i}_{\mathfrak{m}}\left(R/I^{t}\right)\right)\right) \leq ct\] for every \(i\geq 0\) and \(t\geq 1\). In this paper, the author investigates the dual problem of the existence of a constant \(c\) for which \[\text{beg} \left(\mathrm{Soc}_{R}\left(H^{i}_{\mathfrak{m}}\left(R/I^{t}\right)\right)\right) \geq -ct\] for every \(i\geq 0\) and \(t\geq 1\). More specifically, the author proves the following results. Theorem. Let \(k\) be a field, \(R\) a standard graded \(k\)-algebra, and \(I\) a homogeneous ideal of \(R\). If there exists a constant \(c'\) such that \[\text{beg} \left(\mathrm{Ext}_{R}^{j}\left(k,H^{i}_{\mathfrak{m}}\left(R/I^{t}\right)\right)\right) \geq -c't\] for every \(0\leq i< \dim(R/I)\), \(0\leq j< \dim(R/I)+2\), and \(t \geq 1\), then there exists a constant \(c\) such that \[\text{beg} \left(\mathrm{Soc}_{R}\left(H^{d}_{\mathfrak{m}}\left(R/I^{t}\right)\right)\right) \geq -ct\] for every \(t \geq 1\). Theorem. Let \(k\) be a field, \(R\) a standard graded \(k\)-algebra, and \(I\) a homogeneous ideal of \(R\) with \(\text{Ht}(I)=1\) and \(R/I\) equidimensional. If \(R_{\mathfrak{p}}\) is Cohen-Macaulay and \(I_{\mathfrak{p}}\) is principally generated by a non-zerodivisor for every non-maximal prime ideal \(\mathfrak{p}\) of \(R\), then there exists a constant \(c\) such that \[\text{beg} \left(H^{i}_{\mathfrak{m}}\left(R/I^{t}\right)\right) \geq -ct\] for every \(0\leq i< \dim(R/I)\) and every \(t \geq 1\).