The unified even-modulus eta-function identity

Let k,Nk,N be positive integers and set n=N/2n=\lfloor N/2\rfloor. For 1a,bN11\leq a,b\leq N-1, let CabC_{ab} be the Cartan integers of AN1\operatorname{A}_{N-1}, and define Mi(a)=mi(a)++mk1(a)M_i^{(a)}=m_i^{(a)}+\cdots+m_{k-1}^{(a)}. Let ρ=(0,1,,n1)\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 vZn\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:

q12a,b=1N1i=1k1CabMi(a)Mi(b)a=1N1(i=1k2(q)mi(a))(q2;q2)mk1(a)=1(q)N(N1)/2ξ(v/ρ)(1)vρ2k+N2qv2ρ22(2k+N2)\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+N2)v_i\equiv\rho_i^{\star}\pmod{2k+N-2}, and

1(q)N(N1)/2χ(v/ρ)qv2ρ22(2k+N2)\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+N2)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.

Sources & referencesView supporting material

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.