Topologie log-syntomique, cohomologie log-cristalline et cohomologie de Čech

Français
Soit k un corps parfait de caractéristique p>0. Fontaine et Messing ont calculé la cohomologie cristalline d'un k-schéma comme cohomologie du faisceau H0cris sur le site syntomique de Speck et ont construit, grâce aux vecteurs de Witt, un préfaisceau dont H0cris est le faisceau associé sur ce site. Nous construisons un site log-syntomique et proposons des résultats analogues sur le point logarithmique (N→k,1↦0) pour diverses bases logarithmiques. Ceci nous permet de construire un opérateur de monodromie sur la cohomologie log-cristalline d'un log-schéma quelconque sur le point logarithmique. Nous en déduisons une suite exacte longue de cohomologie. En appendice, nous calculons « à la Čech », avec des recouvrements syntomiques, la cohomologie cristalline ique de certaines k-algèbres de type fini et nous en donnons un analogue logarithmique.
Log-structure, morphisme syntomique, cohomologie cristalline, opérateur de monodromie, cohomologie de Čech