Jacobian conjecture

Jacobian conjecture
Name	Jacobian conjecture
Field	Mathematics
Subfield	Algebraic geometry; Polynomial automorphisms; Commutative algebra
First proposed	1939
Proposer	O. H. Keller
Status	Open problem

Jacobian conjecture

The Jacobian conjecture is a long-standing open problem in Mathematics formulated in terms of polynomial maps and determinant conditions. It asserts that a polynomial endomorphism of affine n-space with constant nonzero Jacobian determinant is invertible with a polynomial inverse; the statement connects ideas in Algebraic geometry, Commutative algebra, Differential algebra, Singularity theory, and Dynamical systems. The conjecture has stimulated work by many figures and institutions including researchers at Princeton University, University of Cambridge, University of Tokyo, and research groups associated with the American Mathematical Society and the European Mathematical Society.

Statement

Let F = (F1, ..., Fn) be an n-tuple of polynomials in k[x1, ..., xn] over a field k of characteristic zero. If the determinant of the Jacobian matrix JF = (∂Fi/∂xj) is a nonzero constant in k, then the conjecture asserts that F is a polynomial automorphism of affine n-space, i.e., there exists a polynomial map G = (G1, ..., Gn) such that G∘F = id and F∘G = id. The hypothesis invokes conditions studied by Oscar H. Keller and appears alongside classical results from Hilbert's Nullstellensatz, Weil conjectures, Noether's normalization lemma, and techniques from Grothendieck's school.

Historical background and motivation

The problem originated from a 1939 question of O. H. Keller motivated by work on polynomial factorization and invertibility in the context of Hilbert-style problems and transformations used in Algebraic geometry and Complex analysis. Interest grew after influential contributions by Hyman Bass, Edmond H. Connell, David Wright, and later by Shreeram S. Abhyankar, Heinrich Heisuke Hironaka-era perspectives and by connections observed with the Dixmier conjecture and the Belavin–Drinfeld framework. Over decades the conjecture attracted attention from researchers at Harvard University, Massachusetts Institute of Technology, University of California, Berkeley, Stanford University, Universität Bielefeld, and parties attending meetings of the International Mathematical Union and the Clay Mathematics Institute.

Partial results and special cases

Several important reductions and special-case proofs exist. The conjecture is known for n = 1 by classical inversion theorems associated with Niels Henrik Abel-type results and for maps of degree two by work of Hyman Bass, Vicentini, and others. Results also hold under additional hypotheses such as tame automorphisms studied by Shigeru Kuroda and Mikhail Belov-Kanel in low-degree or nilpotent settings linked to work by Jean-Pierre Serre and John Tate. The case over fields of positive characteristic is delicate: counterexamples exist related to observations by Oscar Zariski and techniques by Jean Giraud. Special classes such as Drużkowski maps were introduced by Lajos Drużkowski and further explored by T. Y. Lam, Michiel de Bondt, and Willem de~Klerk, providing reductions to cubic homogeneous maps and to combinatorial structures examined in research at University of Warsaw and Copenhagen University.

Equivalent formulations and reductions

The conjecture admits many equivalent statements and reductions: to the case of maps with homogeneous cubic components (Drużkowski reduction), to the study of Keller maps with nilpotent Jacobian matrices, and to problems in Ring theory like the Dixmier conjecture for the Weyl algebra via work by Ivan Makar-Limanov and Alexei Belov-Kanel. It links to the invertibility problem for endomorphisms of polynomial algebras studied by Andrei Suslin, Daniel Quillen, and Michel Raynaud. There are equivalences with statements about formal power series inverses and with functional equations analyzed by researchers at Moscow State University and Institut des Hautes Études Scientifiques.

Techniques and approaches

Approaches combine algebraic, analytic, combinatorial, and homological tools. Algebraic techniques use graded ring theory and Grothendieck-style cohomology ideas developed by Alexander Grothendieck and furthered by Jean-Louis Colliot-Thélène. Differential methods exploit formal inverse series and Lagrange inversion, following traditions from Brook Taylor and Joseph-Louis Lagrange; analytic techniques draw on several complex variables as in work by Øystein Ore-influenced algebraists and analysts at Institut Henri Poincaré. Combinatorial and computational strategies employ Gröbner bases as popularized by Bruno Buchberger and algorithmic algebra contributions from David Buchsbaum and groups at DIMACS. Noncommutative and deformation-theoretic viewpoints relate to the Dixmier conjecture and to developments in Deformation quantization attributed to Maxim Kontsevich.

Connections and applications

The conjecture interfaces with diverse topics: automorphism groups of affine space studied in relation to André Weil-type problems; polynomial dynamics investigated in context with work by Mikhail Lyubich and John Milnor; and mathematical physics through links to Quantum groups and Weyl algebras examined by Vladimir Drinfeld and Israel Gelfand. It informs algorithmic decidability problems addressed by researchers at Carnegie Mellon University and CNRS, and intersects with invariant theory as explored by Emmy Noether-inspired frameworks and groups like École Polytechnique.

Open problems and current status

Despite many partial results and reductions, the general case remains open. Active directions include refining reductions to cubic homogeneous maps, exploring connections with the Dixmier conjecture and noncommutative algebra, and computational searches for counterexamples guided by work at ETH Zurich and Los Alamos National Laboratory. Leading researchers include contributors from Indiana University Bloomington, Kyoto University, and collaborative networks in Europe and Asia who continue to publish refinements, survey articles, and proposed strategies in journals associated with the American Mathematical Society and the London Mathematical Society.

Category:Conjectures in algebraic geometry