Conjecture on minimal generators of the annihilator of the complete symmetric form

Let RR be the polynomial ring and let H2d+1H_{2d+1} be the complete symmetric form considered in the source. Write Ann(H2d+1)\operatorname{Ann}(H_{2d+1}) for its annihilator ideal, and let φ(Fa)\varphi(F_{\underline a}) denote the indicated elements from the source, with a|\underline a| denoting the sum of the entries of a\underline a.

Minimal-generator conjecture. If dd is odd, then Ann(H2d+1)\operatorname{Ann}(H_{2d+1}) has no minimal generators in degree d+2d+2, and

Ann(H2d+1)=(φ(Fa):a=d+1).\operatorname{Ann}(H_{2d+1})=(\varphi(F_{\underline a}):|\underline a|=d+1).

If dd is even, then Ann(H2d+1)\operatorname{Ann}(H_{2d+1}) has exactly one minimal generator in degree d+2d+2, and

Ann(H2d+1)=(φ(Fa):a=d+1)+(φ(xn2(xn1xn)d)).\operatorname{Ann}(H_{2d+1})=(\varphi(F_{\underline a}):|\underline a|=d+1)+(\varphi(x_n^2(x_{n-1}-x_n)^d)).

The conjecture is motivated by computational experiments on determining a minimal generating set for the annihilator of the complete symmetric form. 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).

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.