Jacobian conjecture

From Wikipedia, the free encyclopedia

In mathematics, the Jacobian conjecture is a celebrated problem on polynomials in several variables. It was first posed in 1939 by Ott-Heinrich Keller. It was later named and widely publicised by Shreeram Abhyankar, as an example of a question in the area of algebraic geometry that requires little beyond a knowledge of calculus to state.

1 Formulation
2 See also
3 References
4 External links

[edit] Formulation

For fixed N > 1 consider N polynomials F_i, for 1 ≤ i ≤ N in the variables

X₁, …, X_N,

and with coefficients in an algebraically closed field k (in fact, it suffices to assume k=C, the field of complex numbers). The Jacobian determinant J of the F_i, considered as a vector-valued function

F: k^N → k^N,

is by definition the determinant of the N × N matrix of the

F_ij,

where F_ij is the partial derivative of F_i with respect to X_j.

The condition

J ≠ 0

enters into the inverse function theorem in multivariable calculus. In fact that condition for smooth functions (and so a fortiori for polynomials) ensures the existence of a local inverse function to F, at any point where it holds.

On the other hand in the polynomial case J is itself a polynomial. Since k is algebraically closed, J will be zero for some complex values of X₁, …, X_N, unless we have the condition

J is a constant.

Therefore it is a relatively elementary fact that

if F has an inverse function defined everywhere, then J is a constant.

The Jacobian conjecture is the converse: it states that

if J is a non-zero constant function, then F has an inverse function.

The Jacobian conjecture has been proved for polynomials of degree 2, and it has also been shown that it follows from the special case where the polynomials are of degree 3.

The Jacobian conjecture is notorious for the large number of attempted proofs that turned out to contain subtle errors. There are currently no plausible claims to have proved it.

It has been proved that the Jacobian conjecture is equivalent to the Dixmier conjecture.

[edit] See also

[edit] References

A. van den Essen (2001), “Jacobian conjecture”, in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104
O.H. Keller, Ganze Cremonatransformationen Monatschr. Math. Phys. , 47 (1939) pp. 229–306
A. van den Essen, Polynomial automorphisms and the Jacobian conjecture, ISBN 3-7643-6350-9