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

Let m>2m>2, let pp be the parameter of the DmD_m identity, let tt be an indeterminate, and let Resx0,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.

Resx0,x1,,xm+2(1+x0)m2p+mp(m+1)tx04mp+3(x1xm+2)4pi=1m+2(1+xi)t(x0xm+1)2mp(x0xm+2)2mp1i<jm+2(xixj)2pi=1m(xix0)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} =Resx0,x1,,xm+2(1+x0)m2p+mp(m+1)tx04mp+4(x1xm+2)4pi=1m+2(1+xi)t(x0xm+1)2mp(x0xm+2)2mp1i<jm+2(xixj)2pi=1m(xix0)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)(tp+122p)(t(m+1)p+1p)(t+mpp)l=0m1(t+pl(m+1)p1),=\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, p4p\leq4 and m=4m=4, p2p\leq2, while noting that the analogous conjecture does not hold for m=2m=2.

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.