A Saturation Algorithm for Homogeneous Binomial Ideals Deepanjan Kesh and Shashank K Mehta Indian Institute of Technology, Kanpur - 208016, India, fdeepkesh,
[email protected] Abstract. Let k[x1; : : : ; xn] be a polynomial ring in n variables, and let I ⊂ k[x1; : : : ; xn] be a homogeneous binomial ideal. We describe a fast 1 algorithm to compute the saturation, I :(x1 ··· xn) . In the special case when I is a toric ideal, we present some preliminary results comparing our algorithm with Project and Lift by Hemmecke and Malkin. 1 Introduction 1.1 Problem Description Let k[x1; : : : ; xn] be a polynomial ring in n variables over the field k, and let I ⊂ k[x1; : : : ; xn] be an ideal. Ideals are said to be homogeneous, if they have a basis consisting of homogeneous polynomials. Binomials in this ring are defined as polynomials with at most two terms [5]. Thus, a binomial is a polynomial of the form cxα+dxβ, where c; d are arbitrary coefficients. Pure difference binomials are special cases of binomials of the form xα − xβ. Ideals with a binomial basis are called binomial ideals. Toric ideals, the kernel of a specific kind of polynomial ring homomorphisms, are examples of pure difference binomial ideals. Saturation of an ideal, I, by a polynomial f, denoted by I : f, is defined as the ideal I : f = hf g 2 k[x1; : : : ; xn]: f · g 2 I gi: Similarly, I : f 1 is defined as 1 a I : f = hf g 2 k[x1; : : : ; xn]: 9a 2 N; f · g 2 I gi: 1 We describe a fast algorithm to compute the saturation, I :(x1 ··· xn) , of a homogeneous binomial ideal I.