Diagonal subalgebras of bigraded algebras and embeddings of blow-ups of projective spaces (Q4351044)

Let \(K\) be a field, \(A=K[X_1,\dots,X_n]\), \(I\subset A\) a homogeneous ideal. The aim of the paper is to study ring-theoretic properties of \(K[(I^e)_c]\), where \(e,c \in\mathbb{N}\) and \(J_c\) means the graded part of degree \(c\) of \(J\), motivated by the fact that such objects appear in the process of embeddings of blow-ups of projective spaces. It is shown that if \(I\) is an homogeneous complete intersection ideal minimally generated by \(r\) forms of degree \(d_1,\dots,d_r\), \(c\geq ed+1\) and \(d=\max\{d_j\mid j=1,\dots,r\}\) then \(K[ (I^e)_c]\) is Cohen-Macaulay if and only if \(c>d_j+ (e-1)d-n\). As a corollary, if \(I\) is a homogeneous complete intersection ideal minimally generated by 2 forms of degree \(d_1\leq d_2\) and \(n\geq d_2+1\), then \(K[I_n]\) is a Gorenstein ring with \(a\)-invariant \(-1\). The method used is to express \(K[(I^e)_c]\) as some diagonal subalgebra of the \(\mathbb{Z}^2\)-graded Rees algebra \(A[It]= \bigoplus_{j \in\mathbb{N}} I^jt^j= \bigoplus_{(i,j)} A[It]_{(i,j)}\), where \(A[It]_{(i,j)}= (I^j)_i t^j\) and to develop a theory in order to describe the local cohomology of some modules over generalized Segre products of bigraded algebras. Finally, the Koszul property of diagonal subalgebras of bigraded standard \(K\)-algebras is studied.