Images of Commuting Differential Operators of Order One with Constant Leading Coefficients

Abstract

We first study some properties of images of commuting differential operators of polynomial algebras of order one with constant leading coefficients. We then propose what we call the image conjecture on these differential operators and show that the Jacobian conjecture [BCW], [E], [Bo] (hence also the Dixmier conjecture [D]) and the vanishing conjecture [Z3] of differential operators with constant coefficients are actually equivalent to certain special cases of the image conjecture. A connection of the image conjecture, and hence also the Jacobian conjecture, with multidimensional Laplace transformations of polynomials is also discussed.

arXiv commentBesides some minor changes and presentation improvements, a counter-example to the image conjecture over char. p>0 has been added in Example 2.7. Latex, 23 pages. To appear in J. Alg.