Hessian Nilpotent Polynomials and the Jacobian Conjecture

Abstract

Let $z=(z_1,...,z_n)$ and $Δ=\sum_{i=1}^n \fr {\p^2}{\p z^2_i}$ the Laplace operator. The main goal of the paper is to show that the well-known Jacobian conjecture without any additional conditions is equivalent to the following what we call {\it vanishing conjecture}: for any homogeneous polynomial $P(z)$ of degree $d=4$, if ${\Delta }^m{P}^m(z)=0$ for all $m\ge 1$, then ${\Delta }^m{P}^{m+1}(z)=0$ when $m>>0$, or equivalently, ${\Delta }^m{P}^{m+1}(z)=0$ when $m> \fr 32 (3^{n-2}-1)$. It is also shown in this paper that the condition ${\Delta }^m{P}^m(z)=0$ ($m\ge 1$) above is equivalent to the condition that $P(z)$ is Hessian nilpotent, i.e. the Hessian matrix $\Hes P(z)=(\fr {\p^2 P}{\p z_i\p z_j})$ is nilpotent. The goal is achieved by using the recent breakthrough work of M. de Bondt, A. van den Essen \cite{BE1} and various results obtained in this paper on Hessian nilpotent polynomials. Some further results on Hessian nilpotent polynomials and the vanishing conjecture above are also derived.

Latex, 34 pages

References in corpus (1)

• Recurrent Inversion Formulas