Equations of the multi-Rees algebra of fattened coordinate subspaces

Abstract

In this paper we describe the equations defining the multi-Rees algebra $k[x_1,\dots ,x_n][I_1^{a_1}{t}_1,\dots ,I_r^{a_r}{t}_r]$, where the ideals are generated by subsets of $x_1,\dots ,x_n$. We also show that a family of binomials whose leading terms are squrefree, form a Gröbner basis for the defining equations with lexicographic order. We show that if we remove binomials that include $x$'s, then remaining binomials form a Gröbner basis for the toric ideal associated to the multi-fiber ring. However binomials, including $x$'s, in Gröbner basis of defining equations of the multi-Rees algebra are not necessarily defining equations of corresponding symmetric algebra. Despite this fact, we show that this family of ideals is of multi-fiber type.

The paper is accepted in the Journal of Algebra and Its Applications. This version is first submitted version in the journal. arXiv admin note: text overlap with arXiv:1809.09316]