A few remarks on the generalized vanishing conjecture (Q354678)

Let \(k[x_1,\dots,x_n]\) be the ring of polynomials in \(n\) variables over a field \(k\) and let \(k[\partial_1,\dots,\partial_n]\) be the ring of differential operators with constant coefficients, where for \(f\in k[x_1,\dots,x_n]\) by definition \(\partial_if=\frac{\partial}{\partial x_i}f\). \textit{W. Zhao} formulated in [J. Algebra 324, No. 2, 231--247 (2010; Zbl 1197.14064)] the following conjecture: Generalized Vanishing Conjecture: Let \(f\in k[x_1,\dots,x_n]\) and let \(\Lambda\in k[\partial_1,\dots,\partial_n]\) be such that \(\Lambda^m f^m=0\) for all \(m\geq 1\). Then for all \(g\in k[x_1,\dots,x_n]\) we have \(\Lambda^m(gf^m)=0\) for all \(m\gg 0\). The conjecture can be proved easily if \(\text{char}k=p>0\), because then for every \(\Lambda\) having trivial constant part we have \(\Lambda^p=0\). If the characteristic is zero it is highly nontrivial. For instance the conjecture for \(\Lambda\) being the Laplace operator \(\Delta\) and \(g=f\) implies the Jacobian Conjecture (Theorem 7.2 in [\textit{W. Zhao}, Trans. Am. Math. Soc. 359, No. 1, 249--274 (2007; Zbl 1109.14041)]). An even more general conjecture, the Image Conjecture, can be found in [\textit{W. Zhao}, J. Pure Appl. Algebra 214, No. 7, 1200--1216 (2010; Zbl 1205.33017)], the reader should consult also [\textit{A. van den Essen, D. Wright} and \textit{W. Zhao}, J. Algebra 340, No. 1, 211--224 (2011; Zbl 1235.14057)]. The author observes (Theorem 1, Corollary 2) that to prove the Generalized Vanishing Conjecture it is enough to show it for all \(g\in \{f,f^2,f^3,\dots\}\). For \(\Lambda=\Delta\) it was proved in [\textit{A. van den Essen} and \textit{W. Zhao}, J. Pure Appl. Algebra 212, No. 10, 2190--2193 (2008; Zbl 1147.14033)] that one may in fact assume \(g=f\). Another reduction proved by the author (Theorem 3) is that one may assume \(\Lambda=c_1\partial_1^{d_1}+c_2\partial_1^{d_2}+\dots+c_n\partial_n^{d_n}\), where \(d_i\) are positive integers and \(c_i\in k\) (one may in fact take \(c_i=1\) if \(k=\mathbb{C}\)).