Constant term identity of type DmD_m, m>2m>2

About 11 years old · traced to

Let m>2m>2, let pp be the parameter of the DmD_m identity, let tt be an indeterminate, and let Res⁡x0,x1,…,xm+2\operatorname{Res}_{x_0,x_1,\ldots,x_{m+2}} denote the iterated residue in the displayed variables. Constant term identity of type DmD_m, m>2m>2.

Res⁡x0,x1,…,xm+2(1+x0)m2p+mp−(m+1)tx0−4mp+3(x1⋯xm+2)4p∏i=1m+2(1+xi)t(x0−xm+1)−2mp(x0−xm+2)−2mp∏1≤i<j≤m+2(xi−xj)2p∏i=1m(xi−x0)−2mp\operatorname{Res}_{x_{0},x_{1},\dots, x_{m+2}}\frac{(1+x_{0})^{m^2p+mp-(m+1)t}} {x_{0}^{-4mp+3}(x_{1}\cdots x_{m+2})^{4p}}\prod\limits_{i=1}^{m+2}(1+ x_{i})^{t}(x_{0}-x_{m+1})^{-2mp}(x_{0}-x_{m+2})^{-2mp}\prod\limits_{1\leq i<j\leq m+2}(x_{i}-x_{j})^{2p}\prod\limits_{i=1}^{m}(x_{i}-x_{0})^{-2mp} =−Res⁡x0,x1,…,xm+2(1+x0)m2p+mp−(m+1)tx0−4mp+4(x1⋯xm+2)4p∏i=1m+2(1+xi)t(x0−xm+1)−2mp(x0−xm+2)−2mp∏1≤i<j≤m+2(xi−xj)2p∏i=1m(xi−x0)−2mp=-\operatorname{Res}_{x_{0},x_{1},\dots, x_{m+2}}\frac{(1+x_{0})^{m^2p+mp-(m+1)t}} {x_{0}^{-4mp+4}(x_{1}\cdots x_{m+2})^{4p}}\prod\limits_{i=1}^{m+2}(1+ x_{i})^{t}(x_{0}-x_{m+1})^{-2mp}(x_{0}-x_{m+2})^{-2mp}\prod\limits_{1\leq i<j\leq m+2}(x_{i}-x_{j})^{2p}\prod\limits_{i=1}^{m}(x_{i}-x_{0})^{-2mp} =αp,m(t+p+122p)(t−p+122p)(t−(m+1)p+1p)(t+mpp)∏l=0m−1(t+pl(m+1)p−1),=\alpha_{p,m} {t+p+\tfrac{1}{2} \choose 2p} {t-p+ \tfrac{1}{2} \choose 2p} {t-(m+1)p+1 \choose p} {t+mp \choose p} \prod\limits_{l=0}^{m-1}{t+pl \choose (m+1)p-1},

where αp,m\alpha_{p,m} is a nonzero constant. The source reports verification for m=3m=3, p≤4p\leq4 and m=4m=4, p≤2p\leq2, while noting that the analogous conjecture does not hold for m=2m=2.

References

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.