arxiv: v1 [math.ac] 27 Aug 2018

Transcription

1 arxiv: v1 [math.ac] 7 Aug 018 Symmetric not Complete Intersection Numerical Semigroups Generated by Six Elements Leonid G. Fel Department of Civil Engineering, Technion, Haifa 000, Israel lfel@technion.ac.il Abstract We consider symmetric not complete intersection numerical semigroups S 6, generated by a set of six positive integers {d 1,...,d 6 }, gcdd 1,...,d 6 = 1, and derive inequalities for degrees of syzygies of such semigroups and find the lower bound for their Frobenius numbers. We show that this bound may be strengthened if S 6 satisfies the Watanabe lemma. Keywords: symmetric not complete intersection semigroups, Betti s numbers, Frobenius number 010 Mathematics Subject Classification: Primary 0M14, Secondary 11P81. 1 Symmetric numerical semigroups generated by six integers Let a numerical semigroup S m = d 1,...,d m be generated by a set of positive integers{d 1,...,d m }, d 1 <... < d m, such that gcdd 1,...,d m = 1, where d 1 and m denote multiplicity and embedding dimension edim ofs m. There existm 1 polynomial identities [5] for degrees of syzygies associated with semigroup ring k[s m ]. They are a source of various relations for semigroups of different nature. In the case of complete intersection CI semigroups such relation for degrees of the 1st syzygy was found in [5], Corollary 1. The next nontrivial case exhibits a symmetric not CI semigroup generated by m 4 integers. In [4] and [6], such semigroups with m = 4 and m = 5 were studied and the lower bound for the Frobenius numbers FS 4 and FS 5 were found. In the present paper we deal with more difficult case of symmetric not CI semigroups S 6. Consider a symmetric numerical semigroup S 6, which is not CI and generated by six positive integers. Its Hilbert series HS 6 ;t with independent Betti s numbers,β reads: H S 6 ;t = Q 6 t 6 i=1 1 td i, 1 Q 6 t = 1 t x j + t y j t g y j + t g x j t g, β β x j,y j,g Z >, d 1 x j,y j < g. The Frobenius number FS 6 of numerical semigroup S 6 is related to the largest degree g as follows: FS 6 = g σ 1, σ 1 = 6 d j. There are two constraints more, > 5 and d 1 > 6. The inequality > 5 holds since S 6 is not CI, and the condition d 1 > 6 is necessary since a semigroup m,d,...,d m is never symmetric [].

2 Polynomial identities for degrees of syzygies Polynomial identities for degrees of syzygies for numerical semigroups were derived in [5], Thm 1. In the case of symmetric not CI semigroup S 6, they read: β x r j β yj r + g y j r g x j r +g r = 0, r 4, β x 5 j β yj 5 + g y j 5 g x j 5 +g 5 = 10π 6, π 6 = Only three of five identities in are not trivial, these are for r = 1,,5: β 6 d j. B 6 g + x j = y j, B 6 = β +1, B 6 g + x j g x j = yj g y j, 4 B 6 g 5 + x j β 10g 15gx j +6x j 60π6 = β y j 10g 15gy j +6yj. 5 where B 6 is defined according to the expression for an arbitrary symmetric semigroup S m in [5], Formulas 5.7, 5.9. The sign of B 6 is strongly related to the famous Stanley Conjecture 4b [10] on the unimodal sequence of Betti s numbers in the 1-dim local Gorenstein rings k[s m ]. We give its simple proof in the case edim = 6. Lemma 1. Let a symmetric not CI semigroup S 6 be given with the Hilbert series HS 6 ;z in accordance with 1. Then β Proof. According to the identity and constraints on degrees x j of the 1st syzygies 1 we have, β y j < B 6 g + g = β + +1 g. 7 On the other hand, there holds another constraint on degrees y j of the nd syzygies, β y j < β g. 8 Inequality 8 holds always, while inequality 7 is not valid for every set{x 1,...,x }, but only when holds. In order to make the both inequalities consistent, we have to find a relation between and β where both inequalities 7 and 8 are satisfied, even if 7 is stronger than 8. To provide these inequalities to be correct, it is enough to require β + +1/ β, that leads to 6. Another constraint for Betti s numbers β j follows from the general inequality for the sum of β j in the case of non-symmetric semigroups [], Formula 1.9, m 1 j=0 β j d 1 m 1 m 1, β 0 = 1. 9

3 Applying the duality relation for Betti s numbers, β j = β m j 1, β m 1 = 1, in symmetric semigroups S 6 to inequality 9 and combining it with Lemma 1, we obtain < 4d To study polynomial identities,4,5 and their consequences, start with observation, which follows by numerical calculations for two real functions R 1 z, R z and is presented in Figure 1, R 1 z A R z, 0 z 1, where 11 R 1 z = z 10 15z +6z, R z = z z, A = The constant A is chosen by requirement of the existence of such a coordinate z [0,1] providing R1 z, R z a z R z b z Figure 1: Plot of the functions a R 1 z in red color, A R z in blue color and a discrepancy b δrz = R 1 z A R z in the range z [0,1]. two equalities, R 1 z = A R z, R 1z = A R z, z 0.8, where R jz = dr jz dz z=z. Substituting z = y j /g, 0<z<1, into inequality 11 and making summation over 1 j β, we get yjg y j < A β β y j 10g 15gy j +6y j. 1 N Applying the Cauchy-Schwarz inequality a N N jb j a j j b to the right-hand side of inequality 1, we obtain β y / j 10g 15gy j +6y j y1/ j Combining 1 and 1, we arrive at inequality A β yjg y j β β β yj 10g 15gy j +6yj y j. 1 < yj10g 15gy j +6yj y j. 14 β

4 Denote by X k the k-th power symmetric polynomial X k x 1,...,x = xk j, x j < g, and substitute identities,4,5 into inequality 14, A B6 g +gx X < B6 g 5 60π 6 +10g X 15gX 4 +6X 5 B6 g +X On the other hand, similarly to inequalities 1,1,14, let us establish another set of inequalities for X k by replacing y j x j. We write the last of them, which is similar to 14, x jg x j < x j10g 15gx j +6x j x j, 16 A and present 16 in terms ofx k, A gx X < 10g X 15gX 4 +6X 5 X1. 17 Represent the both inequalities 15 and 17 as follows: B6 g +gx X 60π 6 B 6 g 5 +A B 6 g+x 1 < 10g X 15gX 4 +6X 5, 18 A gx X < 10g X 15gX 4 +6X X 1 Inequality 19 holds always, while inequality 18 is not valid for every set {x 1,...,x,g}. In order to make the both inequalities consistent, we have to find a range of g where both inequalities 18 and 19 are satisfied. To provide these inequalities to be correct, it is enough to require that inequality 19 implies inequality 18, i.e., 60π 6 B 6 g 5 B6 g +gx X + < gx X. 0 B 6 g +X 1 X 1 A Simplifying the above expressions, we present the last inequality 0 as follows: CX 1 X 1 +B 6 g < gx X g, 60π 6 αb 6 g 5 X 1 C = A B, 1 6g where α = 1 A and B 6 1 due to Lemma 1. An inequality 1 holds always if its left-hand side is negative, i.e., C < 0, that results in the following constraint, 60 g > q 6, q 6 = π 6, where α B 6 α The lower bound q 6 in provides a sufficient condition to satisfy the inequality 1. In fact, a necessary condition has to produce another bound g 6 < q 6. The lower bound for the Frobenius numbers of semigroupss 6 An actual lower bound of g precedes that, given in, since the inequality 1 may be satisfied for a sufficiently small C > 0. To find it, we introduce another kind of symmetric polynomials X k : X k = i 1 <i <...<i k x i1 x i...x ik, X 0 = 1, X 1 = x i, X = x i x j, X = i=1 i<j i<j<r x i x j x r,..., X = x i, i=1

5 which are related to polynomials X k by the Newton recursion identities, mx m = m 1 k 1 X k X m k, i.e., k=1 X 1 = X 1, X = X 1 X, X = X 1 X X 1 +X,.... Recall the Newton-Maclaurin inequalities [7] for polynomials X k, X 1 X 1 X 1 Consider the master inequality 1 in the following form... X. 4 CX 1 X 1 +B 6 g < 9g X +4X +g 4 X 1 +4g X 1 X 1gX X 6g X 1 X, 5 and substitute Newton s identities into 5, where X 1 PX 1,X,X < X 1 Q 1 X 1 +X Q X 1,X +X Q X 1,X,X, 6 PX 1,X,X = 4g X 1 X +X 1X +6X X +6gX +gx 1 X, Q 1 X 1 = 1 X5 1 gx g X1 1 g X1 + g4 C X 1 C 1 1 B 6g, Q X 1,X = g X +X X1 +5gX 1 +g X 1, Q X 1,X,X = X +X 1 +g X 1 +6gX. Applying inequalities 4 to Q X 1,X and Q X 1,X,X, we obtain Q X 1,X < X 1 Q 1 X 1, Q 1 X 1 = X 1 g +X 1 +5gX 1 +g, Q X 1,X,X < X 1 Q 1 X 1, Q 1 X 1 = X 1 +X1 +g +6g X 1. 7 Substituting inequalities 7 into 6 and applying again 4, we obtain PX 1,X,X < Q 1 X 1 + X 1 Q 1 X 1 + X 1 Q 1 X 1. 8 Represent the right-hand side of inequality 8 as a polynomial EX 1 of the 5th order inx 1, EX 1 = 5 k=0 E k g 5 k X1 k, where 9 E 0 = B 6Cg 4, E 1 = 1 Cg 4, E = E = , E 4 = 5 E 5 = = 1, 1,

6 Thus, the master inequality 1 reads: PX 1,X,X < EX 1. 0 On the other hand, applying 4 to the polynomial PX 1,X,X, we have another inequality, J 5 = β 1 [ 1+ PX 1,X,X < JX 1, JX 1 = ], J 4 = J k g 5 k X1, k 1 k=, J = 4. Inequality 1 holds always, while inequality 0 is not valid for every set {x 1,...,x,g}. In order to make both inequalities consistent, we have to find a range for g where both inequalities 0 and 1 are satisfied. To provide both inequalities to be correct, it is enough to require that 1 implies 0, EX 1 > JX 1, E 5 J 5 X 5 1 +E 4 J 4 gx 4 1 +E J g X 1 +E g X 1 +E 1g 4 X 1 +E 0 g 5 > 0, E 5 J 5 = β 4 1 E 4 J 4 = 5 β 1 E J = β β 1 or β β 1 [ 1+ β 1 = 1, ] = 1 4, = 1 1. Substituting expressions E k J k,k =,4,5 from and E 0,E 1,E from 9 into, we obtain C g 4 < Gb,u, Gb,u = u u+b 1 u 1 u, u = X 1 g, b = B 6. 4 The function Gb,u is continuous see Figure and attains its global maximal value Gb,u m at G b,u u Figure : Plot of the functions Gb,u with different b: in brown b = 1.75, u m = 0.15; in blue b = 0.85, u m = 0.117; in red b = 0.5, u m = 0.11; in black b = 0.5, u m = u m b 0,1/, where u m = u m b is a smaller positive root of cubic equation, 8u m +5b u m 9bu m +b = 0,

7 with asymptotic behavior of u m b and Gb,u m see Figure, u m b b 0 b 6, u mb b v 1 v b, v 1= , v = , Gb,u m b 0 1, Gb,u m b w b, w = Theorem 1. Let a symmetric not CI semigroup S 6 be given with its Hilbert serieshs 6 ;z in accordance with 1. Then the following inequality holds: 5 g > g 6, g 6 = λ 60 6 π 6, λ 6 = 5 B 6 Kb,A, Kb,A = α+a Gb,u m. 6 Proof. Substitute into 4 the expression forc, given in 1, and arrive at inequality which gives rise to the lower bound g 6 in 6. 60π 6 αb 6 g 5 A B 6g 5 < Gb,u m, um b b a G b,um b b Figure : Plot of the functions a u m b and b Gb,u m in a wide range of b. Formula for λ 6 in 6 shows a strong dependence on B 6, even the last is implicitly included into Gb,u m by a slowly growing function u m b when b > 1. Such dependence λ 6 B 6 may lead to a very small values of λ 6 if B 6 is not bounded from above, but b is fixed, and results in an asymptotic B decrease of the bound, g The last limit poses a question: does formula 6 for g 6 contradict the known lower bound [9] for the Frobenius number in the 6-generated numerical semigroups of the arbitrary nature, i.e., not assuming their symmetricity. If the answer is affirmative then it arises another question: what should be required in order to avoid such contradiction. We address both questions in the next section in a slightly different form: are there any constraints on Betti s numbers. 4 Are there any constraints on Betti s numbers of symmetric not CI semigroups S 6 Denote by g 6 and g 6 the lower bounds of the largest degree of syzygies for non-symmetric [9] and symmetric CI [5] semigroups generated by six integers, respectively. Compare g 6 with g 6 and g 6 and require that the following double inequality hold: g 6 < g 6 < g 6, g 6 = π 6, g 6 = 5 5 π 6. 7

8 Substituting the expression for g 6 from 6 into 7, we obtain Kb,A < B 6 < Kb,A, 7 65 = 0.115, Kb,A b 0 1, Kb,A b α, 8 where the two limits follow by 5,6. The double inequality 8 determines the upper and lower bounds for varying B 6 in the plane b,b 6 as monotonic functions see Figure 4a with asymptotic behavior, Upp. bound : B 6 b 0, B 6 b 47.9; Low. Bound : B 6 b , B 6 b According to Lemma 1, the lower bound in 8,9 may be chosen asb 6 = 1. Find the constraints on Betti s numbers. For this purpose, the inequality 8 has to be replaced by 1 < β < 6 Kb,A 1, β , β 5, 40 and the plot in Figure 4a has to be transformed by rescaling the coordinates b,b 6 with inversion, b = B 6 /b, and shift, B 6 β = B 6 1 see Figure 4b. Following sections 1 and, the constraints 8 have to be supplemented by another double inequality 5 < < 4d B Β Β b a Β 1 b Figure 4: Plots of the lower blue and upper red bounds in the planes ab,b 6 and b,β. The double inequality 40 manifests a phenomenon, which does not exist in symmetric not CI semigroups S m, generated by four [4] and five [6] integers, where inequalities g m < g m < g m, are always satisfied and independent of Betti s numbers = 5 for S 4 and = β for S 5 : g m < λ m m 1 π m < g m, { λ4 = 5, λ 5 = 4 19β 1/β, { gm = m 1 m 1! m 1 π m, g m = m 1 m 1 π m. 41 Note, that constraints 40 do not contradict Bresinsky s theorem [] on the arbitrary large finite value of for generic semigroup S m, m 4. Below, we put forward some considerations about validity of 40 for Betti s numbers,β of symmetric not CI semigroup S 6. The double inequality 40 has arisen by comparison of g 6 with two other bounds g 6 and g 6 and, strictly speaking, a validity of 40 is dependent on how small is a discrepancy δrz in Figure 1. If δrz is not small enough and its neglecting in 11 is a far too rude approximation, then there may exist symmetric not CI semigroups S 6 with Betti s numbers,β, where 40 is broken. Such violation should indicate a necessity to improve the lower bound g 6 in 6 to restore the relationship g 6 < g 6 < g 6. Note, that such improvement is very hard to provide even by replacing A A in inequality 1, where A < A < 1, and still preserving 1 with a new A. Such replacement leads

9 again to 6 with Kb,A instead Kb,A, i.e., the constraints on,β still exist, even the area of admissible Betti s numbers becomes wider. However, if there are no such symmetric not CI semigroups S 6, where the double inequality 40 is broken, then there arises a much more deep question: why do the constraints on Betti s numbers exist. This problem is strongly related to the structure of minimal relations of the first and second syzygies in the minimal free resolution for the 1 dim Gorenstein not CI ring k[s 6 ] and has to be addressed in a separate paper. 5 Symmetric not CI semigroupss 6 with the W andw properties In [6], we introduced a notion of the W property for the m-generated symmetric not CI semigroups S m satisfying Watanabe s Lemma [11]. We recall this Lemma together with the definition of the W property and two other statements relevant in this section. Lemma. [11]. Let a semigroup S m 1 = δ 1,...,δ m 1 be given and a Z, a > 1, such that gcda,d m = 1,d m S m 1 \{δ 1,...,δ m 1 }. Consider a semigroup S m = aδ 1,...,aδ m 1,d m and denote it by S m = as m 1,d m. Then S m is symmetric if and only if S m 1 is symmetric, and S m is symmetric CI if and only ifs m 1 is symmetric CI. Corollary 1. [6]. Let a semigroup S m 1 = δ 1,...,δ m 1 be given and a Z, a > 1, such that gcda,d m = 1, d m S m 1 \{δ 1,...,δ m 1 }. Consider a semigroup S m = as m 1,d m. Then S m is symmetric not CI if and only ifs m 1 is symmetric not CI. Definition 1. [6]. A symmetric not CI semigroup S m has the property W if there exists another symmetric not CI semigroup S m 1 giving rise to S m by the construction, described in Corollary 1. Theorem. [6]. A minimal edim of symmetric not CI semigroups m with the property W ism = 5. In this section we study the symmetric not CI semigroups S 6 satisfying Watanabe s Lemma [11]. To distinguish such semigroups from the rest of symmetric not CI semigroupss 6 without the property W we denote them byw 6. Lemma. Let two symmetric not CI semigroups W 6 = as 5,d 6 and S 5 = q 1,...,q 5 be given and gcda,d 6 =1,d 6 S 5 \{q 1,...,q 5 }. Let the lower bound F 6w of the Frobenius numberfw 6 of the semigroup W 6 be represented as, F 6w =g 6w a 5 q j +d 6. Then where λ 5 is defined in 41. g 6w = a λ 4 5 π 5 q+d 6, π 5 q = 5 q j. 4 Proof. Consider a symmetric not CI numerical semigroup S 5 generated by five integers without the W property, and apply the recent result [6] on the lower bound F 5 of its Frobenius number, FS 5, FS 5 F 5, 5 F 5 = h 5 q j, h 5 = λ 4 5 π 5 q. 4 The following relationship between the Frobenius numbers FW 6 and FS 5 was derived in [1]: FW 6 = afs 5 +a 1d 6. 44

10 Substituting FW 6 =g a 5 q j +d 6 and the representation 4 forfs 5 into 44, we obtain g a 5 q j d 6 = ah 5 a 5 q j +a 1d 6 g = ah 5 +d Comparing the last equality in 45 with the lower bound of h 5 in 4, we arrive at 4. Following Corollary 1, let us apply the construction of a symmetric not CI semigroup S m with the W property to a symmetric not CI semigroup S m 1, which already has such property. Definition. A symmetric not CI semigroup S m has the property W if there exist two symmetric not CI semigroup S m 1 = q 1,...,q m 1 and S m = p 1,...,p m giving rise to S m by the construction, described in Corollary 1, S m = a 1 S m 1,d m, d m S m 1 \{q 1,...,q m 1 }, gcda 1,d m =1, S m 1 = a S m,q m 1, q m 1 S m \{p 1,...,p m }, gcda,q m 1 =1. Theorem. A minimal edim of symmetric not CI semigroup S m with the property W ism = 6. Proof. This statement follows if we combine Definition and Theorem. In this section we denote the symmetric not CI semigroups S 6 with the property W byw 6. Lemma 4. Let three symmetric not CI semigroups W 6 = a 1W 5,d 6, W 5 = a S 4,q 5, and S 4 = p 1,...,p 4, whereq j = a p j, 1 j 4, be given in such a way that d 6 W 5 \{q 1,...,q 5 }, q 5 S 4 \{p 1,...,p 4 }, gcda 1,d 6 = gcda,q 5 = 1. Let the lower bound F 6w of the Frobenius number FW6 of the semigroup W 6 be represented as, F 6w =g 6w a 1 a 4 p j +a 1 q 5 +d 6. Then where λ 4 is defined in 41. g 6w = a 1 [ a λ 4 π 4 p+q 5 +d 6 ], π 4 p = 4 p j, 46 Proof. By Lemma in [6], the lower boundf 5w of its Frobenius numberfw 5 of the symmetric not CI semigroup W 5 reads: 4 F 5w = g 5w a p j +q 5, g 5w = a λ 4 π 4 p+q Consider a symmetric not CI semigroupw6, generated by six integers, and make use of a relationship between the Frobenius numbers FW6 and FW 5 derived in [1]: FW6 = a 1 FW 5 +a 1 1d Substituting FW6 =g 6w a 1 a 4 p j +a 1 q 5 +d 6 and the representation 47 forfs 5 into 48, we obtain 4 4 g 6w a 1 a p j a 1 q 5 d 6 = a 1 g 5w a p j +q 5 +a 1 1d Simplifying the last equality 49, we arrive at 46.

11 Among the subsets {W 6 }, {W 6} and the entire set {S 6 } of symmetric not CI semigroups, generated by six integers, the following containment holds: {W 6 } {W 6} {S 6 }. Below we present twelve symmetric not CI semigroup generated by six integers: V 1,V,V,V 4 without thew property, V 5,V 6,V 7,V 8 with thew property, V 9,V 10,V 11,V 1 with thew property. V 1 = 7,9,11,1,1,15, V 5 = 1,0,8,0,8,41, V 9 = 0,,6,7,4,48, V = 7,9,10,11,1,1, V 6 = 1,0,8,8,46,47, V 10 = 4,45,48,54,59,78, V = 1,1,14,15,17,19, V 7 = 14,4,6,6,46,49, V 11 = 40,4,48,54,71,78, V 4 = 1,1,14,15,18,19, V 8 = 8,46,58,6,74,79, V 1 = 46,48,75,78,90,10. We give a comparative Table 1 for the largest degree g of syzygies and its lower bounds g 6, g 6w, g 6w and g 6, calculated by formula 7. W property W property S 6 V 1 V V V 4 V 5 V 6 V 7 V 8 V 9 V 10 V 11 V β B g g 6w g 6w g g Table 1. The largest degree g of syzygies for symmetric not CI semigroups S 6 with different Betti s numbers,β and its lower bounds g 6,g 6w,g 6w, g 6. For symmetric not CI semigroups W6, presented in Table 1, there following inequalities hold: g > g 6w > g 6w > g 6 > g For the rest of symmetric not CI semigroups W 6 and S 6 the bounds g 6w and g 6w are skipped in inequalities 50 depending on the existence or absence of the W property in these semigroups. It is easy to verify that the Betti numbers of all semigroups from Table 1 satisfy the constraints 40. Acknowledgement The research was partly supported by the Kamea Fellowship. References [1] A. Brauer, J.E. Shockley, On a problem of Frobenius, J. Reine Angew. Math., , [] H. Bresinsky, On prime ideals with generic zero X i = t n i, Proc. Amer. Math. Soc., , 9-.

12 [] L.G. Fel, Duality relation for Hilbert series of almost symmetric numerical semigroups, Israel J. Math., , ; a detailed proof of Formula 9 is given in author s preprint: Frobenius problem for semigroupssd 1,d,d, sect. 7., [4] L.G. Fel, On Frobenius numbers for symmetric not complete intersection semigroups generated by four elements, Semigroup Forum, 9 016, [5] L.G. Fel, Restricted partition functions and identities for degrees of syzygies in numerical semigroups, Ramanujan J., 4 017, [6] L.G. Fel, Symmetric not complete intersection semigroups generated by five elements, Integers: The Electronic J. of Comb. Number Theory, , # A44 [7] G.H. Hardy, J.E. Littlewood and G. Polya, Inequalities, Univ. Press, Cambridge, 1959 [8] J. Herzog, Generators and relations of Abelian semigroups and semigroup rings, Manuscripta Math., 1970, [9] H. G. Killingbergtrø, Betjening av figur i Frobenius problem, In Norwegian, Normat Nordisk Matematisk Tidskrift, 000, [10] R. P. Stanley, Log-concave and unimodal sequences in algebra, combinatorics, and geometry, n: Graph Theory and its Applications: East and West, Ann. New York Acad. Sci. 576, New York Acad. Sci., New York 1989, [11] K. Watanabe, Some examples of 1 dim Gorenstein domains, Nagoya Math. J., ,