Dévissages des F-complexes de D-modules arithmétiques en F-isocristaux surconvergents

Abstract

Nous définissons et étudions les dévissages des $F$-complexes de $\mathcal{D}$-modules arithmétiques en $F$-isocristaux surconvergents. Nous prouvons que les $F$-complexes surholonomes sont dévissables en $F$-isocristaux surconvergents. On établit ensuite une formule cohomologique, étendant celle d'Étesse et Le Stum, des fonctions $L$ associées aux duaux des $F$-complexes de $\mathcal{D}$-modules arithmétiques dévissables en $F$-isocristaux surconvergents. Puis, nous obtenons un analogue $p$-adique de Weil II étendant celui de Kedlaya.