Firstly, we study the local cohomological functor. Next, we introduce the notion of overcoherent arithmetic -modules. We prove that unit-root -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 -functions associated to the dual complexes of overcoherent complexes. It extends Étesse-Le Stum’s for -overconvergent isocrystals.
Nous étudions d’abord le foncteur cohomologique local. Ensuite, nous introduisons la notion de -modules arithmétiques surcohérents. Nous prouvons que les - 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 associées aux complexes duaux de complexes surcohérents. Celle-ci étend celle d’Étesse et Le Stum pour les -isocristaux surconvergents.
Mot clés : $\mathcal {D}$-modules, fonctions $L$, foncteur cohomologique local, holonomie, morphisme de Frobenius
Keywords: $\mathcal {D}$-modules, $L$-functions, local cohomological functor, holonomicity, Frobenius
Caro, Daniel 1
@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 = {https://aif.centre-mersenne.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 SP - 1943 EP - 1996 VL - 54 IS - 6 PB - Association des Annales de l’institut Fourier UR - https://aif.centre-mersenne.org/articles/10.5802/aif.2072/ DO - 10.5802/aif.2072 LA - fr ID - AIF_2004__54_6_1943_0 ER -
%0 Journal Article %A Caro, Daniel %T $\mathcal {D} $-modules arithmétiques surcohérents. Application aux fonctions $L$ %J Annales de l'Institut Fourier %D 2004 %P 1943-1996 %V 54 %N 6 %I Association des Annales de l’institut Fourier %U https://aif.centre-mersenne.org/articles/10.5802/aif.2072/ %R 10.5802/aif.2072 %G fr %F AIF_2004__54_6_1943_0
Caro, Daniel. $\mathcal {D} $-modules arithmétiques surcohérents. Application aux fonctions $L$. Annales de l'Institut Fourier, Volume 54 (2004) no. 6, pp. 1943-1996. doi : 10.5802/aif.2072. https://aif.centre-mersenne.org/articles/10.5802/aif.2072/
[Ber1] -modules arithmétiques. III. Images directes et inverses. (En cours de rédaction)
[Ber2] -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 | Zbl
[Ber3] 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 | Zbl
[Ber4] Cohomologie rigide et cohomologie rigide à support propre. Première partie (1996) (Prépublication IRMAR 96-03, Université de Rennes)
[Ber5] -modules arithmétiques. II. Descente par Frobenius, Mém. Soc. Math. France, 81, 2000 | Numdam | MR | Zbl
[Ber6] Introduction à la théorie arithmétique des -modules, Cohomologies -adiques et applications arithmétiques, II. (Astérisque), Volume 279 (2002), pp. 1-80 | Zbl
[BGK] Algebraic -modules, Academic Press Inc., Boston, MA, 1987 | MR | Zbl
[Ca1] Dévissages des -modules arithmétiques en isocristaux surconvergents (en cours de rédaction)
[Ca2] Fonctions associées aux -modules arithmétiques (2002) (Thèse, Université de Rennes1)
[Ca3] Fonctions associées aux -modules arithmétiques. Cas des courbes (2003) (Preprint of Dipartimento di Matematica pura ed applicata di Padova, No 1) | MR | Zbl
[Ca4] Cohérence différentielle des -isocristaux unités, C. R. Math. Acad. Sci. Paris, Volume 338 (2004) no. 2, pp. 145-150 | MR | Zbl
[ELS1] Fonctions associées aux -isocristaux surconvergents. I. Interprétation cohomologique, Math. Ann., Volume 296 (1993) no. 3, pp. 557-576 | EuDML | MR | Zbl
[ELS2] Fonctions associées aux -isocristaux surconvergents. II. Zéros et pôles unités, Invent. Math., Volume 127 (1997) no. 1, pp. 1-31 | MR | Zbl
[Har] Residues and duality, Springer-Verlag, Berlin, 1966 | EuDML | MR | Zbl
[Huy1] 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] Construction et étude de la transformée de Fourier pour les -modules arithmétiques (1995) (Thèse, Université de Rennes I)
[Sai] Induced -modules and differential complexes, Bull. Soc. Math. France, Volume 117 (1989) no. 3, pp. 361-387 | EuDML | Numdam | MR | Zbl
[SGA4] 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
[SGA6] 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 | Zbl
[Vir] Dualité locale et holonomie pour les -modules arithmétiques, Bull. Soc. Math. France, Volume 128 (2000) no. 1, pp. 1-68 | EuDML | Numdam | MR | Zbl
Cited by Sources: