A crystalline incarnation of Berthelot's conjecture and Künneth formula for isocrystals

Valentina Di Proietto, Fabio Tonini, Lei Zhang

Berthelot's conjecture predicts that under a proper and smooth morphism of schemes in characteristic $p$, the higher direct images of an overconvergent $F$-isocrystal are overconve…