Containment conjecture for initial annihilator ideals of generic forms

About 14 years old · traced to

Let RR and SS be the polynomial rings considered in the source. Let G∈SG\in S be a generic form of degree e≥1e\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 dim⁡kRd−dim⁡kRd−1\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.

References

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.