Formal inverse expansion and the Jacobian conjecture (Q1116978): Difference between revisions

The Jacobian conjecture states that if \(k\) is a field of characteristic zero and \(F=(F_ 1,\ldots,F_ n)\) is a polynomial map from \(k^ n\) to \(k^ n\) such that the determinant of the Jacobian matrix \((D_ jF_ i)\) is a non-zero constant, then F has a polynomial inverse. Here \(F_ 1,\ldots,F_ n\) are elements of \(k[X_ 1,\ldots,X_ n]\), \(D_ j=\partial /\partial X_ j\), and \((D_ jF_ i)\) is the matrix whose entry in row \(j\), column \(i\) is \(D_ jF_ i\). The Jacobian problem is unsolved for \(n\geq 2\). The author discusses a conjecture stated by \textit{H. Bass}, \textit{E. H. Connell} and \textit{D. Wright} in Bull. Am. Math. Soc., New. Ser. 7, 287--330 (1982; Zbl 0539.13012). A proof of this conjecture would imply a solution of the Jacobian problem. Some modifications of this mentioned conjecture are given as well as some tenable alternatives.