Diagonal Subalgebras of Residual Intersections

Abstract

Let ${\sf k}$ be a field, $S$ be a bigraded ${\sf k}$-algebra, and $S_Δ$ denote the diagonal subalgebra of $S$ corresponding to $Δ= \{ (cs,es) \; | \; s \in \mathbb{Z} \}$. It is know that the $S_Δ$ is Koszul for $c,e \gg 0$. In this article, we find bounds for $c,e$ for $S_Δ$ to be Koszul, when $S$ is a geometric residual intersection. Furthermore, we also study the Cohen-Macaulay property of these algebras. Finally, as an application, we look at classes of linearly presented perfect ideals of height two in a polynomial ring, show that all their powers have a linear resolution, and study the Koszul, and Cohen-Macaulay property of the diagonal subalgebras of their Rees algebras.

Typos and errors have been fixed in the current version. Scheduled to appear in Proc. Amer. Math. Soc