The circuit ideal of a vector configuration

DOI10.1016/J.JALGEBRA.2006.07.025zbMATH Open1180.13038arXivmath/0508628OpenAlexW1964975833MaRDI QIDQ875100FDOQ875100

Authors: Rekha Thomas, Tristram Bogart, Anders Nedergaard Jensen 

Publication date: 11 April 2007

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: The circuit ideal, $ica$, of a configuration $$ is the ideal generated by the binomials $x^{c{c}^{+}}-x^{c{c}^{-}}ink[x_1,\mathrm{...},x_n]$ as $$ varies over the circuits of $A$. This ideal is contained in the toric ideal, $ia$, of $A$ which has numerous applications and is nontrivial to compute. Since circuits can be computed using linear algebra and the two ideals often coincide, it is worthwhile to understand when equality occurs. In this paper we study $ica$ in relation to $ia$ from various algebraic and combinatorial perspectives. We prove that the obstruction to equality of the ideals is the existence of certain polytopes. This result is based on a complete characterization of the standard pairs/associated primes of a monomial initial ideal of $ica$ and their differences from those for the corresponding toric initial ideal. Eisenbud and Sturmfels proved that $ia$ is the unique minimal prime of $ica$ and that the embedded primes of $ica$ are indexed by certain faces of the cone spanned by $A$. We provide a necessary condition for a particular face to index an embedded prime and a partial converse. Finally, we compare various polyhedral fans associated to $ia$ and $ica$. The Gr"obner fan of $ica$ is shown to refine that of $ia$ when the codimension of the ideals is at most two.

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

Recommendations

• Toric ideals and their circuits
• On the relative size of toric bases
• Toric ideals generated by circuits
• Complete intersections in toric ideals
• The Gröbner bases of toric ideal \(I_{A_d}\)

zbMATH Keywords

decompositiontoric idealcircuit idealinitial idealassociated primesfans

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Algebraic combinatorics (05E99)

Cites Work

• Title not available (Why is that?)
• Introduction to Toric Varieties. (AM-131)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Binomial ideals
• Algebraic algorithms for sampling from conditional distributions
• The Gröbner fan of an ideal
• Constructions and complexity of secondary polytopes
• GRIN: an implementation of Gröbner bases for integer programming
• Bounds on degrees of projective schemes
• Title not available (Why is that?)
• Gomory integer programs
• The associated primes of initial ideals of lattice ideals

Cited In (9)

• Universally free numerical semigroups
• On robustness and related properties on toric ideals
• Toric ideals generated by circuits
• Support sets in exponential families and oriented matroid theory
• Combinatorics of binomial primary decomposition
• Binomial generation of the radical of a lattice ideal
• A useful identitiy in circuit theory
• Toric ideals and their circuits
• On complete intersection toric ideals of graphs

Uses Software

• Macaulay2
• Gfan
• GRIN

This page was built for publication: The circuit ideal of a vector configuration

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