-modules arithmétiques associés aux isocristaux surconvergents. Cas lisse
Soient un anneau de valuation discrète complet d’inégales caractéristiques, un -schéma formel séparé et lisse, sa fibre spéciale, un sous-schéma fermé de , un diviseur de tel que soit un diviseur de et le complété faible du faisceau des opérateurs différentiels sur à singularités surconvergentes le long de tensorisé par . Nous construisons un foncteur pleinement fidèle, noté , de la catégorie des isocristaux sur surconvergents le long de dans celle des -modules cohérents...