On the Lex-plus-powers conjecture

DOI10.1016/J.AIM.2018.10.005MaRDI QIDQ1621460zbMATH OpenOpenAlexWikidataFDO

Authors Giulio Caviglia, Alessio Sammartano

Publication date 8 November 2018

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1802.03035

zbMATH Keywords

Betti numberscomplete intersectionEisenbud-Green-Harris conjectureHilbert functionlinkageSyzygies

Mathematics Subject Classification ID

Linkage, complete intersections and determinantal ideals (13C40) Syzygies, resolutions, complexes and commutative rings (13D02) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Linkage (14M06) Complete intersections (14M10)

Abstract: Let $S$ be a polynomial ring over a field and $IsubseteqS$ a homogeneous ideal containing a regular sequence of forms of degrees $d_1,ldots,d_c$. In this paper we prove the Lex-plus-powers Conjecture when the field has characteristic 0 for all regular sequences such that $d_{i}geqsu{m}_{j=1}^{i-1}(d_j-1)+1$ for each $i$; that is, we show that the Betti table of $I$ is bounded above by the Betti table of the lex-plus-powers ideal of $I$. As an application, when the characteristic is 0, we obtain bounds for the Betti numbers of any homogeneous ideal containing a regular sequence of known degrees, which are sharper than the previously known ones from the Bigatti-Hulett-Pardue Theorem.

Review text

Let \(I \subset S = \Bbbk[x_1,\ldots,x_n]\) be a homogeneous ideal containing a regular sequence of degrees \(d_1 \leq \ldots \leq d_c\). The Eisenbud-Green-Harris conjecture (see [\textit{D. Eisenbud} et al., Astérisque 218, 187--202 (1993; Zbl 0819.14001)] and [\textit{D. Eisenbud} et al., Bull. Am. Math. Soc., New Ser. 33, No. 3, 295--324 (1996; Zbl 0871.14024)]) states that there exists a lex ideal \(L \subseteq S\) such that \(I\) has the same Hilbert function as \(L + (x_1^{d_1}, \ldots,x_c^{d_c})\). A positive answer has various consequences about the growth of Hilbert functions. In particular, if \(L + (x_1^{d_1}, \ldots,x_c^{d_c})\) exists it has the largest number of generators among all ideals with the same Hilbert function containing a complete intersection of degrees \(d_1 \leq \ldots \leq d_c\). This leads to the Lex-plus-powers Conjecture (attributed to Charalambous and Evans (see [\textit{C. A. Francisco} and \textit{B. P. Richert}, Lect. Notes Pure Appl. Math. 254, 113--144 (2007; Zbl 1125.13008)]): If there exists a lex ideal \(L \subseteq S\) such that \(I\) has the same Hilbert function as \(L + (x_1^{d_1}, \ldots,x_c^{d_c})\), then \(\beta^S_{i,j}(I) \leq \beta^S_{i,j}(L + (x_1^{d_1}, \ldots,x_c^{d_c})\) for the corresponding graded Betti numbers \(\beta^S_{i,j}\). As a main result of the paper this is shown to be true if \(\text{char} \Bbbk = 0\) and the degrees satisfy \(d_i \geq \sum_{j=1}^{i-1} (d_j-1) +1\) for all \(i \geq 3\).

Recommendations

• A study of the lex plus powers conjecture.
• Almost complete intersections and the lex-plus-powers conjecture
• Borel-plus-powers monomial ideals
• The Lex-Plus-Powers conjecture holds for pure powers
• Some cases of the Eisenbud-Green-Harris conjecture

Cites work

• A generalization of a combinatorial theorem of macaulay
• A study of the lex plus powers conjecture.
• Almost complete intersections and the lex-plus-powers conjecture
• An application of liaison theory to the Eisenbud-Green-Harris conjecture
• Borel-plus-powers monomial ideals
• Cayley-Bacharach theorems and conjectures
• Deformation classes of graded modules and maximal Betti numbers
• scientific article; zbMATH DE number 4181496 (Why is no real title available?)
• scientific article; zbMATH DE number 5190502 (Why is no real title available?)
• scientific article; zbMATH DE number 1206589 (Why is no real title available?)
• scientific article; zbMATH DE number 1305008 (Why is no real title available?)
• scientific article; zbMATH DE number 1334570 (Why is no real title available?)
• scientific article; zbMATH DE number 592836 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• Ideals containing the squares of the variables
• Maximum betti numbers of homogeneous ideals with a given hilbert function
• Minimal resolutions of some monomial ideals
• On a conjecture by Kalai
• On the Eisenbud-Green-Harris conjecture
• On the Hilbert function of graded algebras of dimension 0
• Poset embeddings of Hilbert functions
• Poset embeddings of Hilbert functions and Betti numbers
• Some cases of the Eisenbud-Green-Harris conjecture
• Subsets of complete intersections and the EGH conjecture
• The Lex-Plus-Powers conjecture holds for pure powers
• The lex-plus-powers inequality for local cohomology modules
• The residuals of lex plus powers ideals and the Eisenbud-Green-Harris conjecture
• Upper bounds for the betti numbers of a given hilbert function

Cited in

(13)

• A study of the lex plus powers conjecture.
• Almost complete intersections and the lex-plus-powers conjecture
• A survey on the Eisenbud-Green-Harris conjecture
• The residuals of lex plus powers ideals and the Eisenbud-Green-Harris conjecture
• Syzygies in Hilbert schemes of complete intersections
• Regular sequences of power sums and complete symmetric polynomials
• scientific article; zbMATH DE number 5190502 (Why is no real title available?)
• The Eisenbud-Green-Harris conjecture
• F. S. Macaulay: From plane curves to Gorenstein rings
• Syzygies over a polynomial ring
• The Lex-Plus-Powers conjecture holds for pure powers
• On minimal presentations of numerical monoids
• Some cases of the Eisenbud-Green-Harris conjecture

Describes a project that uses

Uses Software

• LexIdeals

This page was built for publication: On the Lex-plus-powers conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1621460)