Eigenvalue conjecture for the degenerate elliptic operator

Let Dn,y1(p)D_{n,y}^1(p) be the Ruijsenaars difference operator acting on formal Laurent power series in yy, and let [η(z;pq1t)]1\big[\eta(z;p q^{-1}t)\big]_1 act on the Fock space F\mathcal{F}. For a partition λ\lambda, write ελ(p,n)\varepsilon_\lambda(p,n) for the eigenvalue determined by

Dn,y1(p)fλ(y,p)=ελ(p,n)fλ(y,p).D_{n,y}^1(p)f_\lambda(y,p)=\varepsilon_\lambda(p,n)f_\lambda(y,p).

Eigenvalue conjecture. The eigenvalues of [η(z;pq1t)]1\big[\eta(z;p q^{-1}t)\big]_1 on F\mathcal{F} are given by

limn(1t1)(p/t;p)(pt/q;p)(p;p)(p/q;p)tn+1ελ(p,n),\lim_{n\rightarrow\infty}(1-t^{-1})\frac{(p/t;p)_\infty(p t/q;p)_\infty}{(p;p)_\infty(p/q;p)_\infty}t^{-n+1}\varepsilon_\lambda(p,n),

where λ\lambda ranges over partitions. Equivalently, the unwanted operator satisfies

limntn[i=1nΘp(qt1z/yi)Θp(qz/yi)Θp(tz/yi)Θp(z/yi)η(z;pq1t)]11=0.\lim_{n\rightarrow\infty}t^{-n}\left[\prod_{i=1}^n\frac{\Theta_p(q t^{-1} z/y_i)}{\Theta_p(q z/y_i)}\frac{\Theta_p(t z/y_i)}{\Theta_p(z/y_i)}\eta(z;p q^{-1}t)\right]_1\cdot 1=0.

This conjecture identifies the limiting eigenvalues of the degenerate elliptic operator with those obtained from the finite-variable Ruijsenaars operators. The source presents it as suggested by brute-force calculations and does not provide a resolution.

Sources & referencesView supporting material

Primary source

B. Feigin, K. Hashizume, A. Hoshino, J. Shiraishi and S. Yanagida, “A commutative algebra on degenerate CP^1 and Macdonald polynomials”, arXiv:0904.2291 (2009).

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.