Incarnations of Berthelot's conjecture

DOI10.1016/J.JNT.2016.02.028MaRDI QIDQ273449zbMATH OpenOpenAlexWikidataFDO

Authors Christopher Lazda

Publication date 22 April 2016

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1508.06787

zbMATH Keywords

\(p\)-adic cohomologyarithmetic \(\mathcal{D}\)-modulesBerthelot's conjectureoverconvergent \(F\)-isocrystals

Mathematics Subject Classification ID

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) (p)-adic cohomology, crystalline cohomology (14F30)

Abstract: In this article we give a survey of the various forms of Berthelot's conjecture and some of the implications between them. By proving some comparison results between pushforwards of overconvergent isocrystals and those of arithmetic $mathcalD$-modules, we manage to deduce some cases of the conjecture from Caro's results on the stability of overcoherence under pushforward via a smooth and proper morphism of varieties. In particular, we show that Ogus' convergent pushforward of an overconvergent $F$-isocrystal under a smooth and projective morphism is overconvergent.

Recommendations

• Publication:3487429
• On the Borwein conjecture
• On conjectures of Berge and Chvátal
• scientific article; zbMATH DE number 4150223
• On conjecture of Berge
• A generalization of the Bernfeld-Haddock conjecture
• On a conjecture of W. Bergweiler
• The Artinian Berger conjecture
• scientific article; zbMATH DE number 4204522
• scientific article; zbMATH DE number 427684

Cites work

• scientific article; zbMATH DE number 1765814 (Why is no real title available?)
• ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
• Arithmetic \(\mathcal D\)-modules associated with overconvergent isocrystals. Smooth case
• Chern classes of crystals
• Clemens-Schmid exact sequence in characteristic \(p\)
• Cohomological descent of rigid cohomology for étale coverings
• Descente étale des F-isocristaux surconvergents et rationalité des fonctions L de schémas abéliens
• Direct images. I: Rigid analytic spaces and direct images
• F-isocrystals and de Rham cohomology. II: Convergent isocrystals
• Full faithfulness without Frobenius structure and partially overconvergent isocrystals
• Géométrie rigide et cohomologie des variétés algébriques de caractéristique $p$
• Image directe supérieure et unipotence
• On base change theorem and coherence in rigid cohomology
• On the preservation of the overconvergence for the direct image of a proper and flat morphism
• Overcoherent arithmetic \(\mathcal D\)-modules. Application to \(L\)-functions.
• Relative log convergent cohomology and relative rigid cohomology II
• Rigid cohomology
• Étale homotopy equivalence of rational points on algebraic varieties

Cited in

(11)

• Chern classes of crystals
• A crystalline incarnation of Berthelot’s conjecture and Künneth formula for isocrystals
• On higher direct images of convergent isocrystals
• A variational Tate conjecture in crystalline cohomology
• scientific article; zbMATH DE number 2127986 (Why is no real title available?)
• Deformations of overconvergent isocrystals on the projective line
• Specialization of Néron-Severi groups in positive characteristic
• On the preservation of the overconvergence for the direct image of a proper and flat morphism
• Constancy of Newton polygons of \(F\)-isocrystals on abelian varieties and isotriviality of families of curves
• The \(p\)-adic monodromy group of abelian varieties over global function fields of characteristic \(p\)
• Semistable reduction for overconvergent $F$-isocrystals I: Unipotence and logarithmic extensions

This page was built for publication: Incarnations of Berthelot's conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q273449)