Gasharov–Hibi–Peeva conjecture on Betti numbers over a power quotient
Let S=k[x1,…,xn]S=\Bbbk[x_{1},\ldots,x_{n}]S=k[x1,…,xn], let P=(x1e1,…,xrer)P=(x_{1}^{e_{1}},\ldots,x_{r}^{e_{r}})P=(x1e1,…,xrer), and set R=S/PR=S/PR=S/P. Let III be a homogeneous ideal containing PPP, and let LLL be the lex-plus-PPP ide…