Primary components of codimension two lattice basis ideals (Q1684291): Difference between revisions

A codimension two lattice basis ideal is a binomial ideal generated by two binomials whose exponent vectors are linearly independent. The present paper characterizes the binomial primary decomposition of such an ideal. It thereby, in this special case, finishes a theory initiated in [\textit{S. Hoşten} and \textit{J. Shapiro}, J. Symb. Comput. 29, No. 4--5, 625--639 (2000; Zbl 0968.13003)] where the associated primes have been determined, and [\textit{A. Dickenstein} et al., Math. Z. 264, No. 4, 745--763 (2010; Zbl 1190.13017)] where the so-called toral primary components have been characterized. Describing the remaining Andean primary components is reduced to certain graph theoretic problems which form the core of this paper. As an application, the authors compute the set of parameters for which a bivariate Horn system of hypergeometric differential equations is holonomic.