Toric ideals generated by circuits

DOI10.1142/S1005386712000533MaRDI QIDQ2859253zbMATH OpenOpenAlexFDO

Authors José Martínez-Bernal, Rafael H. Villarreal

Publication date 7 November 2013

Published in Algebra Colloquium (Search for Journal in Brave)

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

zbMATH Keywords

circuitsedge subringmultigraphnormal configurationtoric ideal

Mathematics Subject Classification ID

Combinatorial aspects of matroids and geometric lattices (05B35) Integral closure of commutative rings and ideals (13B22) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: Let I be the toric ideal of a homogeneous normal configuration. We prove that I is generated by circuits if and only if each unbalanced circuit of I has a "connector" which is a linear combination of circuits with a square-free term. In particular if each circuit of I with non-square-free terms is balanced, then I is generated by circuits. As a consequence we prove that the toric ideal of a normal edge subring of a multigraph is generated by circuits with a square-free term.

Review text

The authors consider normal toric rings defined by an ideal \(I\). A binomial in the polynomial ring \(K[T]\) is called balanced if the maximum of the exponents in each term are equal. It is called a connector if it has a square free term. A circuit in \(I\) is an irreducible binomial in \(I\), whose support is minimal with respect to inclusion. The main theorem is:NEWLINENEWLINEWith the above conditions, the following are equivalent:NEWLINENEWLINE(a) \(I\) is generated by a finite set of circuits.NEWLINENEWLINE(b) \(I\) is generated by a finite set of circuits with a square free term.NEWLINENEWLINE(c) Every unbalanced circuit of \(I\) has a connector which is a linear combination (with coefficients in \(K[T]\)) of circuits of \(I\) with a square free term.

Recommendations

• Toric ideals and their circuits
• Normal toric ideals of low codimension
• Some results on special binomial ideals
• Minimal systems of binomial generators and the indispensable complex of a toric ideal
• On systems of binomials in the ideal of a toric variety

Cites work

• Constraints for the normality of monomial subrings and birationality
• scientific article; zbMATH DE number 835749 (Why is no real title available?)
• Introduction to Toric Varieties. (AM-131)
• On the normality of Rees algebras associated to totally unimodular matrices
• Polar syzygies in characteristic zero: The monomial case
• Properties of cut ideals associated to ring graphs
• Rees algebras of edge ideals
• Ring graphs and complete intersection toric ideals
• Ring graphs and toric ideals
• Set-theoretic complete intersections on binomials
• The circuit ideal of a vector configuration
• The integral closure of subrings associated to graphs

Cited in

(8)

• A determinantal formula for circuits of integer lattices
• Linear codes over signed graphs
• On robustness and related properties on toric ideals
• Toric ideals and their circuits
• On complete intersection toric ideals of graphs
• Universally free numerical semigroups
• The circuit ideal of a vector configuration
• Generalized robust toric ideals

This page was built for publication: Toric ideals generated by circuits

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