2009/10/23 by Jean-Yves Étesse, Jean-Yves Etesse, Etesse, Jean-Yves
Biochemistry, Genetics and Molecular Biology · Mathematics · #13B35 #13B40 #13J10 #14D15 #14F20 #14F30 #14G22 #Algebraic Geometry (math.AG) #Dermatological and Skeletal Disorders #FOS: Mathematics #math.AG #msc:13B35 #msc:13B40 #msc:13J10 #msc:14D15 #msc:14F20 #msc:14F30 #msc:14G22
paper · pdf · doi:10.48550/arxiv.0910.4435
36 pages
arxiv created 2009/10/23 · openalex publication_date 2009/10/23 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This article is the third one of a series of three articles devoted to direct images of isocrystals: here we consider overconvergent isocrystals with Frobenius structure. For a liftable proper smooth morphism we establish the overconvergence of direct images, owing to the first article and the existence of lifts of Frobenius. This result partially answers a conjecture of Berthelot on the overconvergence of direct images of overconvergent F-isocrystals under a proper smooth morphism.