Robust toric ideals

DOI10.1016/J.JSC.2014.09.019MaRDI QIDQ480658zbMATH OpenOpenAlexFDO

Authors Adam Boocher, Elina Robeva

Publication date 9 December 2014

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.0603

zbMATH Keywords

Betti numbersgeneric determinantal idealsGröbner basestoric ideals

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Determinantal varieties (14M12)

Abstract: We call an ideal in a polynomial ring robust if it can be minimally generated by a universal Gr"obner basis. In this paper we show that robust toric ideals generated by quadrics are essentially determinantal. We then discuss two possible generalizations to higher degree, providing a tight classification for determinantal ideals, and a counterexample to a natural extension for Lawrence ideals. We close with a discussion of robustness of higher Betti numbers.

Review text

Let \( S:=K[x_1,\dots,x_n]\) be a polynomial ring over a field \(K\). An ideal \(I\subset S\) is robust if its universal Gröbner basis is a minimal set of generators, that is it is a Gröbner basis for all possible term orders. Robustness is a very strong condition and there are few examples of robust ideals, for example the ideal of maximal minors of a generic matrix of variables is robust. Lawrence ideals are also known to be robust. The main result in this paper is the following: Let \(F\) be a set of irreducible homogeneous binomials that minimally generate an ideal (non degenerate in the sense that \(F\) cant be partitioned into disjoint sets of polynomials in distinct variables). If \(F\) consists of binomials of degree two then the following conditions are equivalent: \(\bullet\) The ideal generated by \(F\) is robust, \(\bullet\) \(|F|=1\) or \(F\) consists of the \(2\times 2\) minors of a generic \(2\times n\) matrix. Furthermore, in higher degree, it is not true that the robustness of \((F)\) implies that it is a determinantal or a Lawrence ideal.

Recommendations

• Strongly robust toric ideals in codimension 2
• On robustness and related properties on toric ideals
• Generalized robust toric ideals
• Robust graph ideals
• Normal toric ideals of low codimension

Cites work

• Combinatorics of maximal minors
• Free resolutions and sparse determinantal ideals
• scientific article; zbMATH DE number 835749 (Why is no real title available?)
• Independent sets from an algebraic perspective
• Maximal minors and their leading terms
• Nice initial complexes of some classical ideals
• On the universal Gröbner bases of toric ideals of graphs
• On the universal Gröbner bases of varieties of minimal degree
• Rigid resolutions and big Betti numbers
• Toric ideals of homogeneous phylogenetic models
• Universal Gröbner bases of colored partition identities

Cited in

(13)

• Bouquet algebra of toric ideals
• On the strongly robust property of toric ideals
• On Lawrence semigroups
• On robustness and related properties on toric ideals
• On the relative size of toric bases
• Strongly robust toric ideals in codimension 2
• The closure of a linear space in a product of lines
• Universally free numerical semigroups
• The strongly robust simplicial complex of monomial curves
• Self-dual projective toric varieties and their ideals
• Toric ideals of graphs minimally generated by a Gröbner basis
• Generalized robust toric ideals
• Robust graph ideals

Describes a project that uses

Uses Software

• Macaulay2
• Gfan

This page was built for publication: Robust toric ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q480658)