Abstract:Let $K$ be a field of characteristic zero, let $A_1=K[x][\partial ]$ be the first Weyl algebra. In this paper we prove that the Dixmier conjecture for the first Weyl algebra is true, i.e. each algebra endomorphism of the algebra $A_1$ is an automorphism.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to prove that the Dixmier conjecture on the first Weyl algebra is correct. Specifically, the author Alexander Zheglov has proven that for the first Weyl algebra \(A_1 = K[x][\partial]\), any non - zero algebraic endomorphism is an automorphism.
#### Background of the Dixmier Conjecture
In 1968, Jacques Dixmier proposed six problems regarding the Weyl algebra \(A_1 = K[x][\partial]\), among which the first one is the most famous, namely the Dixmier conjecture. This conjecture states that for the first Weyl algebra \(A_1\), any non - zero endomorphism is an automorphism. In other words, if \(\phi: A_1\rightarrow A_1\) is an algebraic endomorphism and \(\phi\neq0\), then \(\phi\) must be an automorphism.
#### Significance of the Research
The Dixmier conjecture is not only of great significance in the study of Weyl algebras, but also has a profound connection with other important mathematical conjectures (such as the Jacobian conjecture). Specifically:
- **The relationship between the Dixmier conjecture and the Jacobian conjecture**: The validity of the Dixmier conjecture for \(A_n\) implies the validity of the Jacobian conjecture for \(K[x_1,\ldots,x_n]\); conversely, the validity of the Jacobian conjecture for \(K[x_1,\ldots,x_{2n}]\) implies the validity of the Dixmier conjecture for \(A_n\). These equivalences were independently proven by Yoshifumi Tsuchimoto, Alexei Belov - Kanel and Maxim Kontsevich, etc.
#### Main Contributions of the Paper
In this paper, the author successfully proved that the Dixmier conjecture holds for the first Weyl algebra \(A_1\) by using the generalized Schur theory and its extension in ordinary differential operators - the normal form theory. This result provides a new perspective for understanding the structure of Weyl algebras and their relationship with the Jacobian conjecture.
### Summary
The core problem of this paper is to prove that the Dixmier conjecture is correct for the first Weyl algebra \(A_1\), that is, any non - zero algebraic endomorphism is an automorphism. This achievement not only solves a long - standing unsolved mathematical problem, but also provides an important theoretical basis for further research on Weyl algebras and other related fields.