arxiv: v2 [math.ac] 19 Dec 2008

Transcription

1 A combinatorial description of monomial algebras arxiv: v2 [math.ac] 19 Dec 2008 Ignacio Oeda Universidad de Extremadura Departamento de Matemáticas March 22, 2009 Abstract A. Vigneron-Tenorio Universidad de Cádiz Departamento de Matemáticas This paper is concerned with the combinatorial description of the graded minimal free resolution of certain monomial algebras which includes toric rings. Concretely, we explicitly describe how the graded minimal free resolution of those algebras is related to the combinatorics of some simplicial complexes, and we give an algorithmic procedure to partially compute this resolution. Keywords and phrases: Monomial algebra, semigroup algebra, toric ideal, minimal free resolution, syzygy, simplicial complex. MSC-class: 16W50 (Primary) 13D02, 13F55 (Secondary). Introduction Let I be an ideal in the polynomial ring R over a field. The -algebra R/I is said to be monomial, if the algebraic set V(I) is parameterized by monomials. Let R/I be a monomial algebra. Since monomial algebras are semigroup algebras, one can consider a semigroup S to study R/I. This approach makes it possible to define a particular S-grading on the monomial algebra R/I which allows to define the S-graded minimal free resolution of R/I as R-module, under some reasonable hypothesis on S. This graded minimal free resolution of R/I has been explored by many authors with remarkable success (see e.g. [3] and the references therein). The study of the graded minimal free resolution of the monomial algebra R/I from a semigroup viewpoint facilitates the use of methods based on the knowledge of the combinatorics of the semigroup. This paper is focused on this direction. In this paper, we consider the simplicial complexes introduced by S. Elihaou in his PhD Thesis [6] and we show how their reduced -th homology During the preparation of this paper, both authors were partially supported by Ministerio de Educación y Ciencia (Spain), proect MTM

2 vector spaces over are related with the -th module of syzygies appearing in the graded minimal free resolution of certain monomial algebras (see Corollary 4). Of course, this is not a very surprising theoretical result. A similar one was given by E. Briales et al. in [2], although they used another different simplicial complexes. In fact, we prove that the reduced homology of both simplicial complexes are isomorphic (Theorem 3) and then, we use the results in [2] to reach our Corollary 4. Therefore, in this part, our main contribution should be regarded as showing the utility of the Elihaou s simplicial complexes for studying monomial algebras. The second part of the paper (Section 3) is devoted to the explicit computation of minimal systems of generators of the -th module of syzygies N of a monomial algebra with associated semigroup S. The main problem one encounters in the known combinatorial algorithms consists in determine a priori the S-degrees in which the minimal generators of the syzygies are concentrated (see e.g. [5]). This problem is not solved yet. Therefore, we propose a different approach (Corollary 17): we fix any S-degree m and compute a subset of minimal generators of N by only constructing one Elihaou s simplicial complex associated to m. This result does not solve the problem, but opens the door to new perspectives in the combinatorial description of monomial (semigroup) algebras. In other words, our main result is an algorithmic procedure to compute a chain complex of free R-modules contained in minimal free resolution of a monomial algebra R/I. 1 Preliminaries Let S denote a commutative semigroup with zero element 0 S. Let G(S) be a commutative group with a semigroup homomorphism ι : S G(S) such that every homomorphism from S to a group factors in a unique way through ι. The commutative group G(S) exists and is unique up to isomorphism, it is called the associated commutative group of S. Further, G(S) is finitely generated when S is. The map ι is inective if, and only if, S is cancellative, that is to say, if m + n = m + n, m,n and n S, implies n = n, in this case, G(S) is the smallest group containing S. For the purpose of this paper, we will assume that S is combinatorially finite, i.e., there are only finitely many ways to write m S as a sum m = m m q, with m i S \ {0}. Equivalently, S is combinatorially finite if, and only if, S ( S) = {0} (see Proposition 1.1 in [1]). Notice that this property guarantees that m S m m m S is a well defined partial order on S. From now on, S will denote a finitely generated, combinatorially finite, cancellative and commutative semigroup. We write [S] for the -vector 2

3 space [S] = m S χ m endowed with a multiplication which is -linear and such that χ m χ n := χ m+n, m and n S. Thus [S] has a natural -algebra structure and we will refer to it as the semigroup algebra of S. In addition, we will fix a system of nonzero generators n 1,...,n r for S. Thus, [S] may be regarded as the monomial -algebra generated by χ n 1,...,χ nr. Moreover, this choice of generators induces a natural S-grading on R = [x 1,...,x r ], by assigning weight n i to x i, i = 1,...,r, that is to say, R = m S R m, where R m is the vector subspace of R generated by all the monomials x α := x a 1 1 xar r with r i=1 a in i = m and α = (a 1,...,a n ). Since S is combinatorially finite, the vector spaces R m are finite dimensional (see Proposition 1.2 in [1]). We will denote by m the irrelevant ideal of R, that is to say, m = m S\{0} R m = (x 1,...,x r ). 1.1 Minimal resolution The surective -algebra morphism ϕ 0 : R [S]; x i χ n i is S-graded, thus, the ideal I S := ker(ϕ 0 ) is a S-homogeneous ideal called the ideal of S. Notice that I S is a toric ideal (in the sense of [9] chapter 4) generated by { x α x β : r a i n i = i=1 r i=1 } b i n i S. Now, by using the S-graded Nakayama s lemma recursively (see Proposition 1.4 in [1]), we may construct S-graded -algebra homomorphism ϕ +1 : R s +1 R s, corresponding to a choice of a minimal set of S-homogeneous generators for each module of syzygies N := ker(ϕ ), notice that N 0 = I S. Thus, we obtain a minimal free S-graded resolution for the R-module [S] of type... R s ϕ R s... R s ϕ 2 2 R s 1 ϕ 1 ϕ 0 R [S] 0, where s +1 := m S dim V (m), with V (m) := (N ) m /(mn ) m, is the socalled ( + 1)-th Betti number. Observe that the dimension of V (m) is the 3

4 number of generators of degree m in a minimal system of generators of the -th module of syzygies N (i.e. the multigraded Betti number s,m ), so, by the Noetherian property of R, s +1 is finite. Moreover, the Auslander- Buchsbaum s formula assures that s = 0 for > p = r depth R [S] and s p 0. (cf. Theorem in [4]). 1.2 Simplicial homology Let K be a finite simplicial complex on [n] := {1,...,n}. For each integer i, let F i (K) be the set of i-dimensional faces of K, and let F i(k) be a -vector space whose basis element e F correspond to i-faces F F i (K). The reduced chain complex of K over is the complex C (K) : 0 F n 1(K) n 1... F i(k) i F i 1 (K)... 0 F 1 (K) 0 The boundary maps i are defined by setting sing(,f) = ( 1) r 1 if is the r-th element of the set F [n], written in increasing order, and i (e F ) = F #F =i+1 sing(,f)e F \. For each integer i, the -vector space H i (K) = ker( i )/im( i+1 ) in homological degree i is the i-th reduced homology of K. Elements of Z i (K) := ker( i ) are called i-cycles and elements of B i (K) := im( i+1 ) are called i-boundaries. 2 Simplicial complexes and minimal syzygies In this section, we will consider two different simplicial complexes associated with S and we will compare their homologies. The first simplicial complex was introduced by S. Eliahou in [6] and the second one is used in [2] to describe the minimal free resolution of [S]. For any m S, let C m = {x α = x a 1 1 xar r r i=1 a in i = m} and define the abstract simplicial complex on the vertex set C m, m = {F C m gcd(f) 1}, where gcd(f) denotes the greatest common divisor of the monomials in F. Notice that m has finitely many vertices because S is combinatorially finite. For any m S, we consider the abstract simplicial complex on the vertex set [r], m = {F [r] m n F S}, 4

5 where n F = i F n i. Now, we are going to compare H ( m ) with H ( m ). To facilitate our work, we recall the so-called Nerve Lemma. Definition 1. A cover of a simplicial complex K is a family of subcomplexes K = {K α α A} with K = α A K α. We say that the cover K satisfies the Leray property if each non-empty finite intersection K α1... K αq is acyclic. Definition 2. Let K = {K α α A} be a cover of a simplicial complex K. The nerve of K, denoted by N K, is the simplicial complex having vertices A and with {α 1,...,α q } being a simplex if q i=1 K α i. Nerve Lemma. Assume that K = {K α α A} is a cover of a simplicial complex K. If K satisfies the Leray property, then for all 0. Proof. See Theorem 7.26 in [8]. H (N K ) = H (K), Theorem 3. H ( m ) = H ( m ), for all 0 and m S. Proof. For each x α C m, define the simplicial complex K α = P(supp(x α )), that is to say, the full subcomplex of m with vertices supp(x α ). Set K m = {K α : x α C m }. On the one hand, we have that F m, i.e., m n F S if, and only, if, there exists x α C m with supp(x α ) F, therefore, K m is a cover of m. Moreover, q i=1 K α i if, and only if, gcd(x α 1,...,x αq ) 1, so m is the nerve of K m. Finally, since the cover K m of m satisfies the Leray property, because q i=1 K α i is a full simplex, by the Nerve Lemma, we may conclude the existence of the desired isomorphism. By Theorem 2.1 in [2], one has that V (m) = H ( m ), for all m S. Therefore, we have the following elementary consequence: Corollary 4. H ( m ) = V (m), for all 0 and m S. Notice that the above corollary assures that the multigraded Betti number s +1,m equals the rank of the -reduced homology group H ( m ) of the simplicial complex m. Furthermore, we emphasize that Corollaries 2.2 and 2.3 in [2] may be written in terms of the complexes m, by simply using Theorem 3. Obtaining by this way necessary and sufficient combinatorial conditions for [S] to be Cohen-Macaulay or Gorenstein. Indeed, [S] is Cohen-Macaulay if, and 5

6 only if, Hr d ( m ) = 0, for every m S, where d = rank(g(s)). In this case, the Cohen-Macaulay type of [S] is s r d = m S dim H r d 1 ( m ). 3 Computing syzygies from combinatorics In this section, we will explicitly describe the isomorphism whose existence we have proved in Corollary 4. We will start by giving an isomorphism H 0 ( m ) σ 0 = V 0 (m). As the reader can note, the construction of σ 0 follows from the definition of H0 ( m ) = Z 0 ( m )/ B 0 ( m ) and V 0 (m) = (N 0 ) m /(mn 0 ) m. However, we will give the construction by taking in mind the general case in order to introduce the notation of this section. First of all, consider the linear map ψ 0 : F 0( m) R; {x α } x α. (1) This map induces an isomorphism from Z 0 ( m ) to (N 0 ) m. More precisely, Z 0 ( m ) (N 0 ) m ; b := {x α } {x β } b := x α x β, recall that Z 0 ( m ) is generated by {x α } {x β }, with x α and x β C m, and (N 0 ) m is generated by pure difference binomials of S-degree equals m. Therefore, we have a surective map ψ 0 given by the composition Z 0 ( m ) (N 0 ) m V 0 (m) = (N 0 ) m /(mn 0 ) m. Lemma 5. B0 ( m ) ker ψ 0. Proof. Since f B 0 ( m ) = im( 1 ), there exist {x α,x β } m and µ, such that ) µ {x α,x β } µ ({x β } {x α } = f. 1 = So, f = ψ 0 ( f) = ) µ (x β x α = µ x γ x β x α }{{}, N 0 with x γ = gcd(x α,x β ),x α = x α /x γ and x β = x β /x γ, moreover, x γ 1, because {x α,x β } is an edge of m. Thus, f (mn 0 ) m as claimed. 6

7 Therefore, by Lemma 5, ψ 0 factorizes canonically through H 0 ( m ) : Z 0 ( m ) ψ 0 V 0 (m) π σ 0 H 0 ( m ) Notice, that σ 0 is an isomorphism because it is surective and, by Corollary 4, dim H 0 ( m ) = dimv 0 (m). Now we will show a combinatorial method to compute some minimal binomial generators of I S from a given binomial in I S. But first, we will introduce an important property of the complexes m which claims that m can be easily computed from m, for every m S m, i.e., if m m S. Lemma 6. Let m and m S. If m S m, then m = {F Cm x β properly divides gcd(f)}, for any (fixed) monomial x β C m m. Proof. Let x β a monomial in C m m. If F = {x α 1,...,x α t } m, then F = {x α 1 +β,...,x α t +β } m. Conversely, consider F = {x α 1,..., x αt } m such that x β divides gcd(f) and gcd(f) x β. Since x β divides x α i, i = 1,...,t, and gcd(f) x β, we conclude that F = {x α 1 β,...,x αt β } is a face of m. Theorem 7. Given x α x β (I S ) m. It can be effectively computed from m (a) a subset {b 1,...,b t } of a minimal binomial generator set of I S ; (b) f 1,...,f t R, such that x α x β = t i=1 f ib i and gcd(x α,x β ) divides f i, i = 1,...,t. Proof. We divide the proof in two steps. STEP 1.- Write x α x β = x γ (x α x β ), where x γ = gcd(x α,x β ), x α = x α /x γ and x β = x β /x γ. Notice that {x α } and {x β } are adacent in m when x γ 1, and that {x α } and {x β } are never adacent in m, where m is the S-degree of x α (and x β, of course). Moreover, m S m, when x γ 1. STEP 2.- By Step 1, we may assume that {x α } and {x β } are not adacent. Let {ĝ 1,...,ĝ t, b1,..., b t } be a -basis of Z0 ( m ) such that ĝ = {x α } {x β } B 0 ( m ), for every, with gcd(x α,x β ) 1 and the classes of b 1,..., b t form a basis of H 0 ( m ). 7

8 Then, {x α } {x β } = i λ i bi + µ ĝ, for some λ i and µ. Without loss of generality, we may suppose that b i, i = 1,...,t, is a pure difference of vertices in m. Therefore, x α x β = ψ 0 ({x α } {x β }) = i λ i b i + µ g. (2) If µ = 0, for every, we are done. Otherwise, we repeat this procedure (starting from Step 1) for each g = x α x β with µ 0. Since gcd(x α,x β ) 1, the S-degree of the binomial produced in Step 1 will be strictly lesser than the degree of g, so, we may guarantee that this process ends in finitely many iterations 1. We show with an example how to compute some minimal binomial generators by using the above theorem. Example 8. Let S Z 2 be the semigroup generated by the columns of the following matrix ( ) The binomial g = x 2 2 x 6 3 x 3 1 x 5 4 is clearly in I S [x 1,...,x 4 ] and its S-degree is m = (52,8) = 2(5,1) + 6(7,1) S. The vertex set 2 of m is { C m = x 2 2 x 6 3, x 3 2 x 3 3 x 2 4, x 4 2 x 4 4, x 1 x 2 x 5 3 x 4, x 1 x 2 2 x 2 3 x 3 4, } x 2 1 x 4 3 x 2 4, x 2 1 x 2 x 3 x 4 4, x x 4 The simplicial complex m is clearly connected, so { } {x α } {x 3 2 x 3 3 x 2 4 } x α C m \ {x 3 2 x 3 3 x 2 4 } is a -basis of B 0 ( m ) = Z 0 ( m ) and ĝ = {x 2 2 x 3 6 } {x 1 3 x 4 5 } = ( {x 2 2 x 3 6 } {x 2 3 x 3 3 x 4 2 } ) ( {x 1 3 x 4 5 } {x 2 3 x 3 3 x 4 2 } ) 1 It is convenient to recall that, by Lemma 6, we do not need to compute the new complexes m, for any. 2 One can compute this set by solving diophantine equations (see [7]). 8

9 Since x 2 2 x 3 6 x 2 3 x 3 3 x 4 2 = x 2 2 x 3 3 ( x 3 3 x 2 x 4 2 ) and x 1 3 x 4 5 x 2 3 x 3 3 x 4 2 = x 4 2 ( x 1 3 x 4 3 x 2 3 x 3 3 ). The binomials that we are interested in now are g 1 = x 3 3 x 2 x 4 2 and g 2 = x 1 3 x 4 3 x 2 3 x 3 3 which have S-degree m 1 = (21,3) and m 2 = (36,6) S, respectively. By Lemma 6, C m1 = {x 3 3, x 2 x 4 2 } and m1 is disconnected. Thus, we conclude that b 1 = g 1 is minimal binomial generator of I S. On the other hand, by Lemma 6 again, we have that C m2 = {x 2 3 x 3 3, x 2 4 x 4 2, x 1 x 2 2 x 3 2 x 4, x 1 2 x 3 4,x 1 2 x 2 x 3 x 4 2, x 1 3 x 4 3 } and that m2 is connected. A -basis of B 0 ( m2 ) = Z 0 ( m2 ) is { } {x α } {x 1 x 2 2 x 2 3 x 4 } x α C m2 \ {x 1 x 2 2 x 2 3 x 4 } and ĝ 2 = {x 3 2 x 3 3 } {x 3 1 x 3 4 } = ( ) = {x 3 2 x 3 3 } {x 1 x 2 2 x 2 3 x 4 } ( ) {x 3 1 x 3 4 } {x 1 x 2 2 x 2 3 x 4 }. Since x 2 3 x 3 3 x 1 x 2 2 x 3 2 x 4 = x 2 2 x 3 2 ( x 2 x 3 x 1 x 4 ) and x1 3 x 4 3 x 1 x 2 2 x 32 x 4 = x 1 x 4 ( x1 2 x 4 2 x 2 2 x 3 2 ) we have to consider now the binomials g 21 = x 2 x 3 x 1 x 4 and g 22 = x 1 2 x 4 2 x 2 2 x 3 2. By using Lemma 6 in order to compute the corresponding simplicial complexes, it is easy to see that b 2 = g 21 (I S ) (12,2) is a minimal binomial generator and that g 22 = x 1 2 x 4 2 x 2 2 x 3 2 (I S ) (24,4) is not, because C m3 = {x 1 2 x 4 2,x 1 x 2 x 3 x 4,x 2 2 x 3 2 }, with m 3 = (24,2), and m3 is connected. A -basis of B 0 ( m2 ) = Z 0 ( m2 ) is { {x 1 2 x 4 2 } {x 1 x 2 x 3 x 4 }, {x 2 2 x 3 2 } {x 1 x 2 x 3 x 4 } } and then ĝ 22 = {x 2 1 x 2 4 } {x 2 2 x 2 3 } ( ) = {x 2 1 x 2 4 } {x 1 x 2 x 3 x 4 } ( ) {x 2 2 x 2 3 } {x 1 x 2 x 3 x 4 } Thus, g 22 = x 1 x 4 (x 1 x 4 x 2 x 3 ) x 2 x 3 (x 2 x 3 x 1 x 4 ) = ( x 1 x 4 x 2 x 3 )(x 2 x 3 x 1 x 4 ) Summarizing, we have obtained two minimal binomial generators, b 1 = x 3 3 x 2 x 4 2 and b 2 = x 2 x 3 x 1 x 4 of I S and two polynomials f 1 = x 2 2 x 3 3, and f 2 = x 2 4( x2 2 x x 1 x 2 x 3 x 4 + x 1 2 x 4 2 ) such that x 2 2 x 3 6 x 1 3 x 4 5 = f 1 b 1 + f 2 b 2. 9

10 The algorithm described in the proof of Theorem 7 produces a subset of a minimal set of binomial generators of I S starting from a binomial in S of any S-degree m. It could be desirable to know the minimal number of S- degrees that one needs to construct a minimal binomial generating set of I S. This will constitute a nice combinatorial algorithm to compute a minimal set of binomial generators of the semigroup ideal. Remark 9. Observe that, in the proof of Theorem 7, we have chosen a basis for each Z 0 ( m ) appearing in. In order to assure an uniqueness result for the binomials b 1,...,b t, it is enough to fix any criterion when we choose such basis of Z 0 ( m ), for instance, by fixing a monomial order. This uniqueness is crucial when we are dealing with different binomials and we want to compare the minimal binomial generators obtained from them. 3.1 First syzygies of semigroup ideals Remark 10. For the sake of simplicity in the notation, we will assume that B := {b 1,...,b s1 } is a fixed minimal system of binomial generators of I S. Although this is not truly necessary. In practice, we will produce the needed minimal binomial generators of I S by using Theorem 7. We define the linear multivalued map ψ 1 : F 1( m) R s 1 ; {x α,x β } f := where f i 0 is given by Theorem 7 from x α x β. Example 11. For instance, in Example 8, we have obtained that x 2 2 x 3 3 ({ ψ 2 1 x2 x 6 3, x x }) x 2 2 x 2 3 x x 1 x 2 x 3 x x 2 1 x = 0 R s Remark 12. In the following, we will write [f 1,...,f s ] R s instead of to use column-vector notation. Observe that the multivalued map ψ 1 makes commutative the following diagram F 1( m) ψ 1 R s 1 f 1. f s1 ϕ 1 1 F 0( m) ψ 0 R, (3) 10

11 where the bottom row map is defined as in (1). Furthermore, one can see that the multivalued map ψ 1 sends 1-cycles to 1 syzygies. Indeed, if z = i λ i{x α i,x α i+1 } Z 1 ( m ), then 1 (z) = 0. Thus, if i λ i[f i1,...,f is1 ] is one of the images of z, we have that ( ) 0 = ϕ 1 λ i [f i1,...,f is1 ] = λ i f i b = ( λ i f i )b. (4) i i i Thus, [ i λ if i1,..., i λ if is1 ] is a syzygy, as claimed. The converse is also true in the following sense: Lemma 13. The map ψ 1 : Z 1 ( m ) (N 1 ) m is surective. Proof. Let f = [f 1,...,f s1 ] (N 1 ) m. Thus, if b i = x α i x β i and f i = λ ix γ i, i = 1,...,s 1, it follows that 0 = f i b i = ( )( ) λ i x γ i x α i x β i i = ) λ i (x γ i x α i x γ i x β. i, By taking f = i, ψ 1 ( f). λ i {x γ i+β i,x γ i+α i } Z 1 ( m ), we conclude that f = Thus, we have a surective map ψ 1 which is nothing but the composition Z 1 ( m ) (N 1 ) m V 1 (m) = (N 1 ) m /(mn 1 ) m. Lemma 14. B1 ( m ) ker ψ 1. Proof. Since B 1 ( m ) = im( 2 ) and 2 is linear, it suffices to prove that 2 (F) ker ψ 1 for any 2-dimensional face F of m. Let F = {x α 1,x α 2,x α 3 } be a 2-dimensional face of m. Then x γ = gcd(f) 1. Thus, by Theorem 7, there exist [f i1,...,f is1 ] (N 1 ) m, i = 1,2,3, such that ψ 1 ( 2 (F)) = ψ 1 ({x α 2,x α 3 } {x α 1,x α 3 } + {x α 1,x α 2 }) = [f 11,...,f 1s1 ] [f 21,...,f 2s1 ] + [f 31,...,f 3s1 ] = x γ( ) [f 11,...,f 1s 1 ] [f 21,...,f 2s 1 ] + [f 31,...,f 3s 1 ] = x γ [f 11 f 21 + f 31,...,f 1s 1 f 2s 1 + f 3s 1 ] Therefore, ψ 1 ( 2 (F)) (mn 1 ) m, as claimed. 11

12 By Lemma 14, ψ 1 factorizes canonically through H 1 ( m ) : Z 1 ( m ) ψ 1 V 1 (m) π σ 1 H 1 ( m ) As before, σ 1 is an isomorphism because it is surective and, by Corollary 4, dim H 1 ( m ) = dimv 1 (m). Proposition 15. Given g := [g 1,...,g s1 ] (N 1 ) m. It can be effectively computed from m (a) a subset {b (1) 1,...,b(1) t } of a minimal system of generators of the first module of syzygies of R/I S. (b) f 1,...,f t R, such that g = t =1 f b (1) f, = 1,...,t. and gcd(g 1,...,g s1 ) divides Proof. Write g = hg, where h := gcd(g 1,...,g s1 ). Notice that when h 1, the S-degree of g is strictly lesser than the S-degree of g. For simplicity, we assume that gcd(g 1,...,g s1 ) = 1, i.e. g = g. Let {ĝ 1,...,ĝ t, b1,..., b t } be a -basis of Z1 ( m ) such that ĝ = 2 (F ), where F is 2-dimensional face of m, for every, and the classes of b 1,..., b t form a basis of H 1 ( m ). So, if ĝ Z 1 ( m ) is such that g = ψ 1 (ĝ) (N 1 ) m (see Lemma 13 and its proof), then ĝ = λ i bi + µ ĝ, i for some λ i and µ, therefore, g = ψ 1 (ĝ) = i λ i b i + µ g. If µ = 0, for every, we are done. Otherwise, we repeat this procedure for g with µ 0. Since gcd(f ) 1 divides gcd(g ), we may assure that this process ends for S-degree reasons. Let us illustrate the above theorem with an example. 12

13 Example 16. Let B = {x 2 x 3 x 1 x 4, x 3 3 x 2x 2 4, x 1x 2 3 x2 2 x 4, x 3 2 x2 1 x 3} be a minimal generating set of the semigroup ideal I S of example 8. Consider m = (45,7) S and g = [x 2 x x 1 x 2 x 4 3, x 2 2 x 3 2 x 1 2 x 4 2,x 2 x 3 2 x 4 + x 1 x 3 x 4 2,0] (N 1 ) m. Let ĝ Z 1 ( (45,7) ), such that g = ψ 1 (ĝ), be defined as in the proof of Lemma 13: ĝ = { x 2 2 x 3 5, x 1 x 2 x 3 4 x 4 } + { x1 x 2 2 x 3 x 4 3, x 1 2 x 2 x 4 4 } { x 2 2 x 3 2 x 4 2, x 2 x 3 5 } { x 1 2 x 3 3 x 4 2, x 1 2 x 2 x 4 4 } +... As in the proof of Proposition 15, we fix a particular basis of B1 ( m ) in such way we may write ( {x2 ĝ = 2 x 5 3,x 1 x 2 x 4 } { 3 x 4 2 x2 x 2 3 x 2 5 4,x 2 x } 3 + { x 1 x 2 2 x 3 x 2 4,x 2 1 x 3 } ) ( {x1 3 x 4 + x 2 2 x 3 x 3 4,x x 2 x } 4 { x 1 2 x 3 3 x 4 2,x 1 2 x 2 x 4 4 } + { x 1 x 2 x 3 4 x 4,x 2 3 x 3 2 x 4 2 }) +... The image by ψ 1 of the first parenthesis is x 3 [ x 2 x 3 3,x 2 2 x 3, x 1 x 4 2,0] N 1. Then by taking g 1 = [ x 2 x 3 3,x 2 2 x 3, x 1 x 4 2,0] (N 1 ) (38,6) we may repeat the above process again and so. By proceeding similarly with all the other parenthesis, we finally get: g =x 2 x 3 2 [ x 3 2,x 2, x 4,0] + x 1 x 4 2 [ x 2 x 4,x 1, x 3,0] Thus, we have obtained two minimal syzygies in S degrees (25, 4) and (26, 4), respectively. 3.2 i syzygies of semigroup ideal Now, we could define the new linear multivalued map ψ 2 : F 2( m) R s 2 ; {x α,x β,x γ } f := [f 1,...,f s2 ], where f i 0 is given by Proposition 15 from ψ 1 2 ({x α,x β,x γ }) (N 1 ) m. (5) This multivalued map sends 2-cycles to 2-syzygies. Then by repeating the same process as before we will able to describe an isomorphism H 2 ( m ) σ 2 = V 2 (m). 13

14 To avoid annoying repetitions, let us construct the isomorphism H i ( m ) σ i = V i (m) for a general i. To do that, we will assume that there exist maps ψ : F ( m) R s and ψ : Z ( m ) V (m) such that ψ is surective and B ( m ) ker ψ, = 0,...,i 1. Recall that, under our hypothesis, all the squares in following diagram are commutative F i( m) ψ i R s i i ϕ i F i 1( m) ψ i 1 R s i 1.. (6) F 1( m) ψ 1 R s 1 ϕ 1 1 F 0( m) ψ 0 R The multivalued map on the top, ψ i, can be defined as (5) by simply writing the coordinates of ψ i 1 i (F), F F i ( m ), with respect an assumed known minimal generating set of N i 1, {b (i 1) 1,...,b (i 1) s i 1 }. As in (4), it is easy to see that ψ i sends i-cycles to i-syzygies. Besides ψ i is surective. Indeed, given g := [g 1,...,g si ] (N i ) m with g = k λ kx δ k R, one obtains that where x δ kb (i 1) 0 = This cycle can be write as conclude that g b (i 1) = (mn i 1 ) m. Now, let us consider k λ k x δ k b (i 1), x δ kb (i 1) = ψ 1 i 1 (x δ k b (i 1) ) B i 1 ( m ). ĝ = satisfies g = ψ i (ĝ), as claimed. x δ kb (i 1) = l µ kl i ( F }{{} l ). Therefore, we F i ( m) λ k µ kl F l Z i ( m ) k l 14

15 Finally, one can prove that B i ( m ) ker ψ i with the same arguments as in Lemma 14. So, we have surection ψ i : Z i ( m ) (N i ) m V i (m), which factorizes canonically through H i ( m ) : Z i ( m ) ψ i V i (m) π σ i H i ( m ) This defines an isomorphism σ i as desired. The last ingredient in our construction is the following result which guarantees that we will be able to define ψ i+1 in similar terms as we did for ψ 1 and ψ 2. This will complete our main obective: to give an explicit description of the isomorphism in Corollary 4. Corollary 17. Given g := [g 1,...,g si ] (N i ) m. It can be effectively computed from m (a) a subset {b (i) 1,...,b(i) t } of a minimal system of generators of the i th module of syzygies of R/I S. (b) f 1,...,f t R, such that g = t =1 f b (i) f, = 1,...,t. and gcd(g 1,...,g si ) divides Proof. This proof is the natural generalization of the proofs of Theorem 7 and Proposition 15. Write g = hg, where h := gcd(g 1,...,g si ). The S-degree(g ) S S- degree(g), when h 1. For the sake of notation and without loss of generality, we suppose that gcd(g) = 1, i.e., g = g. Let {ĝ 1,...,ĝ t, b1,..., b t } be a -basis of Zi ( m ) such that ĝ = i+1 (F ), where F F i+1 ( m ), and the classes of b 1,..., b t form a basis of Hi ( m ). Now, we compute ĝ Z i ( m ) such that g = ψ i (ĝ) with ĝ = i λ i b i + µ ĝ, for some λ i and µ, therefore, g = i λ ib i + µ g. If µ = 0, for every, we are done. Otherwise, we repeat this procedure for g with µ 0. This process ends for S-degree reasons. By the above corollary, we can conclude that, starting from any i syzygy g of I S, our combinatorial algorithm effectively computes a subset B of a minimal generating set B of N i and the polynomial coefficients of g with respect B (and therefore with respect to B) without knowing other i syzygies. It is very important to note that g is not relevant by itself. Given its S- degree m, we can effectively produce i syzygies of R/I S in the S degree m and subsets of minimal generators of N, i. All the construction lie in the simplicial complex m. 15

16 Finally, let us see how our algorithmic procedure produces part of the minimal free resolution of a semigroup algebra [S] starting from one S- degree. In fact, in the next example, we will get the whole resolution. Example 18. Let S be the semigroup in example 8 and consider m = (60,10) S. The set of vertices of the simplicial complex m is C m = {x 2 5 x 3 5, x 2 6 x 3 2 x 4 2, x 1 x 2 4 x 3 4 x 4, x 1 x 2 5 x 3 x 4 3, x 1 2 x 2 2 x 3 6, x 1 2 x 2 3 x 3 3 x 4 2, x 1 2 x 2 4 x 4 4, x 1 3 x 2 x 3 5 x 4, x 1 3 x 2 2 x 3 2 x 4 3, x 1 4 x 3 4 x 4 2, x 1 4 x 2 x 3 x 4 4,x 1 5 x 4 5 } We are going to catch syzygies of R/I S using Diagram (6). To do that we choose the following 3-dimensional face of m F = { x 1 x 4 2 x 4 3 x }{{} 4, x 2 1 x x 3, x }{{} 2 1 x 3 2 x x 4, x }{{} 3 1 x 2 x 5 } 3 x }{{} 4 A B C D By Theorem 7, considering the 1-dimensional faces of F, we are able to construct four -linearly independent minimal binomial generators of I S, that is, 0-syzygies of R/I S {A,B} b 1 = x 2 2 x 4 x 1 x 3 2 {A,C} b 2 = x 2 x 3 x 1 x 4 {A,D} b 3 = x 2 3 x 1 x 3 x 4 {B,C} b 4 = x 3 3 x 2 x 4 2 {B,D} b 2 {C,D} b 1 Recall that the obtained coefficients are also needed, although we do not write them here. Now, by Proposition 15, using the 2-dimensional faces of F and the nonwritten above coefficients, we are able to produce four -linearly independent 1-syzygies of R/I S : {A,B,C} b (1) 1 = [x 3, x 2 x 4,0,x 1,0,...,0] R s 1 {A,B,D} b (1) 2 = [x 2,x 1 x 3, x 4,0,0,...,0] R s 1 {A,C,D} b (1) 3 = [x 1,x 2 2, x 3,0,0,...,0] R s 1 {B,C,D} b (1) 4 = [x 4, x 2 3,0,x 2,0,...,0] R s 1 Again, we do not write here the obtained coefficients, although we insist that they are necessary to go further. Notice that the coordinates of b (1) i, i = 1,..., 4, has been completed with zeroes, because a priori we do not know whether the rank of R s 1 is 4. 16

17 Finally, by Corollary 17, using the 3-dimensional face of F and the nonwritten above coefficients, we get one 2-syzygy of R/I S : F = {A,B,C,D} b (2) 1 = [ x 2,x 3, x 4,x 1,0,...,0] R s 2 Therefore, we have obtained a chain complex of free R-modules 0 R R 4 R 4 R R/J, (7) where J = (b 1,b 2,b 3,b 4 ) R, which is a subcomplex of the minimal free resolution of R/I S. In this case, it is not difficult to see that I S = J is a Gorenstein ideal of codimension 2 and thus (7) is its minimal free resolution. Acknowledgments.- We would like to thank Prof. Emilio Briales-Morales and Prof. Antonio Campillo-López for helpful comments and suggestions. References [1] E. Briales, A. Campillo, C. Mariuán, P. Pisón, Minimal Systems of Generetors for Ideals of Semigroups. J. Pure Appl. Algebra, 124 (1998), [2] E. Briales, A. Campillo, C. Mariuán, P. Pisón, Combinatorics of syzygies for semigroup algebra. Collect. Math. 49 (1998), [3] E. Briales-Morales, A. Campillo-López, P. Pisón-Casares, A. Vigneron-Tenorio, Minimal resolutions of lattice ideals and integer linear programming. Rev. Mat. Iberoamericana 19(2) (2003), [4] W. Bruns, J. Herzog, Cohen-Macaulay rings. Cambridge studies in advanced mathematics, vol. 39, Cambridge University Press, [5] A. Campillo, P. Gimenez, Syzygies of affine toric varieties. J. Algebra 225 (2000), [6] S. Eliahou, Courbes monomiales et algébre de Rees symbolique. PhD thesis (in French). Université of Genève, [7] P. Pisón-Casares, A. Vigneron-Tenorio, N-solutions to linear systems over Z. Linear Algebra Appl. 384 (2004), [8] J.J. Rotman, An introduction to algebraic topology. GTM, vol. 119, Springer-Verlag, [9] B. Sturmfels, Gröbner bases and convex polytopes, volume 8 of University Lecture Series. American Mathematical Society, Providence, RI,