Macdonald polynomial vanishing conjecture for a nonstandard U(2n)U(2n) weight

Let n0n\geq 0, let μν\mu\overline{\nu} be a dominant weight of U(2n)U(2n), and let ZZ normalize the integral so that the trivial polynomial integrates to 11. Nonstandard U(2n)U(2n) vanishing conjecture.

1ZPμν(x1,,xn,y1,,yn;q,t)1i,jn(qxi/yj,qyi/xj;q2)(txi/yj,tyi/xj;q2)1ijn(xi/xj,yi/yj;q2)(qtxi/xj,qtyi/yj;q2)i=1ndxi2π1xi=0\frac{1}{Z}\int P_{\mu\overline{\nu}}(x_1,\dots,x_n,y_1,\dots,y_n;q,t)\prod_{1\leq i,j\leq n}\frac{(qx_i/y_j,qy_i/x_j;q^2)}{(tx_i/y_j,ty_i/x_j;q^2)}\prod_{1\leq i\ne j\leq n}\frac{(x_i/x_j,y_i/y_j;q^2)}{(qtx_i/x_j,qty_i/y_j;q^2)}\prod_{i=1}^n\frac{dx_i}{2\pi\sqrt{-1}x_i}=0

unless μ=ν\mu=\nu; in that case it equals

Cμ(q;q,t)Cμ+(t2n2q;q,t)Cμ0(tn,tn;q,t)Cμ(t;q,t)Cμ+(t2n2t;q,t)Cμ0(qtn1,qtn1;q,t).\frac{C^-_\mu(q;q,t)C^+_\mu(t^{2n-2}q;q,t)C^0_\mu(t^n,-t^n;q,t)}{C^-_\mu(t;q,t)C^+_\mu(t^{2n-2}t;q,t)C^0_\mu(qt^{n-1},-qt^{n-1};q,t)}.

The weight is explicitly noted to be nonstandard rather than Macdonald or Koornwinder type; the associated orthogonal polynomials are suggested as an interesting object, and the assertion remains conjectural.

Sources & referencesView supporting material

Primary source

Eric M. Rains, “BC_n-symmetric polynomials”, arXiv:math/0112035 (2004).

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.