Conjectural Hilbert series for generic quadratic ideals in four and five variables

About 14 years old · traced to

Let Rn,r,s=Sn/IsR_{n,r,s}=S_n/I^s, where II is generated by rr generic quadratic forms in Sn=k[x1,…,xn]S_n=k[x_1,\ldots,x_n]. The Hilbert series is written as Rn,r,s(t)=∑i≥0dim⁡k(Rn,r,s)itiR_{n,r,s}(t)=\sum_{i\ge0}\dim_k(R_{n,r,s})_i t^i, and the Hilbert coefficients are the coefficients in the eventual binomial-polynomial expression for l(Rn,r,s)l(R_{n,r,s}).

Generic quadratic Hilbert-series conjecture. For the indicated values of n,rn,r, the following formulas hold:

  • For R4,5,sR_{4,5,s} and s≥4s\ge4,
R4,5,s(t)=∑i=02s−1(i+33)ti+10s2−25s+35,R_{4,5,s}(t)=\sum_{i=0}^{2s-1}{i+3\choose3}t^i+10s^2-25s+35,

and (e0,e1,e2,e3,e4)=(16,12,21,35,35)(e_0,e_1,e_2,e_3,e_4)=(16,12,21,35,35).

  • For R4,6,sR_{4,6,s} and s≥4s\ge4,
R4,6,s(t)=∑i=02s−1(i+33)ti+10s,R_{4,6,s}(t)=\sum_{i=0}^{2s-1}{i+3\choose3}t^i+10s,

and (e0,e1,e2,e3)=(16,12,1,10)(e_0,e_1,e_2,e_3)=(16,12,1,10).

  • For R4,7,sR_{4,7,s} and s≥3s\ge3,
R4,7,s(t)=∑i=02s−1(i+33)ti,R_{4,7,s}(t)=\sum_{i=0}^{2s-1}{i+3\choose3}t^i,

and (e0,e1,e2)=(16,12,1)(e_0,e_1,e_2)=(16,12,1).

  • For R5,9,sR_{5,9,s} and s≥4s\ge4,
R5,9,s(t)=∑i=02s−1(i+44)ti,R_{5,9,s}(t)=\sum_{i=0}^{2s-1}{i+4\choose4}t^i,

and (e0,e1,e2)=(32,32,6)(e_0,e_1,e_2)=(32,32,6).

These formulas extend the few cases whose Hilbert series are known and concern the difficult problem of determining powers of ideals generated by generic quadrics. The source presents them as conjectural and gives no proof or resolution.

References

Primary source

Ralf Froberg, “Hilbert coefficients of quadratic algebras”, arXiv:2311.02860 (2023).

Additional references

2 papers in this index state this conjecture (2012–2023). The statement above is taken from the most recent of them; the others are arXiv:1212.2876.

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.