Reverse lexicographic Gröbner bases and strongly Koszul toric rings (1402.3532v2)

Abstract: Restuccia and Rinaldo proved that a standard graded $K$-algebra $K[x_1, ... x_n]/I$ is strongly Koszul if the reduced Gr\"obner basis of $I$ with respect to any reverse lexicographic order is quadratic. In this paper, we give a sufficient condition for a toric ring $K[A]$ to be strongly Koszul in terms of the reverse lexicographic Gr\"obner bases of its toric ideal $I_A$. This is a partial extension of a result given by Restuccia and Rinaldo. In addition, we show that any strongly Koszul toric ring generated by squarefree monomials is compressed. Using this fact, we show that our sufficient condition for $K[A]$ to be strongly Koszul is both necessary and sufficient when $K[A]$ is generated by squarefree monomials.