×

Restricted partition functions and identities for degrees of syzygies in numerical semigroups. (English) Zbl 1433.20016

Summary: We derive a set of polynomial and quasipolynomial identities for degrees of syzygies in the Hilbert series of numerical semigroup \(\langle d_1,\ldots,d_m\rangle \), \(m\geq 2\), generated by an arbitrary set of positive integers \(\{ d_1,l\dots,d_m\} \), \(\gcd (d_1,\ldots,d_m)=1\). These identities are obtained by studying the rational representation of the Hilbert series and the quasipolynomial representation of the Sylvester waves in the restricted partition function. In the cases of symmetric semigroups and complete intersections, these identities become more compact; for the latter we find a simple identity relating the degrees of syzygies with elements of generating set \(\{ d_1,\ldots,d_m\} \) and give a new lower bound for the Frobenius number.

MSC:

20M14 Commutative semigroups
11P81 Elementary theory of partitions

Software:

numericalsgps
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Andrews, G.E.: The theory of partitions. Encyclopedia of Mathematics and Its Applications, vol. 2. Addison, Reading, MA (1976) · Zbl 0371.10001
[2] Aicardi, F., Fel, L.G.: Gaps in nonsymmetric numerical semigroups. Israel J. Math. 175, 85-112 (2010) · Zbl 1209.20057 · doi:10.1007/s11856-010-0003-3
[3] Bresinsky, H.: Symmetric semigroups of integers generated by 4 elements. Manuscripta Math. 17, 205-219 (1975) · Zbl 0317.10061 · doi:10.1007/BF01170309
[4] Bresinsky, H.: Monomial Gorenstein ideals. Manuscripta Math. 29, 159-181 (1979) · Zbl 0423.14033 · doi:10.1007/BF01303625
[5] Carlitz, L.: Eulerian numbers and polynomials of higher order. Duke Math. J. 27, 401-423 (1960) · Zbl 0104.29003 · doi:10.1215/S0012-7094-60-02739-3
[6] Delgado, M., García-Sánchez, P.A., J. Morais: A GAP Package on Numerical Semigroups · Zbl 1365.68487
[7] Delorme, C.: Sous-Monoïdes d’Intersection Compléte de \[{\mathbb{N}}N\], Ann. Scient. de l’École Normale Supérieure, Sér. 4, 9(1), 145-154 (1976) · Zbl 0325.20065
[8] Fel, L.G., Rubinstein, B.Y.: Sylvester waves in the Coxeter groups. Ramanujan J. 6(3), 307-329 (2002) · Zbl 1018.11052
[9] Fel, L.G.: Frobenius problem for semigroups \[{\sf S}\left( d_1,d_2,d_3\right)\] Sd1,d2,d3, Funct. Anal. Math. <Emphasis Type=”Bold“>1(2), 119-157 (2006); http://xxx.lanl.gov/abs/math/0409331 <RefTarget Address=”http://xxx.lanl.gov/abs/math/0409331“ TargetType=”URL”/> (2004) · Zbl 0543.13008
[10] Fel, L.G.: Symmetric numerical semigroups generated by Fibonacci and Lucas triples. INTEGERS 9, 106-116 (2009) · Zbl 1246.20053 · doi:10.1515/INTEG.2009.010
[11] Fel, L.G.: Duality relation for the Hilbert series of almost symmetric numerical semigroups. Israel J. Math. 185, 413-444 (2011) · Zbl 1268.20062 · doi:10.1007/s11856-011-0117-2
[12] Fel, L.G.: New Identities for Degrees of Syzygies in Numerical Semigroups. arXiv:0912.5192 · Zbl 1433.20016
[13] Fel, L.G.: On Frobenius numbers for symmetric (not complete intersection) semigroups generated by four elements. Semigroup Forum 93, 423-426 (2016) · Zbl 1369.20049 · doi:10.1007/s00233-015-9751-z
[14] Frobenius, F.G.: Über die Bernoullischen Zahlen und die Eulerischen Polynome, Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin, 809-847 (1910) · Zbl 1264.11013
[15] Hardy, G.H., Littlewood, J.E., Polya, G.: Inequalities. University Press, Cambridge (1959) · Zbl 0634.26008
[16] Herzog, J.: Generators and relations of Abelian semigroups and semigroup rings. Manuscripta Math. 3, 175-193 (1970) · Zbl 0211.33801 · doi:10.1007/BF01273309
[17] Herzog, J., Kunz, E.: Die Werthalbgruppe Eines Lokalen Rings der Dimension, vol. 1. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Springer, Berlin (1971) · Zbl 0212.06102
[18] Herzog, J., Kühl, M.: On the Betti numbers of finite pure and linear resolutions. Commun. Algebra 12, 1627-1646 (1984) · Zbl 0543.13008 · doi:10.1080/00927878408823070
[19] KillingbergtrØ, H.G.: Betjening av figur i Frobenius’ problem. Normat (Nordisk Matematisk Tidskrift) 2, 75 (2000). In Norwegian
[20] Komatsu, T.: On the number of solutions of the Diophantine equation of Frobenius. General case. Math. Commun. 8, 195-206 (2003) · Zbl 1049.11028
[21] Kumar, N., Martino, I.: An algebraic proof for the identities for the degree of syzygies in numerical semigroup. Le Matematiche 67, 81-89 (2012) · Zbl 1255.20055
[22] Kunz, E.: The value-semigroup of a one-dimensional Gorenstein ring. Proc. Am. Math. Soc. 25, 748-751 (1970) · Zbl 0197.31401 · doi:10.1090/S0002-9939-1970-0265353-7
[23] Miller, E., Sturmfels, B.: Combinatorial Commutative Algebra. Springer, New York (2005) · Zbl 1066.13001
[24] Roman, S.M.: The Umbral Calculus. Academic Press, New York (1984) · Zbl 0536.33001
[25] Roman, S.M., Rota, G.-C.: The umbral calculus. Adv. Math. 27, 95-188 (1978) · Zbl 0375.05007 · doi:10.1016/0001-8708(78)90087-7
[26] Rubinstein, B.Y., Fel, L.G.: Restricted partition functions as Bernoulli and Euler polynomials of higher order. Ramanujan J. 11(3), 331-347 (2006) · Zbl 1146.11053 · doi:10.1007/s11139-006-8479-5
[27] Sally, J.D.: Cohen-Macaulay local rings of maximal embedding dimensions. J. Algebra 56, 168-183 (1979) · Zbl 0401.13016 · doi:10.1016/0021-8693(79)90331-4
[28] Stanley, R.P.: Invariants of finite groups and their applications to combinatorics. Bull. Am. Math. Soc. 1, 475-511 (1979) · Zbl 0497.20002 · doi:10.1090/S0273-0979-1979-14597-X
[29] Stanley, R.P.: Enumerative Combinatorics, vol. 1, Prop. 4.4.1. Wadsworth & Brooks/Cole, Monterey (1986) · Zbl 0608.05001
[30] Sylvester, J.J.: Outlines of the lectures were printed in 1859 and republished in Proc. Lond. Math. Soc. 28, 33-96 (1897); Coll. Math. Papers 2, 119-175 (1973)
[31] Wilf, H.: Generatingfunctionology. A.K. Peters, Wellesley, MA (2006) · Zbl 1092.05001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.