Polynomial maps with invertible sums of Jacobian matrices and directional derivatives (Q441345)

In the paper, the authors first prove that a polynomial map \(F: {\mathbb C}^n\rightarrow {\mathbb C}^n\) is invertible in the case \({\text{rank}}(\sum_{i=1}^{d-1}\lambda_i(JF)|_{\alpha_i})=n\) and prove the equivalence among \(\sum_{i=1}^{d-1}\lambda_i(JF)|_{\alpha_i}\gamma\neq 0\), \(\sum_{j=1}^mv_j{\frac{d}{dT}}(F_j(\beta+T\gamma))=1\) and \(\sum_{i=1}^s\lambda_i(JF)|_{\alpha_i}\gamma\neq 0\), where \(\deg F=d\), \(s\in {\mathbb N}\), \(\beta,~\gamma\in {\mathbb C}^n\) and \(\sum_{i=1}^{d-1}\lambda_i\neq 0\). The key is the observation that \(T^d|(P-\sum_{i=1}^{d-1}\lambda_i {\text{exp}}(r_iT))\), where \(P\in {\mathbb C}[[T]]\) and \(P(0)=\sum_{i=1}^{d-1}\lambda_i\neq 0\). In section 3, the authors prove the equivalence between \({\text{det}}\sum_{i=1}^n(JF)|_{\alpha_i}\in {\mathbb C}^*\) and \(JH\) is additive nilpotent, where \(F=L\circ(X+H)\) or \(F=(X+H)\circ L\) or \(F=L_1\circ (X+H)\circ L_2\) and \(L\) is the linear part of \(F\) and \({\text{det}}JL\in {\mathbb C}^*\), \(L_1,~L_2\) are invertible maps with \(\deg L_1=\deg L_2=1\), which deduce that the polynomial map \(F: {\mathbb C}^n\rightarrow {\mathbb C}^n\) is invertible in the case \({\text{det}}(\sum_{i=1}^n(JF)|_{\alpha_i})\in {\mathbb C}^*\).