Finite lattices and lexicographic Gröbner bases (Q1568780)

Let \(K\) be a field, \(L\) a finite lattice, and \(K[\{x_{\alpha}\}_{\alpha\in L}]\) the polynomial ring over \(K\). Consider the ideal \(I_L=(x_{\alpha}x_{\beta}-x_{\alpha\wedge\beta}x_{\alpha\vee\beta}:\alpha,\beta\in L)\) of \(K[\{x_{\alpha}\}_{\alpha\in L}]\). The quotient algebra \({\mathcal R}_K[L]=K[\{x_{\alpha}\}_{\alpha\in L}]/I_L\) is called the ``Hibi ring'' of \(L\) over \(K\). Assume that \(L\) is a finite distributive lattice. The aim of this paper is to give some classes of subrings of Hibi rings which have quadratic Gröbner bases, so that, in particular, they are Koszul algebras. It is easy to see that if a Hibi ring has a rank lexicographic Gröbner basis, then such a basis restricts to every rank bounded subring. So the natural problem arises to classify all finite distributive lattices which possess rank lexicographic quadratic Gröbner bases. Such a classification seems to be rather complicated. However, a complete classification of the finite simple planar distributive lattices whose Hibi rings have rank lexicographic quadratic Gröbner bases is obtained. It turns out that these lattices are exactly the chain ladders. Moreover it is proved that the so-called trivial Hibi rings possess lexicographic quadratic Gröbner bases. Even though the lexicographic term order is not necessarily compatible with the rank of the lattice, again the restriction technique enables the authors to find certain kinds of subrings of a trivial Hibi ring which have quadratic Gröbner bases.