Iarrobino's conjecture on powers of generic linear forms

About 9 years old · traced to

Let f1,…,frf_1,\ldots,f_r be generic forms of degree dd in k[x1,…,xn]k[x_1,\ldots,x_n], and let l1,…,lrl_1,\ldots,l_r be generic linear forms. Exclude the cases r=n+2r=n+2, r=n+3r=n+3, (n,r)=(3,7),(3,8),(4,9),(5,14)(n,r)=(3,7),(3,8),(4,9),(5,14).

Iarrobino's conjecture. Outside these exceptions, the algebras

k[x1,…,xn]/(l1d,…,lrd)andk[x1,…,xn]/(f1,…,fr)k[x_1,\ldots,x_n]/(l_1^d,\ldots,l_r^d)\quad\text{and}\quad k[x_1,\ldots,x_n]/(f_1,\ldots,f_r)

have the same Hilbert series.

The conjecture compares powers of generic linear forms with generic forms of the same degree. The source does not specify its resolution status.

References

Primary source

Ralf Fröberg and Samuel Lundqvist, “Extremal Hilbert series”, arXiv:1711.01232 (2017).

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.