Constant term identity of type D2D_2, I

Let pp be the parameter of the D2D_2 identity, let tt be an indeterminate, and let Resx0,x1,x2,x3,x4\operatorname{Res}_{x_0,x_1,x_2,x_3,x_4} denote the iterated residue in the displayed variables. Constant term identity of type D2D_2, I.

Resx0,x1,x2,x3,x4(1+x0)6p22tx08p+3(x1x2x3x4)4p(1+x1)t(1+x2)t(1+x3)t(1+x4)t(x0x1)4p(x0x2)4p(x3x0)4p1i<j4(xixj)2px04p1(4p1)!x41δ(x0x4)\operatorname{Res}_{x_{0},x_{1},x_{2},x_{3},x_{4}}\frac{(1+x_{0})^{6p-2-2t}} {x_{0}^{-8p+3}(x_{1}x_{2}x_{3} x_{4})^{4p}}(1+ x_{1})^{t}(1+ x_{2})^{t}(1+ x_{3})^{t}(1+ x_{4})^{t}(x_{0}-x_{1})^{-4p}(x_{0}-x_{2})^{-4p}(x_{3}-x_{0})^{-4p}\prod\limits_{1\leq i<j\leq 4}(x_{i}-x_{j})^{2p}\frac{\partial_{x_{0}}^{4p-1}}{(4p-1)!} x_{4}^{-1} \delta\left(\frac{x_{0}}{x_{4}}\right) =Ap(t+p+1/24p)(t+2p4p1)(t4p1),=A_p {t + p + 1/2 \choose 4p} {t + 2p \choose 4p -1} {t \choose 4p -1},

where ApA_p is a nonzero constant. The conjecture is cited from earlier work and is introduced because the m=2m=2 case of the preceding DmD_m identity fails; the source gives no general proof.

Sources & referencesView supporting material

Primary source

Drazen Adamovic, Xianzu Lin and Antun Milas, “Vertex Algebras W(p)^A_m and W(p)^D_m and Constant Term Identities”, arXiv:1503.01542 (2015).

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.