Incarnations of Berthelot's conjecture

DOI10.1016/J.JNT.2016.02.028zbMATH Open1375.14078arXiv1508.06787OpenAlexW1957487067WikidataQ123198101 ScholiaQ123198101MaRDI QIDQ273449FDOQ273449

Authors: Christopher Lazda 

Publication date: 22 April 2016

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

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.

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

Recommendations

• Publication:3487429
• On the Borwein conjecture
• On conjectures of Berge and Chvátal
• scientific article
• 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

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)

Cites Work

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

Cited In (10)

• 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
• CONSTANCY OF NEWTON POLYGONS OF -ISOCRYSTALS ON ABELIAN VARIETIES AND ISOTRIVIALITY OF FAMILIES OF CURVES
• Title not available (Why is that?)
• Deformations of overconvergent isocrystals on the projective line
• Specialization of Néron-Severi groups in positive characteristic
• 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
• Chern classes of crystals

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)