Lex-plus-powers conjecture for socle dimensions

At least 4 years old · documented by

Let R=K[x1,…,xn]R=K[x_1,\ldots,x_n], and let II be a homogeneous ideal containing a regular sequence of degrees 2≤a1≤…≤an2\leq a_1\leq\ldots\leq a_n. Let LL be a lex-plus-powers ideal associated with these degrees such that

H⁡R/I(i)=H⁡R/L(i)for all i≥0.\operatorname{\mathcal{H}}_{R/I}(i)=\operatorname{\mathcal{H}}_{R/L}(i)\quad\text{for all }i\geq0.

The socle is the annihilator of the homogeneous maximal ideal in the relevant quotient, and its graded dimensions are measured by the top graded Betti numbers. Lex-plus-powers socle conjecture. The dimension of the socle of II is at most the dimension of the socle of LL in every degree; equivalently,

βn,j(R/L)≥βn,j(R/I)for all j≥0.\beta_{n,j}(R/L)\geq\beta_{n,j}(R/I)\quad\text{for all }j\geq0.

This is the special case of the lex-plus-powers Betti-number conjecture with top homological index i=ni=n, and the source states that it is equivalent to the EGH conjecture. The source gives no resolution of the general conjecture.

References

Primary source

Sema Gunturkun, “A Survey on The Eisenbud-Green-Harris Conjecture”, arXiv:2103.14106 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.