Key points are not available for this paper at this time.
We use motivic methods to give a quick proof of Berthelot's conjecture stating that the push-forward map in rigid cohomology of the structural sheaf along a smooth and proper map has a canonical structure of overconvergent F-isocrystal on the base.
Ertl et al. (Tue,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: