tsuchimoto-bkk

The proof reduces modulo large primes. In characteristic $p$ the center of the Weyl algebra $A_n$ is a polynomial ring in $2n$ variables, the $p$-th powers of the generators, and it carries a Poisson bracket. An endomorphism of $A_n$ induces a symplectic map of that $2n$-dimensional space, whose Jacobian is 1. The Jacobian conjecture in dimension $2n$ makes that map invertible, and the invertibility lifts back.^[1] Tsuchimoto phrased the argument with $p$-curvatures, and Belov-Kanel and Kontsevich call it antiquantization. Belov-Kanel and Kontsevich note that Tsuchimoto's earlier paper contains their main result.^[2] Bavula gave a short proof by inversion formulas. Adjamagbo and van den Essen gave a third proof, purely algebraic, through the Poisson conjecture, which isolates the symplectic step as its own statement.

The theorem supplies the implication recorded on the Dixmier family as “DCₙ reduces to JC₂ₙ”, which with DCₙ ⇒ JCₙ sandwiches DCₙ between JCₙ and JC₂ₙ.

After July 2026 its hypothesis is false in every dimension $2n\ge4$, so it says nothing about DCₙ for $n\ge2$. Its only live instance is $n=1$: JC₂ ⇒ DC₁. The open plane conjecture now controls Dixmier's original problem.

1. ↑ A. Belov-Kanel, M. Kontsevich, The Jacobian conjecture is stably equivalent to the Dixmier conjecture, Moscow Math. J. 7 (2007) 209–218, Theorem 1.
2. ↑ Y. Tsuchimoto, Endomorphisms of Weyl algebra and p-curvatures, Osaka J. Math. 42 (2005) 435–452.