Bounds for the regularity of local cohomology of bigraded modules (Q2452346)

Let \(K\) be a field and \(S_0:=K[x_1,\dots,x_m]\). Let \(S\) denote the polynomial ring \(K[x_1,\dots,x_m,y_1, \dots, y_n]\) and \(Q:=(y_1,\dots, y_n)\). Consider \(S\) with its standard bigrading with \(\deg x_i=(1,0)\) and \(\deg y_j=(0,1)\) for all \(i\) and \(j\) and let \(M\) be a finitely generated bigraded \(S\)-module. Then the local cohomology modules \(H_Q^k(M)\) are naturally bigraded, and the components \[ H_Q^k(M)_j:=\bigoplus_{i} H_Q^k(M)_{(i,j)} \] are finitely generated graded \(S_0\)-modules. The aim of this paper is to find some linear bounds for the Castelnuovo-Mumford regularity of the modules \(H_Q^k(M)_j\). Some of its results improve some of the earlier related results of its second author. Let \(f=\sum_{|\beta|=b}f_{\beta}y^{\beta}\) be a bihomogeneous element in \(S\) and \(c(f)\) denote the ideal of \(S_0\) generated by \(f_{\beta}\)'s. Suppose that \(\dim S_0/c(f)\leq 1\). The authors show that there exists a linear function \(\ell:\mathbb{Z}_{-}\longrightarrow \mathbb{Z}_{+}\) such that \[ 0\leq \mathrm{reg} \big(H_Q^k(S/fS) _j\big)\leq \ell(j) \] for all \(k\) and \(j\). For a hypersurface ring of bidegree \((d,1)\), the authors present a better result. More precisely, assume that \(f=\sum_{i=1}^{n}f_iy_i\), where \(f_1,f_2, \dots, f_n\) is a regular sequence and \(\deg f_i=d\) for all \(i\). Then \[ \mathrm{reg} \big(H_Q^n(S/fS)_j \big)=-dj-n \] for all \(j\). Next, consider \(S\) with its standard \(\mathbb{Z}^m\times\mathbb{Z}^n\)-grading and let \(M\) be a finitely generated \(\mathbb{Z}^m\times\mathbb{Z}^n\)-graded \(S\)-module. Then as above the local cohomology modules \(H_Q^k(M)\) are naturally \(\mathbb{Z}^m\times\mathbb{Z}^n\)-graded, and the components \(H_Q^k(M)_j:=\bigoplus_{i}H_Q^k(M)_{(i,j)}\) are finitely generated graded \(S_0\)-modules. The authors prove that there exists an integer \(c\) such that \[ -c\leq \mathrm{reg} \big(H_Q^k (M)_j\big)\leq c \] for all \(k\) and \(j\).