Polynomial maps with strongly nilpotent Jacobian matrix and the Jacobian conjecture (Q2564948)

Let \(F:K^n\to K^n\) be a polynomial map, \(F(x)= (F_1(x), \dots, F_n(x))\), and \(J(F)= ({\partial F_i \over \partial x_j})\) be the Jacobian matrix. \(J(F)\) is called strongly nilpotent if \(J(F)(x_1) \cdot \cdots \cdot J(F) (x_n)=0\) for all \(x_1, \dots, x_n\in K^n\). It is proved that the following conditions are equivalent: 1. \(J(F)\) is strongly nilpotent. 2. \(J(F)\) is linearly triangulable. 3. The map \(X+F\) is linearly triangulable. Especially the Jacobian conjecture is true for maps \(X+F\) with \(J(F)\) strongly nilpotent. -- Furthermore, it is proved that for almost all \(s\in\mathbb{C}\) such maps \(s(X+F)\) are linearizable (a conjecture of Meisters).