Conjectural action of the spectral-dual generators on integral generalized Macdonald polynomials

About 10 years old · traced to

Let NN be a positive integer, let λ⃗=(λ(1),…,λ(N))\vec{\lambda}=(\lambda^{(1)},\ldots,\lambda^{(N)}) be an NN-tuple of Young diagrams, and let M~λ⃗\widetilde{M}_{\vec{\lambda}} be their integral generalized Macdonald polynomials. For a tuple λ⃗\vec{\lambda}, write A(λ⃗)A(\vec{\lambda}) and R(λ⃗)R(\vec{\lambda}) for the addable and removable boxes, respectively, and for a box x=(ℓ,i,j)x=(\ell,i,j) set χx=uℓt−i+1qj−1\chi_x=u_\ell t^{-i+1}q^{j-1}. If μ⃗\vec{\mu} is obtained from λ⃗\vec{\lambda} by removing or adding one box, define

c~λ⃗,μ⃗(+)=ξx(+)∏y∈A(λ⃗)(1−χxχy−1(q/t))∏y∈R(λ⃗)\y≠x(1−χxχy−1),x∈λ⃗∖μ⃗,\tilde{c}^{(+)}_{\vec{\lambda},\vec{\mu}}=\xi^{(+)}_x\frac{\prod_{y\in A(\vec{\lambda})}(1-\chi_x\chi_y^{-1}(q/t))}{\prod_{\substack{y\in R(\vec{\lambda})\y\ne x}}(1-\chi_x\chi_y^{-1})},\qquad x\in\vec{\lambda}\setminus\vec{\mu}, c~λ⃗,μ⃗(−)=ξx(−)∏y∈R(λ⃗)(1−χyχx−1(q/t))∏y∈A(λ⃗)\y≠x(1−χyχx−1),x∈μ⃗∖λ⃗,\tilde{c}^{(-)}_{\vec{\lambda},\vec{\mu}}=\xi^{(-)}_x\frac{\prod_{y\in R(\vec{\lambda})}(1-\chi_y\chi_x^{-1}(q/t))}{\prod_{\substack{y\in A(\vec{\lambda})\y\ne x}}(1-\chi_y\chi_x^{-1})},\qquad x\in\vec{\mu}\setminus\vec{\lambda},

where

ξ(ℓ,i,j)(+)=(−1)N+ℓp−ℓ+12t(N−ℓ)iq(ℓ−N+1)j∏k=1N−ℓuℓ+kuℓN−ℓ−1,ξ(ℓ,i,j)(−)=(−1)ℓpℓ−12t(ℓ−2)iq(1−ℓ)j∏k=1ℓ−1ukuℓℓ−2.\xi^{(+)}_{(\ell,i,j)}=(-1)^{N+\ell}p^{-\frac{\ell+1}{2}}t^{(N-\ell)i}q^{(\ell-N+1)j}\frac{\prod_{k=1}^{N-\ell}u_{\ell+k}}{u_\ell^{N-\ell-1}},\qquad \xi^{(-)}_{(\ell,i,j)}=(-1)^\ell p^{\frac{\ell-1}{2}}t^{(\ell-2)i}q^{(1-\ell)j}\frac{\prod_{k=1}^{\ell-1}u_k}{u_\ell^{\ell-2}}.

Conjectural action of X±1(1)X^{(1)}_{\pm1}.

X1(1)M~λ⃗=?∑∣μ⃗∣=∣λ⃗∣−1λ⃗⊃μ⃗c~λ⃗,μ⃗(+)M~μ⃗,X−1(1)M~λ⃗=?∑∣μ⃗∣=∣λ⃗∣+1λ⃗⊂μ⃗c~λ⃗,μ⃗(−)M~μ⃗.X^{(1)}_1\widetilde{M}_{\vec{\lambda}}\overset{?}{=}\sum_{\substack{|\vec{\mu}|=|\vec{\lambda}|-1\vec{\lambda}\supset\vec{\mu}}}\tilde{c}^{(+)}_{\vec{\lambda},\vec{\mu}}\widetilde{M}_{\vec{\mu}},\qquad X^{(1)}_{-1}\widetilde{M}_{\vec{\lambda}}\overset{?}{=}\sum_{\substack{|\vec{\mu}|=|\vec{\lambda}|+1\vec{\lambda}\subset\vec{\mu}}}\tilde{c}^{(-)}_{\vec{\lambda},\vec{\mu}}\widetilde{M}_{\vec{\mu}}.

This conjecture describes the spectral-dual action of the DIM algebra generators on the integral generalized Macdonald basis. The X1(1)X^{(1)}_1 case and the displayed formulas have been checked computationally in small sizes, while the general action remains open.

References

Primary source

Hidetoshi Awata, Hiroaki Kanno, Andrei Mironov, Alexei Morozov, Andrey Morozov, Yusuke Ohkubo and Yegor Zenkevich, “Toric Calabi-Yau threefolds as quantum integrable systems. R-matrix and RTT relations”, arXiv:1608.05351 (2016).

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.