Monomial projections of Veronese varieties: new results and conjectures

Abstract

In this paper, we consider the homogeneous coordinate rings $A(Y_{n,d})\cong \mathbb{K}[{\Omega }_{n,d}]$ of monomial projections $Y_{n,d}$ of Veronese varieties parameterized by subsets ${\Omega }_{n,d}$ of monomials of degree $d$ in $n+1$ variables where: (1) ${\Omega }_{n,d}$ contains all monomials supported in at most $s$ variables and, (2) ${\Omega }_{n,d}$ is a set of monomial invariants of a finite diagonal abelian group $G\subset GL(n+1,\mathbb{K})$ of order $d$. Our goal is to study when $\mathbb{K}[{\Omega }_{n,d}]$ is a quadratic algebra and, if so, when $\mathbb{K}[{\Omega }_{n,d}]$ is Koszul or G-quadratic. For the family (1), we prove that $\mathbb{K}[{\Omega }_{n,d}]$ is quadratic when $s\ge \lceil \frac{n+2}{2}\rceil$. For the family (2), we completely characterize when $\mathbb{K}[{\Omega }_{2,d}]$ is quadratic in terms of the group $G\subset GL(3,\mathbb{K})$, and we prove that $\mathbb{K}[{\Omega }_{2,d}]$ is quadratic if and only if it is Koszul. We also provide large families of examples where $\mathbb{K}[{\Omega }_{n,d}]$ is G-quadratic.

To appear in Journal of Algebra

References in corpus (1)

• On the arithmetic Cohen-Macaulayness of varieties parameterized by Togliatti systems