arxiv: v2 [math.ac] 8 Oct 2013

Transcription

1 AN INDISPENSABLE CLASSIFICATION OF MONOMIAL CURVES IN A 4 ( ) ANARGYROS KATSABEKIS AND IGNACIO OJEDA arxv: v2 [math.ac] 8 Oct 2013 Abstract. In ths paper a new cassfcaton of monoma curves n A 4 ( ) s gven. Our cassfcaton rees on the detecton of those bnomas and monomas that have to appear n every system of bnoma generators of the defnng dea of the monoma curve; these speca bnomas and monomas are caed ndspensabe n the terature. Ths way to proceed has the advantage of producng a natura necessary and suffcent condton for the defnng dea of a monoma curve n A 4 ( ) to have a unque mnma system of bnoma generators. Furthermore, some other nterestng resuts on more genera casses of bnoma deas wth unque mnma system of bnoma generators are obtaned. Introducton Let [x] := [x 1,...,x n ] be the poynoma rng n n varabes over a fed. As usua, we w denote by x u the monoma x u1 1 xun n of [x], wth u = (u 1,...,u n ) N n, where N stands for the set of non-negatve ntegers. Reca that a pure dfference bnoma dea s an dea of [x] generated by dfferences of monc monomas. Exampes of pure dfference bnoma deas are the torc deas. Indeed, et A = {a 1,...,a n } Z d and consder the semgroup homomorphsm π : [x] [A] := a A ta ; x t a. The kerne of π s denoted by I A and caed the torc dea of A. Notce that the torc dea I A s generated by a the bnomas x u x v such that π(x u ) = π(x v ), see, for exampe, [24, Lemma 4.1]. Defnng deas of monoma curves n the affne n-dmensona space A n ( ) serve as nterestng exampes of torc deas. Of partcuar nterest s to compute and descrbe a mnma generatng set for such an dea. In [12] Herzog provdes a mnma system of generators for the defnng dea of a monoma space curve. The case n = 4 was treated by Bressnky n [4], where Gröbner bases technques have been used to obtan a a mnma generatng set of the dea. A recent topc arsng n Agebrac Statstcs s to study the probem when a torc dea has a unque mnma system of bnoma generators, see [5], [21]. To dea wth ths probem, Ohsug and Hb ntroduced n [17] the noton of ndspensabe bnomas, whe Aok, Takemura and Yoshda ntroduced n [2] the noton of ndspensabe monomas. The probem was consdered for the case of defnng deas of monoma curves n [10]. Athough ths work offers usefu nformaton, the cassfcaton of the deas havng a unque mnma system of bnoma generators remans an unsoved probem for n 4. For monoma space curves Herzog s resut provdes an expct cassfcaton of those defnng deas satsfyng the above property. The am of ths work s to cassfy a defnng deas of monoma curves Date: June 3, Mathematcs Subect Cassfcaton. 13F20 (Prmary) 16W50, 13F55 (Secondary). Key words and phrases. Bnoma dea, torc dea, monoma curve, mnma systems of generators, ndspensabe monomas, ndspensabe bnomas. The second author s partay supported by the proect MTM C03-01, Natona Pan I+D+I and by Junta de Extremadura (FEDER funds). 1

2 2 ANARGYROS KATSABEKIS AND IGNACIO OJEDA n A 4 ( ) havng a unque mnma system of generators. Our approach s nspred by the cassfcaton made by Par Psón n her unpubshed thess. The paper s organzed as foows. In secton 1 we study ndspensabe monomas and bnomas of a pure dfference bnoma dea. We provde a crteron for checkng whether a monoma s ndspensabe, see Theorem 1.9, and aso a suffcent condton for a bnoma to be ndspensabe, see Theorem As an appcaton we prove that the bnoma edge dea of an undrected smpe graph has a unque mnma system of bnoma generators. Secton 2 s devoted to speca casses of bnoma deas contaned n the defnng dea of a monoma curve. Coroary 2.5 undernes the sgnfcance of the crtca dea n the nvestgaton of our probem. Theorem 2.12 and Proposton 2.13 provde necessary and suffcent condtons for a crcut to be ndspensabe of the torc dea, whe Coroary 2.16 w be partcuary usefu n the next secton. In secton 3 we study defnng deas of monoma curves n A 4 ( ). Theorem 3.6 carresout a thorough anayss of a mnma generatng set of the crtca dea. Ths anayss s used to derve a mnma generatng set for the defnng dea of the monoma curve, see Theorem As a consequence we obtan the desred cassfcaton, see Theorem Fnay we prove that the defnng dea of a Gorensten monoma curve n A 4 ( ) has a unque mnma system of bnoma generators, under the hypothess that the dea s not a compete ntersecton. 1. Generates on ndspensabe monomas and bnomas Let [x] be the poynoma rng over a fed. The foowng resut s fokore, but for a ack of reference we sketch a proof. Theorem 1.1. Let J [x] be a pure dfference bnoma dea. There exst a postve nteger d and a vector confguraton A = {a 1,...,a n } Z d such that the torc dea I A s a mnma prme of J. Proof. By [8, Coroary 2.5], ( J : (x 1 x n ) ) s a attce dea. More precsey, f L = span Z {u v x u x v J}, then ( J : (x1 x n ) ) = x u x v u v L =: I L. Now, by [8, Coroary 2.2], the ony mnma prme of I L that s a pure dfference bnoma dea s I Sat(L) := x u x v u v Sat(L), where Sat(L) := {u Z n zu L for some z Z}. Snce Z n /Sat(L) = Z d, for d = n rank(l), then e + Sat(L) = a Z d, for every = 1,...,n, and hence the torc dea of A = {a 1,...,a n } s equa to I Sat(L) (see [24, Lemma 12.2]). Fnay, n order to see that I A s a mnma prme of J, t suffces to note that J P mpes ( J : (x 1 x n ) ) P, for every prme dea P of [x]. Remark 1.2. Observethat f J = x u x v = 1,...,s, then L = span Z {u v = 1,...,s}. So, t s easy to see that, n genera, J I L. For exampe, f J = x y,z t,y 2 yt, then I L = x t,y t,z t. Gven a vector confguraton A = {a 1,...,a n } Z d, we grade [x] by settng deg A (x ) = a, = 1,...,n. We defne the A degree of a monoma x u to be deg A (x u ) = u 1 a 1 + +u n a n. A poynoma f [x] s A homogeneous f the A degrees of a the monomas that occur n f are the same. An dea J [x] s A homogeneous f t s generated by A homogeneous poynomas. Notce that the torc dea I A s A homogeneous; ndeed, by [24, Lemma 4.1], a bnoma x u x v I A f and ony f t s A homogeneous. The proof of the foowng resut s straghtforward.

3 AN INDISPENSABLE CLASSIFICATION OF MONOMIAL CURVES IN A 4 ( ) 3 Coroary 1.3. Let J [x] be a pure dfference bnoma dea and et A = {a 1,...,a n } Z d. Then J s A homogeneous f and ony f J I A. Notce that the fnest A gradng on [x] such that a pure dfference bnoma dea J [x] s A homogeneous occurs when I A s a mnma prme of J. Such an A gradng does aways exst by Theorem 1.1. Ideas wth fnest A gradng are studed n much greater generaty n [14]. An A gradng on [x] such that a pure dfference bnoma dea J [x] s A homogeneous s sad to be postve f the quotent rng [x]/i A does not contan nvertbe eements or, equvaenty, f the monod NA s free of unts. It s we known that the number of poynomas of A degree b NA n any mnma system of A-homogeneous generators s dm Tor R 1 (, [A]) b (see, e.g. [24, Chapter 12]). Thus, we say that I A has mnma generators n degree b when dm Tor R 1 (, [A]) b 0. In ths case, f f I A has degree b we say that f s a mnma generator of I A. From now on, et A = {a 1,...,a n } Z d be such that the quotent rng [x]/i A does not contan nvertbe eements and et J [x] be an A homogeneous pure dfference bnoma dea. Defnton 1.4. A bnoma f = x u x v J s caed ndspensabe of J f every system of bnoma generators of J contans f or f, whe a monoma x u s caed ndspensabe of J f every system of bnoma generators of J contans a bnoma f such that x u s a monoma of f. In the foowng we w wrte M J for the monoma dea generated by a x u for whch there exsts a nonzero x u x v J. The next proposton s the natura generazaton of [5, Proposton 3.1], but for competeness, we gve a proof. Proposton 1.5. The ndspensabe monomas of J are precsey the mnma generators of M J. Proof. Let {f 1,...,f s } be a system of bnoma generators of J. Ceary, the monomas of the f, = 1,...,s, generate M J. Let x u be a mnma generator of M J. Then x u x v J, for some nonzero v N n. Now, the mnmaty of x u assures that x u s a monoma of f for some. Therefore every mnma generator of M J s an ndspensabe monoma of J. Conversey, et x u be an ndspensabe monoma of J. If x u s not a mnma generator of M J, then there s a mnma generator x w of M J such that x u = x w x u wth u 0. By the prevous argument x w s an ndspensabe monoma of J, hence wthout oss of generaty we may suppose that f k = x w x z for some k and z N n. Thus, f f = x u x v, then f = x u x z x v = f x u f k J and therefore we can repace f by f n {f 1,...,f s }. By repeatng ths argument as many tmes as necessary, we w fnd a system of bnoma generators of J such that no eement has x u as monoma, a contradcton to the fact that x u s ndspensabe. Coroary 1.6. If x u M J s an ndspensabe monoma of I A, then t s aso an ndspensabe monoma of J. Proof. It suffces to note that M J M IA by Coroary 1.3. Now, we w gve a combnatora necessary and suffcent condton for a monoma x u [x] to be ndspensabe of J.

4 4 ANARGYROS KATSABEKIS AND IGNACIO OJEDA Defnton 1.7. For every b NA we defne the graph G b (J) whose vertces are the monomas of M J of A degree b and two vertces x u and x v are oned by an edge f (a) gcd(x u,x v ) 1; (b) thereexstsamonoma1 x w dvdnggcd(x u,x v ) suchthatthe bnoma x u w x v w beongs to J. Notce that G b (J) = exacty when M J has no eement of A degree b; n partcuar, G b (J) = f b = 0, because 1 M J (otherwse, [x]/i A woud contan nvertbe eements). Moreover, snce J I A, we have that G b (J) s a subgraph of G b (I A ), for a b. Fnay, we observe that condton (b) s trvay fufed for J = I A because ( I A : (x 1 x n ) ) = I A, n ths case, f G b (J), the graph G b (J) s nothng but the 1 skeeton of the smpca compex b appearng n [21]. Thus, we have the foowng resut. Theorem 1.8. Let x u x v I A be a bnoma of A degree b. Then, f s a mnma generator of I A f and ony f x u and x v e n two dfferent connected components of G b (I A ), n partcuar, the graph s dsconnected. Proof. For a proof see, for exampe, [20, Secton 2]. The next theorem provdes a necessary and suffcent condton for a monoma to be ndspensabe of J. Theorem 1.9. A monoma x u s ndspensabe of J f andony f {x u } s connected component of G b (J), where b = deg A (x u ). Proof. Suppose that x u s an ndspensabe monoma of J and {x u } s not a connected component of G b (J). Then, there exsts x v M J wth A degree equa to b such that gcd(x u,x v ) 1 and x u w x v w J, where 1 x w dvdes gcd(x u,x v ). So x u w M J and propery dvdes x u, a contradcton to the fact that x u s a mnma generator of M J (see Proposton 1.5). Conversey, we assume that {x u } s connected component of G b (J) wth b = deg A (x u ) and that x u s not an ndspensabe monoma of J. Then, by Proposton 1.5, there exsts a bnoma f = x w x z J, such that x w propery dvdes x u. Let x u = x w x u, then 1 x u dvdes gcd(x u,x u x z ) and hence (x u x u x z )/(x u ) = f J. Thus, {x u,x u x z } s an edge of G b (J), a contradcton to the fact that {x u } s a connected component of G b (J). Now, we are abe to gve a suffcent condton for a bnoma to be ndspensabe of J by usng our graphs G b (J) (compare wth [10, Coroary 5]). Theorem Gven x u x v J and et b = deg A (x u ) ( = deg A (x v ) ). If G b (J) = { {x u },{x v } }, then x u x v s an ndspensabe bnoma of J. Proof. Assume that G b (J) = { {x u },{x v } }. Then, by Theorem 1.9, both x u and x v are ndspensabe monomas of J. Let {f 1,...,f s } be a system of bnoma generators of J. Snce x u s an ndspensabe monoma, f = x u x w 0, for some. Thus deg A (x u ) = deg A (x w ) and thereforex w s a vertexofg b (J). Consequenty, w = v and we concude that x u x v s an ndspensabe bnoma of J. The converse of the above proposton s not true n genera: consder for nstance the dea J = x y,y 2 yt,z t = x t,y t,z t x,y,z t, then J s A-homogeneousfor A = {1,1,1,1}.Both x y and z tarendspensabe bnomas of J, whe G 1 (J) = { {x},{y},{z},{t} }. Coroary If f = x u x v J s an ndspensabe bnoma of I A, then f s an ndspensabe bnoma of J.

5 AN INDISPENSABLE CLASSIFICATION OF MONOMIAL CURVES IN A 4 ( ) 5 Proof. Let b = deg A (x u ) ( = deg A (x v ) ). By [21, Coroary 7], f x u x v s an ndspensabe bnoma of I A, then G b (I A ) = { {x u },{x v } }. Snce x u and x v are vertces of G b (J) and G b (J) s a subgraph of G b (I A ), then G b (J) = G b (I A ) and therefore, by Theorem 1.10, we concude that x u x v s an ndspensabe bnoma of J. Agan we have that the converse s not true; for nstance, x y and z t are ndspensabebnomasofj = x y,y 2 yt,z t andnoneofthemsndspensabe of the torc dea I A. We cose ths secton by appyng our resuts to show that the bnoma edge deas ntroduced n [13] have unque mnma system of bnoma generators. Let G be an undrected connected smpe graph of the vertex set {1,...,n} and et [x,y] be the poynoma rng n 2n varabes, x 1,...,x n, y 1,...,y n, over. Defnton The bnoma edge dea J G [x,y] assocated to G s the dea generated by the bnomas f = x y x y, wth <, such that {,} s an edge of G. Let J G [x,y] be the bnoma edge dea assocated to G. By defnton, J G s contaned n the determnanta dea generated by the 2 2 mnors of ( ) x1... x n. y 1... y n Ths dea s nothng but the torc dea assocated to the Lawrence ftng, Λ(A), of A = {1,...,1} (see, e.g. [24, Chapter 7]). Thus, J G I Λ(A) and the equaty hods f and ony f G s the compete graph on n vertces. By the way, snce G s connected, the smaest torc dea contanng J G has codmenson n 1. So, the smaest torc dea contanng J G s I Λ(A), that s to say, Λ(A) s the fnest gradng on [x,y] such that J G s Λ(A) homogeneous. Coroary The bnoma edge dea J G has unque mnma system of bnoma generators. Proof. By [21, Coroary 16], the torc dea I Λ(A) s generated by ts ndspensabe bnomas, thus every f J G, s an ndspensabe bnoma of I Λ(A). Now, by Coroary1.11, weconcude that J G s generatedbyts ndspensabe bnomas. The aboveresut canbe vewedasapartcuarcaseofthe foownggeneraresut whose proof s aso straghtforward consequence of [21, Coroary 16] and Coroary Coroary Let A = {a 1,...,a n } Z d be such that the monod NA s free of unts. If J [x,y] s a bnoma dea generated by a subset of the mnma system of bnoma generators of I Λ(A), then J has unque mnma system of bnoma generators. 2. Crtca bnomas, crcuts and prmtve bnomas Ths secton deas wth bnoma deas contaned n the defnng dea of a monoma curve. Speca attenton shoud be pad to the crtca dea; ths s due to the fact that the dea of a monoma space curve s equa to the crtca dea, see [12] (see aso the defnton of neat numerca semgroup n [15]). Throughout ths secton A = {a 1,...,a n } s a set of reatvey prme postve ntegers and I A [x] = [x 1,...,x n ] s the defnng dea of the monoma curve x 1 = t a1,...,x n = t an n the n dmensona affne space over.

6 6 ANARGYROS KATSABEKIS AND IGNACIO OJEDA 2.1. Crtca bnomas. Defnton 2.1. A bnoma x c xu I A s caed crtca wth respect to x f c s the east postve nteger such that c a Na. The crtca dea of A, denoted by C A, s the dea of [x] generated by a the crtca bnomas of I A. Observe that the crtca dea of A s A homogeneous. Notaton 2.2. From now on and for the rest of the paper, we w wrte c for the east postve nteger such that c a Na, for each = 1,...,n. Proposton 2.3. The monomas x c are ndspensabe of I A, for every. Equvaenty, {x c } s a connected component of G b(i A ), where b = c a, for every. Proof. The proof foows mmedatey from the mnmaty of c, Theorem 1.8 and Theorem 1.9. The next proposton determnes the ndspensabe crtca bnomas of the torc dea I A. Theorem 2.4. Let f = x c xu be a crtca bnoma of I A, then f s ndspensabe of I A f, and ony f, f s ndspensabe of C A. Proof. By Coroary 1.11, we have that f f s ndspensabe of I A, then t s ndspensabe of C A. Conversey, assume that f s ndspensabe of C A. Let {f 1,...,f s } be a system of bnoma generators of I A not contanng f. Then, by Proposton 2.3, f = x c xv for some. So, f s a crtca bnoma, that s to say, f C A. Therefore, we may repace f by f and f f C A n a system of bnoma generators of C A, a contradcton to the fact that f s ndspensabe of C A. Coroary 2.5. If I A has unque mnma system of bnoma generators, then C A aso does. Proof. The monomas x c are ndspensabe of I A, for each (see Proposton 2.3). Thus, for every, there exsts a unque bnoma n I A of the form x c xu and we concude that C A has unque mnma system of bnoma generators. Exampe 2.6. Let A = {4,6,2a + 1,2a + 3} where a s a natura number. For a = 0, t s easy to see that I A does not have a unque mnma system of bnoma generators. If a 1, then x 2 4 x a 1x 2 and x 2 4 x 1 x 2 3 C A. Thus C A s not generated by ts ndspensabe bnomas and therefore I A does not have a unque mnma system of bnoma generators Crcuts. Reca that the support of a monoma x u s defned to be the set supp(x u ) = { {1,...,n} u 0}. The support of a bnoma f = x u x v I A, denoted by supp(f), s defned as the unon supp(x u ) supp(x v ). We say that f has fu support when supp(f) = {1,...,n}. Defnton 2.7. An rreducbe bnoma x u x v I A s caed a crcut f ts support s mnma wth respect the ncuson. Reca that a poynoma n [x] s sad to be rreducbe f t cannot be factored nto the product of two (or more) non-trva poynomas n [x]. Lemma 2.8. Let u () = a gcd(a,a ),. The set of crcuts n I A s equa to {x u() x u() }.

7 AN INDISPENSABLE CLASSIFICATION OF MONOMIAL CURVES IN A 4 ( ) 7 Proof. See [24, Chapter 4] The next theorem provdes a cass of torc deas generated by crtca bnomas that, moreover, are crcuts. Theorem 2.9. If C A = x c1 1 xc2 2,...,xcn 1 n 1 xcn n, then C A = I A. Proof. From the hypothess the bnoma x c x c+1 +1 beongs to I A, for each {1,...,n 1}. So, every crcut of I A s of the form x c k k x c, snce gcd(c k,c ) = 1. Now, from Proposton 2.2 n [1], the attce L = ker Z (A) = {u Z n u 1 a u n a n = 0} s generated by { c e c e 1 n }, where e s the vector wth 1 n the th poston and zeros esewhere. The rank of L equas n 1 and a attce bass s { v = c e c +1 e +1 1 n 1 }. Thus C A s a attce bass dea. Let M be the matrx wth rows v 1,...,v n 1, then M s a mxed domnatng matrx and therefore, from Theorem 2.9 n [9], the equaty C A = I A hods. Remarks (1) For n = 4, a dfferent proof of the above resut can be found n [3]. (2) The converse of Theorem 2.9 s not true n genera (see, e.g., [1]). (3) If every crtca bnoma of I A s a crcut and the crtca dea has codmenson n 1, then c a = c a, for every. In partcuar, a mnma generators of I A have the same A degree. Ths stuaton s expored n some deta n [11] from a semgroup vewpont. The rest of ths subsecton s devoted to the nvestgaton of necessary and suffcent condtons for a crcut to be ndspensabe of I A. x u() Lemma Let f = x u() I A be a crcut and et b = u ()a. Then there s no monoma x v n the fber deg 1 A (b) such that supp(xv ) = {,}. Proof. Suppose to the contrary that there exsts such a v. Observe that x u() x u() sasoacrcutofi {a/d,a /d},andv deg 1 {a (b/d),wthd = gcd(a /d,a /d},a ). However, deg 1 {a (b/d) = { /d,a /d} x u(),x u() } (see, for nstance, [23, Exampe 8.22]). Theorem Let f = x u() x u() I A be a crcut and et b = u ()a. Then, f s ndspensabe of I A f, and ony f, b a k NA, for every k,. In partcuar, u () = c and u () = c. Proof. Frst of a, we observe that deg 1 A (b) { x u(),x u() } and equaty hods f, and ony f, f s ndspensabe. So, the suffcency condton foows. Conversey, snce b k, Na k, the supports of the monomas n deg 1 A (b) are ncuded n {,} and then, by Lemma 2.11, we are done. Observe that from the above resut t foows that f a crcut s ndspensabe, then t s a crtca bnoma. Let be an A graded reverse excographca monoma order on [x] such that x k x and x k x for every k,. I A be a crcut. Then, f s ndspensabe of I A f, and ony f, t beongs to the reduced Gröbner bass of I A wth respect to. Proposton Let f = x u() x u() Proof. If f s ndspensabe, then, from Theorem 13 n [21], t beongs to every Gröbner bass of I A. Now, suppose that f beongs to the reduced Gröbner bass of I A wth respect to and t s not ndspensabe. Snce f s not ndspensabe,

8 8 ANARGYROS KATSABEKIS AND IGNACIO OJEDA there exsts a monoma x u n the fber of u ()a dfferent from x u() and x u(). By Lemma 2.11, we have that supp(x u ) {,}, so there s k supp(x u ) and k {,}. Hence, both f = x u() x u and f = x u() x u beong to I A. and x u() Snce the eadng terms of f and f wth respect to equa to x u() x u() respectvey, we concude that f = x u() bass of I A wth respect to, a contradcton Prmtve bnomas., I A s not n the reduced Gröbner Defnton A bnoma x u x v I A s caed prmtve f there exsts no other bnoma x u x v such that x u dvdes x u and x v dvdes x v. The set of a prmtve bnomas s caed the Graver bass of A and t s denoted by Gr(A). Theorem Let f = x u xu x u k k xu Gr(A) be such that u < c,u < c,u k < c k and u < c wth,,k and parwse dfferent. Then f s ndspensabe of J = I A [x,x,x k,x ]. Proof. By [24, Proposton 4.13(a)], J = I A [x,x,x k,x ] s the torc dea assocated to A = {a,a,a k,a }. Thus, wthout oss of generaty we may assume n = 4, then J = I A. We prove that G b (I A ) = {x u xu,xu k k xu }, where b = u a +u a. Let x v deg 1 A (b) be dfferent from xu x u and x u k xu. If u < v, then x u (x u x v u x v xv k k xv ) I A, thus x u x v u x v xv k k xv I A whch s mpossbe by the mnmaty of c (see Proposton2.3). Anaogousy, we can prove that u v,u k v k and u v. Therefore x v xv (xu v x u v x v k k xv ) I A and so x u v x u v x v k k xv I A, a contradcton wth the fact that f s prm- k xu } } and, by Theorem 1.10, we are tve. Ths shows that G b (J) = { {x u xu },{xu k done. Coroary Let f = x u x u x u k k xu I A be such that u < c, u < c, u k > 0 and u > 0 wth,,k and parwse dfferent. If x u k k xu s ndspensabe of J = I A [x,x,x k,x ], then f s ndspensabe of J. Proof. Snce, by Theorem1.9, {x u k k xu } s a connected component of G b (I A ), where b = u k a k +u a, the monoma x v deg 1 A (b) n the above proof has ts support n {,}. Thus, repeatng the arguments of the proof of Theorem 2.15, we deduce that u v and u v. But x u xu x v xv I A, so u a +u a = v a +v a whch mpes that u = v and u = v. By Theorem 1.10 we have that f s ndspensabe of J. Combnng Theorem 2.15 wth Coroary 1.11 we get the foowng coroary. Coroary Gven,,k and {1,...,n} parwse dfferent, et J be the dea of [x,x,x k,x ] generated by a Graver bnomas of I A of the form x u xu x u k k xu wth u < c,u < c,u k < c k and u < c. Then J has unque mnma system of bnoma generators. Fnay we provde another cass of prmtve bnomas that are ndspensabe of a torc dea. Coroary Let f = x u xu x u k k xu Gr(A) such that 0 < u < c and 0 < u k < c k, for,,k and parwse dfferent. If u a +u a s mnma among a Graver A degrees, then f s ndspensabe of I A [x,x,x,x k ]. Proof. Snce c a s a Graver A degree, we have u a +u a c a, so t foows u < c. Smary, we can prove u < c. Therefore, by Theorem 2.15, we concude that f s ndspensabe of I A [x,x,x,x k ].

9 AN INDISPENSABLE CLASSIFICATION OF MONOMIAL CURVES IN A 4 ( ) 9 It s worth to notng here that [11, Theorem 6] offers a characterzaton of the famy of affne semgroups for whch C A = Gr(A). 3. Cassfcaton of monoma curves n A 4 ( ) Let A = {a 1,a 2,a 3,a 4 } be a set of reatvey prme postve ntegers. Frst we w provde a mnma system of bnoma generators for the crtca dea C A. Ths w be done by comparng the A-degrees of the monomas x c, for = 1,...,4. Lemma 3.1. Let f = x c xu, = 1,...,4, be a set of crtca bnomas of I A and et g I A be a crtca bnoma wth respect to x, for some {1,...,4}. If f f for every, then g f 1,f 2,f 3,f 4. Proof. For smpcty we assume = 1. Let g 1 = x c1 1 xv2 2 xv3 3 xv4 4 I A be a crtca bnoma. If g 1 = f 1, there s nothng to prove. If g 1 f 1, wthout oss of generaty we may assume that u 12 > v 2,u 13 v 3 and u 14 v 4, so g 1 f 1 = m 1 g 2, wth m 1 = x v2 2 xu13 3 x u14 4 and g 2 = x u12 v2 2 x v3 u13 3 x v4 u14 4 I A (n partcuar u 12 v 2 c 2 ). But x c1 1 xu21 1 x u12 c2 2 x u13+u23 3 x u14+u24 4 I A and aso f 1 f 2, thus from the mnmaty of c 1 t foows that u 21 = 0, that s to say, f 2 [x 2,x 3,x 4 ]. For the sake of smpcty, wrte g 2 = x b 2 xc 3 xd 4 wth b,c,d N and b c 2. Hence g 2 x b c2 2 f 2 = x b c2 2 x u23 3 x u24 4 x c 3 xd 4. If b c 2 c 2, we repeat the process. After a fnte number of steps, g 2 h 2 f 2 = x b kc2 2 x ku23 3 x ku24 4 x c 3 xd 4 wth 0 b kc 2 < c 2 and h 2 [x 2,x 3,x 4 ]. Then (b kc 2 )a 2 +ku 23 a 3 +ku 24 a 4 = ca 3 +da 4. Snce 0 b kc 2 < c 2 then x ku23 3 x ku24 4 does not dvde x c 3 xd 4. The case xc 3 xd 4 dvdes x ku23 3 x ku24 4 eads to b = kc 2,c = ku 23 and d = ku 24. In ths settng, g 2 = h 2 f 2,g 1 = f 1 +m 1 h 2 f 2 and we are done. The remanng cases are ku 23 c and d ku 24, or ku 23 c and d ku 24. Wthout oss of generaty (by swappng varabes f necessary), we may assume that ku 23 c and d ku 24. Hence (b kc 2 )a 2 + (ku 24 d)a 4 = (c ku 23 )a 3, and consequenty c ku 23 c 3. We aso deduce that g 2 h 2 f 2 = x ku23 3 x d 4 (xb kc2 2 x ku24 d 4 x c ku23 3. Set m 3 = x ku23 3 x d 4 and g 3 = x b kc2 2 x ku24 d 4 x c ku23 3. Snce v 3 u 13 ku 23 = c ku 23 c 3, we have that v 2 c 3. Thus x c1 1 xu31 1 x u32+v2 2 x v3 c3 3 x u34+v4 4 I A and f 1 f 3, from the mnmaty of c 1 t foows that u 31 = 0, that s to say, f 3 [x 2,x 3,x 4 ]. Anaogousy, by usng a smar argument as before (and by swappng varabes x 2 and x 4, f necessary), we obtan h 3 [x 2,x 3,x 4 ] such that ether g 3 = h 3 f 3 or g 3 h 3 f 3 = m 3 g 4, wth m 3 = x v 2 2 xv 4 4,g 4 = x v 4 v4+u14 v 4 4 x v 2 v 2 2 x v 3 3 and v 3 < c 3. If g 3 = h 3 f 3, then g 1 = f 1 + m 1 h 2 f 2 + m 1 m 2 h 3 f 3 and we are done. Otherwse, snce x c1 1 xu41 1 x v 2 +v2+u42 2 x v 3 +u13+u43 3 x v 4 +u14 c4 4 I A and f 1 f 4, from the mnmaty of c 1 t foows that u 41 = 0, that s to say, f 4 [x 2,x 3,x 4 ]. Therefore, we have that f 2,f 3 and f 4 [x 2,x 3,x 4 ]. Takng nto account that I A [x 2,x 3,x 4 ] s generated by f 2,f 3 and f 4 (see, e.g., [24, Proposton 4.13(a)] and [19, Theorem 2.2]), we concude that g 2 = g 21 f 2 + g 23 f 3 + g 24 f 4 and hence g 1 = f 1 +m 1 g 21 f 2 +m 1 g 23 f 3 +m 1 g 24 f 4, wth g 2 [x 2,x 3,x 4 ], = 1,3,4. Proposton 3.2. Let f = x c xu, = 1,...,4, be a set of crtca bnomas. If f f for every, then C A = f 1,f 2,f 3,f 4. Proof. The proof foows drecty from Lemma 3.1. Observe that f = f f and ony f f = x c x c and f = x c x c ; n partcuar, they are crcuts. The foowng proposton provdes an upper bound for the mnma number of generators of the crtca dea. Proposton 3.3. The mnma number of generators µ(c A ) of C A s ess than or equa to four.

10 10 ANARGYROS KATSABEKIS AND IGNACIO OJEDA Proof. Let F = {f 1,...,f 4 } I A be such that f s crtca wth respect to x. If f f, for every, then we are done by Proposton 3.2. Otherwse, wthout oss of generaty we may assume f 1 = f 2, that s to say, f 1 = x c1 1 xc2 2. Suppose that F s not a generatng set of C A. We dstngush the foowng cases: (1) f 1 s ndspensabe of I A. Then there exsts a crtca bnoma g I A wth respect to at east one of the varabes x 3 and x 4, say x 4, such that g ±f, for every. By substtuton of f 4 wth g n F we have, from Lemma 3.1, that every crtca bnoma wth respect to x 3 or x 4 s n the dea generated by the bnomas of F. Consequenty the new set F generates I A. (2) f 1 s not ndspensabe of I A. Then there exsts a crtca bnoma g I A wth respect to a east one of the varabes x 1 and x 2, for nstance x 2, such that g ±f, for every. We substtute f 2 wth g n F. If f 3 f 4, then we have, from Proposton 3.2, that the new set F generates I A. Otherwse, we substtute f 3 wth a crtca bnoma h wth respect to x 3 n F such that h ±f, for every, when f 3 s not ndspensabe. So, n ths case, C A s generated by a set of 4 crtca bnomas. Lemma 3.4. If c a c k a k and c a c a, where k, then ether the ony crtca bnoma of I A wth respect to x s f = x c x c or there exsts a crtca bnoma f I A wth respect to x such that supp(f) has cardnaty greater than or equa to three, where {,,k,} = {1,2,3,4}. Proof. Suppose the contrary and et f = x c x u I A where u > c. We defne f = x c x v xu c x v k k xv = f + x u c f I A wth f = x c x v xv k k xv I A. Now, from the mnmaty of c t foows that v = 0, thus at east one of v k or v s dfferent from zero snce f I A, otherwse f f = x u x u c I A, and ths s mpossbe. Therefore we concude that supp(f) has cardnaty greater than or equa to 3, a contradcton. The cases f = x c x u k k I A and f = x c x u I A are anaogous, by usng that c a c k a k and c a c a, respectvey. Lemma 3.5. There s no mnma generatng set of C A of the form S = {x c x c,xc x u,x c k k x c,xc x u }, where {,,k,} = {1,2,3,4}. In partcuar, f c a = c a and c k a k = c a, then µ(c A ) < 4. Proof. Set u = (u 1,...,u 4 ) and u = (u 1,...,u 4 ). The mnmaty of c, {1,2,3,4}, forces u = 0 = u, 0 < u k < c k, 0 < u < c, 0 < u < c, 0 < u < c, u k = 0 = u. Set d n = gcd(a \ {a n }), n {1,2,3,4}. By [12, Theorem 3.10], the numerca semgroup generated by {a /d,a /d,a k /d } s symmetrc and, from the proof of [Theorem 10.6,23], t s derved that a /d = c c k, a /d = c c k, c k = gcd(a /d,a /d ) and c k a k /d = u a /d +u a /d. Hence a = c c k d,a = c c k d and a k = (u c + c c )d. Argung anaogousy wth {a /d k,a /d k,a /d k }, we get a = c c d k,a = c c d k and a = (u c + c c )d. Thus, snce gcd(c,c ) = gcd(c k,c ) = 1, we concude that d k = c k and d = c. By consderng now the symmetrc semgroups {a /d,a k /d,a /d } and {a /d,a k /d,a /d }, we get a = (u k c +c c k )c,a = (u k c +c c k )c,a k = c c c and a = c c c k. Puttng a ths together, we obtan that u k c +c c k = c c k whch forces ether u k = 0 or u k c k, and ths s a contradcton n both cases. Theorem 3.6. After permutng the varabes, f necessary, there exsts a mnma system of bnoma generators S of C A of the foowng form: CASE 1: If c a c a, for every, then S = {x c x u, = 1,...,4} CASE 2: If c 1 a 1 = c 2 a 2 and c 3 a 3 = c 4 a 4, then ether c 2 a 2 c 3 a 3 and (a) S = {x c1 1 xc2 2,xc3 3 xc4 4,xc4 4 } when µ(c xu4 A ) = 3

11 AN INDISPENSABLE CLASSIFICATION OF MONOMIAL CURVES IN A 4 ( ) 11 (b) S = {x c1 1 xc2 2,xc3 3 xc4 4 } when µ(c A) = 2 or c 2 a 2 = c 3 a 3 and (c) S = {x c1 1 xc2 2,xc2 2 xc3 3,xc3 3 xc4 4 } CASE 3: If c 1 a 1 = c 2 a 2 = c 3 a 3 c 4 a 4, then S = {x c1 1 xc2 2,xc2 2 xc3 3,xc4 4 } xu4 CASE 4: If c 1 a 1 = c 2 a 2 and c a c a for a {,} {1,2}, then (a) S = {x c1 1 xc2 2,xc x u = 2,3,4} when µ(c A ) = 4 (b) S = {x c1 1 xc2 2,xc x u = 3,4} when µ(c A ) = 3 where, n each case, x u denotes an approprate monoma whose support has cardnaty greater than or equa to two. Proof. Frst, we observe that our assumpton on the cardnaty of x u foows from Lemma 3.4. We aso notce that C A has no mnma generatng set of the form S = {x c1 1 xc2 2,xc2 2 xu2,x c3 3 xc4 4,xc4 4 xu4 }, by Lemma 3.5. Let J be the dea generated by S. For the cases 1, 2(a-c), 3 and 4(a), t easy foows that J = C A by Proposton 3.2. Indeed, n order to satsfy the hypothess of Proposton 3.2, we may take f 4 = x c4 4 xc1 1 J and f 3 = x c3 3 xc1 1 J n the cases 2(c) and 3, respectvey. The cases 2(a) and 4(b) happen when the ony crtca bnomas of I A wth respect to x 1 and x 2 are f 1 = x c1 1 xc2 2 and f 2 = f 1, respectvey, then our cam foows from Lemma 3.1. Furthermore, the case 2(b) occurs when the ony crtca bnomas of I A are ±(x c1 1 xc2 2 ) and ±(xc3 3 xc4 4 ), so J = C A by defnton. On the other hand, snce x c s an ndspensabe monoma of I A, for every, by Coroary 1.6, we have that x c s an ndspensabe monoma of the dea J, for every. Then, we concude that S s mnma n the sense that no proper subset of S generates J. Exampe 3.7. Ths exampe ustrates a possbe cases of Theorem 3.6. CASE 1: A = {17,19,21,25}. CASE 2(a): A = {30,34,42,51}. CASE 2(b): A = {39,91,100,350}. CASE 2(c): A = {60,132,165,220}. CASE 3: A = {12,19,20,30}. CASE 4(a): A = {12,13,17,20}. CASE 4(b): A = {4,6,11,13}. The reader may perform the computatons n deta by usng the GAP package NumercaSgps ([6]). Snce C A I A, any mnma system of generators of I A can not contan more than 4 crtca bnomas. Ths provdes an affrmatve answer to the queston after Coroary2n[4]. NotcethattheonycasesnwhchC A canhaveaunquemnma system of generators are 1, 2(b) and 4(b); n these cases C A has a unque mnma system of bnoma generators f and ony f the monomas x u are ndspensabe. Now we focus our attenton on fndng a mnma set of bnoma generators of I A, that w hep us to sove the cassfcaton probem. The foowng emma w be usefu n the proof of Proposton 3.9 and Theorem Lemma 3.8. () If f = x u x v s a mnma generator of I A that s not crtca, then there exsts such that supp(x v ) {,} = and c a = c a. Moreover, f x v s not ndspensabe, then c k a k = c a, wth {,,k,} = {1,2,3,4}. () If f = x u x u x v s a mnma generator of I A wth u 0 and u c, then supp(x v ) {,} = and c a = c a. In addton, f x v s not ndspensabe, then c k a k = c a, wth {,,k,} = {1,2,3,4}. Proof. () Let b = c a. Snce f s not a crtca bnoma, we have that u > c. If c a c a, for every, then, from Lemma 3.4, there exsts a crtca bnoma f = x c x w I A such that supp(x w ) has cardnaty greater than or

12 12 ANARGYROS KATSABEKIS AND IGNACIO OJEDA equa to two. If supp(x v ) supp(x w ), then x u x u c x w x v s a path n G b (I A ), a contradcton to the fact that f s a mnma generator by Theorem 1.8. Hence supp(x v ) supp(x w ) =. We have that supp(x v+w ) {,k,}, supp(x v ) supp(x w ) = and the cardnaty of supp(x w ) s at east two. Ths mpes that x v s a power of a varabe, say x v = x v. Observe that v c and as f s not a crtca bnoma, v c, whence x z = x v c x u x u k k deg 1 A (b) s a monoma such that supp(x z ) has cardnaty greater than or equa to 2 and supp(x z ). Then x u x u c x w x z x v s a path n G b (I A ), a contradcton. Thus c a = c a, for an. We have that supp(x v ) {,} = ; otherwse x u x u c x c x v s a path n G b (I A ), a contradcton agan. Fnay, f x v s not ndspensabe, then, by Theorem 1.9, there exsts a monoma x w deg 1 A (b)\{xv } such that supp(x w ) supp(x v ). If supp(x w ), then x u x u c x c x w x v s a path n G b (I A ), a contradcton to the fact that f s a mnma generator. Moreover / supp(x w ), by the mnmaty of c. Thus supp(x w ) {k,} and aso x v k k xv x w k k xw I A. Suppose that c k a k c a Then v k a k +v a = w k a k +w a. Assume wthout oss of generaty that w v. We have that (v k w k )a k = (w v )a 0. Hence v k w k c k. If w k 0, then v k > c k. If w k = 0,v k a k = (w v )a and v 0, snce supp(x w ) supp(x v ). Thus w v c and w > c. By usng smar arguments as n the frst part of the proof we arrve at a contradcton. Consequenty c k a k = c a. () The proof s an easy adaptaton of the arguments used n (). For the rest of ths secton we keep the same notaton as n Theorem 3.6. The foowng resut was frst proved by Bresnsky (see [4, Theorem 3]), but our argument seems to be shorter and more approprate n our context. Proposton 3.9. There exsts a mnma system of bnoma generators of I A consstng of the unon of S and a set of bnomas n I A wth fu support. Proof. By Lemma 3.8 (), f for nstance f = x u x v s n a mnma generatng set of I A and t s not a crtca bnoma wth respect to any varabe, then c a = c a, for. We repace f by g = f x u c (x c x c ) = xu c x c x v I A n the mnma generatng set of of I A. Moreover, ether supp(x v ) = {k,} and {k,} {,} =, so g has fu support, or x v s a power of a varabe, say x v = x v k k, wth v k > c k. In ths case, by usng agan Lemma 3.8 (), we repace g wth h = g+x v k c k k (x c k k x c ) = xu c x c xv k c k k x c I A wth {k,} {,}=. Hence, there exsts a system of generators of I A consstng of the unon of a system of bnomas generators of C A and a set S of bnomas n I A wth fu support. Furthermore, by Theorem 3.6, we may assume that S s a system of bnomas generators of C A. Now, et f = x c x u S and suppose that f = s n=1 g nf n where every f n (S \{f}) S. From the mnmaty of c we have that f n = ±(x c x v ) and g n = 1, for some n. Then, accordngto the casesn Theorem 3.6, ether x u or x v s equatox c,forsome.nown theaboveexpressonoff the termxc shoudbe canceed, so, from the mnmaty of c, we have f m = ±(x c xw ) and g m = 1, for an m n. Therefore, we concude that ether {x c x c,±(xc x v ),±(x c xw )} or {x c x u,±(x c x c ),±(xc xw )} s a subset of S. So, the ony possbe case s S = {x c1 1 xc2 2,xc2 2 xc3 3,xc3 3 xc4 4 }. Snce, n ths case, I A = C A by Theorem 2.9, and S =, we are done. From the above proposton t foows that I A s generc (see, e.g. [18]) ony n the CASE 1. The next theorem provdes a mnma generatng set for I A.

13 AN INDISPENSABLE CLASSIFICATION OF MONOMIAL CURVES IN A 4 ( ) 13 Theorem The unon of S, the set I of a bnomas x u 1 1 x u 2 2 x u 3 3 x u 4 4 wth 0 < u < c, = 1,2, u 3 > 0, u 4 > 0 and x u 3 3 x u 4 4 set R of a bnomas x u1 1 xu2 2 xu3 3 xu4 I A ndspensabe, and the 4 I A \I wth fu support such that u 1 c 1 and x u3 3 xu4 4 s ndspensabe, n the CASES 2(a) and 4(b). u 1 c 1 and/or u 3 c 3 and there s no x v1 1 xv2 2 xv3 3 xv4 support such that x v1 1 xv2 2 dvdes x u3+αc3 3 x u4 αu4 4 I A wth fu propery dvdes xu1+αc1 1 x u2 αc2 2 or x v3 3 xv4 4 propery 4 for some α N, n the CASE 2(b). s a mnma system of generators of I A (up to permutaton of ndces). Proof. By Proposton 3.9, there exsts a mnma system of bnoma generators S S of I A such that S s a mnma system of generators of C A and supp(f) = {1,2,3,4}, for every f S. Moreover, snce a the bnomas n the set I are ndspensabe by Coroary 2.16, we have S = I R, where R s a set of bnomas of I A of the form x u 1 1 x u 2 2 x u 3 3 x u 4 4 wth u 0, for every, and u c for some. Observe that f R =, then the set defned n the statement of the theorem concdes wth S S and therefore t s a mnma set of generators. So, we assume that R, that s to say, there exsts a mnma generator x u1 1 xu2 2 xu3 3 xu4 4 R wth u 2 c 2 (by permutng varabes f necessary). By Lemma 3.8 () t hods that c 1 a 1 = c 2 a 2, so n CASE 1 we have R = and therefore we are done. Moreover, f c 2 a 2 = c a, for an {3,4}, then x u1 1 xu2 2 x u1 1 xu2 c2 2 x c x u3 3 xu4 4 s a path n G b (I A ), where b = u 1 a 1 + u 2 a 2, a contradcton wth Theorem 1.8. Therefore, we concude that the theorem s aso true n CASE 2(c) and CASE 3. Notce that, n the CASE 4(a), we can proceed smary to reach a contradcton; ndeed, snce x c2 2 xv S, where supp(x v ) = {3,4}, then x c1 1 xv I A and therefore x u1 1 xu2 2 x u1+c1 1 x u2 c2 2 x u1 1 xu2 c2 2 x v x u3 3 xu4 contradcton wth Theorem 1.8. Thus R = n CASE 4(a), too. 4 s a path n G b (I A ), a Suppose now that x v1 1 xv x v2 2 xv R. By Lemma 3.8 () agan, we obtan that at east one of the equates c 1 a 1 = c a and c 2 a 2 = c a hods. But, as we proved above, these equates are ncompatbe wth the condton x u1 1 xu2 2 xu3 3 xu4 4 R wth u 2 c 2. Hence, a the bnomas n R are of the form x 1 x 2 x 3 x 4 and x 2 arses, wth exponent greater than or equa to 2, n at east one of the varabes. We dstngush the foowng cases: CASE 2(a) or 4(b). If there exsts x v1 1 xv2 2 xv3 3 xv4 4 R such that for nstance v 4 c 4, then c 3 a 3 = c 4 a 4 by Lemma 3.8 (). Ths s ceary ncompatbe wth CASES 2(a) and 4(b), snce x v3 3 xv4 4 x v3 3 xv4 c4 4 x u4 x v1 1 xv2 2 s a path n G d (I A ), d = a 1 v 1 + a 2 v 2, a contradcton wth Theorem 1.8. Thus the bnomas n R are of the form x u1 1 xu2 2 x u3 3 xu4 4 wth u < c, = 3,4. If x u3 3 xu4 4 s not ndspensabe, then there exsts x v x v3 3 xv4 4 I A such that 0 < v u, for = 3,4, wth at east one nequaty strct and supp(x v ) {1,2}. So, x u3 3 xu4 4 x u3 v3 3 x u4 v4 4 x v x u1 1 xu2 2 s a path n G b (I A ) where b = a 3 u 3 +a 4 u 4, a contradcton wth Theorem 1.8. Moreover, snce x c1 1 xc2 2 I A, we may change, f t s necessary, R by repacng every bnoma x u1 1 xu2 2 xu3 3 xu4 4, where u 1 > c 1, wth x u1 αc1 1 x u2+αc2 2 x u3 3 xu4 4 I A such that 0 < u 1 αc 1 c 1 and u 2 +αc 2 c 2. Now the new set S I R has the desred form. We have that x u1 1 xu2 2 xu3 3 xu4 4 = (xu1 αc1 1 x u2+αc2 2 x u3 3 xu4 4 )+xu1 αc1 1 x u2 2 (xαc1 1 x αc2 2 ), so S I R s a generatng set of I A. To see that ths s actuay mnma, by ndspensabty reasons, t suffces to show that f x u1 1 xu2 2 xu3 3 xu4 4 R and x v1 1 xv2 2 xu3 3 xu4 4 S I R, then x u1 1 xu2 2 = xv1 1 xv2 2. Otherwse xu1 1 xu2 2 xv1 1 xv2 2 I A, but 0 < u 1 c 1 and v 1 c 1. Thus u 1 v 1 c 1, so u 1 = c 1,v 1 = 0 and therefore

14 14 ANARGYROS KATSABEKIS AND IGNACIO OJEDA v 2 = c 2, snce every bnoma n S I R wth cardnaty ess than four s crtca. We have that c 1 a 1 +a 2 u 2 = c 2 a 2 and aso c 1 a 1 = c 2 a 2, so u 2 = 0 a contradcton. CASE 2(b). Now, by modfyng R as n the prevous case f necessary, we have that the bnomas n R are of the foowng form: x u1 1 xu2 2 xu3 3 xu4 4 wth 0 < u 1 c 1,u 2 0and/or0 < u 3 c 3,u 4 0.Ifthereexstsα Nandx v1 1 xv2 2 xv3 3 xv4 4 I A wth fu support such that x u1+αc1 1 x u2 αc2 2 = mx v1 1 xv2 2 (or x u3+αc3 3 x u4 αc4 mx v3 3 xv4 4 4 =, respectvey) wth m 1, then xu1 1 xu2 2 mx v3 3 xv4 4 x u3 3 xu4 4 (or 1 xv2 2 m xu3 3 xu4 4, respectvey) s a path n G b(i A ), where b = x u1 1 xu2 2 x v1 u 1 a 1 + u 2 a 2, a contradcton wth Theorem 1.8. So, we concude that a the bnomas n R are of the desred form. Moreover, gven f = x u1 1 xu2 2 xu3 3 xu4 4 R and a monoma x v wth deg A (x v ) = u 1 a 1 + u 2 a 2, then ether v 1 = v 2 = 0 or v 1 = v 3 = v 4 = 0 and v 2 > c 2. Indeed, snce x u1 1 xu2 2 xv1 1 xv2 2 xv3 3 xv4 4 I A, then () g = x u1 v1 1 x u2 v2 2 x v3 3 xv4 4 I A, when v 1 u 1 and v 2 < u 2. If g has fu support, then v 1 = v 2 = 0, otherwse f R. If for nstance u 1 v 1 = 0, then u 2 v 2 c 2, because of the mnmaty of c 2. Thus, g = x u1 v1+c1 1 x u2 v2 c2 2 x v3 3 xv4 4 I A. If g has fu support, then v 1 = v 2 = 0; otherwsethe monomax u1 v1+c1 1 x u2 v2 c2 2 properydvdes x u1+c1 1 x u2 c2 2, that s to say, f R. If g does not have fu support, say v 3 = 0, then v 4 c 4 (due to the mnmaty of c 4 ). So, we may defne g = x u1 v1+c1 1 x u2 v2 c2 2 x c3 3 xv4 c4 4 I A and concude that v 1 = v 2 = 0, as before. () g = x u1 v1 1 x v2 u2 2 x v3 3 xv4 4 I A, when v 1 < u 1 and v 2 u 2. Snce 0 < u 1 c 1, we have that v 1 = 0 and aso u 1 = c 1. Thus v 2 u 2 = c 2 and v 3 = v 4 = 0, snce x c1 1 xc2 2 s the ony crtca bnoma wth respect to x 1. () g = x u2 v2 2 x v1 u1 1 x v3 3 xv4 4 I A, when v 1 u 1 and v 2 < u 2. Now, by the mnmatyofc 2,wehavethatu 2 v 2 c 2 andthereforeh = x c1 1 xu2 v2 c2 2 x v1 u1 1 x v3 3 xv4 4 I A. So, ether x c1+u1 v1 1 x u2 v2 c2 2 x v3 3 xv4 4 I A, when c 1 v 1 u 1, or x u2 v2 c2 2 x v1 u1 c1 1 x v3 3 xv4 4 I A, when c 1 < v 1 u 1. In the frst case we proceed as n (), whe n the other we repeat the same argument and so on. Ths process can not contnue ndefntey, snce there exsts α N such that αc 1 < v 1 u 1, and thus we are done. From Theorem 1.8 we have that there exsts a mnma generator of A degree deg A (f) for each f R. Furthermore, by drect checkng one can show that a the bnomas n I R have a dfferent A degree, and a these A degrees are dfferent from both c 1 a 1 and c 2 a 2. Thus, we concude that S I R s a mnma system of generators of I A. Combnng Theorem 3.10 wth Coroares 2.5 and 2.16 yeds the foowng theorem. Theorem Wth the same notaton as n Theorem 3.10, the dea I A has a unque mnma system of generators f, and ony f, C A has a unque mnma system of generators and R =. In [18], t s shown that there exst semgroup deas of [x 1,...,x 4 ] wth unque mnma system of bnoma generators of cardnaty m, for every m 7. Exampe Let A = {6,8,17,19}. The crtca bnoma x 4 1 x3 2 of I A s ndspensabe, whe the crtca bnoma x 2 4 x 1x 4 2 s not ndspensabe. Thus we are n CASE 4(b). The bnoma x 2 1x 3 2 x 3 x 4 beongs to R and therefore, from Theorem3.11, the torcdea I A doesnot haveaunque mnma system ofbnoma generators. Exampe Let A = {25,30,57,76}, then the mnma number of generators of I A equas 8. The ony crtca bnomas of I A are ±(x 6 1 x 5 2) and ±(x 4 3 x 3 4),

15 AN INDISPENSABLE CLASSIFICATION OF MONOMIAL CURVES IN A 4 ( ) 15 so we are n CASE 2(b). The bnoma x 3 1x 7 2 x 3 x 3 4 beongs to R and therefore, from Theorem 3.11, the torc dea I A does not have a unque mnma system of bnoma generators. Observe that I A s a compete ntersecton ony n cases 2(a-c), 3 and 4(b). Moreover, except from 2(b), n a the other cases I A = C A. In the case 2(b) a mnma system of bnoma generators s x c1 1 xc2 2,xc3 3 xc4 4 and xu1 1 xu2 2 xu3 3 xu4 4 where a 1 u 1 +a 2 u 2 = a 3 u 3 +a 4 u 4 = cm(gcd(a 1,a 2 ),gcd(a 3,a 4 )) (see, [7]). It s we known that the rng [x]/i A s Gorensten f and ony f the semgroup NA s symmetrc, see [16]. We w prove that f NA s symmetrc and I A s not a compete ntersecton, then I A has a unque mnma system of bnoma generators. Theorem If f 1 = x c1 1 xu13 3 x u14 4, f 2 = x c2 2 xu21 1 x u24 4, f 3 = x c3 3 xu31 1 x u32 2 and f 4 = x c4 4 xu42 2 x u43 3 are crtca bnomas of I A such that supp(f ) has cardnaty equa to 3, for every {1,...,4}, then I A has a unque mnma system of bnoma generators. Proof. We have that every exponent u of x s strcty ess than c, for each = 1,...,4. If for nstance u 13 c 3, then x c1 1 xu31 1 x u32 2 x u13 c3 3 x u14 4 = f 1 + x u13 c3 3 x u14 4 f 3 I A and therefore x c1 u31 1 x u32 2 x u13 c3 3 x u14 4 I A, a contradcton to the mnmaty of c 1. By Proposton 2.3 we have that c a c a, for every. We w prove that every f s ndspensabe of C A. Suppose for exampe that f 1 s not ndspensabe of C A, then there s a bnoma g = x c1 1 xv2 2 xv3 3 xv4 4 I A. So x u13 3 x u14 4 x v2 2 xv3 3 xv4 4 I A, andthusv 3 < u 13 andv 4 < u 14, snceu 13 < c 3 andu 14 < c 4. We have that x v2 2 xu13 v3 3 x u14 v4 4 I A and aso x c1 1 xu21 1 x v2 c2 2 x v3 3 xu24+v4 4 = g+x v2 c2 2 x v3 3 xv4 4 f 2 I A.Thereforex c1 u21 1 x v2 c2 2 x v3 3 xu24+v4 4 I A,acontradcton to the mnmaty of c 1. Anaogousy we can prove that f 2, f 3 and f 4 are ndspensabe of C A. Thus C A s generated by ts ndspensabe bnomas and therefore, from Theorem 3.11, the torc dea I A has a unque mnma system of bnoma generators. Coroary Let NA be a symmetrc semgroup. If I A s not a compete ntersecton, then t has a unque mnma system of bnoma generators. Proof. From Theorem 3 n [3] the torc dea I A has a mnma generatng set consstng of fve bnomas, namey four crtca bnomas of the form defned n the above theorem and a non crtca bnoma. By Theorem 3.14 the torc dea I A s generated by ts ndspensabe bnomas. Accordng to [3, Theorem] the ntegers a are poynomas n the exponents of the bnoma n a mnma generatng system of I A. We can see these expressons as a system of four poynoma equatons, whch n ght of Coroary 3.15, has a unque souton over the postve ntegers. Remark In [15, Theorem 6.4], t s shown that f NA s pseudo-symmetrc (see [23] for a defnton), then f 1 = x c1 1 x 3x c4 1 4,f 2 = x c2 2 xu21 1 x 4,f 3 = x c3 3 x c1 u x 2,f 4 = x c4 4 x 1x c2 1 2 x c3 1 3 and g = x u x c3 1 3 x 2 x c4 1 4 wth c > 1, = 1,...,4, and u 21 1 < c 1, s a mnma system of generators of I A. Now, an easy check shows that c a c a for every. The nterested reader may prove that C A has a unque mnma system of generators f and ony f u 21 = c 1 2. Thus, snce R =, by Theorem 3.11, we concude that I A s generated by ts ndspensabe bnomas f and ony f c 2 n 2 (c 1 2)n 1 +n 4. If the cardnaty of A s greater than 4, the anaogous of Coroary 3.15 s not true n genera. In [22] t s shown that the semgroup generated by A = {15,16,81,82,83,84} s symmetrc. Snce the monomas x 11 1,x 3 x 6 and x 4 x 5 have

16 16 ANARGYROS KATSABEKIS AND IGNACIO OJEDA the same A degree, we concude, by Theorem 1.8, that the dea I A does not have a unque mnma system of bnoma generators. Acknowedgments Part of ths work was done durng a vst of the frst author to the Unversty of Extremadura fnanced by the Pan Propo 2010 of the Unversty of Extremadura. We thank the referee for hepfu comments and suggestons that mproved the paper. References [1] A. Acántar, R.H. Varrea. Crtca bnomas of monoma curves. Comm. Agebra 22 (1994), no. 8, [2] S. Aok, A. Takemura, R. Yoshda Indspensabe monomas of torc deas and Markov bases. J. Symboc Comput. 43 (2008), no. 6-7, [3] H. Bresnsky Symmetrc semgroups of ntegers generated by 4 eements. Manuscrpta Math. 17 (1975), no. 3, [4] H. Bresnsky. Bnoma generatng sets for monoma curves, wth appcatons n A 4. Rend. Sem. Mat. Unv. Potec. Torno 46 (1988), no. 3, [5] H. Charaambous, A. Katsabeks, A. Thoma. Mnma systems of bnoma generators and the ndspensabe compex of a torc dea. Proc. Amer. Math. Soc. 135 (2007), [6] M. Degado, P. A. García Sánchez, J. Moras. NumercaSgps-a GAP package, (2013), ( [7] C. Deorme. Sous-monoïdes d ntersecton compète de N. Ann. Sc. Écoe Norm. Sup. (4) 9 (1976), no. 1, [8] D. Esenbud, B. Sturmfes. Bnoma deas. Duke Math. J. 84 (1996), no. 1, [9] K. Fscher, J. Shapro. Mxed matrces and bnoma deas. J. Pure App. Agebra 113 (1996), [10] P.A. García Sánchez, I. Oeda. Unquey presented fntey generated commutatve monods. Pacfc J. Math. 248 (2010), no. 1, [11] P.A. García Sánchez, I. Oeda, J.C. Rosaes. Affne semgroups havng a unque Bett eement. J. Agebra App. 12 (2013), no. 3, 11 pp. [12] J. Herzog. Generators and reatons of abean semgroups and semgroup rngs. Manuscrpta Math. 3 (1970), [13] J. Herzog, T. Hb, F. Hrensdóttrc, T. Kahe, J. Rauh. Bnoma edge deas and condtona ndependence statements. Adv. n App. Math. 45 (2010), no. 3, [14] A. Katsabeks, A. Thoma. Specazatons of mutgradngs and the arthmetca rank of attce deas. Comm. Agebra 38 (2010), no. 5, [15] J. Komeda. On the exstence of Weerstrass ponts wth a certan semgroup generated by 4 eements. Tsukuba J. Math. 6 (1982), no. 2, [16] E. Kunz. The vaue semgroup of one dmensona Gorensten rng. Proc. Amer. Math. Soc. 25 (1970), [17] H. Ohsug, T. Hb. Indspensabe bnomas of fnte graphs. J. Agebra App. 4 (2005), no. 4, [18] I. Oeda. Exampes of generc attce deas of codmenson 3. Comm. Agebra 36 (2008), no. 1, [19] I. Oeda, P. Psón-Casares. On the hu resouton of an affne monoma curve. J. Pure App. Agebra 192 (2004), [20] I. Oeda, A. Vgneron-Tenoro. Smpca compexes and mnma free resouton of monoma agebras. J. Pure App. Agebra 214 (2010), no. 6, [21] I. Oeda, A. Vgneron-Tenoro. Indspensabe bnomas n semgroup deas. Proc. Amer. Math. Soc. 138 (2010), [22] J.C. Rosaes. Symmetrc numerca semgroups wth arbtrary mutpcty and embeddng dmenson. Proc. Amer. Math. Soc. 129 (2001), no. 8, [23] J.C. Rosaes, P.A. García Sánchez. Numerca semgroups, Deveopments n Mathematcs, 20. Sprnger, New York, 2009 [24] B. Sturmfes. Gröbner bases and convex poytopes, voume 8 of Unversty Lecture Seres. Amercan Mathematca Socety, Provdence, RI, Centrum Wskunde & Informatca (CWI), Postbus 94079, 1090 GB Amsterdam, The Netherands. E-ma address: katsabek@aegean.gr