The generalized image conjecture for orthogonal-polynomial differential operators

Let BRnB\subset\mathbb R^n, let w(z)w(z) and {uααNn}\{u_\alpha\mid\alpha\in\mathbb N^n\} be the data of an orthogonal-polynomial system, with the variables written as zz. Assume that the orthogonal polynomials are obtained through the stated Rodrigues-type equation for commuting differential operators Λ=(Λ1,,Λn)\Lambda=(\Lambda_1,\ldots,\Lambda_n) in a localization of C[z]\mathbb C[z]. Define

ImΛ=C[z]i=1nΛiC[z].\operatorname{Im}'\Lambda=\mathbb C[z]\cap\sum_{i=1}^n\Lambda_i\mathbb C[z].

The generalized image conjecture. The subspace ImΛ\operatorname{Im}'\Lambda is a Mathieu subspace of C[z]\mathbb C[z]. The paper notes that this generalizes the image conjecture and proves some cases, but the general claim is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Wenhua Zhao, “Generalizations of the Image Conjecture and the Mathieu Conjecture”, arXiv:0902.0212 (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.