×

Morphisms of \(F\)-isocrystals and the finite monodromy theorem for unit-root \(F\)-isocrystals. (English) Zbl 1055.14022

Summary: We discuss Tate-type problems for \(F\)-isocrystals, that is, the full faithfulness of the natural restriction functors between categories of overconvergent \(F\)-isocrystals on schemes of positive characteristic. We prove it in the cases of unit-root \(F\)-isocrystals. Using this result, we prove that an overconvergent unit-root \(F\)-isocrystal has a finite monodromy.

MSC:

14F30 \(p\)-adic cohomology, crystalline cohomology
11G25 Varieties over finite and local fields
14F10 Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] P. Berthelot, Théorie de Dieudonné sur un anneau de valuation parfait , Ann. Sci. École Norm. Sup. (4) 13 (1980), 225–268. · Zbl 0441.14012
[2] –. –. –. –., Finitude et pureté cohomologique en cohomologie rigide , avec un appendice en Anglais par Aise Johan de Jong, Invent. Math. 128 (1997), 329–377. · Zbl 0908.14005 · doi:10.1007/s002220050143
[3] ——–, Cohomologie rigide et cohomologie rigide à support propre: Première partie , preprint, Institut de Recherche Mathématique de Rennes, no. 96-03, 1996,
[4] P. Berthelot and W. Messing, “Théorie de Dieudonné cristalline, I” in Journées de Géométrie Algébrique de Rennes (Rennes, France, 1978), Vol. I , Astérisque 63 , Soc. Math. France, Montrouge, 1979, 17–37.
[5] R. Crew, “\(F\)-isocrystals and \(p\)-adic representations” in Algebraic Geometry (Brunswick, Maine, 1985) , Proc. Sympos. Pure Math. 46 , Part 2, Amer. Math. Soc., Providence, 1987, 111–138. · Zbl 0639.14011
[6] –. –. –. –., \(F\)-isocrystals and their monodromy groups , Ann. Sci. École Norm. Sup. (4) 25 (1992), 429–464. · Zbl 0783.14008
[7] –. –. –. –., Finiteness theorems for the cohomology of an overconvergent isocrystal on a curve , Ann. Sci. École Norm. Sup. (4) 31 (1998), 717–763. · Zbl 0943.14008 · doi:10.1016/S0012-9593(99)80001-9
[8] A. J. de Jong, Smoothness, semi-stability and alterations , Inst. Hautes Études Sci. Publ. Math. 83 (1996), 51–93. · Zbl 0916.14005 · doi:10.1007/BF02698644
[9] –. –. –. –., Homomorphisms of Barsotti-Tate groups and crystals in positive characteristic , Invent. Math. 134 (1998), 301–303., ; Erratum , Invent. Math. 138 (1999), 225. Mathematical Reviews (MathSciNet): · Zbl 0929.14029 · doi:10.1007/s002220050266
[10] R. Elkik, Solutions d’équations à coefficients dans un anneau hensélian , Ann. Sci. École Norm. Sup. (4) 6 (1973), 553–603. · Zbl 0327.14001
[11] J.-M. Fontaine, “Représentations \(p\)-adiques des corps locaux, I” in The Grothendieck Festschrift, Vol. II , Progr. Math. 87 , Birkhäuser, Boston, 1990, 249–309. · Zbl 0743.11066
[12] A. Grothendieck and M. Raynaud, Revêtements étales et groupe fondamental , Séminaire de Géométrie Algébrique du Bois Marie 1960–1961 (SGA 1), Lecture Notes in Math. 224 , Springer, Berlin, 1971.
[13] N. M. Katz, “\(p\)-adic properties of modular schemes and modular forms” in Modular Functions of One Variable, III (Antwerp, 1972) , Lecture Notes in Math. 350 , Springer, Berlin, 1973, 69–190. · Zbl 0271.10033
[14] H. Matsumura, Commutative Algebra , Benjamin, New York, 1970. · Zbl 0211.06501
[15] A. Ogus, \(F\)-isocrystals and de Rham cohomology, II: Convergent isocrystals , Duke Math. J. 51 (1984), 765–850. · Zbl 0584.14008 · doi:10.1215/S0012-7094-84-05136-6
[16] J. T. Tate, “\(p\)-divisible groups” in Proceedings of a Conference on Local Fields (Driebergen, Netherlands, 1966) , ed. T. A. Springer, Springer, Berlin, 1967, 158–183.
[17] N. Tsuzuki [T. Nobuo], The overconvergence of morphisms of étale \(\varphi\)-\(\nabla\)-spaces on a local field , Compositio Math. 103 (1996), 227–239. · Zbl 0872.14015
[18] –. –. –. –., Finite local monodromy of overconvergent unit-root \(F\)-isocrystals on a curve , Amer. J. Math. 120 (1998), 1165–1190. · Zbl 0943.14007 · doi:10.1353/ajm.1998.0052
[19] –. –. –. –., Slope filtration of quasi-unipotent overconvergent \(F\)-isocrystals , Ann. Inst. Fourier (Grenoble) 48 (1998), 379–412. · Zbl 0907.14007 · doi:10.5802/aif.1622
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.