On higher direct images of convergent isocrystals. (English) Zbl 1430.14050

For a scheme over a field of perfect field \(k\) of characteristic \(p>0\), A. Ogus [Prog. Math. 88, 133–162 (1990; Zbl 0728.14020)] defined a “convergent site” \(\mathrm{Conv}(X/V)\), \(V\) being a discrete valuation ring of characteristic \(0\) with residue field \(k\). On this site one can consider the category of convergent crystals. Let \(\mathfrak{S}\) be an admissible formal scheme over \(V\), and \(X\) be a scheme over \((\mathfrak{S}\otimes k)^{\text{red}}\), one can also define a relative convergent site \(\mathrm{Conv}(X/\mathfrak{S})\), and the relative convergent topos. A morphism \(g:X \to Y\) of varieties over \(k\) induces a morphism of topoi \[ g_{\text{conv}}: (X/V)_{\text{conv}} \to (Y/V)_{\text{conv}} \]
In the article under review, assuming that \(V = W(k)\), the author proves two theorems.
Theorem 1 (Relative Frobenius descent theorem). Let \(F_{X/S_0}:X' = X \times_{S_0,\mathrm{Frob}_{S_0}} S_0 \to X\) be the relative Frobenius. Then \(F_{X/S_0}\) induces an equivalence between the fppf-convergent topos of \(X'/ \mathfrak{S}\) and that of \(X/\mathfrak{S}\). Moreover, it induces an equivalence between the category of isocrystals on \(X\) and on \(X'\).
Theorem 2 (“Berthelot’s conjecture” for convergent isocrystals). Let \(g:X \to Y\) be a smooth and proper morphism of \(k\)-varieties. Let \(\mathcal{E}\) be an isocrystal on \(X\). Then \(\mathcal{F}=R^{i}g_{\text{conv},\ast}\mathcal{E}\) is a convergent isocrystal on \(Y\).
The proof of theorem 2 for a smooth \(Y\) is based on the fact that \(\mathcal{F}\) is a “\(p\)-adically convergent isocrystal” in the sense of A. Ogus [Duke Math. J. 51, 765–850 (1984; Zbl 0584.14008)] (proved in §4). By Theorem 1, \(\mathcal{E}\) is a Frobenius descendant, hence \(\mathcal{F}\) is a Frobenius descendant too. Iterating this process, Dwork’s trick then implies \(\mathcal{F}\) is convergent (§5).
In order to treat singular \(Y\), the author defines a variant of the convergent site which allows him to apply Ogus’s “proper descent theorem”, and reduces the problem back to the smooth case (§8).


14F30 \(p\)-adic cohomology, crystalline cohomology
14F10 Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials
Full Text: DOI arXiv


[1] Abbes, A., Éléments de géométrie rigide: Vol. I. Construction et étude géométrique des espaces rigides, (2010), Birkhäuser/Springer: Birkhäuser/Springer, Basel · Zbl 1223.14003
[2] Abbes, A., Gros, M. and Tsuji, T., The p-adic Simpson correspondence, Ann. of Math. Stud.193 (2016).
[3] Berthelot, P., Cohomologie cristalline des schémas de caractéristique p > 0, (1974), Springer
[4] Berthelot, P., Géométrie rigide et cohomologie des variétés algébriques de caractéristique p, in Introductions aux cohomologies p-adiques, , eds Barsky, D. and Robba, P. (Société Mathématique de France, 1986), 7-32.
[5] Berthelot, P., Cohomologie rigide et cohomologie rigide à supports propres, première partie, Preprint (1996), https://perso.univ-rennes1.fr/pierre.berthelot/publis/Cohomologie_Rigide_I.pdf.
[6] Berthelot, P., 𝒟-modules arithmétiques. I. Opérateurs différentiels de niveau fini, Ann. Sci. Éc. Norm. Supér. (4), 29, 185-272, (1996) · Zbl 0886.14004
[7] Berthelot, P., 𝒟-modules arithmétiques. II. Descente par Frobenius, Mém. Soc. Math. Fr. (N.S.), 81, (2000) · Zbl 0948.14017
[8] Berthelot, P., Breen, L. and Messing, W., Théorie de Dieudonné cristalline II, (Springer, 1982). · Zbl 0516.14015
[9] Berthelot, P. and Ogus, A., Notes on crystalline cohomology (MN-21) (Princeton University Press, Princeton, NJ, 2015). · Zbl 0383.14010
[10] Bosch, S. and Görtz, U., Coherent modules and their descent on relative rigid spaces, J. Reine Angew. Math.495 (1998), 119-134.
[11] Caro, D., Sur la préservation de la surconvergence par l’image directe d’un morphisme propre et lisse, Ann. Sci. Éc. Norm. Supér. (4), 48, 131-169, (2015) · Zbl 1375.14067
[12] de Jong, A. J., Smoothness, semi-stability and alterations, Publ. Math. Inst. Hautes Études Sci., 83, 51-93, (1996) · Zbl 0916.14005
[13] Di Proietto, V., Tonini, F. and Zhang, L., A crystalline version of Berthelot’s conjecture and Künneth formula for isocrystals, Preprint (2018), arXiv:1812.05153.
[14] Grothendieck, A. and Dieudonné, J. A., Éléments de géométrie algébrique I, second edition (Springer, Berlin, 1971). · Zbl 0203.23301
[15] Grothendieck, A. and Dieudonné, J. A., Éléments de géométrie algébrique II. Étude globale élémentaire de quelques classes de morphismes, Publ. Math. Inst. Hautes Études Sci.8 (1961).
[16] Étesse, J.-Y., Images directes I: espaces rigides analytiques et images directes, J. Théor. Nombres Bordeaux, 24, 101-151, (2012) · Zbl 1254.14024
[17] Illusie, L., Frobenius et dégénérescence de Hodge, in Introduction à la théorie de Hodge, (Société Mathématique de France, Paris, 1996), 113-168.
[18] Katz, N., Nilpotent connections and the monodromy theorem: applications of a result of Turrittin, Publ. Math. Inst. Hautes Études Sci., 39, 175-232, (1970) · Zbl 0221.14007
[19] Kedlaya, K., Good formal structures for flat meromorphic connections, I: surfaces, Duke Math. J., 154, 343-418, (2010) · Zbl 1204.14010
[20] Lazda, C., Incarnations of Berthelot’s conjecture, J. Number Theory, 166, 137-157, (2016) · Zbl 1375.14078
[21] Morrow, M., A note on higher direct images in crystalline cohomology, appendix to A variational Tate conjecture in crystalline cohomology, J. Eur. Math. Soc. (JEMS) 21 (2019), 3467-3511.
[22] Ogus, A., F-isocrystals and de Rham cohomology. II. Convergent isocrystals, Duke Math. J., 51, 765-850, (1984) · Zbl 0584.14008
[23] Ogus, A., The convergent topos in characteristic p, in The Grothendieck Festschrift, Vol. III, (Birkhäuser, Boston, MA, 1990), 133-162; republished in 2007 (Modern Birkhäuser Classics).
[24] Ogus, A. and Vologodsky, V., Nonabelian Hodge theory in characteristic p, Publ. Math. Inst. Hautes Études Sci.106 (2007), 1-138. · Zbl 1140.14007
[25] Oyama, H., PD Higgs crystals and Higgs cohomology in characteristic p, J. Algebraic Geom., 26, 735-802, (2017) · Zbl 1400.14059
[26] Artin, M., Grothendieck, A. and Verdier, J. L., Séminaire de Géométrie Algébrique du Bois Marie - 1963-64 - Théorie des topos et cohomologie étale des schémas (SGA 4), Tome 1, (Springer, 1972); Tome 2, Lecture Notes in Mathematics, vol. 270 (1972); Tome 3, Lecture Notes in Mathematics, vol. 305 (1973). · Zbl 0234.00007
[27] Berthelot, P., Grothendieck, A. and Illusie, L., Séminaire de Géométrie Algébrique du Bois Marie - 1966-67 - Théorie des intersections et théorème de Riemann-Roch (SGA 6), (Springer, 1971). · Zbl 0218.14001
[28] Shiho, A., Crystalline fundamental groups. II. Log convergent cohomology and rigid cohomology, J. Math. Sci. Univ. Tokyo, 9, 1-163, (2002) · Zbl 1057.14025
[29] Shiho, A., Relative log convergent cohomology and relative rigid cohomology I, Preprint (2007),arXiv:0707.1742.
[30] Shiho, A., Relative log convergent cohomology and relative rigid cohomology II, Preprint (2007),arXiv:0707.1743.
[31] The Stacks Project Authors, Stacks project, http://stacks.math.columbia.edu (2019).
[32] Tsuzuki, N., On base change theorem and coherence in rigid cohomology, Doc. Math., Extra Vol., 891-918, (2003) · Zbl 1093.14503
[33] Xu, D., Lifting the Cartier transform of Ogus-Vologodsky modulo \(p ^{ n },\) Mém. Soc. Math. Fr. (N.S.), 163, (2019)
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.