Complexe de De Rham-Witt à coefficients dans un cristal
Cet article est le premier d’une série de trois articles consacrés aux images directes d’isocristaux : ici nous considérons des isocristaux sans structure de Frobenius ; dans le deuxième [Et 6] (resp. le troisième [Et 7]), nous introduirons une structure de Frobenius dans le contexte convergent (resp. surconvergent). Pour un morphisme propre et lisse relevable nous établissons la surconvergence des images directes, grâce à un théorème de changement de base pour un morphisme propre entre...
Dans l’exposé Bourbaki 409, Katz conjecture la méromorphie -adique de la fonction attachée à une variété lisse sur un corps fini () et à un -cristal sur . Si est propre et lisse sur nous prouvons que est rationnelle et fournie par l’expression habituelle utilisant l’action du Frobenius sur la cohomologie cristalline à coefficients dans ; ce résultat n’était connu, via les “conjectures de Weil”, que pour des -cristaux unités particuliers: ceux provenant d’une représentation de...
Page 1