Macdonald polynomial Grassmannian vanishing conjecture for U(m)×U(n)U(m)\times U(n)

About 25 years old · traced to

Let mm and nn be integers with 0≤m≤n0\leq m\leq n, let μν‾\mu\overline{\nu} be a dominant weight of U(m+n)U(m+n), and let Pμν‾P_{\mu\overline{\nu}} be the corresponding Macdonald polynomial. Here ZZ normalizes the integral so that the integral of the trivial polynomial is 11. Grassmannian vanishing conjecture.

1Z∫Pμν‾(x1,…,xm,y1,…,yn)∏1≤i≠j≤m(xi/xj;q)(txi/xj;q)∏1≤i≠j≤n(yi/yj;q)(tyi/yj;q)∏i=1mdxi2π−1xi∏i=1ndyi2π−1yi=0\frac{1}{Z}\int P_{\mu\overline{\nu}}(x_1,\dots,x_m,y_1,\dots,y_n)\prod_{1\leq i\ne j\leq m}\frac{(x_i/x_j;q)}{(tx_i/x_j;q)}\prod_{1\leq i\ne j\leq n}\frac{(y_i/y_j;q)}{(ty_i/y_j;q)}\prod_{i=1}^m\frac{dx_i}{2\pi\sqrt{-1}x_i}\prod_{i=1}^n\frac{dy_i}{2\pi\sqrt{-1}y_i}=0

unless μ=ν\mu=\nu and ℓ(μ)≤m\ell(\mu)\leq m; in that case the integral equals

Cμ−(q;q,t)Cμ+(tm+n−2q;q,t)Cμ0(tn,tm;q,t)Cμ−(t;q,t)Cμ+(tm+n−2t;q,t)Cμ0(qtn−1,qtm−1;q,t).\frac{C^-_\mu(q;q,t)C^+_\mu(t^{m+n-2}q;q,t)C^0_\mu(t^n,t^m;q,t)}{C^-_\mu(t;q,t)C^+_\mu(t^{m+n-2}t;q,t)C^0_\mu(qt^{n-1},qt^{m-1};q,t)}.

The claim is motivated by the Schur integral for the symmetric space U(m+n)/(U(m)×U(n))U(m+n)/(U(m)\times U(n)); the nonzero value was guessed from low-order examples and remains conjectural.

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.