The Amazing Image Conjecture

In this paper we discuss a general framework in which we present a new conjecture, due to Wenhua Zhao, the Image Conjecture. This conjecture implies the Generalized Vanishing Conjecture and hence the Jacobian Conjecture. Crucial ingredient is the notion of a Mathieu space: let $k$ be a field and $R$ a commutative $k$-algebra. A $k$-linear subspace $M$ of $R$ is called a Mathieu subspace of $R$, if the following holds: let $f\in R$ be such that $f^m\in M$, for all $m\ge 1$, then for every $g\in R$ also $g{f}^m\in M$, for almost all $m$, i.e. only finitely many exceptions. Let $A$ be the polynomial ring in $\zeta ={\zeta }_1,\mathrm{.}\mathrm{.}\mathrm{.},{\zeta }_n$ and $z_1, …,z_n$over$\mathbb C$\mathrm{.}TheImageConjecture(IC)assertsthat$\sum_i(\partial_{z_i}-\zeta_i)A$isaMathieusubspaceof$A$. We prove this conjecture for $n=1$. Also we relate (IC) to the following Integral Conjecture: if $B$ is an open subset of ${\mathbb{R}}^n$ and $\sigma$ a positive measure, such that the integral over $B$ of each polynomial in $z$ over $\mathbb{C}$ is finite, then the set of polynomials, whose integral over $B$ is zero, is a Mathieu subspace of $\mathbb{C}[z]$. It turns out that Laguerre polynomials play a special role in the study of the Jacobian Conjecture.