Gasharov–Hibi–Peeva conjecture on Betti numbers over a power quotient

Let S=k[x1,,xn]S=\Bbbk[x_{1},\ldots,x_{n}], let P=(x1e1,,xrer)P=(x_{1}^{e_{1}},\ldots,x_{r}^{e_{r}}), and set R=S/PR=S/P. Let II be a homogeneous ideal containing PP, and let LL be the lex-plus-PP ideal with the same Hilbert function as II. Write Iˉ\bar I and Lˉ\bar L for their images in RR. Gasharov–Hibi–Peeva conjecture. For all ii and jj,

bi,jR(Lˉ)bi,jR(Iˉ).b_{i,j}^{R}(\bar L)\geq b_{i,j}^{R}(\bar I).

This is the analogue over S/PS/P of the Bigatti–Hulett–Pardue maximality theorem for lex ideals. The paper presents it as an open conjecture.

Sources & referencesView supporting material

Primary source

Jeff Mermin and Satoshi Murai, “The Lex-Plus-Powers Conjecture holds for pure powers”, arXiv:0801.0391 (2008).

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.