Sur la préservation de la surconvergence par l'image directe d'un morphisme propre et lisse
Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 48 (2015) no. 1, pp. 131-169.

Modulo sa traduction en théorie des 𝒟-modules arithmétiques, nous prouvons la conjecture de Berthelot sur la préservation de la surconvergence par l'image directe d'un morphisme propre et lisse de variétés sur un corps parfait de caractéristique p>0.

Up to a translation in the language of arithmetic 𝒟-modules, we prove a conjecture of Berthelot on the preservation of the overconvergence under the direct image by a smooth proper morphism of varieties over a perfect field of characteristic p>0.

Publié le :
DOI : 10.24033/asens.2240
Classification : 14F10, 14F30, 13D09.
Mot clés : Cohomologies $p$-adiques, isocristaux, ${\mathcal {D}}$-modules arithmétiques.
Keywords: $p$-adic cohomologies, isocrystals, arithmetic ${\mathcal {D}}$-modules. 
@article{ASENS_2015__48_1_131_0,
     author = {Caro, Daniel},
     title = {Sur la pr\'eservation de la surconvergence par l'image directe  d'un morphisme propre et lisse},
     journal = {Annales scientifiques de l'\'Ecole Normale Sup\'erieure},
     pages = {131--169},
     publisher = {Soci\'et\'e Math\'ematique de France. Tous droits r\'eserv\'es},
     volume = {4e s{\'e}rie, 48},
     number = {1},
     year = {2015},
     doi = {10.24033/asens.2240},
     mrnumber = {3335840},
     zbl = {1375.14067},
     language = {fr},
     url = {http://www.numdam.org/articles/10.24033/asens.2240/}
}
TY  - JOUR
AU  - Caro, Daniel
TI  - Sur la préservation de la surconvergence par l'image directe  d'un morphisme propre et lisse
JO  - Annales scientifiques de l'École Normale Supérieure
PY  - 2015
SP  - 131
EP  - 169
VL  - 48
IS  - 1
PB  - Société Mathématique de France. Tous droits réservés
UR  - http://www.numdam.org/articles/10.24033/asens.2240/
DO  - 10.24033/asens.2240
LA  - fr
ID  - ASENS_2015__48_1_131_0
ER  - 
%0 Journal Article
%A Caro, Daniel
%T Sur la préservation de la surconvergence par l'image directe  d'un morphisme propre et lisse
%J Annales scientifiques de l'École Normale Supérieure
%D 2015
%P 131-169
%V 48
%N 1
%I Société Mathématique de France. Tous droits réservés
%U http://www.numdam.org/articles/10.24033/asens.2240/
%R 10.24033/asens.2240
%G fr
%F ASENS_2015__48_1_131_0
Caro, Daniel. Sur la préservation de la surconvergence par l'image directe  d'un morphisme propre et lisse. Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 48 (2015) no. 1, pp. 131-169. doi : 10.24033/asens.2240. http://www.numdam.org/articles/10.24033/asens.2240/

Abe, T. Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic 𝒟-modules, Rend. Semin. Mat. Univ. Padova, Volume 131 (2014), pp. 89-149 (ISSN: 0041-8994) | DOI | Numdam | MR | Zbl

Berthelot, P. 𝒟-modules arithmétiques. II. Descente par Frobenius, Mém. Soc. Math. Fr., Volume 81 (2000) (ISSN: 0249-633X) | Numdam | MR | Zbl

Berthelot, P. Introduction à la théorie arithmétique des 𝒟-modules, Astérisque, Volume 279 (2002), pp. 1-80 (ISSN: 0303-1179) | Numdam | MR | Zbl

Berthelot, P. Géométrie rigide et cohomologie des variétés algébriques de caractéristique p , Mém. Soc. Math. France, Volume 23 (1986), pp. 7-32 (ISSN: 0037-9484) | DOI | Numdam | MR | Zbl

Berthelot, P., p -adic analysis (Trento, 1989) (Lecture Notes in Math.), Volume 1454, Springer, 1990, pp. 80-124 | DOI | MR | Zbl

Berthelot, P. 𝒟-modules arithmétiques. I. Opérateurs différentiels de niveau fini, Ann. Sci. École Norm. Sup., Volume 29 (1996), pp. 185-272 (ISSN: 0012-9593) | DOI | Numdam | MR | Zbl

Caro, D. La surcohérence entraîne l'holonomie (preprint arXiv:1103.1579 ) | MR

Caro, D. Systèmes inductifs surcohérents de 𝒟 -modules arithmétiques (preprint arXiv:1207.0710 ) | MR

Caro, D. 𝒟 modules arithmétiques surcohérents. Application aux fonctions L , Ann. Inst. Fourier (Grenoble), Volume 54 (2004), pp. 1943-1996 http://aif.cedram.org/item?id=AIF_2004__54_6_1943_0 (ISSN: 0373-0956) | DOI | Numdam | MR | Zbl

Caro, D. Dévissages des F-complexes de 𝒟-modules arithmétiques en F-isocristaux surconvergents, Invent. Math., Volume 166 (2006), pp. 397-456 (ISSN: 0020-9910) | DOI | MR | Zbl

Caro, D. Fonctions L associées aux 𝒟-modules arithmétiques. Cas des courbes, Compos. Math., Volume 142 (2006), pp. 169-206 (ISSN: 0010-437X) | DOI | MR | Zbl

Caro, D. 𝒟-modules arithmétiques associés aux isocristaux surconvergents. Cas lisse, Bull. Soc. Math. France, Volume 137 (2009), pp. 453-543 (ISSN: 0037-9484) | DOI | Numdam | MR | Zbl

Caro, D. 𝒟-modules arithmétiques surholonomes, Ann. Sci. Éc. Norm. Supér., Volume 42 (2009), pp. 141-192 (ISSN: 0012-9593) | DOI | Numdam | MR | Zbl

Caro, D. Pleine fidélité sans structure de Frobenius et isocristaux partiellement surconvergents, Math. Ann., Volume 349 (2011), pp. 747-805 (ISSN: 0025-5831) | DOI | MR | Zbl

Caro, D.; Tsuzuki, N. Overholonomicity of overconvergent F-isocrystals over smooth varieties, Ann. of Math., Volume 176 (2012), pp. 747-813 (ISSN: 0003-486X) | DOI | MR | Zbl

Elkik, R. Solutions d'équations à coefficients dans un anneau hensélien, Ann. Sci. École Norm. Sup., Volume 6 (1973), p. 553-603 (1974) (ISSN: 0012-9593) | DOI | Numdam | MR | Zbl

Étesse, J.-Y. Images directes et fonctions l en cohomologie rigide (preprint arXiv:0803.1580 )

Grothendieck, A. Éléments de géométrie algébrique. I. Le langage des schémas, Publ. Math. IHÉS, Volume 4 (1960) (ISSN: 0073-8301) | DOI | Numdam | MR | Zbl

Shiho, A. Relative log convergent cohomology and relative rigid cohomology. I (preprint arXiv:0707.1742 )

Shiho, A. Relative log convergent cohomology and relative rigid cohomology. II (preprint arXiv:0707.1743 )

Tsuzuki, N. On base change theorem and coherence in rigid cohomology, Doc. Math., Volume extra vol. (2003), pp. 891-918 (ISSN: 1431-0635) | MR | Zbl

Étesse, J.-Y.; Le Stum, B. Fonctions L associées aux F-isocristaux surconvergents. II. Zéros et pôles unités, Invent. Math., Volume 127 (1997), pp. 1-31 (ISSN: 0020-9910) | DOI | MR | Zbl

Cité par Sources :