Uploaded November 2025 | Updated September 2026, 2 weeks ago
Berthelot's conjecture states that the higher push-forwards in rigid cohomology of the structure sheaf along a smooth and proper morphism are canonically overconvergent $F$-isocrystals. I will explain how motivic non-archimedean homotopy theory can be used to define solid relative rigid cohomology and prove a version of Berthelot's conjecture.
(Joint work with Alberto Vezzani.)
Veronika Ertl (Université de Caen)
===
Find this and many more scientific videos on carmin.tv - a French video platform for mathematics and their interactions with other sciences offering extra functionalities tailored to meet the needs of the research community.
===
Berthelot's conjecture states that the higher push-forwards in rigid cohomology of the structure sheaf along a smooth and proper morphism are canonically overconvergent $F$-isocrystals. I will explain how motivic non-archimedean homotopy theory can be used to define solid relative rigid cohomology and prove a version of Berthelot's conjecture.
(Joint work with Alberto Vezzani.)
Veronika Ertl (Université de Caen)
===
Find this and many more scientific videos on carmin.tv - a French video platform for mathematics and their interactions with other sciences offering extra functionalities tailored to meet the needs of the research community.
===










