On the regularity of local cohomology of bigraded algebras (Q852677)

If \(I\) is an ideal of a (noetherian) ring \(R\) and \(M\) is an \(R\)-module then \(H^l_I(M)\) is the \(l\)-th local cohomology of \(M\) supported in \(I\); if \(I,R\) and \(M\) are (bi-)graded, \(H^l_I(M)\) is also (bi-)graded. The followings situation is studied: \(K\) a field, \(P:=K[x_1,\dots ,x_m][y_1,\dots ,y_n]\) is a bigraded ring in a natural way, \(P_+:=(y_1,\dots ,y_n)P\), \(M\) finite and bigraded. Then every graded component \(H^i_{P_+}(M)_j\) of degree \(j\) is itself a graded module. It is shown that if \(\dim _{P_0}(M/P_+M)\leq 1\) then the (Castelnuovo-Mumford-)regularity of \(H^i_{P_+}(M)_j\) is bounded as a function in \(j\). Let \(f\in P\) be bihomogeneous, set \(M:=P/fP\). It is proven that the Hilbert function of the top local cohomology module \(H^n_{P_+}(P/fP)_j\) is (imagewise) a non-increasing function in \(j\); furthermore, if the coefficients of \(f\) are primary to the maximal homogeneous ideal of \(P\) then the regularity of \(H^n_{P_+}(P/fP)_j\) is a non-increasing function in \(j\) (because these modules have finite length). There are numerous concrete results in the special case \(f_\lambda =\sum _{i=1}^n\lambda _ix_iy_i\), e.~g. on the regularity, Hilbert function and Betti numbers of the modules \(H^i_{P_+}(P/f_\lambda P)_j\). A major result of the rest of the paper is: If \(f\in P\) is bihomogeneous and the coefficients of \(f\) generate an ideal primary to the maximal homogeneous ideal of \(P\) then the regulariy of \(H^n_{P_+}(P/fP)_j\) is linearly bounded (i.~e. bounded by a linear function).