Jacobian conjecture: Difference between revisions
No edit summary |
|||
Line 7: | Line 7: | ||
:''X''<sub>1</sub>, …, ''X''<sub>''N''</sub>, |
:''X''<sub>1</sub>, …, ''X''<sub>''N''</sub>, |
||
and with [[coefficient]]s in an [[algebraically closed field]] ''k'' (in fact, it suffices to assume ''k''='''C''', the field of [[complex number]]s). We |
and with [[coefficient]]s in an [[algebraically closed field]] ''k'' (in fact, it suffices to assume ''k''='''C''', the field of [[complex number]]s). We consider these as a single vector-valued [[function (mathematics)|function]] |
||
:''F'': ''k''<sup>''N''</sup> → ''k''<sup>''N''</sup> |
:''F'': ''k''<sup>''N''</sup> → ''k''<sup>''N''</sup> |
||
Line 34: | Line 34: | ||
The '''Jacobian conjecture''' is a strengthening of the [[converse]]: it states that |
The '''Jacobian conjecture''' is a strengthening of the [[converse]]: it states that |
||
:if ''J'' is a non-zero constant, then ''F'' has an inverse function ''G'':''k''<sup>''N''</sup> → ''k''<sup>''N''</sup>, and ''G'' is [[regular map (algebraic geometry)|regular]] (in the sense that its components are given by polynomial expressions). |
:if ''J'' is a non-zero constant, then ''F'' has an inverse function ''G'':''k''<sup>''N''</sup> → ''k''<sup>''N''</sup>, and ''G'' is [[regular map (algebraic geometry)|regular]] (in the sense that its components are given by polynomial expressions). |
||
==Results== |
==Results== |
Revision as of 14:03, 3 June 2010
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.
Formulation
For fixed N > 1 consider N polynomials Fi, for 1 ≤ i ≤ N in the variables
- X1, …, XN,
and with coefficients in an algebraically closed field k (in fact, it suffices to assume k=C, the field of complex numbers). We consider these as a single vector-valued function
- F: kN → kN
whose components are the Fi. The Jacobian determinant J of F is by definition the determinant of the N × N matrix consisting of the partial derivatives of Fi with respect to Xj:
J is itself a function of the N variables X1, …, XN; indeed it is a polynomial function.
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.
Since k is algebraically closed and J is a polynomial, J will be zero for some complex values of X1, …, XN, unless we have the condition
- J is a constant.
Therefore it is a relatively elementary fact that
- if F has an inverse function G:kN → kN, then J is a non-zero constant.
The Jacobian conjecture is a strengthening of the converse: it states that
- if J is a non-zero constant, then F has an inverse function G:kN → kN, and G is regular (in the sense that its components are given by polynomial expressions).
Results
The Jacobian conjecture has been proved for polynomials of degree 2, and it has also been shown that the general case 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[update] no plausible claims to have proved it.
It has been proved that the Jacobian conjecture is equivalent to the Dixmier conjecture. The Jacobian conjecture also implies the Ax-Grothendieck theorem.[1]
See also
Notes
- ^ Tao, Terence (2009-03-07). "Infinite fields, finite fields, and the Ax-Grothendieck theorem". What's New. Retrieved 2009-03-08.
References
- A. van den Essen (2001) [1994], "Jacobian conjecture", Encyclopedia of Mathematics, EMS Press
- 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