$\mathcal D$-modules arithmétiques surholonomes
Overholonomic arithmetic $\mathcal D$-modules
- Année : 2009
- Fascicule : 1
- Tome : 42
- Format : Électronique
- Langue de l'ouvrage :
Français - Class. Math. : 14F10, 14F30
- Pages : 141-192
- DOI : 10.24033/asens.2092
Soient $k$ un corps parfait de caractéristique $p>0$, $U$ une variété sur $k$ et $F$ une puissance de Frobenius. Nous construisons la catégorie des ($F$-)$\mathcal D$-modules arithmétiques surholonomes sur $U$ et celle des ($F$-)complexes de $\mathcal D$-modules arithmétiques sur $U$ surholonomes. Nous montrons que les complexes surholonomes sont stables par images directes, images inverses, images inverses extraordinaires, images directes extraordinaires, foncteurs duaux. De plus, lorsque $U$ est lisse, nous vérifions que les $F$-isocristaux surconvergents unités sur $U$ sont surholonomes. Cela implique leur holonomie, ce qui prouve en partie une conjecture de Berthelot.
$\mathcal {D}$-modules arithmétiques, holonomie, cohomologie $p$-adique