zbMATH — the first resource for mathematics

Toric ideals generalized by quadratic binomials. (English) Zbl 0943.13014
Let \(K\) be a field and \(K[{\mathbf t}]=K[t_1,\dots,t_d]\) the polynomial ring in \(d\) variables over \(K\). Let \({\mathcal A}\) be a finite set of monomials belonging to \(K[{\mathbf t}]\), all of the same degree, and \(K[{\mathcal A}]\) the subalgebra of \(K[{\mathbf t}]\) generated by the monomials in \({\mathcal A}\). It is known that the presentation ideal \(I_{\mathcal A}\) of \(K[{\mathcal A}]\) is generated by binomials. The ideal \(I_{\mathcal A}\) is called the toric ideal associated with the affine semigroup ring \(K[{\mathcal A}]\).
In this paper the case is considered when \(\mathcal A\) consists of squarefree quadratic monomials, that is, squarefree monomials of degree \(2\). It is very natural to associate a finite graph \(G\) to \({\mathcal A}\). A combinatorial criterion on \(G\) is given for the toric ideal \(I_{\mathcal A}\) to be generated by quadratic binomials. As a corollary one has that every Koszul algebra generated by squarefree quadratic monomials is normal. Moreover the authors give an example of a normal non-Koszul squarefree semigroup ring whose toric ideal is generated by quadratic binomials, as well as an example of a non-normal Koszul squarefree semigroup ring whose toric ideal possesses no quadratic Gröbner basis.
In addition all the affine semigroup rings \(K[{\mathcal A}]\) which have 2-linear resolution are classified, under the assumption that \({\mathcal A}\) is a finite set of squarefree quadratic monomials; in case \({\mathcal A}\) consists of (not necessarily squarefree) quadratic monomials, it is proved that if \(K[{\mathcal A}]\) is normal and the convex polytope associated with \({\mathcal A}\) is simple, then \(K[{\mathcal A}]\) is generated by quadratic binomials.

13F20 Polynomial rings and ideals; rings of integer-valued polynomials
13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
20M25 Semigroup rings, multiplicative semigroups of rings
Full Text: DOI
[1] Backelin, J.; Fröberg, R., Koszul algebras, Veronese subrings, and rings with linear resolutions, Rev. roum. math. pures appl., 30, 85-97, (1985) · Zbl 0583.16017
[2] Becker, T.; Kredel, H.; Weispfenning, V., Gröbner bases: A computational approach to commutative algebra, (1993), Springer-Verlag Berlin/New York
[3] Bruns, W.; Herzog, J., Cohen – macaulay rings, (1993), Cambridge Univ. Press Cambridge
[4] Bruns, W.; Herzog, J.; Vetter, U., Syzygies and walks, (), 36-57 · Zbl 0938.16505
[5] Bruns, W.; Gubeladze, J.; Trung, N.V., Normal polytopes, triangulations and Koszul algebras, J. reine angew. math., 485, 123-160, (1997) · Zbl 0866.20050
[6] Cox, D.; Little, J.; O’Shea, D., Ideals, varieties and algorithms, (1992), Springer-Verlag Berlin/New York
[7] Eisenbud, D., Introduction to commutative algebra with a view towards algebraic geometry, (1995), Springer-Verlag Berlin/New York
[8] Ohsugi, H.; Hibi, T., Normal polytopes arising from finite graphs, J. algebra, 207, 409-426, (1998) · Zbl 0926.52017
[9] Ohsugi, H.; Hibi, T., Koszul bipartite graphs, Adv. appl. math., 22, 25-28, (1999) · Zbl 0916.05046
[10] Roos, J.-E.; Sturmfels, B., A toric ring with irrational Poincaré-Betti series, C. R. acad. sci. Paris ser. I math., 326, 141-146, (1998) · Zbl 0934.14033
[11] Sturmfels, B., Gröbner bases and convex polytopes, (1995), Am. Math. Soc Providence
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.