Infinitésimal p -adic topos of a smooth scheme I

Alberto Arabia[1]; Zoghman Mebkhout[1]

  • [1] Université Paris 7 - Denis Diderot Institut de Mathématiques de Jussieu UMR CNRS 7586 175 rue de Chevaleret 75013 Paris (France)

Annales de l’institut Fourier (2010)

  • Volume: 60, Issue: 6, page 1905-2094
  • ISSN: 0373-0956

Abstract

top
In order to have cohomological operations for de Rham p -adic cohomology as manageable as possible, the main purpose of this paper is to solve intrinsically and from a cohomological point of view the lifting problem of smooth schemes and their morphisms from characteristic p > 0 to characteristic zero which has been one of the fundamental difficulties in the theory of de Rham cohomology of algebraic schemes in positive characteristic since the beginning. We show that although smooth schemes and morphisms fail to lift geometrically, it is as if this was the case within the cohomological point of view, which is consistent with the theory of Grothendieck Motives. We deduce the p -adic factorization of the Zeta function of a smooth algebraic variety, possibly open, over a finite field, which is a key testing result of our methods.Let V be a complete discrete valuation ring of unequal characteristics ( p , 0 ) with residue field k and fraction field K . We define the de Rham cohomology of a smooth scheme over k with coefficients which are vector spaces over K , and we define cohomological operations for morphisms of smooth schemes over k . We show that we obtain in particular a contravariant functor between the category of all separated smooth schemes over k and the derived category of the category of vector spaces over K . We give the Gysin exact sequence for every pair of smooth schemes, allowing in particular to define the cohomology class of a cycle in the case of a perfect base field. We prove the Poincaré-Künneth lemma for smooth base.

How to cite

top

Arabia, Alberto, and Mebkhout, Zoghman. "Sur le Topos infinitésimal $p$-adique d’un schéma lisse I." Annales de l’institut Fourier 60.6 (2010): 1905-2094. <http://eudml.org/doc/116325>.

@article{Arabia2010,
abstract = {Afin de disposer des opérations cohomologiques aussi souples que possible pour la cohomologie de de Rham $p$-adique, le but principal de ce mémoire est de résoudre intrinsèquement du point de vue cohomologique le problème des relèvements des schémas lisses et de leurs morphismes de la caractéristique $p&gt;0$ à la caractéristique nulle ce qui a été l’une des difficultés centrales de la théorie de la cohomologie de de Rham des schémas algébriques en caractéristique positive depuis le début. Nous montrons que, bien que les schémas lisses et leurs morphismes ne se relèvent pas en général du point de vue géométrique, tout se passe comme si c’était bien le cas du point de vue cohomologique, ce qui est conforme à la Théorie des Motifs de Grothendieck. On en déduit la factorisation $p$-adique de la fonction Zêta d’une variété algébrique lisse sur un corps fini, éventuellement ouverte, qui est le résultat test de nos méthodes.Soit $V$ un anneau de valuation discrète complet d’inégales caractéristiques $(p, 0)$ de corps résiduel $k$ et de corps de fractions $K$. On définit la cohomologie de de Rham $p$-adique d’un schéma lisse sur $k$, à coefficients qui sont des espaces vectoriels sur $K$ et on définit les opérations cohomologiques pour un morphisme de schémas lisses sur $k$. On montre que l’on obtient en particulier un foncteur contravariant entre la catégorie de tous les schémas lisses et séparés sur $k$ et la catégorie dérivée de la catégorie des espaces vectoriels sur $K$. On montre la suite exacte de Gysin pour tout couple de schémas lisses, ce qui permet en particulier de définir la classe de cohomologie d’un cycle dans le cas d’un corps de base parfait. On montre le lemme de Poincaré-Künneth sur une base lisse.},
affiliation = {Université Paris 7 - Denis Diderot Institut de Mathématiques de Jussieu UMR CNRS 7586 175 rue de Chevaleret 75013 Paris (France); Université Paris 7 - Denis Diderot Institut de Mathématiques de Jussieu UMR CNRS 7586 175 rue de Chevaleret 75013 Paris (France)},
author = {Arabia, Alberto, Mebkhout, Zoghman},
journal = {Annales de l’institut Fourier},
keywords = {dagadic algebras; $p$-adic de Rham cohomology; $p$-adique de Rham complex; factorization of the ZŽta function; fonctoriality; group of automorphisms; transfert module; special module; $p$-adic differential operators; cohomological operations; flat liftings; dagadic schemes; infinitŽsimal site; Gysin sequence; infinitesimal topos},
language = {fre},
number = {6},
pages = {1905-2094},
publisher = {Association des Annales de l’institut Fourier},
title = {Sur le Topos infinitésimal $p$-adique d’un schéma lisse I},
url = {http://eudml.org/doc/116325},
volume = {60},
year = {2010},
}

TY - JOUR
AU - Arabia, Alberto
AU - Mebkhout, Zoghman
TI - Sur le Topos infinitésimal $p$-adique d’un schéma lisse I
JO - Annales de l’institut Fourier
PY - 2010
PB - Association des Annales de l’institut Fourier
VL - 60
IS - 6
SP - 1905
EP - 2094
AB - Afin de disposer des opérations cohomologiques aussi souples que possible pour la cohomologie de de Rham $p$-adique, le but principal de ce mémoire est de résoudre intrinsèquement du point de vue cohomologique le problème des relèvements des schémas lisses et de leurs morphismes de la caractéristique $p&gt;0$ à la caractéristique nulle ce qui a été l’une des difficultés centrales de la théorie de la cohomologie de de Rham des schémas algébriques en caractéristique positive depuis le début. Nous montrons que, bien que les schémas lisses et leurs morphismes ne se relèvent pas en général du point de vue géométrique, tout se passe comme si c’était bien le cas du point de vue cohomologique, ce qui est conforme à la Théorie des Motifs de Grothendieck. On en déduit la factorisation $p$-adique de la fonction Zêta d’une variété algébrique lisse sur un corps fini, éventuellement ouverte, qui est le résultat test de nos méthodes.Soit $V$ un anneau de valuation discrète complet d’inégales caractéristiques $(p, 0)$ de corps résiduel $k$ et de corps de fractions $K$. On définit la cohomologie de de Rham $p$-adique d’un schéma lisse sur $k$, à coefficients qui sont des espaces vectoriels sur $K$ et on définit les opérations cohomologiques pour un morphisme de schémas lisses sur $k$. On montre que l’on obtient en particulier un foncteur contravariant entre la catégorie de tous les schémas lisses et séparés sur $k$ et la catégorie dérivée de la catégorie des espaces vectoriels sur $K$. On montre la suite exacte de Gysin pour tout couple de schémas lisses, ce qui permet en particulier de définir la classe de cohomologie d’un cycle dans le cas d’un corps de base parfait. On montre le lemme de Poincaré-Künneth sur une base lisse.
LA - fre
KW - dagadic algebras; $p$-adic de Rham cohomology; $p$-adique de Rham complex; factorization of the ZŽta function; fonctoriality; group of automorphisms; transfert module; special module; $p$-adic differential operators; cohomological operations; flat liftings; dagadic schemes; infinitŽsimal site; Gysin sequence; infinitesimal topos
UR - http://eudml.org/doc/116325
ER -

References

top
  1. A. Arabia, Relèvements des algèbres lisses et de leurs morphismes, Comment. Math. Helv. 76 (2001), 607-639 Zbl1063.13009MR1881700
  2. A. Arabia, Z. Mebkhout, Sur le Topos infinitésimal p -adique d’un schéma lisse II 
  3. P. Berthelot, Cohomologie p -cristalline des schémas : relèvement de la caractéristique p à la caractéristique 0 , C. R. Acad. Sci. Paris Sér. A-B 269 (1969), A297-A300 Zbl0179.26202MR246882
  4. P. Berthelot, Cohomologie cristalline des schémas de caractéristique p &gt; 0 , (1974), Springer-Verlag, Berlin Zbl0298.14012MR384804
  5. P. Berthelot, Géométrie rigide et cohomologie des variétés algébriques de caractéristique p , Mém. Soc. Math. France (N.S.) (1986), 7-32 Zbl0606.14017MR865810
  6. P. Berthelot, A. Ogus, F -isocrystals and de Rham cohomology. I, Invent. Math. 72 (1983), 159-199 Zbl0516.14017MR700767
  7. N. Bourbaki, Éléments de mathématique. Fascicule XXVIII. Algèbre commutative. Chapitre 3 : Graduations, filtrations et topologies. Chapitre 4 : Idéaux premiers associés et décomposition primaire, (1961), Hermann, Paris Zbl0119.03603
  8. G. Christol, Z. Mebkhout, Sur le théorème de l’indice des équations différentielles p -adiques. I, Ann. Inst. Fourier (Grenoble) 43 (1993), 1545-1574 Zbl0834.12005MR1275209
  9. G. Christol, Z. Mebkhout, Sur le théorème de l’indice des équations différentielles p -adiques. II, Ann. of Math. (2) 146 (1997), 345-410 Zbl0929.12003MR1477761
  10. G. Christol, Z. Mebkhout, Sur le théorème de l’indice des équations différentielles p -adiques. III, Ann. of Math. (2) 151 (2000), 385-457 Zbl1078.12500MR1765703
  11. G. Christol, Z. Mebkhout, Sur le théorème de l’indice des équations différentielles p -adiques. IV, Invent. Math. 143 (2001), 629-672 Zbl1078.12501MR1817646
  12. B. Dwork, On the rationality of the zeta function of an algebraic variety, Amer. J. Math. 82 (1960), 631-648 Zbl0173.48501MR140494
  13. A. Grothendieck, Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I, Inst. Hautes Études Sci. Publ. Math. (1961) Zbl0122.16102MR217085
  14. A. Grothendieck, Cristaux, (1966) 
  15. A. Grothendieck, On the de Rham cohomology of algebraic varieties, Inst. Hautes Études Sci. Publ. Math. (1966), 95-103 Zbl0145.17602MR199194
  16. A. Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV, Inst. Hautes Études Sci. Publ. Math. (1967) Zbl0153.22301MR238860
  17. A. Grothendieck, Crystals and the de Rham cohomology of schemes, Dix Exposés sur la Cohomologie des Schémas (1968), 306-358, North-Holland, Amsterdam Zbl0215.37102MR269663
  18. A. Grothendieck, Formule de Lefschetz et rationalité des fonctions L , Séminaire Bourbaki, Vol. 9 (1995), 41-55, Exp. No. 279, Soc. Math. France, Paris Zbl0199.24802MR1608788
  19. A. Grothendieck, J. Dieudonné, Éléments de géométrie algébrique. I. Le langage des schémas, Inst. Hautes Études Sci. Publ. Math. (1960) MR217083
  20. Z. Mebkhout, Le théorème du symbole total d’un opérateur différentiel p -adique d’échelon h ≥ 0  
  21. Z. Mebkhout, Théorème de dualité pour les 𝒟 X -modules cohérents, C. R. Acad. Sci. Paris Sér. A-B 285 (1977), A785-A787 Zbl0409.32006MR457771
  22. Z. Mebkhout, Sur le théorème de finitude de la cohomologie p -adique d’une variété affine non singulière, Amer. J. Math. 119 (1997), 1027-1081 Zbl0926.14007MR1473068
  23. Z. Mebkhout, L. Narváez-Macarro, Sur les coefficients de de Rham-Grothendieck des variétés algébriques, -adic analysis (Trento, 1989) 1454 (1990), 267-308, Springer, Berlin Zbl0727.14011MR1094858
  24. Z. Mebkhout, L. Narváez-Macarro, La théorie du polynôme de Bernstein-Sato pour les algèbres de Tate et de Dwork-Monsky-Washnitzer, Ann. Sci. École norm. sup. (4) 24 (1991), 227-256 Zbl0765.14009MR1097693
  25. Z. Mebkhout, L. Narváez-Macarro, Le théorème du symbole total d’un opérateur différentiel p -adique, Revista Matemática Iberoamericana 26 (2010), 825-859 
  26. D. Meredith, Weak formal schemes, Nagoya Math. J. 45 (1972), 1-38 Zbl0207.51502MR330167
  27. P. Monsky, Formal cohomology. II. The cohomology sequence of a pair, Ann. of Math. (2) 88 (1968), 218-238 Zbl0162.52601MR244272
  28. P. Monsky, Formal cohomology. III. Fixed point theorems, Ann. of Math. (2) 93 (1971), 315-343 Zbl0213.47501MR321931
  29. P. Monsky, One dimensional formal cohomology, Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1 (1971), 451-456, Gauthier-Villars, Paris Zbl0222.14014MR422279
  30. P. Monsky, G. Washnitzer, The construction of formal cohomology sheaves, Proc. Nat. Acad. Sci. U.S.A. 52 (1964), 1511-1514 Zbl0134.16403MR171787
  31. P. Monsky, G. Washnitzer, Formal cohomology. I, Ann. of Math. (2) 88 (1968), 181-217 Zbl0162.52504MR248141
  32. J.-L. Verdier, Des catégories dérivées des catégories abéliennes, Astérisque (1996) MR1453167

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.