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

Let mm and nn be integers with 0mn0\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.

1ZPμν(x1,,xm,y1,,yn)1ijm(xi/xj;q)(txi/xj;q)1ijn(yi/yj;q)(tyi/yj;q)i=1mdxi2π1xii=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+n2q;q,t)Cμ0(tn,tm;q,t)Cμ(t;q,t)Cμ+(tm+n2t;q,t)Cμ0(qtn1,qtm1;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.

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.