Rigidification of arithmetic $\mathcal{D}$-modules and an overconvergent Riemann-Hilbert correspondence

Christopher Lazda

In this article, I define triangulated categories of constructible isocrystals on varieties over a perfect field of positive characteristic, in which Le Stum's abelian category of…