×

zbMATH — the first resource for mathematics

\({\mathcal D}\)-modules arithmétiques. II: Descente par Frobenius. (Arithmetic \({\mathcal D}\)-modules. II: Frobenius descent). (French) Zbl 0948.14017
[Part I: P. Berthelot, Ann. Sci. Éc. Norm. Supér., IV. Sér. 29, No. 2, 185-272 (1996; Zbl 0886.14004)].
The paper under review is another step in the author’s systematic study of rings of differential operators in crystalline cohomology. These are filtered by the niveau which measures what type of factorials appear in the denominator. The main result is that Frobenius raises the niveau by 1 and induces (up to that change of niveau) an equivalence of categories of \(D\)-modules. This is preceded by a comparison of left and right \(D\)-modules, which are exchanged by Grothendieck-Hartshorne duality. Finally it is shown that Frobenius commutes with the usual (“six”) operations, and applications to Frobenius-action on cohomology and \(F\)-\(D\)-modules are given.

MSC:
14F30 \(p\)-adic cohomology, crystalline cohomology
14F10 Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials
14F40 de Rham cohomology and algebraic geometry
16S32 Rings of differential operators (associative algebraic aspects)
32C38 Sheaves of differential operators and their modules, \(D\)-modules
PDF BibTeX XML Cite
Full Text: DOI Numdam EuDML
References:
[1] A. GROTHENDIECK & J. DIEUDONNÉ - Éléments de Géométrie Algébrique , Publ. Math. I.H.E.S. 4, 8, 11, 17, 20, 24, 28, 32, 1960 - 1967 . Numdam · Zbl 0203.23301
[2] M. ARTIN , A. GROTHENDIECK & J.-L. VERDIER - Théorie des topos et cohomologie étale des schémas , Lecture Notes in Math., vol. 269, 270, 305, Springer-Verlag, 1972 . · Zbl 0234.00007
[3] P. BERTHELOT , A. GROTHENDIECK & L. ILLUSIE - Théorie des intersections et théorème de Riemann-Roch , Lecture Notes in Math., vol. 225, Springer-Verlag, 1971 . MR 50 #7133 | Zbl 0218.14001 · Zbl 0218.14001
[4] P. BERTHELOT - Cohomologie cristalline des schémas de caractéristique p > 0 , Lecture Notes in Math., vol. 407, Springer-Verlag, 1974 . MR 52 #5676 | Zbl 0298.14012 · Zbl 0298.14012
[5] P. BERTHELOT , ”Géométrie rigide et cohomologie des variétés algébriques de caractéristique p” , Journées d’analyse p-adique ( 1982 ), Introduction aux cohomologies p-adiques, Mémoires, vol. 23, Société Mathématique de France, 1986 , p. 7-32. Numdam | MR 88a:14020 | Zbl 0606.14017 · Zbl 0606.14017
[6] P. BERTHELOT , ”Cohomologie rigide et théorie des D-modules” , Proc. Conf. p-adic Analysis (Trento 1989 ), Lecture Notes in Math., vol. 1454, Springer-Verlag, 1990 , p. 78-124. Zbl 0722.14008 · Zbl 0722.14008
[7] P. BERTHELOT , ”Cohomologie rigide et cohomologie rigide à support propre, première partie” , Prépublication IRMAR 96 - 03, Université de Rennes, 1996 .
[8] P. BERTHELOT , ”D-modules arithmétiques I. Opérateurs différentiels de niveau fini” , Ann. scient. Éc. Norm. Sup. 4e série 29 ( 1996 ), p. 185-272. Numdam | MR 97b:14019 | Zbl 0886.14004 · Zbl 0886.14004
[9] P. BERTHELOT , ”Cohérence différentielle des algèbres de fonctions surconvergentes” , C.R. Acad. Sci. Paris Sér. I Math. 323 ( 1996 ), p. 35-40. MR 97g:14017 | Zbl 0871.14014 · Zbl 0871.14014
[10] P. BERTHELOT , ”D-modules arithmétiques III. Images directes et inverses” , en cours de rédaction.
[11] P. BERTHELOT , ”D-modules arithmétiques IV. Variété caractéristique” , en préparation.
[12] P. BERTHELOT & A. OGUS - ”F-isocrystals and de Rham cohomology I” , Invent. Math. 72 ( 1983 ), p. 159-199. MR 85e:14025 | Zbl 0516.14017 · Zbl 0516.14017
[13] J.-E. BJÖRK - Rings of differential operators , North-Holland, 1979 . Zbl 0499.13009 · Zbl 0499.13009
[14] J.-E. BJÖRK , Analytic D-modules and applications , Mathematics and its applications, vol. 247, Kluver, 1993 . MR 95f:32014 | Zbl 0805.32001 · Zbl 0805.32001
[15] A. BOREL & AL. - Algebraic D-modules , Perspectives in Math., vol. 2, Academic Press, 1987 . MR 89g:32014 | Zbl 0642.32001 · Zbl 0642.32001
[16] S. BOSCH , U. GÜNTZER & R. REMMERT - Non-archimedean analysis , Grundlehren der math. Wissenschaften, vol. 261, Springer-Verlag, 1984 . MR 86b:32031 | Zbl 0539.14017 · Zbl 0539.14017
[17] P. CARTIER - ”Une nouvelle opération sur les formes différentielles” , C.R. Acad. Sci. Paris Sér. I Math. 244 ( 1957 ), p. 426-428. MR 18,870b | Zbl 0077.04502 · Zbl 0077.04502
[18] P. CARTIER , ”Dérivations et diviseurs en géométrie algébrique” , Thèse, Fac. Sc. Paris, Paris, 1959 .
[19] G. CHRISTOL - ”Systèmes différentiels linéaires p-adiques, structure de Frobenius faible” , Bull. Soc. Math. France 109 ( 1981 ), p. 83-122. Numdam | MR 82k:12027 | Zbl 0459.12020 · Zbl 0459.12020
[20] G. CHRISTOL , Modules différentiels et équations différentielles p-adiques , Queen’s Papers in Pure and Applied Math., vol. 66, Queen’s University, 1983 . MR 87k:11114 | Zbl 0589.12020 · Zbl 0589.12020
[21] G. CHRISTOL & B. DWORK - ”Modules différentiels sur les couronnes” , Ann. Inst. Fourier 44 ( 1994 ), p. 663-701. Numdam | MR 96f:12008 | Zbl 0859.12004 · Zbl 0859.12004
[22] G. CHRISTOL & Z. MEBKHOUT - ”Sur le théorème de l’indice des équations différentielles p-adiques II” , Annals of Math. 146 ( 1997 ), p. 345-410. MR 99a:12009 | Zbl 0929.12003 · Zbl 0929.12003
[23] B. CONRAD - ”Base change and Grothendieck duality I & II” , preprint, 1998 .
[24] P. DELIGNE - ”Intégration sur un cycle évanescent” , Invent. Math. 76 ( 1983 ), p. 129-143. MR 86b:14002 | Zbl 0538.13007 · Zbl 0538.13007
[25] B. DWORK - ”On p-adic differential equations I. The Frobenius structure of differential equations” , Table Ronde Anal. non archim., Mémoires, vol. 39-40, Société Mathématique de France, 1974 , p. 27-37. Numdam | MR 58 #27987a | Zbl 0304.14014 · Zbl 0304.14014
[26] L. GARNIER - ”Quelques propriétés des D\dagger -modules holonomes sur les courbes” , Thèse de doctorat, Université de Rennes, 1993 .
[27] L. GARNIER , ”Descente par Frobenius explicite pour les D\dagger -modules” , Journal of Algebra 205 ( 1998 ), p. 542-577. MR 2000b:14023 | Zbl 0926.12006 · Zbl 0926.12006
[28] L. GARNIER , ”Descente des isocristaux et D\dagger -modules” , Rend. Sem. Mat. Univ. Padova 100 ( 1998 ), p. 143-186. Numdam | MR 2000e:14024 | Zbl 0945.14009 · Zbl 0945.14009
[29] A. GROTHENDIECK - ”Crystals and the de Rham cohomology of schemes” , notes by J. Coates and O. Jussila, Dix exposés sur la cohomologie des schémas, North Holland, 1968 . MR 42 #4558 | Zbl 0215.37102 · Zbl 0215.37102
[30] R. HARTSHORNE - Residues and duality , Lectures Notes in Math., vol. 20, Springer-Verlag, 1966 . MR 36 #5145 | Zbl 0212.26101 · Zbl 0212.26101
[31] M. KASHIWARA - Algebraic study of systems of partial differential equations , Thèse, Tokyo University, 1970 , trad. par A. d’Agnolo et J.-P. Schneiders, Mémoires Soc. Math. France, vol. 63, ( 1995 ). Numdam | Zbl 0877.35003 · Zbl 0877.35003
[32] N. M. KATZ - ”Nilpotent connections and the monodromy theorem : applications of a result of Turittin” , Publ. Math. IHES 35 ( 1971 ), p. 175-232. Numdam | Zbl 0221.14007 · Zbl 0221.14007
[33] R. KIEHL - ”Theorem A und Theorem B in der nichtarchimedischen Funktionentheorie” , Invent. Math. 2 ( 1967 ), p. 256-273. MR 35 #1834 | Zbl 0202.20201 · Zbl 0202.20201
[34] B. LE STUM & A. QUIROS - ”Transverse crystals of finite level” , Ann. Inst. Fourier 47 ( 1997 ), p. 69-100. Numdam | MR 98g:14019 | Zbl 0883.14006 · Zbl 0883.14006
[35] B. MALGRANGE - ”Caractérisation homologique de la dimension” , Séminaire ”Opérateurs différentiels et pseudo-différentiels”, Institut Fourier, Grenoble, 1975 - 1976 .
[36] Z. MEBKHOUT & L. NARVAEZ-MACARRO - ”Sur les coefficients de de Rham-Grothendieck des variétés algébriques” , Proc. Conf. p-adic Analysis (Trento 1989 ), Lecture Notes in Math. vol. 1454, Springer-Verlag, 1990 , p. 267-308. MR 92g:14016 | Zbl 0727.14011 · Zbl 0727.14011
[37] C. NASTASESCU & F. VAN OYSTAEYEN - Graded Ring Theory , North Holland, 1982 . MR 84i:16002 | Zbl 0494.16001 · Zbl 0494.16001
[38] T. ODA - ”Introduction to Algebraic Analysis on Complex Manifolds” , Algebraic and Analytic Varieties, Advanced Studies in Pure Math., vol. 1, 1983 , p. 29-48. MR 85a:14010 | Zbl 0512.14008 · Zbl 0512.14008
[39] A. OGUS - ”F-isocrystals and de Rham cohomology II - Convergent isocrystals” , Duke Math. Journal 51 ( 1984 ), p. 765-850. Article | MR 86j:14012 | Zbl 0584.14008 · Zbl 0584.14008
[40] M. SAITO - ”Modules de Hodge polarisables” , Publ. RIMS Kyoto Univ. 24 ( 1988 ), p. 849-995. Article | MR 90k:32038 | Zbl 0691.14007 · Zbl 0691.14007
[41] M. SAITO , ”Induced D-modules and differential complexes” , Bull. Soc. Math. France 117 ( 1989 ), p. 361-387. Numdam | MR 91f:32008 | Zbl 0705.32005 · Zbl 0705.32005
[42] P. SCHAPIRA - Microdifferential Systems in the Complex Domain , Grundlehren der math. Wissenschaften, vol. 269, Springer-Verlag, 1985 . MR 87k:58251 | Zbl 0554.32022 · Zbl 0554.32022
[43] A. VIRRION - ”Théorème de bidualité et caractérisation des F-D\dagger X,\Bbb Q- modules holonomes” , C. R. Acad. Sci. Paris Sér. I Math. 319 ( 1994 ), p. 1283-1286. MR 96e:14019 | Zbl 0829.14010 · Zbl 0829.14010
[44] A. VIRRION , ”Théorèmes de dualité locale et globale dans la théorie arithmétique des D-modules” , Thèse de doctorat, Université de Rennes, 1995 .
[45] A. VIRRION , ”Dualité locale et holonomie pour les D-modules arithmétiques” , Prépublication IRMAR 98 - 12, Université de Rennes, 1998 , à paraître au Bull. Soc. math. France. Numdam | Zbl 0955.14015 · Zbl 0955.14015
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.