The Jacobian conjecture is stably equivalent to the Dixmier conjecture

The paper is devoted to the proof of equivalence of Jacobian and Dixmier conjectures. We show that $2n$-dimensional Jacobian conjecture implies Dixmier conjecture for $W_n$. The proof uses “antiquantization”: positive characteristics and Poisson brackets on the center of Weyl algebra in characteristic $p$.