Lex-plus-powers conjecture for socle dimensions

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 2a1an2\leq a_1\leq\ldots\leq a_n. Let LL be a lex-plus-powers ideal associated with these degrees such that

HR/I(i)=HR/L(i)for all i0.\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 j0.\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.

Sources & referencesView supporting material

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.