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∈R be such that fm∈M, for all m≥1, then for every g∈R also gfm∈M, for almost all m, i.e. only finitely many exceptions. Let A be the polynomial ring in ζ=ζ1,...,ζn and z1,...,zn over C. The Image Conjecture (IC) asserts that ∑i(∂zi−ζi)A is a Mathieu subspace of A. We prove this conjecture for n=1. Also we relate (IC) to the following Integral Conjecture: if B is an open subset of Rn and σ a positive measure, such that the integral over B of each polynomial in z over C is finite, then the set of polynomials, whose integral over B is zero, is a Mathieu subspace of C[z]. It turns out that Laguerre polynomials play a special role in the study of the Jacobian Conjecture.