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

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)=i0dimk(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 s4s\ge4,
R4,5,s(t)=i=02s1(i+33)ti+10s225s+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 s4s\ge4,
R4,6,s(t)=i=02s1(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 s3s\ge3,
R4,7,s(t)=i=02s1(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 s4s\ge4,
R5,9,s(t)=i=02s1(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.

Sources & referencesView supporting material

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.