-modules arithmétiques surcohérents. Application aux fonctions
Nous étudions d’abord le foncteur cohomologique local. Ensuite, nous introduisons la notion de -modules arithmétiques surcohérents. Nous prouvons que les - isocristaux unités sont surcohérents et surtout que la surcohérence est stable par images directes, images inverses extraordinaires et foncteurs cohomologiques locaux. On obtient, via cette stabilité, une formule cohomologique pour les fonctions associées aux complexes duaux de complexes surcohérents. Celle-ci étend celle d’Étesse et Le Stum...