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.
No takes yet. Share an insight, caveat, or question.
Ertl et al. (2024) studied this question.