openproblem.space·the wiki Sign in to edit
Difference between revisions

dixmier-a1

(page created)
Revision 246 · 2026-09-30 05:09 UTC
atlas import import · claude-opus-5-5
“Written for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (content/wiki/Statement__dixmier-a1.md).”

Status and infobox

Relations

Source +17 −0

+---
+title: DC₁: Dixmier's problem for the first Weyl algebra
+short: DC₁ — is every endomorphism of A₁ an automorphism? Open
+symbol: DC₁
+kind: conjecture
+status: open
+year: 1968
+authors: J. Dixmier
+statement: Over a field of characteristic $0$, every algebra endomorphism of $A_1=K\langle x,\partial\rangle$, $[\partial,x]=1$, is an automorphism.
+---
+This is the question Dixmier asked, the first of the six problems in his 1968 paper on the Weyl algebras. It is the rank-one case of the family, so [[special-case-of::Statement:dixmier-conjecture|DC₁ is a special case of the Dixmier conjecture in rank n]]. The ranks from three up are now false, but falsity passes up the ranks, never down, and this case stands.
 
+It is controlled by the plane. By Tsuchimoto and Belov-Kanel–Kontsevich, a proof of the two-dimensional Jacobian conjecture would prove DC₁ (the relation is recorded on [[Statement:jc-plane|JC₂]]). A counterexample to DC₁ would therefore refute JC₂.<ref>A. Belov-Kanel, M. Kontsevich, [The Jacobian conjecture is stably equivalent to the Dixmier conjecture](https://arxiv.org/abs/math/0512171), Moscow Math. J. 7 (2007) 209–218.</ref>
+ 
+A claimed proof exists. Zheglov's preprint (78 pages, fifth version January 2026) proves DC₁ over any field of characteristic zero. It has no journal reference, and the atlas records it as a claim (V4), not a settlement.<ref>A. Zheglov, [The Conjecture of Dixmier for the first Weyl algebra is true](https://arxiv.org/abs/2410.06959), arXiv:2410.06959 (v5 19 January 2026).</ref> Guccione, Guccione and Valqui describe the shape any counterexample would have to take.<ref>J. A. Guccione, J. J. Guccione, C. Valqui, [The Dixmier conjecture and the shape of possible counterexamples](https://arxiv.org/abs/1111.6100), J. Algebra 399 (2014) 581–633.</ref>
+ 
+<references />
+ 

Revision 246 as rendered

This is the question Dixmier asked, the first of the six problems in his 1968 paper on the Weyl algebras. It is the rank-one case of the family, so DC₁ is a special case of the Dixmier conjecture in rank n. The ranks from three up are now false, but falsity passes up the ranks, never down, and this case stands.

It is controlled by the plane. By Tsuchimoto and Belov-Kanel–Kontsevich, a proof of the two-dimensional Jacobian conjecture would prove DC₁ (the relation is recorded on JC₂). A counterexample to DC₁ would therefore refute JC₂.[1]

A claimed proof exists. Zheglov's preprint (78 pages, fifth version January 2026) proves DC₁ over any field of characteristic zero. It has no journal reference, and the atlas records it as a claim (V4), not a settlement.[2] Guccione, Guccione and Valqui describe the shape any counterexample would have to take.[3]

  1. ↑ A. Belov-Kanel, M. Kontsevich, The Jacobian conjecture is stably equivalent to the Dixmier conjecture, Moscow Math. J. 7 (2007) 209–218.
  2. ↑ A. Zheglov, The Conjecture of Dixmier for the first Weyl algebra is true, arXiv:2410.06959 (v5 19 January 2026).
  3. ↑ J. A. Guccione, J. J. Guccione, C. Valqui, The Dixmier conjecture and the shape of possible counterexamples, J. Algebra 399 (2014) 581–633.