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

TL;DR

This paper proves that varieties parameterized by Togliatti systems associated with diagonal cyclic groups are arithmetically Cohen-Macaulay, providing explicit Hilbert functions, resolutions, and examples in the case of surfaces.

Contribution

It establishes the aCM property for a broad class of Togliatti system parameterized varieties and offers explicit combinatorial and algebraic descriptions.

Findings

All these GT-varieties are arithmetically Cohen-Macaulay.

Explicit Hilbert functions, polynomials, and series are computed for the case n=2.

The minimal free resolution is a binomial prime ideal generated by quadrics and cubics.

Abstract

Given any diagonal cyclic subgroup $\Lambda \subset GL(n+1,k)$ of order $d$, let $I_d\subset k[x_0,\ldots, x_n]$ be the ideal generated by all monomials $\{m_{1},\ldots, m_{r}\}$ of degree $d$ which are invariants of $\Lambda$. $I_d$ is a monomial Togliatti system, provided $r \leq \binom{d+n-1}{n-1}$, and in this case the projective toric variety $X_d$ parameterized by $(m_{1},\ldots, m_{r})$ is called a $GT$-variety with group $\Lambda$. We prove that all these $GT$-varieties are arithmetically Cohen-Macaulay and we give a combinatorial expression of their Hilbert functions. In the case $n=2$, we compute explicitly the Hilbert function, polynomial and series of $X_d$. We determine a minimal free resolution of its homogeneous ideal and we show that it is a binomial prime ideal generated by quadrics and cubics. We also provide the exact number of both types of generators. Finally, we pose the problem of determining whether a surface parameterized by a Togliatti system is aCM. We construct examples that are aCM and examples that are not.