[Differential coherence of unit-root F-isocrystals]
Let be a mixed characteristic complete discrete valuation ring, a smooth formal scheme over , P its special fiber, X a smooth subscheme of P, T a divisor in P such that TX=T∩X is a divisor in X and the weak completion of the sheaf of differential operators on . We prove that the unit-root F-isocrystals on X⧹TX overconvergent along TX are coherent over .
Soient un anneau de valuation discrète complet d'inégales caractéristiques, un -schéma formel lisse, P sa fibre spéciale, X un sous-schéma fermé lisse de P, T un diviseur de P tel que TX=T∩X soit un diviseur de X et le complété faible du faisceau des opérateurs différentiels sur . Nous prouvons que les F-isocristaux unités sur X⧹TX surconvergents le long de TX sont cohérents sur .
Accepted:
Published online:
Daniel Caro 1
@article{CRMATH_2004__338_2_145_0, author = {Daniel Caro}, title = {Coh\'erence diff\'erentielle des {\protect\emph{F}-isocristaux} unit\'es}, journal = {Comptes Rendus. Math\'ematique}, pages = {145--150}, publisher = {Elsevier}, volume = {338}, number = {2}, year = {2004}, doi = {10.1016/j.crma.2003.10.030}, language = {fr}, }
Daniel Caro. Cohérence différentielle des F-isocristaux unités. Comptes Rendus. Mathématique, Volume 338 (2004) no. 2, pp. 145-150. doi : 10.1016/j.crma.2003.10.030. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2003.10.030/
[1] 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
[2] -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
[3] P. Berthelot, Cohomologie rigide et cohomologie rigide à support propre. Première partie, Prépublication IRMAR 96-03, Université de Rennes, 1996
[4] Introduction à la théorie arithmétique des -modules, Cohomologies p-adiques et applications arithmétiques, II, Astérisque, vol. 279, 2002, pp. 1-80
[5] D. Caro, Fonctions L associées aux -modules arithmétiques. Cas des courbes, Preprint, 1, Dipartimento di Matematica pura ed applicata di Padova, 2003
[6] D. Caro, Fonctions L associées aux -modules arithmétiques, Thèse, Université de Rennes 1, 2002
[7] Smoothness, semi-stability and alterations, Inst. Hautes Études Sci. Publ. Math., Volume 83 (1996), pp. 51-93
[8] C. Huyghe, Construction et étude de la Transformée de Fourier pour les -modules arithmétiques, Thèse, Université de Rennes 1, 1995
[9] Critères de platitude et de projectivité. Techniques de « platification » d'un module, Invent. Math., Volume 13 (1971), pp. 1-89
[10] Morphisms of F-isocrystals and the finite monodromy theorem for unit-root F-isocrystals, Duke Math. J., Volume 111 (2002) no. 3, pp. 385-418
[11] Dualité locale et holonomie pour les -modules arithmétiques, Bull. Soc. Math. France, Volume 128 (2000) no. 1, pp. 1-68
[12] A. Virrion, Trace et dualité relative pour les -modules arithmétiques. Ière partie : théorème de dualité relative et morphisme d'adjonction, Prépublication IRMAR 00-27, Université de Rennes 1, 2000
Cited by Sources:
Comments - Policy