The modular-product q-series identity of type B

At least 5 years old · documented by

Let (q)n(q)_n denote the finite qq-Pochhammer symbol for n≥0n\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,r3≥0qr12+(r2+r3)2+r32−r1(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.

References

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.