Equations in $p$-curvature and intertwiners

Abstract

The equations in $p$-curvatures, which is a key to prove a stable equivalence of Jacobian problem and Dixmier conjecture in the author's previous paper, is provided an easier proof, related to the existence of `intertwining operator'. In an appendix, we show that every symplectic morphism between nonsingular symplectic varieties are of Jacobian 1, regardless of the characteristics.