Macdonald polynomial vanishing conjecture for the U(2n)U(2n) Grassmannian coset

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. U(2n)U(2n) Grassmannian conjecture.

1ZPμν(±x1,±x2,,±xn;q,t)1ijn(xi/xj;q2)(t2xi/xj;q2)i=1ndxi2π1xi=0\frac{1}{Z}\int P_{\mu\overline{\nu}}(\pm\sqrt{x_1},\pm\sqrt{x_2},\dots,\pm\sqrt{x_n};q,t)\prod_{1\leq i\ne j\leq n}\frac{(x_i/x_j;q^2)}{(t^2x_i/x_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

(1)μ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{(-1)^{|\mu|}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 conjecture is motivated by integration over a coset of U(n)×U(n)U(n)\times U(n) and was inferred from low-rank cases; the general formula remains open.

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.