Sur l’holonomie de 𝒟-modules arithmétiques associés à des F-isocristaux surconvergents sur des courbes lisses
Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 16 (2007) no. 3, pp. 611-634.

We show that the arithmetic 𝒟-module associated to an overconvergent F-isocrystal over a smooth curve is holonomic. We first prove that unipotent F-isocrystals are holonomic 𝒟-module by using the fact that such F-isocrystals come from logarithmic F-isocrystals. We deduce the general case from the semi-stable reduction theorem for F-isocrystals over curves of Matsuda-Trihan which relies on the p-adic monodromy theorem independently proved by André, Kedlaya and Mebkhout.

Nous montrons que le 𝒟-module arithmétique associé à un F-isocristal surconvergent sur une courbe lisse est holonome. Nous montrons d’abord que les F-isocristaux unipotents sont des 𝒟-modules holonomes en utilisant le fait que de tels F-isocristaux proviennent de F-isocristaux logarithmiques. Nous déduisons le cas général du théorème de réduction semi-stable pour les F-isocristaux sur les courbes de Matsuda-Trihan qui repose sur le théorème de monodromie p-adique démontré indépendamment par André, Kedlaya et Mebkhout.

DOI: 10.5802/afst.1161
Noot-Huyghe, Christine 1; Trihan, Fabien 2

1 Institut de Recherche Mathématique Avancée (IRMA), Université Louis Pasteur et CNRS, 7 rue René Descartes, 67084 Strasbourg Cedex France
2 Université de Mons-Hainaut, Le Pentagone, 6 avenue du champ de Mars, B-7000 Mons (Belgique).
@article{AFST_2007_6_16_3_611_0,
     author = {Noot-Huyghe, Christine and Trihan, Fabien},
     title = {Sur l{\textquoteright}holonomie de $\mathcal{D}$-modules arithm\'etiques associ\'es \`a des $F$-isocristaux surconvergents sur des courbes lisses},
     journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques},
     pages = {611--634},
     publisher = {Universit\'e Paul Sabatier, Institut de math\'ematiques},
     address = {Toulouse},
     volume = {6e s{\'e}rie, 16},
     number = {3},
     year = {2007},
     doi = {10.5802/afst.1161},
     mrnumber = {2379054},
     language = {fr},
     url = {http://www.numdam.org/articles/10.5802/afst.1161/}
}
TY  - JOUR
AU  - Noot-Huyghe, Christine
AU  - Trihan, Fabien
TI  - Sur l’holonomie de $\mathcal{D}$-modules arithmétiques associés à des $F$-isocristaux surconvergents sur des courbes lisses
JO  - Annales de la Faculté des sciences de Toulouse : Mathématiques
PY  - 2007
SP  - 611
EP  - 634
VL  - 16
IS  - 3
PB  - Université Paul Sabatier, Institut de mathématiques
PP  - Toulouse
UR  - http://www.numdam.org/articles/10.5802/afst.1161/
DO  - 10.5802/afst.1161
LA  - fr
ID  - AFST_2007_6_16_3_611_0
ER  - 
%0 Journal Article
%A Noot-Huyghe, Christine
%A Trihan, Fabien
%T Sur l’holonomie de $\mathcal{D}$-modules arithmétiques associés à des $F$-isocristaux surconvergents sur des courbes lisses
%J Annales de la Faculté des sciences de Toulouse : Mathématiques
%D 2007
%P 611-634
%V 16
%N 3
%I Université Paul Sabatier, Institut de mathématiques
%C Toulouse
%U http://www.numdam.org/articles/10.5802/afst.1161/
%R 10.5802/afst.1161
%G fr
%F AFST_2007_6_16_3_611_0
Noot-Huyghe, Christine; Trihan, Fabien. Sur l’holonomie de $\mathcal{D}$-modules arithmétiques associés à des $F$-isocristaux surconvergents sur des courbes lisses. Annales de la Faculté des sciences de Toulouse : Mathématiques, Serie 6, Volume 16 (2007) no. 3, pp. 611-634. doi : 10.5802/afst.1161. http://www.numdam.org/articles/10.5802/afst.1161/

[1] André (Y.).— Filtrations de type Hasse-Arf et monodromie p-adique, Invent. Math., 148(2), p. 285-317 (2002). | MR | Zbl

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

[3] Berthelot (P.).— 𝒟-modules arithmétiques I. Opérateurs différentiels de niveau fini, Ann. scient. Éc. Norm. Sup., 4 e série, t. 29, p.185-272 (1996). | Numdam | MR | Zbl

[4] Berthelot (P.).— Finitude et pureté cohomologique en cohomologie rigide, Invent. Math, 128, p. 329-377 (1997). | MR | Zbl

[5] Berthelot (P.).— D-modules arithmétiques II descente par Frobenius, Bull. Soc. Math. France, Mémoire 81, p. 1-135 (2000). | Numdam | MR | Zbl

[6] Berthelot (P.).— Introduction à la théorie arithmétique des 𝒟-modules, Bull. Soc. Math. France, Cohomologies p-adiques et applications arithmétiques II, Astérisque No. 279, 2002. | Numdam | MR | Zbl

[7] Berthelot (P.).— 𝒟-modules arithmetiques IV, Variétés caractéristiques En préparation.

[8] Caro (D.).— Fonctions L associées aux 𝒟-modules arithmétiques, Thèse de Doctorat, Université de Rennes I (2002).

[9] Caro (D.).— Fonctions L associées aux 𝒟-modules arithmétiques. Cas des courbes, Compos. Math. 142, No. 1, 169-206 (2006). | MR | Zbl

[10] Caro (D.).— D-modules arithmétiques surcohérents. Application aux fonctions L, Ann. Inst. Fourier, Grenoble 54, 6, 1943-1996 (2004). | Numdam | MR | Zbl

[11] Caro (D.).— Comparaison des foncteurs duaux des isocristaux surconvergents, Rend. Sem. Mat. Univ. Padova 114, 81 p. (2005). | Numdam | MR | Zbl

[12] Crew (R.).— F-isocrystals and their monodromy groups, Ann. Sci. Ecole Norm. Sup., (4) 25 no. 4, p. 429-464 (1992). | Numdam | MR | Zbl

[13] Crew (R.).— Finiteness theorems for the cohomology of an overconvergent isocrystal on a curve. Ann. Sci. Ecole Norm. Sup. ,(4) 31 no. 6, p. 717-463 (1998). | Numdam | MR | Zbl

[14] Crew (R.).— Arithmetic 𝒟-modules on a formal curve, Math. Ann. 336, No. 2, p. 439-448 (2006). | MR | Zbl

[15] Huyghe (C.).— Construction et étude de la transformée de Fourier pour les 𝒟-modules arithmétiques, thèse de Doctorat, Université de Rennes1 (1995).

[16] Huyghe (C.).— D -affinité des schémas projectifs, Ann. Inst. Fourier, t. 48, fascicule 4, p. 913-956 (1995). | Numdam | MR | Zbl

[17] Kato (K.).— Logarithmic structures of Fontaine-Illusie, Algebraic analysis, geometry, and number theory (Baltimore, MD, 1989), Johns Hopkins Univ. Press, p. 191-224 (1988). | MR | Zbl

[18] Kiran Kedlaya (S.).— Semistable reduction for overconvergent F-isocrystals on a curve, Math. Res. Lett., 10(2-3), p. 151-159 (2003). | MR | Zbl

[19] Kiran Kedlaya (S.).— A p-adic local monodromy theorem, Ann. of Math. (2), 160(1), p. 93-184 (2004). | MR | Zbl

[20] Le Stum (B.) and Trihan (F.).— Log-cristaux et surconvergence, Ann. Inst. Fourier, 51, p. 1189-1207 (2001). | Numdam | MR | Zbl

[21] Marmora (A.).— Constantes locales p-adiques. Thèse d’Etat, Université Paris 13 (2006).

[22] Matsuda (B.) and Trihan (F.).— Image directe supérieure et unipotence, J. Reine Angew. Math. 569, 47-54 (2004). | MR | Zbl

[23] Mebkhout (Z.).— Analogue p-adique du théorème de Turrittin et le théorème de la monodromie p-adique, Invent. Math., 148(2), p. 319-351 (2002). | MR | Zbl

[24] Milne (J.S.).— Etale cohomology, Princeton Mathematical Series, 33. Princeton University Press, Princeton, N.J., xiii+323 pp (1980). | MR | Zbl

[25] Montagnon (C.).— Généralisation de la théorie arithmétique des 𝒟-modules à la géométrie logarithmique, Thèse de Doctorat, Université de Rennes I (2002).

[26] Trihan (F.).— Cohomologie syntomique des F-T-cristaux, Rend. Sem. Mat. Univ. Padova, 108, p. 1-26 (2002). | Numdam | MR | Zbl

[27] Tsuzuki (N.).— Morphisms of F-isocrystals and the finite monodromy theorem for unit-root F-isocrystals, Duke Math. J., 111, no. 3, p. 385-418 (2002). | MR | Zbl

[28] Virrion (A.).— Trace et dualité relative pour les 𝒟-modules arithmétiques, Adolphson, Alan (ed.) et al., Geometric aspects of Dwork theory. Vol. I, II. Berlin : Walter de Gruyter. 1039-1112 (2004). | MR | Zbl

Cited by Sources: