2013/09/25 by Bergh, Michel Van den
#Algebraic Geometry (math.AG) #FOS: Mathematics #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.1309.6677
The p-support of a holonomic D-module was introduced by Kontsevich. Thomas Bitoun in his PhD thesis proved several properties of p-support conjectured by Kontsevich. In this note we give an alternative proof for involutivity by reducing it to a slight extension of Gabber's theorem on the integrability of the characteristic variety. For the benefit of the reader we review how this extension follows from Kaledin's proof of Gabber's theorem.