Images of commuting differential operators of order one with constant leading coefficients (Q986066)

The author gives the next equivalent formulation of the Jacobian conjecture (JC) - the so called Image conjecture (IC): Let \(\mathcal{A}\) be a commutative algebra over a field of characteristic zero and \(\mathcal{C}\) a set of differential operators of \(\mathcal{A}[z]:=\mathcal{A}[z_{1},\ldots ,z_{n}]\) of order one with constant leading coefficient (i.e. of the form \( h(z)+\sum_{i=1}^{n}c_{i}\partial _{i},\) \(h(z)\in \mathcal{A}[z],\) \(c_{i}\in \mathcal{A}\)) such that any two differential operators in \(\mathcal{C}\) commute. Then for any \(f,g\in \mathcal{A}[z]\) with \(f^{m}\in \sum_{\Phi \in \mathcal{C}}\Phi (\mathcal{A}[z])\) for each \(m\geq 1,\) we have \(f^{m}g\in \sum_{\Phi \in \mathcal{C}}\Phi (\mathcal{A}[z])\) when \(m\gg 0.\) The main result is that the following statements are equivalent: 1. JC holds for any dimension \(\geq 1\), 2. for any \(n\geq 1\) and homogeneous \(P(z)\in \mathcal{A}[z]\) of degree \(4\) the IC holds for \(f(\xi ,z)=\left( \sum_{i=1}^{n}\xi _{i}^{2}\right) P(z)\) and \(g(z)=P(z).\)