The modular-product q-series identity of type B

Let (q)n(q)_n denote the finite qq-Pochhammer symbol for n0n\geq 0, and let (a1,,ak;q)(a_1,\ldots,a_k;q)_\infty denote the corresponding infinite multiple qq-Pochhammer product. The summation variables r1,r2,r3r_1,r_2,r_3 range over nonnegative integers.

Modular-product q-series conjecture. After setting y1=y2=1y_1=y_2=1 in the charge-refined identity, the following identity holds:

r1,r2,r30qr12+(r2+r3)2+r32r1(r2+2r3)(q)r1(q)r2(q)r3=(q;q)(q;q2)2(q,q4;q5).\sum_{\substack{r_1,r_2,r_3 \geq 0}} \frac{q^{r_1^2+(r_2+r_3)^2+r_3^2-r_1(r_2+2 r_3)}}{(q)_{r_1}(q)_{r_2}(q)_{r_3}}=\frac{(-q;q)_\infty (-q;q^2)^2_\infty}{(q,q^4;q^5)_\infty}.

The identity is presented as an elegant specialization with a modular product side, but the source gives no proof or resolution; it is related to the preceding charge-refined conjecture and is conjectured to arise from a more complicated quantum-dilogarithm relation.

Sources & referencesView supporting material

Primary source

Hao Li and Antun Milas, “Jet Schemes, Quantum Dilogarithm and Feigin-Stoyanovsky's Principal Subspaces”, arXiv:2010.02143 (2024).

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.