SMF

Cohomologie surconvergente de de Rham-Witt

Overconvergent de Rham-Witt Cohomology

Christopher Davis, Andreas Langer, Thomas Zink
Cohomologie surconvergente de de Rham-Witt
  • Consulter un extrait
  • Année : 2011
  • Tome : 44
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 14F30, 14F40
  • Pages : 197-262
  • DOI : 10.24033/asens.2143
Le but de ce travail est de construire, pour $X$ une variété lisse sur un corps parfait $k$ de caractéristique finie, un complexe de de Rham-Witt surconvergent $W^{\dagger }\Omega _{X/k}$ comme un sous-complexe convenable du complexe de de Rham-Witt de Deligne-Illusie. Ce complexe qui est fonctoriel en $X$ est un complexe de faisceaux étales et une algèbre différentielle graduée sur l'anneau $W^{\dagger }(\mathcal {O}_X)$ des vecteurs de Witt surconvergents. Lorsque $X$ est affine, on démontre qu'il existe un isomorphisme canonique entre la cohomologie de Monsky-Washnitzer et la cohomologie (rationnelle) de de Rham-Witt surconvergente. Finalement on définit pour $X$ quasi-projectif un isomorphisme entre la cohomologie rigide de $X$ et la cohomologie de de Rham-Witt surconvergente rationnelle.
The goal of this work is to construct, for a smooth variety $X$ over a perfect field k of finite characteristic $p > 0$, an overconvergent de Rham-Witt complex $W^{\dagger }\Omega _{X/k}$ as a suitable subcomplex of the de Rham-Witt complex of Deligne-Illusie. This complex, which is functorial in $X$, is a complex of étale sheaves and a differential graded algebra over the ring $W^{\dagger }(\mathcal {O}_X)$ of overconvergent Witt-vectors. If $X$ is affine one proves that there is a isomorphism between Monsky-Washnitzer cohomology and (rational) overconvergent de Rham-Witt cohomology. Finally we define for a quasiprojective $X$ an isomorphism between the rational overconvergent de Rham-Witt cohomology and the rigid cohomology.
Cohomologie rigide, complexe de de Rham-Witt
Rigid cohomology, de Rham-Witt complex
Accès libre
Consulter