Home » Subject » Geometry » Algebraic Geometry

Jacobian Conjecture

Importance: High ✭✭✭
Author(s): Keller, Otto-Heinrich
Subject: Geometry
» Algebraic Geometry
Keywords: Affine Geometry
Automorphisms
Polynomials
Recomm. for undergrads: no
Posted by: Charles
on: July 6th, 2008
Conjecture   Let $ k $ be a field of characteristic zero. A collection $ f_1,\ldots,f_n $ of polynomials in variables $ x_1,\ldots,x_n $ defines an automorphism of $ k^n $ if and only if the Jacobian matrix is a nonzero constant.

The Jacobian determinant is the determinant of the matrix $ A $ with $ a_{ij}=\frac{\partial f_i}{\partial x_j} $. It is elementary to show that if the map $ F:k^n\to k^n $ is an automorphism, then the Jacobian determinant is a nonzero constant, by using the inverse map. The other direction has turned out to be rather difficult.

It is known that the Conjecture holds for polynomials of degree 2, and that the general case follows from a special case in degree 3.

Bibliography



* indicates original appearance(s) of problem.
add new comment

Problem statement

On March 4th, 2021 Anonymous says:

iff the determinant of the Jacobian matrix is a nonzero constant.

reply

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.