Simplex faces and quadratic toric ideals of lattice polytopes

Abstract

We say that a convex polytope has the clique-face property if every clique in its 1-skeleton is the vertex set of a face. We establish this property as a geometric necessary condition for quadratic generation of toric ideals. More precisely, we prove that every lattice polytope with primitive edges and a quadratic toric ideal has the clique-face property; in particular, this holds for every $(0,1)$-polytope with a quadratic toric ideal. For $(0,1)$-polytopes satisfying condition (E), we characterize the clique-face property in terms of divisibility by monomials occurring in quadratic binomials, and show that, under the clique-face property, such toric ideals have no indispensable monomials of degree at least three. For edge polytopes and cut polytopes, we prove that the clique-face property is equivalent to quadratic generation. This yields new geometric characterizations of quadratic generation for these classes. We also prove that all simple polytopes, matroid independence polytopes, and matroid base polytopes have the clique-face property, and discuss the case of stable set polytopes in connection with conjectures on quadratic toric ideals.