Holonomic modules and 1-generation in the Jacobian Conjecture
Let $P_n$ be a polynomial algebra in $n$ indeterminates over a field $K$ of characteristic zero. An endomorphism $\sigma \in \mathrm{End}_K(P_n)$ is called a Jacobian map if its Jacobian is a nonzero scalar. Each Jacobian map $\sigma $ is extended to an endomorphism $\sigma $ of the Weyl algebra $A_...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Académie des sciences
2024-09-01
|
| Series: | Comptes Rendus. Mathématique |
| Subjects: | |
| Online Access: | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.556/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1825206214698467328 |
|---|---|
| author | Bavula, Volodymyr V. |
| author_facet | Bavula, Volodymyr V. |
| author_sort | Bavula, Volodymyr V. |
| collection | DOAJ |
| description | Let $P_n$ be a polynomial algebra in $n$ indeterminates over a field $K$ of characteristic zero. An endomorphism $\sigma \in \mathrm{End}_K(P_n)$ is called a Jacobian map if its Jacobian is a nonzero scalar. Each Jacobian map $\sigma $ is extended to an endomorphism $\sigma $ of the Weyl algebra $A_n$.The Jacobian Conjecture (JC) says that every Jacobian map is an automorphism. Clearly, the Jacobian Conjecture is true iff the twisted (by $\sigma $) $P_n$-module ${}^{\sigma } P_n$ is cyclic for all Jacobian maps $\sigma $. It is shown that the $A_n$-module ${}^{\sigma } P_n$ is cyclic for all Jacobian maps $\sigma $. Furthermore, the $A_n$-module ${}^{\sigma } P_n$ is holonomic and as a result has finite length. An explicit upper bound is found for the length of the $A_n$-module ${}^{\sigma } P_n$ in terms of the degree $\deg (\sigma )$ of the Jacobian map $\sigma $. Analogous results are given for the Conjecture of Dixmier and the Poisson Conjecture. These results show that the Jacobian Conjecture, the Conjecture of Dixmier and the Poisson Conjecture are questions about holonomic modules for the Weyl algebra $A_n$ and the images of the Jacobian maps, of the endomorphisms of the Weyl algebra $A_n$ and of the Poisson endomorphisms are large in the sense that further strengthening of the results on largeness would be either to prove the conjectures or produce counter examples.A short direct algebraic (without reduction to prime characteristic) proof is given of the equivalence of the Jacobian and the Poisson Conjectures (this gives a new short proof of the equivalence of the Jacobian, Poisson and Dixmier Conjectures). |
| format | Article |
| id | doaj-art-242d22bcf0af4358b0042b7e9bb6c3d5 |
| institution | Kabale University |
| issn | 1778-3569 |
| language | English |
| publishDate | 2024-09-01 |
| publisher | Académie des sciences |
| record_format | Article |
| series | Comptes Rendus. Mathématique |
| spelling | doaj-art-242d22bcf0af4358b0042b7e9bb6c3d52025-02-07T11:22:28ZengAcadémie des sciencesComptes Rendus. Mathématique1778-35692024-09-01362G773173810.5802/crmath.55610.5802/crmath.556Holonomic modules and 1-generation in the Jacobian ConjectureBavula, Volodymyr V.0School of Mathematics and Statistics, University of Sheffield, Hicks Building, Sheffield S3 7RH, UKLet $P_n$ be a polynomial algebra in $n$ indeterminates over a field $K$ of characteristic zero. An endomorphism $\sigma \in \mathrm{End}_K(P_n)$ is called a Jacobian map if its Jacobian is a nonzero scalar. Each Jacobian map $\sigma $ is extended to an endomorphism $\sigma $ of the Weyl algebra $A_n$.The Jacobian Conjecture (JC) says that every Jacobian map is an automorphism. Clearly, the Jacobian Conjecture is true iff the twisted (by $\sigma $) $P_n$-module ${}^{\sigma } P_n$ is cyclic for all Jacobian maps $\sigma $. It is shown that the $A_n$-module ${}^{\sigma } P_n$ is cyclic for all Jacobian maps $\sigma $. Furthermore, the $A_n$-module ${}^{\sigma } P_n$ is holonomic and as a result has finite length. An explicit upper bound is found for the length of the $A_n$-module ${}^{\sigma } P_n$ in terms of the degree $\deg (\sigma )$ of the Jacobian map $\sigma $. Analogous results are given for the Conjecture of Dixmier and the Poisson Conjecture. These results show that the Jacobian Conjecture, the Conjecture of Dixmier and the Poisson Conjecture are questions about holonomic modules for the Weyl algebra $A_n$ and the images of the Jacobian maps, of the endomorphisms of the Weyl algebra $A_n$ and of the Poisson endomorphisms are large in the sense that further strengthening of the results on largeness would be either to prove the conjectures or produce counter examples.A short direct algebraic (without reduction to prime characteristic) proof is given of the equivalence of the Jacobian and the Poisson Conjectures (this gives a new short proof of the equivalence of the Jacobian, Poisson and Dixmier Conjectures).https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.556/The Jacobian Conjecturethe Conjecture of Dixmierthe Weyl algebrathe holonomic modulethe endomorphism algebrathe lengththe multiplicity |
| spellingShingle | Bavula, Volodymyr V. Holonomic modules and 1-generation in the Jacobian Conjecture Comptes Rendus. Mathématique The Jacobian Conjecture the Conjecture of Dixmier the Weyl algebra the holonomic module the endomorphism algebra the length the multiplicity |
| title | Holonomic modules and 1-generation in the Jacobian Conjecture |
| title_full | Holonomic modules and 1-generation in the Jacobian Conjecture |
| title_fullStr | Holonomic modules and 1-generation in the Jacobian Conjecture |
| title_full_unstemmed | Holonomic modules and 1-generation in the Jacobian Conjecture |
| title_short | Holonomic modules and 1-generation in the Jacobian Conjecture |
| title_sort | holonomic modules and 1 generation in the jacobian conjecture |
| topic | The Jacobian Conjecture the Conjecture of Dixmier the Weyl algebra the holonomic module the endomorphism algebra the length the multiplicity |
| url | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.556/ |
| work_keys_str_mv | AT bavulavolodymyrv holonomicmodulesand1generationinthejacobianconjecture |