Jacobian conjecture
Field | Algebraic geometry |
---|---|
Conjectured by | Ott-Heinrich Keller |
Conjectured in | 1939 |
Equivalent to | Dixmier conjecture |
In mathematics, the Jacobian conjecture is a famous unsolved problem concerning polynomials in several variables. It states that if a polynomial function from an n-dimensional space to itself has Jacobian determinant which is a non-zero constant, then the function has a polynomial inverse. It was first conjectured in 1939 by Ott-Heinrich Keller,[1] and widely publicized by Shreeram Abhyankar, as an example of a difficult question in algebraic geometry that can be understood using little beyond a knowledge of calculus.
The Jacobian conjecture is notorious for the large number of attempted proofs that turned out to contain subtle errors. As of 2018, there are no plausible claims to have proved it. Even the two-variable case has resisted all efforts. There are currently no known compelling reasons for believing the conjecture to be true, and according to van den Essen[2] there are some suspicions that the conjecture is in fact false for large numbers of variables (indeed, there is equally also no compelling evidence to support these suspicions). The Jacobian conjecture is number 16 in Stephen Smale's 1998 list of Mathematical Problems for the Next Century.
The Jacobian determinant
Let N > 1 be a fixed integer and consider polynomials f1, ..., fN in variables X1, ..., XN with coefficients in a field k. Then we define a vector-valued function F: kN → kN by setting:
- F(X1, ..., XN) = (f1(X1, ...,XN),..., fN(X1,...,XN)).
Any map F: kN → kN arising in this way is called a polynomial mapping.
The Jacobian determinant of F, denoted by JF, is defined as the determinant of the N × N Jacobian matrix consisting of the partial derivatives of fi with respect to Xj:
- [math]\displaystyle{ J_F = \left | \begin{matrix} \frac{\partial f_1}{\partial X_1} & \cdots & \frac{\partial f_1}{\partial X_N} \\ \vdots & \ddots & \vdots \\ \frac{\partial f_N}{\partial X_1} & \cdots & \frac{\partial f_N}{\partial X_N} \end{matrix} \right |, }[/math]
then JF is itself a polynomial function of the N variables X1, ..., XN.
Formulation of the conjecture
It follows from the multivariable chain rule that if F has a polynomial inverse function G: kN → kN, then JF has a polynomial reciprocal, so is a nonzero constant. The Jacobian conjecture is the following partial converse:
Jacobian conjecture: Let k have characteristic 0. If JF is a non-zero constant, then F has an inverse function G: kN → kN which is regular, meaning its components are polynomials.
According to van den Essen,[2] the problem was first conjectured by Keller in 1939 for the limited case of two variables and integer coefficients.
The obvious analogue of the Jacobian conjecture fails if k has characteristic p > 0 even for one variable. The characteristic of a field, if it is not zero, must be prime, so at least 2. The polynomial x − xp has derivative 1 − p xp−1 which is 1 (because px is 0) but it has no inverse function. However, Kossivi Adjamagbo (ht) suggested extending the Jacobian conjecture to characteristic p > 0 by adding the hypothesis that p does not divide the degree of the field extension k(X) / k(F).[3]
The existence of a polynomial inverse is obvious if F is simply a set of functions linear in the variables, because then the inverse will also be a set of linear functions. A simple non-linear example is given by
- [math]\displaystyle{ u=x^2+y+x }[/math]
- [math]\displaystyle{ v=x^2+y }[/math]
so that the Jacobian determinant is
- [math]\displaystyle{ J_F = \left | \begin{matrix} 1+2x & 1 \\ 2x & 1 \end{matrix} \right | = (1+2x)(1) - (1)2x = 1. }[/math]
In this case the inverse exists as the polynomials
- [math]\displaystyle{ x=u-v }[/math]
- [math]\displaystyle{ y=v-(u-v)^2. }[/math]
But if we modify F slightly, to
- [math]\displaystyle{ u=2x^2+y }[/math]
- [math]\displaystyle{ v=x^2+y }[/math]
then the determinant is
- [math]\displaystyle{ J_F = \left | \begin{matrix} 4x & 1 \\ 2x & 1 \end{matrix} \right | = (4x)(1) - 2x(1) = 2x, }[/math]
which is not constant, and the Jacobian conjecture does not apply. The function still has an inverse:
- [math]\displaystyle{ x=\sqrt{u-v} }[/math]
- [math]\displaystyle{ y=2v-u, }[/math]
but the expression for x is not a polynomial.
The condition JF ≠ 0 is related to the inverse function theorem in multivariable calculus. In fact for smooth functions (and so in particular for polynomials) a smooth local inverse function to F exists at every point where JF is non-zero. For example, the map x → x + x3 has a smooth global inverse, but the inverse is not polynomial.
Results
Stuart Sui-Sheng Wang proved the Jacobian conjecture for polynomials of degree 2.[4] Hyman Bass, Edwin Connell, and David Wright showed that the general case follows from the special case where the polynomials are of degree 3, or even more specifically, of cubic homogeneous type, meaning of the form F = (X1 + H1, ..., Xn + Hn), where each Hi is either zero or a homogeneous cubic.[5] Ludwik Drużkowski showed that one may further assume that the map is of cubic linear type, meaning that the nonzero Hi are cubes of homogeneous linear polynomials.[6] It seems that Drużkowski's reduction is one most promising way to go forward. These reductions introduce additional variables and so are not available for fixed N.
Edwin Connell and Lou van den Dries proved that if the Jacobian conjecture is false, then it has a counterexample with integer coefficients and Jacobian determinant 1.[7] In consequence, the Jacobian conjecture is true either for all fields of characteristic 0 or for none. For fixed dimension N, it is true if it holds for at least one algebraically closed field of characteristic 0.
Let k[X] denote the polynomial ring k[X1, ..., Xn] and k[F] denote the k-subalgebra generated by f1, ..., fn. For a given F, the Jacobian conjecture is true if, and only if, k[X] = k[F]. Keller (1939) proved the birational case, that is, where the two fields k(X) and k(F) are equal. The case where k(X) is a Galois extension of k(F) was proved by Andrew Campbell for complex maps[8] and in general by Michael Razar[9] and, independently, by David Wright.[10] Tzuong-Tsieng Moh checked the conjecture for polynomials of degree at most 100 in two variables.[11][12]
Michiel de Bondt and Arno van den Essen[13][14] and Ludwik Drużkowski[15] independently showed that it is enough to prove the Jacobian Conjecture for complex maps of cubic homogeneous type with a symmetric Jacobian matrix, and further showed that the conjecture holds for maps of cubic linear type with a symmetric Jacobian matrix, over any field of characteristic 0.
The strong real Jacobian conjecture was that a real polynomial map with a nowhere vanishing Jacobian determinant has a smooth global inverse. That is equivalent to asking whether such a map is topologically a proper map, in which case it is a covering map of a simply connected manifold, hence invertible. Sergey Pinchuk constructed two variable counterexamples of total degree 35 and higher.[16]
It is well known that the Dixmier conjecture implies the Jacobian conjecture.[5] Conversely, it is shown by Yoshifumi Tsuchimoto[17] and independently by Alexei Belov-Kanel and Maxim Kontsevich[18] that the Jacobian conjecture for 2N variables implies the Dixmier conjecture in N dimensions. A self-contained and purely algebraic proof of the last implication is also given by Kossivi Adjamagbo and Arno van den Essen[19] who also proved in the same paper that these two conjectures are equivalent to the Poisson conjecture.
See also
References
- ↑ Keller, Ott-Heinrich (1939), "Ganze Cremona-Transformationen", Monatshefte für Mathematik und Physik 47 (1): 299–306, doi:10.1007/BF01695502, ISSN 0026-9255
- ↑ 2.0 2.1 van den Essen, Arno (1997), "Polynomial automorphisms and the Jacobian conjecture", Algèbre non commutative, groupes quantiques et invariants (Reims, 1995), Sémin. Congr., 2, Paris: Soc. Math. France, pp. 55–81, https://www.emis.de/journals/SC/1997/2/pdf/smf_sem-cong_2_55-81.pdf
- ↑ Adjamagbo, Kossivi (1995), "On separable algebras over a U.F.D. and the Jacobian conjecture in any characteristic", Automorphisms of affine spaces (Curaçao, 1994), Dordrecht: Kluwer Acad. Publ., pp. 89–103, doi:10.1007/978-94-015-8555-2_5, ISBN 978-90-481-4566-9
- ↑ Wang, Stuart Sui-Sheng (August 1980), "A Jacobian criterion for separability", Journal of Algebra 65 (2): 453–494, doi:10.1016/0021-8693(80)90233-1
- ↑ 5.0 5.1 Bass, Hyman; Connell, Edwin H.; Wright, David (1982), "The Jacobian conjecture: reduction of degree and formal expansion of the inverse", Bulletin of the American Mathematical Society, New Series 7 (2): 287–330, doi:10.1090/S0273-0979-1982-15032-7, ISSN 1088-9485
- ↑ Drużkowski, Ludwik M. (1983), "An effective approach to Keller's Jacobian conjecture", Mathematische Annalen 264 (3): 303–313, doi:10.1007/bf01459126
- ↑ Connell, Edwin; van den Dries, Lou (1983), "Injective polynomial maps and the Jacobian conjecture", Journal of Pure and Applied Algebra 28 (3): 235–239, doi:10.1016/0022-4049(83)90094-4
- ↑ Campbell, L. Andrew (1973), "A condition for a polynomial map to be invertible", Mathematische Annalen 205 (3): 243–248, doi:10.1007/bf01349234
- ↑ Razar, Michael (1979), "Polynomial maps with constant Jacobian", Israel Journal of Mathematics 32 (2–3): 97–106, doi:10.1007/bf02764906
- ↑ Wright, David (1981), "On the Jacobian conjecture", Illinois Journal of Mathematics 25 (3): 423–440, doi:10.1215/ijm/1256047158
- ↑ Moh, Tzuong-Tsieng (1983), "On the Jacobian conjecture and the configurations of roots", Journal für die reine und angewandte Mathematik 1983 (340): 140–212, doi:10.1515/crll.1983.340.140, ISSN 0075-4102, http://resolver.sub.uni-goettingen.de/purl?GDZPPN002200376
- ↑ Moh, Tzuong-Tsieng, On the global Jacobian conjecture for polynomials of degree less than 100, preprint
- ↑ de Bondt, Michiel; van den Essen, Arno (2005), "A reduction of the Jacobian conjecture to the symmetric case", Proceedings of the American Mathematical Society 133 (8): 2201–2205, doi:10.1090/S0002-9939-05-07570-2
- ↑ de Bondt, Michiel; van den Essen, Arno (2005), "The Jacobian conjecture for symmetric Drużkowski mappings", Annales Polonici Mathematici 86 (1): 43–46, doi:10.4064/ap86-1-5
- ↑ Drużkowski, Ludwik M. (2005), "The Jacobian conjecture: symmetric reduction and solution in the symmetric cubic linear case", Annales Polonici Mathematici 87: 83–92, doi:10.4064/ap87-0-7
- ↑ Pinchuk, Sergey (1994), "A counterexample to the strong real Jacobian conjecture", Mathematische Zeitschrift 217 (1): 1–4, doi:10.1007/bf02571929
- ↑ Tsuchimoto, Yoshifumi (2005), "Endomorphisms of Weyl algebra and [math]\displaystyle{ p }[/math]-curvatures", Osaka Journal of Mathematics 42 (2): 435–452, ISSN 0030-6126, http://projecteuclid.org/euclid.ojm/1153494387
- ↑ Belov-Kanel, Alexei; Kontsevich, Maxim (2007), "The Jacobian conjecture is stably equivalent to the Dixmier conjecture", Moscow Mathematical Journal 7 (2): 209–218, doi:10.17323/1609-4514-2007-7-2-209-218, Bibcode: 2005math.....12171B
- ↑ Adjamagbo, Pascal Kossivi; van den Essen, Arno (2007), "A proof of the equivalence of the Dixmier, Jacobian and Poisson conjectures", Acta Mathematica Vietnamica 32: 205–214, http://journals.math.ac.vn/acta/pdf/0702205.pdf
External links
![]() | Original source: https://en.wikipedia.org/wiki/Jacobian conjecture.
Read more |