𝒟-modules arithmétiques surcohérents. Application aux fonctions L
Annales de l'Institut Fourier, Tome 54 (2004) no. 6, pp. 1943-1996.

Nous étudions d’abord le foncteur cohomologique local. Ensuite, nous introduisons la notion de 𝒟-modules arithmétiques surcohérents. Nous prouvons que les F- isocristaux unités sont surcohérents et surtout que la surcohérence est stable par images directes, images inverses extraordinaires et foncteurs cohomologiques locaux. On obtient, via cette stabilité, une formule cohomologique pour les fonctions L associées aux complexes duaux de complexes surcohérents. Celle-ci étend celle d’Étesse et Le Stum pour les F-isocristaux surconvergents.

Firstly, we study the local cohomological functor. Next, we introduce the notion of overcoherent arithmetic 𝒟-modules. We prove that unit-root F-isocrystals are overcoherent and that overcoherence is stable by direct images, extraordinary inverse images and local cohomological functors. Moreover, we obtain, using this stability, a cohomological formula for L-functions associated to the dual complexes of overcoherent complexes. It extends Étesse-Le Stum’s for F-overconvergent isocrystals.

DOI : https://doi.org/10.5802/aif.2072
Classification : 14F30,  14F10,  14G10,  11G25
Mots clés : 𝒟-modules, fonctions L, foncteur cohomologique local, holonomie, morphisme de Frobenius
@article{AIF_2004__54_6_1943_0,
     author = {Caro, Daniel},
     title = {$\mathcal {D} $-modules arithm\'etiques surcoh\'erents. {Application} aux fonctions $L$},
     journal = {Annales de l'Institut Fourier},
     pages = {1943--1996},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {54},
     number = {6},
     year = {2004},
     doi = {10.5802/aif.2072},
     zbl = {02162447},
     mrnumber = {2134230},
     language = {fr},
     url = {http://archive.numdam.org/articles/10.5802/aif.2072/}
}
TY  - JOUR
AU  - Caro, Daniel
TI  - $\mathcal {D} $-modules arithmétiques surcohérents. Application aux fonctions $L$
JO  - Annales de l'Institut Fourier
PY  - 2004
DA  - 2004///
SP  - 1943
EP  - 1996
VL  - 54
IS  - 6
PB  - Association des Annales de l’institut Fourier
UR  - http://archive.numdam.org/articles/10.5802/aif.2072/
UR  - https://zbmath.org/?q=an%3A02162447
UR  - https://www.ams.org/mathscinet-getitem?mr=2134230
UR  - https://doi.org/10.5802/aif.2072
DO  - 10.5802/aif.2072
LA  - fr
ID  - AIF_2004__54_6_1943_0
ER  - 
Caro, Daniel. $\mathcal {D} $-modules arithmétiques surcohérents. Application aux fonctions $L$. Annales de l'Institut Fourier, Tome 54 (2004) no. 6, pp. 1943-1996. doi : 10.5802/aif.2072. http://archive.numdam.org/articles/10.5802/aif.2072/

[Ber1] P. Berthelot 𝒟-modules arithmétiques. III. Images directes et inverses. (En cours de rédaction)

[Ber2] P. Berthelot 𝒟-modules arithmétiques. I. Opérateurs différentiels de niveau fini, Ann. Sci. École Norm. Sup. (4), Volume 29 (1996) no. 2, pp. 185-272 | Numdam | MR 1373933 | Zbl 0886.14004

[Ber3] P. Berthelot Cohérence différentielle des algèbres de fonctions surconvergentes, C. R. Acad. Sci. Paris Sér. I Math., Volume 323 (1996) no. 1, pp. 35-40 | MR 1401625 | Zbl 0871.14014

[Ber4] P. Berthelot Cohomologie rigide et cohomologie rigide à support propre. Première partie (1996) (Prépublication IRMAR 96-03, Université de Rennes)

[Ber5] P. Berthelot 𝒟-modules arithmétiques. II. Descente par Frobenius, Mém. Soc. Math. France, 81, 2000 | Numdam | MR 1775613 | Zbl 0948.14017

[Ber6] P. Berthelot Introduction à la théorie arithmétique des 𝒟-modules, Cohomologies p-adiques et applications arithmétiques, II. (Astérisque), Volume 279 (2002), pp. 1-80 | Zbl 01765814

[BGK] A. Borel; P.-P. Grivel; B. Kaup; A. Haefliger; B. Malgrange; F. Ehlers Algebraic D-modules, Academic Press Inc., Boston, MA, 1987 | MR 882000 | Zbl 0642.32001

[Ca1] D. Caro Dévissages des 𝒟-modules arithmétiques en isocristaux surconvergents (en cours de rédaction)

[Ca2] D. Caro Fonctions L associées aux 𝒟-modules arithmétiques (2002) (Thèse, Université de Rennes1)

[Ca3] D. Caro Fonctions L associées aux 𝒟-modules arithmétiques. Cas des courbes (2003) (Preprint of Dipartimento di Matematica pura ed applicata di Padova, No 1) | MR 2197408 | Zbl 1167.14012

[Ca4] D. Caro Cohérence différentielle des F-isocristaux unités, C. R. Math. Acad. Sci. Paris, Volume 338 (2004) no. 2, pp. 145-150 | MR 2038284 | Zbl 1047.14009

[ELS1] J.-Y. Étesse; B. Le Stum Fonctions L associées aux F-isocristaux surconvergents. I. Interprétation cohomologique, Math. Ann., Volume 296 (1993) no. 3, pp. 557-576 | EuDML 165100 | MR 1225991 | Zbl 0789.14015

[ELS2] J.-Y. Étesse; B. Le Stum Fonctions L associées aux F-isocristaux surconvergents. II. Zéros et pôles unités, Invent. Math., Volume 127 (1997) no. 1, pp. 1-31 | MR 1423023 | Zbl 0911.14011

[Har] R. Hartshorne Residues and duality, Springer-Verlag, Berlin, 1966 | EuDML 203789 | MR 222093 | Zbl 0212.26101

[Huy1] C. Huyghe Finitude de la dimension cohomologique de la complétée faible de l'algèbre de Weyl et du faisceau des opérateurs différentiels arithmétiques à coefficients surconvergents le long d'un diviseur (Prépublication de l'Université de Rennes I, IRMAR 01-53)

[Huy2] C. Huyghe Construction et étude de la transformée de Fourier pour les 𝒟-modules arithmétiques (1995) (Thèse, Université de Rennes I)

[Sai] M. Saito Induced 𝒟-modules and differential complexes, Bull. Soc. Math. France, Volume 117 (1989) no. 3, pp. 361-387 | EuDML 87586 | Numdam | MR 1020112 | Zbl 0705.32005

[SGA4] M. Artin; A. Grothendieck; J.-L. Verdier; Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint Théorie des topos et cohomologie étale des schémas, t. 2, Séminaire de Géométrie Algégrique du Bois-Marie 1963--1964 (SGA 4) (Lecture Notes in Math.), Volume 270 (1972) | Zbl 0237.00012

[SGA6] P. Berthelot; A. Grothendieck; L. Illusie.; P. Berthelot, A. Grothendieck, L. Illusie, avec la collaboratio Théorie des intersections et théorème de Riemann-Roch., Séminaire de Géométrie Algégrique du Bois Marie 1966-1967 (SGA 6) (Lecture Notes in Math), Volume 225 (1971) | MR 354655 | Zbl 0218.14001

[Vir] A. Virrion Dualité locale et holonomie pour les 𝒟-modules arithmétiques, Bull. Soc. Math. France, Volume 128 (2000) no. 1, pp. 1-68 | EuDML 87821 | Numdam | MR 1765829 | Zbl 0955.14015

Cité par Sources :