Toric ideals which are determinantal

Document Type : Research Paper

Authors

1 Institute for Advanced Studies in Basic Sciences (IASBS), Zanjan, Iran

2 Institute for Advanced Studies in Basic Sciences (IASBS), Zanjan,Iran

Abstract

Consider the polynomial ring $S=\mathbb{K}[x_1,\ldots, x_n]$ over a field $\mathbb{K}$. For any equigenerated monomial ideal $I \subset S$ with the defining ideal $J$ of the fiber cone $\F(I)$ generated by quadratic binomials, we introduce a matrix. The key observation is that the set of binomial $2$-minors of this matrix serves as a generating set for $J$. This framework in particular provides a characterization of the fiber cone for Freiman ideals, as well as offering a specific characterization for the fiber cone of sortable ideals.

Keywords


[1] R. Abdolmaleki, J. Herzog and G. Zhu, The saturation number of c-bounded stable monomial ideals and their powers, Kyoto J. Math., (3) 62 (2022), 471–484.
[2] CoCoATeam, CoCoA: a system for doing Computations in Commutative Algebra, Avaible at http://cocoa.dima.unige.it.
[3] D. Cox, J. Little and D. O’Shea, Using Algebraic Geometry, Springer, Berlin, 1998.
[4] P. Conti and C. Traverso, Buchberger algorithm and integer programming, Proceedings of AAECC-9, Springer LNCS, 539 (1991), 130–139.
[5] E. De Negri, Toric ring generated by special stable sets of monomials, Math. Nachr., 203 (1999), 31–45.
[6] P. Diaconis and B. Sturmfels, Algebraic algorithms for sampling from conditional distributions, Annals of Statistics, 26 (1998), 363–397.
[7] V. Ene and J. Herzog, Gröbner Bases in Commutative Algebra, Grad. Stud. Math., 130, Amer. Math. Soc., Providence, RI, 2012.
[8] J. Herzog, Generators and relations of abelian semigroups and semigroup rings, Manuscripta Math., 3 (1970), 175–193.
[9] J. Herzog and T. Hibi, Monomial Ideals, Springer-Verlag, New York, 2011.
[10] J. Herzog, T. Hibi and H. Ohsugi, Binomial Ideals, Springer, London, 2018.
[11] J. Herzog, T. Hibi and G. Zhu, The relevance of Freiman’s theorem for combinatorial commutative algebra, Math. Z., (3-4) 291 (2019), 999–1014.
[12] J. Herzog, M. M. Saem and N. Zamani, The number of generators of the powers of an ideal, Int. J. Algebra Comput., 29 (2019), 827–847.
[13] J. Herzog, A. A. Qureshi and M. M. Saem, The fiber cone of a monomial ideal in two variables, J. Symbolic Comput., 94 (2019), 52–69.
[14] J. Herzog and G. Zhu, Freiman ideals, Comm. Algebra, 47 (2019), 407–423.
[15] J. Herzog and G. Zhu, On the fiber cone of monomial ideals, Arch. Math., 113 (2019), 469–481.
[16] T. Hibi, Gröbner Bases: Statistics and Software Systems, Springer, Japan, 2013.
[17] M. Hochster, Rings of invariants of tori, Cohen-Macaulay rings generated by monomials, and polytopes, Ann. of Math., (2) 96 (1972), 318–337.
[18] H. Ohsugi and T. Hibi, Toric ideals generated by quadratic binomials, J. Algebra, 218 (1999), 509–527.
[19] B. Sturmfels, Gröbner Bases and Convex Polytopes, Amer. Math. Soc., Providence, RI, 1995.
[20] B. Sturmfels, Gröbner bases of toric varieties, Tôhoku Math. J., 43 (1991), 249–261.