Sur le topos infinitésimal p-adique d'un schéma lisse I

Alberto Arabia (1) , Zoghman Mebkhout (1)

1 IMJ - Institut de Mathématiques de Jussieu

In order to have cohomological operations for de Rham p-adic cohomology with coefficients as manageable as possible, the main purpose of this paper is to solve intrinsically and from a cohomological point of view the lifting problem of smooth schemes and their morphisms from characteristic p > 0 to characteristic zero which has been one of the fundamental difficulties in the theory of de Rham cohomology of algebraic schemes in positive characteristic since the beginning. We show that although smooth schemes and morphisms fail to lift geometrically, it is as if this was the case within the cohomological point of view, which is consistent with the theory of Grothendieck Motives. We deduce the p-adic factorization of the Zeta function of a smooth algebraic variety, possibly open, over a finite field, which is a key testing result of our methods.

Mots clés: Algèbres dag-adiques; Cohomologie de de Rham p-adique; Complexe de de Rham p-adique; Equations différentielles p-adiques; Factorisation p-adique de la fonction Zéta; Fonctorialité; Groupe des automorphismes; Module de transfert; Module spécial; Opérateurs différentiels p-adiques; Opérations cohomologiques; Relèvements plats; Schémas dag-adiques; Site infinitésimal; Suite de Gysin; Topos infinitésimal

Domaines: Géométrie algébrique [math.AG]

Alberto Arabia, Zoghman Mebkhout. Sur le topos infinitésimal p-adique d'un schéma lisse I. 2007. ⟨hal-00517945⟩