On the $p$-supports of a holonomic $\mathcal{D}$-module

Thomas Bitoun

For a smooth variety $Y$ over a perfect field of positive characteristic, the sheaf $D_Y$ of crystalline differential operators on $Y$ (also called the sheaf of $PD$-differential o…