-isocrystals and their monodromy groups
Soient un nombre premier et un corps -adique à corps résiduel parfait (par exemple une extension finie de ) dont l’indice de ramification absolue est noté . Afin d’étudier les « représentations semi-stables de -torsion » de , Breuil a défini pour tout entier positif plusieurs catégories de -modules filtrés de torsion. Dans cet article, nous décrivons la structure de ces catégories dans le cas général (seul le cas avait été étudié de façon systématique jusqu’à présent).
Let be a -adic local field with residue field such that and be a -adic representation of . Then, by using the theory of -adic differential modules, we show that is a Hodge-Tate (resp. de Rham) representation of if and only if is a Hodge-Tate (resp. de Rham) representation of where is a certain -adic local field with residue field the smallest perfect field containing .
Ce travail s’inscrit dans le cadre de la théorie des -modules arithmétiques de Berthelot. Nous définissons la notion de -modules arithmétiques holonomes. Lorsque les modules sont munis d’une structure de Frobenius, nous retrouvons la définition d’holonomie de Berthelot. Nous vérifions que l’inégalité de Bernstein et le critère homologique d’holonomie de Virrion restent valables sans l’hypothèse d’une structure de Frobenius. Nous établissons qu’un -module surcohérent (sans structure de Frobenius)...
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 espaces rigides...