×

Ideals containing the squares of the variables. (English) Zbl 1141.13016

Let \(S=K[x_1,\dots,x_n]\) be a polynomial ring over a field \(K\), let \(I\) be a squarefree ideal and let \(P=(x_1^2,\ldots,x_n^2)\). It is well known that there exists a squarefree lex-segment ideal \(L\) such that \(L+P\) has the same Hilbert function as \(I+P\). The ideal \(L+P\) is called lex-plus-squares. In this paper the authors study the graded Betti numbers of \(I+L\). First they provide a relation between the Betti numbers of \(I\) and those of \(I+P\). Then they prove that the Betti numbers of \(L+P\) are greater than or equal to those of \(I+P\). This gives a positive answer to the lex-plus-powers conjecture for this class of ideals.

MSC:

13F20 Polynomial rings and ideals; rings of integer-valued polynomials
13D02 Syzygies, resolutions, complexes and commutative rings
13D40 Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series

Software:

LexIdeals
Full Text: DOI

References:

[1] Aramova, A.; Herzog, J.; Hibi, T., Squarefree lexsegment ideals, Math. Z., 228, 353-378 (1998) · Zbl 0914.13007
[2] Bigatti, A., Upper bounds for the Betti numbers of a given Hilbert function, Comm. Algebra, 21, 2317-2334 (1993) · Zbl 0817.13007
[3] Bruns, W.; Herzog, J., Cohen-Macaulay Rings (1996), Cambridge Univ. Press
[4] Charalambous, H.; Evans, G., Resolutions obtained by iterated mapping cones, J. Algebra, 176, 750-754 (1995) · Zbl 0840.13005
[5] Chardin, M.; Gasharov, V.; Peeva, I., Maximal Betti numbers, Proc. Amer. Math. Soc., 130, 1877-1880 (2002) · Zbl 0987.13004
[6] Clements, G.; Lindström, B., A generalization of a combinatorial theorem of Macaulay, J. Combin. Theory, 7, 230-238 (1969) · Zbl 0186.01704
[7] Eliahou, S.; Kervaire, M., Minimal resolutions of some monomial ideals, J. Algebra, 129, 1-25 (1990) · Zbl 0701.13006
[8] Evans, G.; Richert, B., Possible resolutions for a given Hilbert function, Comm. Algebra, 30, 897-906 (2002) · Zbl 1082.13505
[9] C. Francisco, Hilbert functions and graded free resolutions, PhD thesis, Cornell University, 2004; C. Francisco, Hilbert functions and graded free resolutions, PhD thesis, Cornell University, 2004
[10] Francisco, C., Almost complete intersections and the Lex-Plus-Powers Conjecture, J. Algebra, 276, 737-760 (2004) · Zbl 1102.13009
[11] Francisco, C.; Richert, B., Lex-plus-powers ideals, (Peeva, I., Syzygies and Hilbert Functions. Syzygies and Hilbert Functions, Lect. Notes Pure Appl. Math., vol. 254 (2007), CRC Press) · Zbl 1125.13008
[12] Gasharov, V.; Hibi, T.; Peeva, I., Resolutions of a-stable ideals, J. Algebra, 254, 375-394 (2002) · Zbl 1089.13508
[13] Hulett, H., Maximum Betti numbers of homogeneous ideals with a given Hilbert function, Comm. Algebra, 21, 2335-2350 (1993) · Zbl 0817.13006
[14] Katona, G., A theorem for finite sets, (Erdös, P.; Katona, G., Theory of Graphs (1968), Academic Press: Academic Press New York), 187-207 · Zbl 0313.05003
[15] Kruskal, J., The number of simplices in a complex, (Bellman, R., Mathematical Optimization Techniques (1963), University of California Press: University of California Press Berkeley/Los Angeles), 251-278 · Zbl 0116.35102
[16] Macaulay, F., Some properties of enumeration in the theory of modular systems, Proc. London Math. Soc., 26, 531-555 (1927) · JFM 53.0104.01
[17] J. Mermin, Monomial regular sequences, submitted for publication; J. Mermin, Monomial regular sequences, submitted for publication
[18] J. Mermin, Compression, submitted for publication; J. Mermin, Compression, submitted for publication
[19] Mermin, J.; Peeva, I., Lexifying ideals, Math. Res. Lett., 13, 409-422 (2006) · Zbl 1113.13012
[20] J. Mermin, I. Peeva, Hilbert functions and lex ideals, submitted for publication; J. Mermin, I. Peeva, Hilbert functions and lex ideals, submitted for publication · Zbl 1194.13018
[21] Pardue, K., Deformation classes of graded modules and maximal Betti numbers, Illinois J. Math., 40, 564-585 (1996) · Zbl 0903.13004
[22] Peeva, I., Consecutive cancellations in Betti numbers, Proc. Amer. Math. Soc., 132, 3503-3507 (2004) · Zbl 1099.13505
[23] Richert, B., A study of the lex plus powers conjecture, J. Pure Appl. Algebra, 186, 169-183 (2004) · Zbl 1052.13008
[24] B. Richert, S. Sabourin, Lex plus powers ideals, \(n\); B. Richert, S. Sabourin, Lex plus powers ideals, \(n\) · Zbl 1197.13020
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.