On Lagrangianity of $p$-supports of holonomic D-modules and $q$-D-modules

Pavel Etingof

M. Kontsevich conjectured and T. Bitoun proved that if M is a nonzero holonomic D-module then the p-support of a generic reduction of M to characteristic p>0 is Lagrangian. We prov…