Bounds for the regularity of local cohomology of bigraded modules

Abstract: Let

M

be a finitely generated bigraded module over the standard bigraded polynomial ring

S = K [x_{1}, ..., x_{m}, y_{1}, ..., y_{n}]

, and let

Q = (y_{1}, ..., y_{n})

. The local cohomology modules

H_{Q}^{k} (M)

are naturally bigraded, and the components

H_{Q}^{k} (M)_{j} = D i r s u m_{i} H_{Q}^{k} (M)_{(i, j)}

are finitely generated graded

K [x_{1}, ..., x_{m}]

-modules. In this paper we study the regularity of

H_{Q}^{k} (M)_{j}

, and show in several cases that

e g H_{Q}^{k} (M)_{j}

is linearly bounded as a function of

j

.

Review text

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

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Bounds for the regularity of local cohomology of bigraded modules

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