Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Business Industries Finance Tax

Home > 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.

For fixed N > 1 consider N polynomials Fi, for 1 ≤ iN in the variables

X1, … , XN,

and with coefficients in the complex numbers C. The Jacobian determinant J of the Fi, considered as a vector-valued function

F: CnCn,

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

Fij,

where Fij is the partial derivative of Fi with respect to Xj.

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 the complex numbers form an algebraically closed fieldAbstract algebra In mathematics, a field F is said to be algebraically closed if every polynomial of degree at least 1, with coefficients in F has a zero in F''. In that case, every such polynomial splits into linear factors. It can be shown that a field J will be zero for some complex values of X1, … , XN, unless we have the condition

J is a constantIn mathematics and the mathematical sciences, a constant is a fixed, but possibly unspecified, value. This is in contrast to a variable, which is not fixed. Constant number The most widely mentioned sort of constant is a fixed, but possibly unspecified, n.

Therefore it is a relatively elementary fact that

if F has an inverse functionIn mathematical analysis, an inverse function is in simple terms a function which "does the reverse" of a given function. More formally, if f is a function with domain X, then f -1 is its inverse function if and only if for every we have: :. For example, defined everywhere, then J is a constant.

The Jacobian conjecture is the converseConverse Shoes is an American shoe company. In logic, each implicational statement has a corresponding converse.: it states that

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

A proof for the two variable case was announced in 2004 by Carolyn Dean , and has been submitted for journal publication.

External link

Polynomials Algebraic geometry Conjectures



Non User