arxiv: v2 [math.ac] 19 Dec 2008
|
|
- Hortense Wade
- 5 years ago
- Views:
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,
Journal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More informationE. GORLA, J. C. MIGLIORE, AND U. NAGEL
GRÖBNER BASES VIA LINKAGE E. GORLA, J. C. MIGLIORE, AND U. NAGEL Abstract. In this paper, we give a sufficient condition for a set G of polynomials to be a Gröbner basis with respect to a given term-order
More informationarxiv: v1 [math.ac] 8 Jun 2012
DECOMPOSITION OF MONOMIAL ALGEBRAS: APPLICATIONS AND ALGORITHMS JANKO BÖHM, DAVID EISENBUD, AND MAX J. NITSCHE arxiv:1206.1735v1 [math.ac] 8 Jun 2012 Abstract. Considering finite extensions K[A] K[B] of
More informationJournal of Pure and Applied Algebra
Journal of Pure and Applied Algebra 215 (2011) 1255 1262 Contents lists available at ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa The colorful Helly
More informationTHE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER
THE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER arxiv:1409.2041v2 [math.ac] 11 Sep 2014 Abstract. We define the Buchberger resolution, which is a graded free resolution of a monomial ideal in
More informationLecture 12: Feb 16, 2017
CS 6170 Computational Topology: Topological Data Analysis Spring 2017 Lecture 12: Feb 16, 2017 Lecturer: Prof Bei Wang University of Utah School of Computing Scribe: Waiming Tai This
More informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationarxiv: v1 [math.ac] 8 Jun 2010
REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the
More informationSome Algebraic and Combinatorial Properties of the Complete T -Partite Graphs
Iranian Journal of Mathematical Sciences and Informatics Vol. 13, No. 1 (2018), pp 131-138 DOI: 10.7508/ijmsi.2018.1.012 Some Algebraic and Combinatorial Properties of the Complete T -Partite Graphs Seyyede
More informationConnected Sums of Simplicial Complexes
Connected Sums of Simplicial Complexes Tomoo Matsumura 1 W. Frank Moore 2 1 KAIST 2 Department of Mathematics Wake Forest University October 15, 2011 Let R,S,T be commutative rings, and let V be a T -module.
More informationGENERIC LATTICE IDEALS
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 11, Number 2, April 1998, Pages 363 373 S 0894-0347(98)00255-0 GENERIC LATTICE IDEALS IRENA PEEVA AND BERND STURMFELS I. Introduction Let S = k[x 1,...,x
More informationMULTIPLICITIES OF MONOMIAL IDEALS
MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I
More informationNEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS
NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS M. R. POURNAKI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let be a simplicial complex and χ be an s-coloring of. Biermann and Van
More informationarxiv: v2 [math.ra] 25 Feb 2017
THE SHORT RESOLUTION OF A SEMIGROUP ALGEBRA I. OJEDA AND A. VIGNERON-TENORIO arxiv:1512.00345v2 [math.ra] 25 Feb 2017 Abstract. This work generalizes the short resolution given in Proc. Amer. Math. Soc.
More informationLCM LATTICES SUPPORTING PURE RESOLUTIONS
LCM LATTICES SUPPORTING PURE RESOLUTIONS CHRISTOPHER A. FRANCISCO, JEFFREY MERMIN, AND JAY SCHWEIG Abstract. We characterize the lcm lattices that support a monomial ideal with a pure resolution. Given
More informationINITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F
INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal
More informationRigid monomial ideals
Rigid monomial ideals Timothy B.P. Clark and Sonja Mapes February 10, 011 Abstract In this paper we investigate the class of rigid monomial ideals. We give a characterization of the minimal free resolutions
More informationarxiv: v2 [math.ac] 24 Sep 2014
When is a Squarefree Monomial Ideal of Linear Type? Ali Alilooee Sara Faridi October 16, 2018 arxiv:1309.1771v2 [math.ac] 24 Sep 2014 Abstract In 1995 Villarreal gave a combinatorial description of the
More informationOn the minimal free resolution of a monomial ideal.
On the minimal free resolution of a monomial ideal. Caitlin M c Auley August 2012 Abstract Given a monomial ideal I in the polynomial ring S = k[x 1,..., x n ] over a field k, we construct a minimal free
More informationarxiv: v1 [math.ac] 11 Dec 2013
A KOSZUL FILTRATION FOR THE SECOND SQUAREFREE VERONESE SUBRING arxiv:1312.3076v1 [math.ac] 11 Dec 2013 TAKAYUKI HIBI, AYESHA ASLOOB QURESHI AND AKIHIRO SHIKAMA Abstract. The second squarefree Veronese
More informationFREE RESOLUTION OF POWERS OF MONOMIAL IDEALS AND GOLOD RINGS
FREE RESOLUTION OF POWERS OF MONOMIAL IDEALS AND GOLOD RINGS N. ALTAFI, N. NEMATI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let S = K[x 1,..., x n ] be the polynomial ring over a field K. In this
More informationIntersections of Leray Complexes and Regularity of Monomial Ideals
Intersections of Leray Complexes and Regularity of Monomial Ideals Gil Kalai Roy Meshulam Abstract For a simplicial complex X and a field K, let h i X) = dim H i X; K). It is shown that if X,Y are complexes
More informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationCellular Binomial Ideals. Primary Decomposition of Binomial Ideals
J. Symbolic Computation (2000) 30, 383 400 doi:10.1006/jsco.1999.0413 Available online at http://www.idealibrary.com on Cellular Binomial Ideals. Primary Decomposition of Binomial Ideals IGNACIO OJEDA
More informationarxiv:math/ v1 [math.ac] 11 Jul 2006
arxiv:math/0607249v1 [math.ac] 11 Jul 2006 MINIMAL SYSTEMS OF BINOMIAL GENERATORS AND THE INDISPENSABLE COMPLEX OF A TORIC IDEAL HARA CHARALAMBOUS, ANARGYROS KATSABEKIS, AND APOSTOLOS THOMA Abstract. Let
More informationREMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES
REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules
More informationACYCLIC COMPLEXES OF FINITELY GENERATED FREE MODULES OVER LOCAL RINGS
ACYCLIC COMPLEXES OF FINITELY GENERATED FREE MODULES OVER LOCAL RINGS MERI T. HUGHES, DAVID A. JORGENSEN, AND LIANA M. ŞEGA Abstract We consider the question of how minimal acyclic complexes of finitely
More informationBUILDING MODULES FROM THE SINGULAR LOCUS
BUILDING MODULES FROM THE SINGULAR LOCUS JESSE BURKE, LARS WINTHER CHRISTENSEN, AND RYO TAKAHASHI Abstract. A finitely generated module over a commutative noetherian ring of finite Krull dimension can
More informationarxiv: v1 [math.ac] 18 Mar 2014
LINEARLY RELATED POLYOMINOES arxiv:1403.4349v1 [math.ac] 18 Mar 2014 VIVIANA ENE, JÜRGEN HERZOG, TAKAYUKI HIBI Abstract. We classify all convex polyomino ideals which are linearly related or have a linear
More informationarxiv: v1 [math.ac] 6 Jan 2019
GORENSTEIN T-SPREAD VERONESE ALGEBRAS RODICA DINU arxiv:1901.01561v1 [math.ac] 6 Jan 2019 Abstract. In this paper we characterize the Gorenstein t-spread Veronese algebras. Introduction Let K be a field
More informationNUMERICAL MONOIDS (I)
Seminar Series in Mathematics: Algebra 2003, 1 8 NUMERICAL MONOIDS (I) Introduction The numerical monoids are simple to define and naturally appear in various parts of mathematics, e.g. as the values monoids
More informationTHE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE
JOURNAL OF COMMUTATIVE ALGEBRA Volume 8, Number 4, Winter 2016 THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE IULIA GHEORGHITA AND STEVEN V SAM ABSTRACT. We describe the cone of
More informationLINEAR RESOLUTIONS OF QUADRATIC MONOMIAL IDEALS. 1. Introduction. Let G be a simple graph (undirected with no loops or multiple edges) on the vertex
LINEAR RESOLUTIONS OF QUADRATIC MONOMIAL IDEALS NOAM HORWITZ Abstract. We study the minimal free resolution of a quadratic monomial ideal in the case where the resolution is linear. First, we focus on
More informationarxiv:math/ v1 [math.ac] 11 Nov 2005
A note on Rees algebras and the MFMC property arxiv:math/0511307v1 [math.ac] 11 Nov 2005 Isidoro Gitler, Carlos E. Valencia and Rafael H. Villarreal 1 Departamento de Matemáticas Centro de Investigación
More informationBetti numbers and regularity of projective monomial curves
Betti numbers and regularity of projective monomial curves by Nathan Mark Grieve A thesis submitted to the Department of Mathematics and Statistics in conformity with the requirements for the degree of
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationarxiv: v2 [math.ac] 29 Sep 2013
FREE RESOLUTION OF POWERS OF MONOMIAL IDEALS AND GOLOD RINGS arxiv:1309.6351v2 [math.ac] 29 Sep 2013 N. ALTAFI, N. NEMATI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let S = K[x 1,...,x n ] be the polynomial
More informationGorenstein rings through face rings of manifolds.
Gorenstein rings through face rings of manifolds. Isabella Novik Department of Mathematics, Box 354350 University of Washington, Seattle, WA 98195-4350, USA, novik@math.washington.edu Ed Swartz Department
More informationThe Topology of Intersections of Coloring Complexes
The Topology of Intersections of Coloring Complexes Jakob Jonsson October 19, 2005 Abstract In a construction due to Steingrímsson, a simplicial complex is associated to each simple graph; the complex
More informationAn introduction to Hodge algebras
An introduction to Hodge algebras Federico Galetto May 28, 2009 The Grassmannian Let k be a field, E a k-vector space of dimension m Define Grass(n, E) := {V E dim V = n} If {e 1,, e m } is a basis of
More informationNUMERICAL MACAULIFICATION
NUMERICAL MACAULIFICATION JUAN MIGLIORE AND UWE NAGEL Abstract. An unpublished example due to Joe Harris from 1983 (or earlier) gave two smooth space curves with the same Hilbert function, but one of the
More informationHamiltonian Tournaments and Gorenstein Rings
Europ. J. Combinatorics (2002) 23, 463 470 doi:10.1006/eujc.2002.0572 Available online at http://www.idealibrary.com on Hamiltonian Tournaments and Gorenstein Rings HIDEFUMI OHSUGI AND TAKAYUKI HIBI Let
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationA degree bound for codimension two lattice ideals
Journal of Pure and Applied Algebra 18 (003) 01 07 www.elsevier.com/locate/jpaa A degree bound for codimension two lattice ideals Leah H. Gold Department of Mathematics, Texas A& M University, College
More informationarxiv: v2 [math.ac] 19 Oct 2014
A duality theorem for syzygies of Veronese ideals arxiv:1311.5653v2 [math.ac] 19 Oct 2014 Stepan Paul California Polytechnic State University San Luis Obispo, CA 93407 0403 (805) 756 5552 stpaul@calpoly.edu
More informationA Polarization Operation for Pseudomonomial Ideals
A Polarization Operation for Pseudomonomial Ideals Jeffrey Sun September 7, 2016 Abstract Pseudomonomials and ideals generated by pseudomonomials (pseudomonomial ideals) are a central object of study in
More informationarxiv: v1 [math.ac] 8 Sep 2014
SYZYGIES OF HIBI RINGS VIVIANA ENE arxiv:1409.2445v1 [math.ac] 8 Sep 2014 Abstract. We survey recent results on resolutions of Hibi rings. Contents Introduction 1 1. Hibi rings and their Gröbner bases
More informationFace vectors of two-dimensional Buchsbaum complexes
Face vectors of two-dimensional Buchsbaum complexes Satoshi Murai Department of Mathematics, Graduate School of Science Kyoto University, Sakyo-ku, Kyoto, 606-8502, Japan murai@math.kyoto-u.ac.jp Submitted:
More informationarxiv: v2 [math.ac] 7 Nov 2017
SYMBOLIC BLOWUP ALGEBAS OF MONOMIAL CUVES IN A 3 DEFINED BY AIHMEIC SEQUENCE CLAE D CUZ arxiv:1708.01374v [math.ac] 7 Nov 017 Abstract. In this paper, we consider monomial curves ina 3 k parameterized
More informationA NICE PROOF OF FARKAS LEMMA
A NICE PROOF OF FARKAS LEMMA DANIEL VICTOR TAUSK Abstract. The goal of this short note is to present a nice proof of Farkas Lemma which states that if C is the convex cone spanned by a finite set and if
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationOPENNESS OF FID-LOCI
OPENNESS OF FID-LOCI YO TAKAHASHI Abstract. Let be a commutative Noetherian ring and M a finite -module. In this paper, we consider Zariski-openness of the FID-locus of M, namely, the subset of Spec consisting
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationTHE ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES OVER RINGS OF SMALL DIMENSION. Thomas Marley
THE ASSOCATED PRMES OF LOCAL COHOMOLOGY MODULES OVER RNGS OF SMALL DMENSON Thomas Marley Abstract. Let R be a commutative Noetherian local ring of dimension d, an ideal of R, and M a finitely generated
More informationHILBERT BASIS OF THE LIPMAN SEMIGROUP
Available at: http://publications.ictp.it IC/2010/061 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL
More informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationarxiv: v2 [math.ac] 10 Nov 2011
DECOMPOSITION OF SEMIGROUP ALGEBRAS JANKO BÖHM, DAVID EISENBUD, AND MAX J. NITSCHE arxiv:1110.3653v2 [math.ac] 10 Nov 2011 Abstract. Let A B be cancellative abelian semigroups, and let R be an integral
More informationGröbner bases for the polynomial ring with infinite variables and their applications
Gröbner bases for the polynomial ring with infinite variables and their applications Kei-ichiro Iima and Yuji Yoshino Abstract We develop the theory of Gröbner bases for ideals in a polynomial ring with
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationarxiv: v1 [math.ac] 16 Nov 2018
On Hilbert Functions of Points in Projective Space and Structure of Graded Modules Damas Karmel Mgani arxiv:1811.06790v1 [math.ac] 16 Nov 2018 Department of Mathematics, College of Natural and Mathematical
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationBinomial Ideals from Graphs
Binomial Ideals from Graphs Danielle Farrar University of Washington Yolanda Manzano St. Mary s University Juan Manuel Torres-Acevedo University of Puerto Rico Humacao August 10, 2000 Abstract This paper
More informationarxiv: v1 [math.ac] 4 Nov 2012
ON TEST MODULES FOR FLAT DIMENSION arxiv:1211.0734v1 [math.ac] 4 Nov 2012 JAVIER MAJADAS Abstract. A ring with a test module of finite upper complete intersection dimension is complete intersection. 1.
More informationAlgebraic properties of the binomial edge ideal of a complete bipartite graph
DOI: 10.2478/auom-2014-0043 An. Şt. Univ. Ovidius Constanţa Vol. 22(2),2014, 217 237 Algebraic properties of the binomial edge ideal of a complete bipartite graph Peter Schenzel and Sohail Zafar Abstract
More informationarxiv: v3 [math.ac] 6 Apr 2017
A Homological Theory of Functions Greg Yang Harvard University gyang@college.harvard.edu arxiv:1701.02302v3 [math.ac] 6 Apr 2017 April 7, 2017 Abstract In computational complexity, a complexity class is
More informationOn a class of squarefree monomial ideals of linear type
On a class of squarefree monomial ideals of linear type University of Science and Technology of China Shanghai / November 2, 2013 Basic definition Let K be a field and S = K[x 1,...,x n ] a polynomial
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationFROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES
FROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES TARAN FUNK AND THOMAS MARLEY Abstract. It is proved that a module M over a Noetherian local ring R of prime characteristic and positive dimension has finite
More informationLinearly dependent vectorial decomposition of clutters
Linearly dependent vectorial decomposition of clutters Jaume Martí-Farré 1,2 Departament de Matemàtica Aplicada IV Universitat Politècnica de Catalunya, BarcelonaTech Barcelona, Spain Abstract This paper
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationSYZYGIES OF ORIENTED MATROIDS
DUKE MATHEMATICAL JOURNAL Vol. 111, No. 2, c 2002 SYZYGIES OF ORIENTED MATROIDS ISABELLA NOVIK, ALEXANDER POSTNIKOV, and BERND STURMFELS Abstract We construct minimal cellular resolutions of squarefree
More informationToric Ideals, an Introduction
The 20th National School on Algebra: DISCRETE INVARIANTS IN COMMUTATIVE ALGEBRA AND IN ALGEBRAIC GEOMETRY Mangalia, Romania, September 2-8, 2012 Hara Charalambous Department of Mathematics Aristotle University
More informationarxiv: v2 [math.ac] 17 Apr 2013
ALGEBRAIC PROPERTIES OF CLASSES OF PATH IDEALS MARTINA KUBITZKE AND ANDA OLTEANU arxiv:1303.4234v2 [math.ac] 17 Apr 2013 Abstract. We consider path ideals associated to special classes of posets such as
More informationLINKAGE CLASSES OF GRADE 3 PERFECT IDEALS
LINKAGE CLASSES OF GRADE 3 PERFECT IDEALS LARS WINTHER CHRISTENSEN, OANA VELICHE, AND JERZY WEYMAN Abstract. While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection
More informationDIRAC S THEOREM ON CHORDAL GRAPHS
Seminar Series in Mathematics: Algebra 200, 1 7 DIRAC S THEOREM ON CHORDAL GRAPHS Let G be a finite graph. Definition 1. The graph G is called chordal, if each cycle of length has a chord. Theorem 2 (Dirac).
More informationarxiv: v2 [math.ac] 2 Jul 2017
HUNEKE S DEGREE-COMPUTING PROBLEM MOHSEN ASGHARZADEH ABSTRACT. We deal with a problem posted by Huneke on the degree of generators of symbolic powers. arxiv:1609.04323v2 [math.ac] 2 Jul 2017 1. INTRODUCTION
More informationA NOTE ON BASIC FREE MODULES AND THE S n CONDITION. 1 Introduction
PORTUGALIAE MATHEMATICA Vol. 63 Fasc.4 2006 Nova Série A NOTE ON BASIC FREE MODULES AND THE S n CONDITION Agustín Marcelo, Félix Marcelo and César Rodríguez Abstract: A new definition of basic free submodule
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationALGEBRAIC PROPERTIES OF BIER SPHERES
LE MATEMATICHE Vol. LXVII (2012 Fasc. I, pp. 91 101 doi: 10.4418/2012.67.1.9 ALGEBRAIC PROPERTIES OF BIER SPHERES INGA HEUDTLASS - LUKAS KATTHÄN We give a classification of flag Bier spheres, as well as
More informationThe Hilbert functions which force the Weak Lefschetz Property
The Hilbert functions which force the Weak Lefschetz Property JUAN MIGLIORE Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556, USA E-mail: Juan.C.Migliore.1@nd.edu FABRIZIO ZANELLO
More informationMinimal free resolutions for certain affine monomial curves
Contemporary Mathematics Volume 555, 11 Minimal free resolutions for certain affine monomial curves Philippe Gimenez, Indranath Sengupta, and Hema Srinivasan This paper is dedicated to Wolmer V Vasconcelos
More informationDESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 DESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY CHRISTEL ROTTHAUS (Communicated by Wolmer V. Vasconcelos)
More informationVANISHING THEOREMS FOR COMPLETE INTERSECTIONS. Craig Huneke, David A. Jorgensen and Roger Wiegand. August 15, 2000
VANISHING THEOREMS FOR COMPLETE INTERSECTIONS Craig Huneke, David A. Jorgensen and Roger Wiegand August 15, 2000 The starting point for this work is Auslander s seminal paper [A]. The main focus of his
More informationHilbert regularity of Stanley Reisner rings
International Journal of Algebra and Computation Vol 27, No 3 (2017) 323 332 c World Scientific Publishing Company DOI: 101142/S0218196717500163 Hilbert regularity of Stanley Reisner rings Winfried Bruns
More informationH A A}. ) < k, then there are constants c t such that c t α t = 0. j=1 H i j
M ath. Res. Lett. 16 (2009), no. 1, 171 182 c International Press 2009 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY Hal Schenck and Ştefan O. Tohǎneanu Abstract. The Orlik-Solomon algebra is the cohomology
More informationChapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View
Chapter 3: Homology Groups Topics in Computational Topology: An Algorithmic View As discussed in Chapter 2, we have complete topological information about 2-manifolds. How about higher dimensional manifolds?
More informationTHE AUSLANDER BUCHSBAUM FORMULA. 0. Overview. This talk is about the Auslander-Buchsbaum formula:
THE AUSLANDER BUCHSBAUM FORMULA HANNO BECKER Abstract. This is the script for my talk about the Auslander-Buchsbaum formula [AB57, Theorem 3.7] at the Auslander Memorial Workshop, 15 th -18 th of November
More informationToric Fiber Products
Toric Fiber Products Seth Sullivant North Carolina State University June 8, 2011 Seth Sullivant (NCSU) Toric Fiber Products June 8, 2011 1 / 26 Families of Ideals Parametrized by Graphs Let G be a finite
More informationHomogeneous numerical semigroups, their shiftings, and monomial curves of homogeneous type
Homogeneous numerical semigroups, their shiftings, and monomial curves of homogeneous type International Meeting on Numerical Semigroups with Applications July 4 to 8, 2016 Levico Terme, Italy Based on
More informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
More informationBinomial Exercises A = 1 1 and 1
Lecture I. Toric ideals. Exhibit a point configuration A whose affine semigroup NA does not consist of the intersection of the lattice ZA spanned by the columns of A with the real cone generated by A.
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationA NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS
A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS RAVI JAGADEESAN AND AARON LANDESMAN Abstract. We give a new proof of Serre s result that a Noetherian local ring is regular if
More informationIDEALS AND THEIR INTEGRAL CLOSURE
IDEALS AND THEIR INTEGRAL CLOSURE ALBERTO CORSO (joint work with C. Huneke and W.V. Vasconcelos) Department of Mathematics Purdue University West Lafayette, 47907 San Diego January 8, 1997 1 SETTING Let
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,
More information