Overconvergent de Rham-Witt cohomology
[Cohomologie surconvergente de de Rham-Witt]
Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 44 (2011) no. 2, pp. 197-262.

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 Ω 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 (𝒪 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 Ω 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 (𝒪 X ) of overconvergent Witt-vectors. If X is affine one proves that there is an 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.

DOI : 10.24033/asens.2143
Classification : 14F30, 14F40
Keywords: rigid cohomology, de Rham-Witt complex
Mot clés : cohomologie rigide, complexe de de Rham-Witt
@article{ASENS_2011_4_44_2_197_0,
     author = {Davis, Christopher and Langer, Andreas and Zink, Thomas},
     title = {Overconvergent de {Rham-Witt} cohomology},
     journal = {Annales scientifiques de l'\'Ecole Normale Sup\'erieure},
     pages = {197--262},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {Ser. 4, 44},
     number = {2},
     year = {2011},
     doi = {10.24033/asens.2143},
     mrnumber = {2830387},
     zbl = {1236.14025},
     language = {en},
     url = {http://archive.numdam.org/articles/10.24033/asens.2143/}
}
TY  - JOUR
AU  - Davis, Christopher
AU  - Langer, Andreas
AU  - Zink, Thomas
TI  - Overconvergent de Rham-Witt cohomology
JO  - Annales scientifiques de l'École Normale Supérieure
PY  - 2011
SP  - 197
EP  - 262
VL  - 44
IS  - 2
PB  - Société mathématique de France
UR  - http://archive.numdam.org/articles/10.24033/asens.2143/
DO  - 10.24033/asens.2143
LA  - en
ID  - ASENS_2011_4_44_2_197_0
ER  - 
%0 Journal Article
%A Davis, Christopher
%A Langer, Andreas
%A Zink, Thomas
%T Overconvergent de Rham-Witt cohomology
%J Annales scientifiques de l'École Normale Supérieure
%D 2011
%P 197-262
%V 44
%N 2
%I Société mathématique de France
%U http://archive.numdam.org/articles/10.24033/asens.2143/
%R 10.24033/asens.2143
%G en
%F ASENS_2011_4_44_2_197_0
Davis, Christopher; Langer, Andreas; Zink, Thomas. Overconvergent de Rham-Witt cohomology. Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 44 (2011) no. 2, pp. 197-262. doi : 10.24033/asens.2143. http://archive.numdam.org/articles/10.24033/asens.2143/

[1] P. Berthelot, Cohomologie rigide et cohomologie rigide à supports propres, preprint 96-03 de l'université de Rennes, http://perso.univ-rennes1.fr/pierre.berthelot/publis/Cohomologie_Rigide_I.pdf, 1996.

[2] P. Berthelot, Finitude et pureté cohomologique en cohomologie rigide, Invent. Math. 128 (1997), 329-377. | Zbl

[3] S. Bosch, U. Güntzer & R. Remmert, Non-Archimedean analysis, Grund. Math. Wiss. 261, Springer, 1984. | Zbl

[4] B. Chiarellotto & N. Tsuzuki, Cohomological descent of rigid cohomology for étale coverings, Rend. Sem. Mat. Univ. Padova 109 (2003), 63-215. | Numdam | Zbl

[5] C. Davis, A. Langer & T. Zink, Overconvergent Witt vectors, preprint http://www.math.uci.edu/~davis/DLZOCW.pdf. | Zbl

[6] E. Grosse-Klönne, Rigid analytic spaces with overconvergent structure sheaf, J. reine angew. Math. 519 (2000), 73-95. | Zbl

[7] A. Grothendieck & J. Dieudonné, Éléments de géométrie algébrique, Publ. Math. I.H.É.S. 4, 8, 11, 17, 20, 24, 28, 32 (1960-67). | Zbl

[8] L. Illusie, Complexe de de Rham-Witt et cohomologie cristalline, Ann. Sci. École Norm. Sup. 12 (1979), 501-661. | Numdam | Zbl

[9] K. S. Kedlaya, More étale covers of affine spaces in positive characteristic, J. Algebraic Geom. 14 (2005), 187-192. | MR | Zbl

[10] A. Langer & T. Zink, De Rham-Witt cohomology for a proper and smooth morphism, J. Inst. Math. Jussieu 3 (2004), 231-314. | MR | Zbl

[11] A. Langer & T. Zink, Gauss-Manin connection via Witt-differentials, Nagoya Math. J. 179 (2005), 1-16. | MR | Zbl

[12] S. Lubkin, Generalization of p-adic cohomology: bounded Witt vectors. A canonical lifting of a variety in characteristic p0 back to characteristic zero, Compositio Math. 34 (1977), 225-277. | Numdam | MR | Zbl

[13] D. Meredith, Weak formal schemes, Nagoya Math. J. 45 (1972), 1-38. | MR | Zbl

[14] P. Monsky & G. Washnitzer, Formal cohomology. I, Ann. of Math. 88 (1968), 181-217. | MR | Zbl

Cité par Sources :