Cohomologie cristalline

La cohomologie cristalline est une cohomologie de Weil pour les schémas, introduite par Alexander Grothendieck en 1966 et développée par Pierre Berthelot. Elle étend le domaine d'application de la cohomologie étale en considérant les modules sur les anneaux de vecteurs de Witt sur le corps de base. Conjectures de Weil Dans l'étude des variétés différentiables compactes, la formule de Lefschetz permet de calculer le nombre de points fixes d'un morphisme de la variété dans elle-même. Cette formule est une somme alternée de traces, agissant sur les espaces vectoriels de cohomologie de De Rham de la variété considérée. Les travaux d'André Weil sur les variétés algébriques sur les corps finis ont montré que la connaissance de la fonction zêta de la variété équivaut à celle du nombre de points rationnels qu'elle possède sur toutes les extensions finies du corps de base. Weil a remarqué que les points rationnels sur sont exactement les points fixes de l'endomorphisme de Frobenius itéré . Weil suggère alors qu'une théorie cohomologique pour les variétés sur un corps fini à valeurs dans des espaces vectoriels de dimension finie sur un corps de caractéristique zéro généraliserait naturellement le résultat de Lefschetz. Les conditions nécessaires d'une telle théorie cohomologique ont été formalisées, et la théorie supposée baptisée « cohomologie de Weil ». Cohomologie étale La construction d'une cohomologie de Weil est un des objectifs que se fixe Alexander Grothendieck, dans les débuts de la théorie des schémas. Ayant défini leur topologie étale, et la cohomologie correspondante, il développe avec ses élèves, pour tout nombre premier l qui ne divise pas q, la cohomologie l-adique. Soit k un corps, de caractéristique p, et une clôture algébrique de k. Soit X un schéma séparé de type fini sur k, et l un nombre premier. Les groupes de cohomologie étale de sont Il s'agit d'espaces vectoriels de dimension finie lorsque l est différent de p ou si X est propre. Soit k un corps de caractéristique p > 0, soit X un schéma propre et lisse de dimension d sur k.