The unified even-modulus eta-function identity

About 16 years old · traced to

Let k,Nk,N be positive integers and set n=⌊N/2⌋n=\lfloor N/2\rfloor. For 1≤a,b≤N−11\leq a,b\leq N-1, let CabC_{ab} be the Cartan integers of A⁡N−1\operatorname{A}_{N-1}, and define Mi(a)=mi(a)+⋯+mk−1(a)M_i^{(a)}=m_i^{(a)}+\cdots+m_{k-1}^{(a)}. Let ρ⋆=(0,1,…,n−1)\boldsymbol{\rho}^{\star}=(0,1,\dots,n-1) and let ρ\boldsymbol{\rho} denote the vector used in the odd-NN identity. The sums are over v∈Zn\boldsymbol{v}\in\mathbb Z^n satisfying the stated congruence conditions, and (q)r(q)_r, (q2;q2)r(q^2;q^2)_r, ξ\xi, and χ\chi have the meanings defined in the source. Unified even-modulus eta-function conjecture. The two expressions in the source are equal:

∑q12∑a,b=1N−1∑i=1k−1CabMi(a)Mi(b)∏a=1N−1(∏i=1k−2(q)mi(a))(q2;q2)mk−1(a)=1(q)∞N(N−1)/2∑ξ(v/ρ⋆)(−1)∣v∣−∣ρ⋆∣2k+N−2q∣∣v∣∣2−∣∣ρ⋆∣∣22(2k+N−2)\sum \frac{q^{\frac{1}{2}\sum_{a,b=1}^{N-1}\sum_{i=1}^{k-1} C_{ab}M_i^{(a)}M_i^{(b)}}}{\prod_{a=1}^{N-1}\bigl(\prod_{i=1}^{k-2}(q)_{m_i^{(a)}}\bigr)(q^2;q^2)_{m_{k-1}^{(a)}}} =\frac{1}{(q)_{\infty}^{N(N-1)/2}}\sum \xi(\boldsymbol{v}/\boldsymbol{\rho}^{\star})(-1)^{\tfrac{\lvert\boldsymbol{v}\rvert-\lvert\boldsymbol{\rho}^{\star}\rvert}{2k+N-2}}q^{\tfrac{||\boldsymbol{v}||^2-||\boldsymbol{\rho}^{\star}||^2}{2(2k+N-2)}}

for even NN, with vi≡ρi⋆(mod2k+N−2)v_i\equiv\rho_i^{\star}\pmod{2k+N-2}, and

1(q)∞N(N−1)/2∑χ(v/ρ)q∣∣v∣∣2−∣∣ρ∣∣22(2k+N−2)\frac{1}{(q)_{\infty}^{N(N-1)/2}}\sum \chi(\boldsymbol{v}/\boldsymbol{\rho})q^{\tfrac{||\boldsymbol{v}||^2-||\boldsymbol{\rho}||^2}{2(2k+N-2)}}

for odd NN, with vi≡ρi(mod2k+N−2)v_i\equiv\rho_i\pmod{2k+N-2}. This conjecture unifies Bressoud's identity for p=kp=k with Macdonald's eta-function identities; the source gives no general proof, so the claim remains open.

References

Primary source

S. Ole Warnaar and Wadim Zudilin, “Dedekind's eta-function and Rogers-Ramanujan identities”, arXiv:1001.1571 (2010).

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.