Cohomologie syntomique des --cristaux
Nous montrons que le -module arithmétique associé à un -isocristal surconvergent sur une courbe lisse est holonome. Nous montrons d’abord que les -isocristaux unipotents sont des -modules holonomes en utilisant le fait que de tels -isocristaux proviennent de -isocristaux logarithmiques. Nous déduisons le cas général du théorème de réduction semi-stable pour les -isocristaux sur les courbes de Matsuda-Trihan qui repose sur le théorème de monodromie -adique démontré indépendamment par André,...
Nous montrons comment on peut construire en toute généralité un -isocristal surconvergent à partir d’un -log-cristal sur un log-schéma au-dessus du point trivial. Nous étudions ensuite les propriétés de cette construction.
Page 1