Conjecture on the bispectral algebra for a three-by-three step-up example

From papers

Let

Ψ(x,z)=exz(zx1x2x30zx1x200zx1).\Psi(x,z)=e^{xz}\begin{pmatrix}z-x^{-1}&x^{-2}&-x^{-3}\\0&z-x^{-1}&x^{-2}\\0&0&z-x^{-1}\end{pmatrix}.

Consider matrix-valued polynomials Θ(x)\Theta(x) for which there exists a differential operator B\mathcal B satisfying

ΨB=Θ(x)Ψ.\Psi\mathcal B=\Theta(x)\Psi.

Bispectral algebra conjecture. The algebra of all such Θ(x)\Theta(x) is the algebra of polynomials

\begin{aligned} &\begin{pmatrix}r^{11}_0&r^{12}_0&r^{13}_0\\0&r^{22}_0&r^{23}_0\\0&0&r^{11}_0\end{pmatrix}+\begin{pmatrix}r^{11}_1&r^{12}_1&r^{13}_1\r^{22}_0-r^{11}_0&r^{22}_1&r^{23}_1\\0&r^{22}_0-r^{11}_0&r^{11}_1+r^{23}_0-r^{12}_0\end{pmatrix}x\\ &+\begin{pmatrix}r^{11}_2&r^{12}_2&r^{13}_2\r^{22}_1-r^{11}_1-r^{23}_0+r^{12}_0&r^{22}_2&r^{23}_2\r^{22}_0-r^{11}_0&r^{22}_1-r^{11}_1&r^{11}_2+r^{23}_1-r^{12}_1\end{pmatrix}x^2\\ &+\begin{pmatrix}r^{11}_3&r^{12}_3&r^{13}_3\r^{21}_3&r^{22}_3&r^{23}_3\r^{22}_1-2r^{11}_1-r^{23}_0+r^{12}_0&r^{32}_3&r^{33}_3\end{pmatrix}x^3\\ &+\begin{pmatrix}r^{11}_4&r^{12}_4&r^{13}_4\r^{21}_4&r^{22}_4&r^{23}_4\r^{32}_3+r^{21}_3-r^{22}_2-r^{11}_2+r^{12}_1&r^{32}_4&r^{33}_4\end{pmatrix}x^4\\ &+\begin{pmatrix}r^{11}_5&r^{12}_5&r^{13}_5\r^{21}_5&r^{22}_5&r^{23}_5\r^{32}_4+r^{21}_4-r^{33}_3-r^{22}_3-r^{11}_3+r^{23}_2+r^{12}_2-r^{13}_1&r^{32}_5&r^{33}_5\end{pmatrix}x^5+x^6P(x), \end{aligned}

where P(x)P(x) is an arbitrary 3×33\times3 matrix-valued polynomial and all variables rkijr^{ij}_k displayed in the source are arbitrary.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

F. Alberto Grünbaum, “Some Noncommutative Matrix Algebras Arising in the Bispectral Problem”, arXiv:1407.6458 (2014).

Solutions 0

No solutions have been posted yet.