Two results on homogeneous Hessian nilpotent polynomials (Q932289)

A formal power series \(P(z_{1},\ldots ,z_{n})\) is said to be Hessian Nilpotent (HN)\ if its Hessian matrix \(\left( \frac{\partial ^{2}P}{\partial z_{i}\partial z_{j}}\right) _{i,j}\) is nilpotent. By the result of \textit{W. Zhao} [Trans. Am. Math. Soc. 359, 249--274 (2007; Zbl 1109.14041)] the Jacobian Conjecture has been reduced to the following Vanishing Conjecture: (VC) For any homogeneous HN polynomial \(P\) of degree \(4\) we have \(\Delta ^{m}(P^{m+1})=0\) for \(m\gg 0\) (\(\Delta =\sum \frac{\partial ^{2}}{\partial z_{i}^{2}}\) is the Laplace operator). The authors prove: 1. (VC)\ holds for homogeneous HN polynomial \(P\) of degree \(d\geq 4\) provided that two projective varietes \(V(P),V(\sum z_{i}^{2})\subset \mathbb{ CP}^{n-1}\) intersects only at regular points of \(V(P).\) 2. (VC)\ holds for any HN polynomial \(P\) if and only if for any polynomial \( f(z_{1},\ldots ,z_{n})\) we have \(\Delta ^{m}(fP^{m+1})=0\) for \(m\gg 0\).