The circuit ideal of a vector configuration

DOI10.1016/J.JALGEBRA.2006.07.025MaRDI QIDQ875100zbMATH OpenOpenAlexFDO

Authors Rekha Thomas, Tristram Bogart, Anders Nedergaard Jensen

Publication date 11 April 2007

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

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

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)

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.

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}\)

Cites work

• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 1182838 (Why is no real title available?)
• scientific article; zbMATH DE number 835749 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• scientific article; zbMATH DE number 960150 (Why is no real title available?)
• Algebraic algorithms for sampling from conditional distributions
• Binomial ideals
• Bounds on degrees of projective schemes
• Constructions and complexity of secondary polytopes
• GRIN: an implementation of Gröbner bases for integer programming
• Gomory integer programs
• Introduction to Toric Varieties. (AM-131)
• The Gröbner fan of an ideal
• The associated primes of initial ideals of lattice ideals

Cited in

(9)

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

Describes a project that uses

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)