𝒟-modules arithmétiques. I. Opérateurs différentiels de niveau fini
Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 29 (1996) no. 2, p. 185-272
@article{ASENS_1996_4_29_2_185_0,
     author = {Berthelot, Pierre},
     title = {${\mathcal {D}}$-modules arithm\'etiques. I. Op\'erateurs diff\'erentiels de niveau fini},
     journal = {Annales scientifiques de l'\'Ecole Normale Sup\'erieure},
     publisher = {Elsevier},
     volume = {4e s{\'e}rie, 29},
     number = {2},
     year = {1996},
     pages = {185-272},
     doi = {10.24033/asens.1739},
     zbl = {0886.14004},
     mrnumber = {97b:14019},
     language = {fr},
     url = {http://http://www.numdam.org/item/ASENS_1996_4_29_2_185_0}
}
Berthelot, Pierre. ${\mathcal {D}}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini. Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 29 (1996) no. 2, pp. 185-272. doi : 10.24033/asens.1739. http://www.numdam.org/item/ASENS_1996_4_29_2_185_0/

[EGA] A. Grothendieck et J. Dieudonné, Éléments de Géométrie Algébrique, (Publ. Math. I.H.E.S., vol. 4, 8, 11, 17, 20, 24, 28, 32, 1960-1967). | Numdam

[SGA4] M. Artin, A. Grothendieck et J.-L. Verdier, Théorie des topos et cohomologie étale des schémas (Lecture Notes in Math. 269, 270, Springer-Verlag, 1972).

[1] 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

[2] 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), in Introduction aux cohomologies p-adiques (Bull. Soc. Math. France, Mémoire, vol. 23, 1986, p. 7-32). | Numdam | MR 88a:14020 | Zbl 0606.14017

[3] P. Berthelot, Cohomologie rigide et théorie de Dwork : le cas des sommes exponentielles (Astérisque, vol. 119-120, 1984, p. 17-49). | MR 87b:14009 | Zbl 0577.14013

[4] P. Berthelot, Cohomologie rigide et théorie des D-modules, Proc. Conf. p-adic Analysis (Trento 1989) (Lecture Notes in Math. 1454, Springer Verlag, 1990, p. 78-124). | Zbl 0722.14008

[5] P. Berthelot, Cohomologie rigide et cohomologie rigide à supports propres, en préparation.

[6] P. Berthelot, D-modules arithmétiques II. Descente par Frobenius, en préparation.

[7] P. Berthelot, D-modules arithmétiques III. Images directes et réciproques, en préparation.

[8] P. Berthelot, L. Breen et W. Messing, Théorie de Dieudonné cristalline II (Lecture Notes in Math. 930, Springer-Verlag, 1982). | MR 85k:14023 | Zbl 0516.14015

[9] P. Berthelot et A. Ogus, Notes on crystalline cohomology (Math. Notes 21, Princeton University Press, 1978). | MR 58 #10908 | Zbl 0383.14010

[10] P. Berthelot et A. Ogus, F-isocrystals and de Rham cohomology I (Invent. Math., vol. 72, 1983, p. 159-199). | MR 85e:14025 | Zbl 0516.14017

[11] A. Borel et al., Algebraic D-modules, Perspectives in Math. 2, Academic Press, 1987. | MR 89g:32014 | Zbl 0642.32001

[12] S. Bosch, U. Güntzer et R. Remmert, Non-archimedean analysis (Grundlehren des math. Wissenschaften, vol. 261, Springer-Verlag, 1984). | MR 86b:32031 | Zbl 0539.14017

[13] N. Bourbaki, Algèbre commutative, Ch. 3-4, Hermann, 1961. | Zbl 0119.03603

[14] N. Bourbaki, Espaces vectoriels topologiques, Ch. 1-5, Masson, 1981. | MR 83k:46003 | Zbl 0482.46001

[15] J.-L. Brylinski, A. S. Dubson et M. Kashiwara, Formule de l'indice pour les modules holonomes et obstruction d'Euler locale (C. R. Acad. Sci. Paris, 293, 1981, p. 573-576). | MR 83a:32010 | Zbl 0492.58021

[16] P. Deligne, Équations différentielles à points singuliers réguliers (Lecture Notes in Math., vol. 163, Springer-Verlag, 1970). | MR 54 #5232 | Zbl 0244.14004

[17] D. Dwork, Bessel functions as p-adic functions of the argument (Duke Math. Journal, vol. 41, 1974, p. 711-738). | MR 52 #8124 | Zbl 0302.14008

[18] G. Faltings, F-isocrystals on open varieties : results and conjectures (Grothendieck Festschrift II, Prog. in Math., 87, Birkhäuser, 1990). | MR 92f:14015 | Zbl 0736.14004

[19] W. Fulton, A note on weakly complete algebras (Bull. Amer. Math. Soc., 1969, p. 591-593). | MR 39 #193 | Zbl 0205.34303

[20] L. Garnier, Quelques propriétés des D†-modules holonomes sur les courbes (Thèse de Doctorat, Université de Rennes 1, 1993).

[21] A. Grothendieck, On the de Rham cohomology of algebraic varieties (Publ. Math. I.H.E.S., vol. 29, 1966, p. 351-359). | Numdam | MR 33 #7343 | Zbl 0145.17602

[22] A. Grothendieck, Crystals and the de Rham cohomology of schemes, in Dix exposés sur la cohomologie des schémas, North-Holland, 1968. | MR 42 #4558 | Zbl 0215.37102

[23] A. Grothendieck et J. Dieudonné, Éléments de Géométrie Algébrique I (Grundlehren der math. Wissenschaften, vol. 166, Springer-Verlag, 1971). | Zbl 0203.23301

[24] C. Huyghe, Construction et étude de la transformation de Fourier des D-modules arithmétiques (Thèse de Doctorat, Université de Rennes 1, 1995).

[25] O. Hyodo et K. Kato, Semi-stable reduction and crystalline cohomology with logarithmic poles, preprint.

[26] M. Kashiwara, Faisceaux constructibles et systèmes holonomes d'équations aux dérivées partielles à points singuliers réguliers (Sém. Goulaouic-Schwarz, 1979-1980, exp. 19 ; École Polytechnique 1981). | Numdam | Zbl 0444.58014

[27] M. Kashiwara, The Riemann-Hilbert problem for holonomic systems (Publ. R.I.M.S., vol. 437, Kyoto University, 1983). | Zbl 0566.32023

[28] K. Kato, Logarithmic structures of Fontaine-Illusie, in : J. Igusa, Algebraic analysis, Geometry and Number Theory, John Hopkins University Press, 1989. | MR 99b:14020 | Zbl 0776.14004

[29] N. M. Katz, Nilpotent connexions and the monodromy theorem : applications of a result of Turittin (Publ. Math. I.H.E.S., vol. 35, 1971, p. 175-232). | Numdam | Zbl 0221.14007

[30] R. Kiehl, Theorem A und Theorem B in der nichtarchimedischen Funktionentheorie (Invent. Math., vol. 2, 1967, p. 256-273). | MR 35 #1834 | Zbl 0202.20201

[31] G. Laumon, Sur la catégorie dérivée filtrée des D-modules filtrés, in : M. Raynaud et T. Shioda, Algebraic Geometry (Proc. Tokyo/Kyoto, 1982) (Lecture Notes in Math., vol. 1016, Springer-Verlag, 1990, p. 151-237). | MR 85d:32022 | Zbl 0551.14006

[32] Z. Mebkhout, Une équivalence de catégories (Comp. Math., vol. 51, 1984, p. 51-62). | Numdam | MR 85k:58072 | Zbl 0566.32021

[33] Z. Mebkhout, Une autre équivalence de catégories (Comp. Math., vol. 51, 1984, p. 63-88). | Numdam | MR 85k:58073 | Zbl 0566.32021

[34] Z. Mebkhout, Le formalisme des six opérations de Grothendieck pour les DX-modules cohérents (Travaux en cours, vol. 35, Hermann, 1989). | MR 90m:32026 | Zbl 0686.14020

[35] Z. Mebkhout et 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

[36] D. Meredith, Weak formal schemes (Nagoya Math. Journal, vol. 45, 1971, p. 1-38). | MR 48 #8505 | Zbl 0207.51502

[37] P. Monsky et G. Washnitzer, Formal cohomology I (Annals of Math., vol. 88, 1968, p. 181-217). | MR 40 #1395 | Zbl 0162.52504

[38] C. Năstăcescu et F. Van Oystaeyen, Graded ring theory, North-Holland, 1982. | Zbl 0494.16001

[39] A. Ogus, The convergent topos in characteristic p, Grothendieck Festschrift III (Progress in Math., vol. 88, Birkhäuser, 1990, p. 133-162). | MR 92b:14011 | Zbl 0728.14020

[40] J.-P. Serre, Faisceaux algébriques cohérents (Annals of Math., vol. 61, 1955, p. 197-278). | MR 16,953c | Zbl 0067.16201

[41] M. Van Der Put, The cohomology of Monsky and Washnitzer, in Introduction aux cohomologies p-adiques (Bull. Soc. Math. France, Mémoire vol. 23, 1986, p. 33-59). | Numdam | MR 88a:14022 | Zbl 0606.14018