Dixmier conjecture

From HandWiki
Short description: On endomorphisms of Weyl algebras

In algebra, the Dixmier conjecture, stated by Jacques Dixmier in 1968,[1] originally asked whether any endomorphism of the first Weyl algebra A1 over a field of characteristic zero is an automorphism. The analogous statement for the n-th Weyl algebra An was recorded in 1982 by Bass, Connell, and Wright, who attributed it to communications from Leonid Vaserstein and Victor Kac,[2] and was later referred to as the "generalized Dixmier conjecture"[3][4]. For n≥3, it was disproved in 2026 as a consequence of a counterexample to the n-dimensional Jacobian conjecture.

Tsuchimoto in 2005,[4] and independently Belov-Kanel and Kontsevich in 2007,[5] showed that the Dixmier conjecture is stably equivalent to the Jacobian conjecture: the Dixmier conjecture for the n-th Weyl algebra An implies the Jacobian conjecture for polynomial maps in n variables, while conversely the Jacobian conjecture in 2n variables implies the Dixmier conjecture for An.[5] In July 2026, a counterexample to the Jacobian conjecture in three variables was found,[6] which by the first of these implications shows that the Dixmier conjecture is false for An for all n≥3.

The conjecture remains open for the first and second Weyl algebras, since the Jacobian conjecture is still open in two variables. The case of the first Weyl algebra A1 was the problem originally posed by Dixmier; a proposed proof of this case was announced by Alexander Zheglov in 2024.[7]

References

  1. ↑ Dixmier, Jacques (1968), "Sur les algèbres de Weyl", Bulletin de la Société Mathématique de France 96: 209–242, doi:10.24033/bsmf.1667, http://www.numdam.org/item?id=BSMF_1968__96__209_0  (problem 1)
  2. ↑ 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): p. 297. doi:10.1090/S0273-0979-1982-15032-7. 
  3. ↑ van den Essen, Arno (1997). "Polynomial Automorphisms and the Jacobian Conjecture". Septième Contact Franco-Belge, Reims, 26–30 June 1995. 2. Paris: Société Mathématique de France. p. 75, Conjecture 3.26 and Remark 3.27. ISBN 2-85629-052-3. https://smf.emath.fr/publications/polynomial-automorphisms-and-jacobian-conjecture. 
  4. ↑ 4.0 4.1 Tsuchimoto, Yoshifumi (2005), "Endomorphisms of Weyl algebra and p-curvatures", Osaka J. Math. 42: 435–452 
  5. ↑ 5.0 5.1 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 
  6. ↑ Matthew Sparkes (July 20, 2026). "AI's solution to 87-year-old riddle takes mathematicians by surprise". New Scientist. https://www.newscientist.com/article/2580374-ais-solution-to-87-year-old-riddle-takes-mathematicians-by-surprise/. 
  7. ↑ Zheglov, Alexander (2024). "The Conjecture of Dixmier for the first Weyl algebra is true". arXiv:2410.06959 [math.AG].