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

About 25 years old · traced to

Let n≥0n\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.

1Z∫Pμν‾(±x1,±x2,…,±xn;q,t)∏1≤i≠j≤n(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μ+(t2n−2q;q,t)Cμ0(tn,−tn;q,t)Cμ−(t;q,t)Cμ+(t2n−2t;q,t)Cμ0(qtn−1,−qtn−1;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.

References

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.