We prove that rigid cohomology can be computed as the cohomology of a site analogous to the crystalline site. Berthelot designed rigid cohomology as a common generalization of crystalline and Monsky-Washnitzer cohomology. Unfortunately, unlike the former, the functoriality of the theory is not built-in. We define the “overconvergent site” which is functorially attached to an algebraic variety. We prove that the category of modules of finite presentation on this ringed site is equivalent to the category of overconvergent isocrystals on the variety. We also prove that their cohomology coincides.
Nous montrons que la cohomologie rigide peut se calculer comme la cohomologie d’un site analogue au site cristallin. Berthelot a conçu la cohomologie rigide comme une généralisation commune de la cohomologie cristalline et de la cohomologie de Monsky-Washnitzer. Malheureusement, contrairement à ce qui se passe en cohomologie cristalline, la fonctorialité de la théorie ne résulte pas directement des définitions. Nous introduisons donc le « site surconvergent » qui est fonctoriellement attaché à une variété algébrique. Nous montrons que la catégorie des modules de présentation finie sur ce site annelé est équivalent à la catégorie des isocristaux surconvergents sur la variété. Nous montrons aussi que leurs cohomologies coïncident.
Keywords: overconvergent, isocrystal, rigid, crystal, cohomology
Mot clés : surconvergent, isocristal, rigide, cristal, cohomologie
@book{MSMF_2011_2_127__1_0, author = {Le Stum, Bernard}, title = {The overconvergent site}, series = {M\'emoires de la Soci\'et\'e Math\'ematique de France}, publisher = {Soci\'et\'e math\'ematique de France}, number = {127}, year = {2011}, doi = {10.24033/msmf.438}, mrnumber = {2952779}, zbl = {1246.14028}, language = {en}, url = {http://archive.numdam.org/item/MSMF_2011_2_127__1_0/} }
Le Stum, Bernard. The overconvergent site. Mémoires de la Société Mathématique de France, Serie 2, no. 127 (2011), 114 p. doi : 10.24033/msmf.438. http://numdam.org/item/MSMF_2011_2_127__1_0/
[1] Théorie des topos et cohomologie étale des schémas. Tome 3. Springer-Verlag, Berlin, 1973. Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4), Dirigé par M. Artin, A. Grothendieck et J. L. Verdier. Avec la collaboration de P. Deligne et B. Saint-Donat, Lecture Notes in Mathematics, Vol. 305.
[2] Spectral theory and analytic geometry over non-Archimedean fields, volume 33 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1990. | MR
.[3] Étale cohomology for non-Archimedean analytic spaces. Inst. Hautes Études Sci. Publ. Math., (78):5–161 (1994), 1993. | MR | EuDML | Zbl | Numdam
.[4] Vanishing cycles for formal schemes. Invent. Math., 115(3):539–571, 1994. | MR | EuDML | Zbl
.[5] -adic analytic spaces. In Proceedings of the International Congress of Mathematicians, Vol. II (Berlin, 1998), number Extra Vol. II, pages 141–151 (electronic), 1998. | MR | EuDML | Zbl
.[6] Smooth -adic analytic spaces are locally contractible. Invent. Math., 137(1):1–84, 1999. | MR | Zbl
.[7] Cohomologie cristalline des schémas de caractéristique . Springer-Verlag, Berlin, 1974. Lecture Notes in Mathematics, Vol. 407. | MR | Zbl
.[8] Cohomologie rigide et cohomologie à support propre, seconde partie. Incomplete, 1983.
.[9] Géométrie rigide et cohomologie des variétés algébriques de caractéristique . Mém. Soc. Math. France (N.S.), (23):3, 7–32, 1986. Introductions aux cohomologies -adiques (Luminy, 1984). | MR | EuDML | Zbl | Numdam
.[10] Cohomologie rigide et cohomologie à support propre, première partie. Prépublication de l’IRMAR, 96(03):89, 1996.
.[11] A generalization of Coleman’s -adic integration theory. Invent. Math., 142(2):397–434, 2000. | MR | Zbl
.[12] Syntomic regulators and -adic integration. I. Rigid syntomic regulators. In Proceedings of the Conference on -adic Aspects of the Theory of Automorphic Representations (Jerusalem, 1998), volume 120, pages 291–334, 2000. | MR | Zbl
.[13] Non-Archimedean analysis, volume 261 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1984. A systematic approach to rigid analytic geometry. | MR | Zbl
, , and .[14] Rigid cohomology of algebraic stacks. PhD thesis, University of California, 2010.
.[15] Espaces de Berkovich et équations différentielles -adiques. Une note. Rend. Sem. Mat. Univ. Padova, 103:193–209, 2000. | MR | EuDML | Zbl | Numdam
.[16] Cohomological descent of rigid cohomology for étale coverings. Rend. Sem. Mat. Univ. Padova, 109:63–215, 2003. | MR | EuDML | Zbl | Numdam
and .[17] Étude de certaines propriétés locales et globales des espaces de Berkovich. Prépublication de l’IRMAR, 03(41):59, 2003.
.[18] Fonctions associées aux -isocristaux surconvergents. I. Interprétation cohomologique. Math. Ann., 296(3):557–576, 1993. | MR | EuDML | Zbl
and .[19] Calculus of fractions and homotopy theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35. Springer-Verlag New York, Inc., New York, 1967. | MR | Zbl
and .[20] Cohomologie non abélienne. Springer-Verlag, Berlin, 1971. Die Grundlehren der mathematischen Wissenschaften, Band 179. | MR | Zbl
.[21] Crystals and the de Rham cohomology of schemes. In Dix Exposés sur la Cohomologie des Schémas, pages 306–358. North-Holland, Amsterdam, 1968. | MR
.[22] Sheaves on manifolds, volume 292 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1990. With a chapter in French by Christian Houzel. | MR | Zbl
and .[23] Rigid cohomology, volume 172 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2007. | MR | Zbl
.[24] Formal cohomology. I. Ann. of Math. (2), 88:181–217, 1968. | MR | Zbl
and .[25] The convergent topos in characteristic . In The Grothendieck Festschrift, Vol. III, volume 88 of Progr. Math., pages 133–162. Birkhäuser Boston, Boston, MA, 1990. | MR | Zbl
.[26] Critères de platitude et de projectivité. Techniques de “platification” d’un module. Invent. Math., 13:1–89, 1971. | MR | EuDML | Zbl
and .[27] On local properties of non-Archimedean analytic spaces. Math. Ann., 318(3):585–607, 2000. | MR | Zbl
.[28] On local properties of non-Archimedean analytic spaces. II. Israel J. Math., 140:1–27, 2004. | MR | Zbl
.Cited by Sources: