Containment conjecture for initial annihilator ideals of generic forms

Let RR and SS be the polynomial rings considered in the source. Let GSG\in S be a generic form of degree e1e\geq 1, and set

d=e/2+1.d=\lfloor e/2\rfloor+1.

Let II be an ideal of RR generated by generic forms of degrees at least dd, with at least dimkRddimkRd1\dim_k R_d-\dim_k R_{d-1} of those generators having degree dd.

Initial-ideal containment conjecture. Then

in(Ann(G))in(I).\operatorname{in}(\operatorname{Ann}(G))\subseteq \operatorname{in}(I).

This prediction arises from computational evidence comparing the initial ideal of the annihilator of a generic form with initial ideals of ideals generated by sufficiently many generic forms. The supplied text gives no evidence of resolution.

Sources & referencesView supporting material

Primary source

Mats Boij, Luís Duarte and Samuel Lundqvist, “On the initial ideal of a generic artinian Gorenstein algebra”, arXiv:2504.07541 (2025).

Additional references

3 papers in this index state this conjecture (2012–2025). The statement above is taken from the most recent of them; the others are arXiv:2007.08612, arXiv:1212.0718.

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.