Overholonomicity of overconvergent $F$-isocrystals over smooth varieties

Daniel Caro, Nobuo Tsuzuki

We prove the overholonomicity of overconvergent $F$-isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent $F$-iso…