The conjectural recurrence and functional equation for cusp Hilbert series

About 3 years old · traced to

For each d≥0d\geq 0, let NHd(t)\mathit{NH}_d(t) be the normalized cusp Hilbert series, let [dr]q{d\brack r}_q be the qq-binomial coefficient, and let (t;q)m(t;q)_m be the finite qq-Pochhammer symbol. The cusp Hilbert-series recurrence conjecture.

NHd(t2)=∑r=0dtr[dr]q(t;q)d−rNHr(tqd−r),\mathit{NH}_d(t^2)=\sum_{r=0}^d t^r {d\brack r}_q (t;q)_{d-r}\mathit{NH}_r(tq^{d-r}),

and

qd2tdNHd(q−2dt−1)=NHd(t).q^{d^2}t^d\mathit{NH}_d(q^{-2d}t^{-1})=\mathit{NH}_d(t).

These identities translate the conjectural quotient formulas into statements about normalized Hilbert-series polynomials. They are supported by the computations described in the paper for small dd, but remain conjectural in general.

References

Primary source

Yifeng Huang and Ruofan Jiang, “Punctual Quot schemes and Cohen–Lenstra series of the cusp singularity”, arXiv:2305.06411 (2023).

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.