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

About 1 year old · traced to

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(xn−1−xn)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.

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).

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.