Jacobian conjecture

Jacobian conjecture

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 "F""i", for 1 ≤ "i" ≤ "N" in the variables

:"X"1, …, "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"1, …, "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.

ee also

*Smale's problems
*Dixmier conjecture

References

*springer|id=J/j120010|title=Jacobian conjecture|author=A. van den Essen
*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

External links

* [http://www.math.purdue.edu/~ttm/jacobian.html Web page of T. T. Moh on the conjecture]


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Conjecture jacobienne — En mathématiques, et plus précisément en géométrie algébrique, la conjecture jacobienne est une conjecture concernant les polynômes à plusieurs variables. Elle fut proposée en 1939 par Ott Heinrich Keller (en), et Shreeram Abhyankar  …   Wikipédia en Français

  • Dixmier conjecture — In algebra the Dixmier conjecture, asked by Dixmier (1968, problem 1), is the conjecture that any endomorphism of a Weyl algebra is an automorphism. Belov Kanel Kontsevich (2007) showed that the Dixmier conjecture (generalized to Weyl algebras… …   Wikipedia

  • Markus-Yamabe conjecture — In mathematics, the Markus Yamabe conjecture is a conjecture on global asymptotic stability. The conjecture states that if a continuously differentiable map on an n dimensional real vector space has a single fixed point, and its Jacobian matrix… …   Wikipedia

  • Markus−Yamabe conjecture — In mathematics, the Markus Yamabe conjecture is a conjecture on global asymptotic stability. The conjecture states that if a continuously differentiable map on an n dimensional real vector space has a single fixed point, and its Jacobian matrix… …   Wikipedia

  • Bogomolov conjecture — In mathematics, the Bogomolov conjecture generalises the Manin Mumford conjecture. It says that given a curve C of genus geq 2 over a number field K together with an embedding into its Jacobian J, the number of overline{K} rational points in C… …   Wikipedia

  • Czesław Olech — Born May 22, 1931 (1931 05 22) (age 80) Pińczów, Poland Nationality Polish …   Wikipedia

  • List of conjectures — This is an incomplete list of mathematical conjectures. They are divided into four sections, according to their status in 2007. See also: * Erdős conjecture, which lists conjectures of Paul Erdős and his collaborators * Unsolved problems in… …   Wikipedia

  • Ott-Heinrich Keller — (left) and Hellmuth Kneser. Eduard Ott Heinrich Keller (22 June 1906 Frankfurt (Main), Germany – 1990 Halle, Germany) was a German mathematician who worked in the fields of geometry, topology and algebraic geometry. He formulated the celebrated… …   Wikipedia

  • List of unsolved problems in mathematics — This article lists some unsolved problems in mathematics. See individual articles for details and sources. Contents 1 Millennium Prize Problems 2 Other still unsolved problems 2.1 Additive number theory …   Wikipedia

  • Otto-Heinrich Keller — Eduard Ott Heinrich Keller (* 22. Juni 1906 in Frankfurt am Main; † 5. Dezember 1990 in Halle an der Saale) war ein deutscher Mathematiker, der sich mit Geometrie, Topologie und algebraischer Geometrie beschäftigte. Inhaltsverzeichnis 1 Leben und …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”