-modules arithmétiques. II: Descente par Frobenius
Dans cet article on étudie les -modules dont le support singulier est un croisement normal dans , par l’intermédiaire de la catégorie équivalente de faisceaux pervers. On montre qu’ils sont caractérisés, à isomorphisme près, par la donnée suivante : un hypercube constitué par des espaces vectoriels de dimension finie indexés par les parties de , et des applications linéaires soumises à certaines conditions de commutativité et d’inversibilité. Ce résultat est exprimé sous forme d’une équivalence...