The conjectural recurrence and functional equation for cusp Hilbert series

For each d0d\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)drNHr(tqdr),\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(q2dt1)=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.

Sources & referencesView supporting material

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.