On higher direct images of convergent isocrystals
From MaRDI portal
Publication:5237205
Abstract: Let k be a perfect field of characteristic p>0 and W the ring of Witt vectors of k. In this article, we give a new proof of the Frobenius descent for convergent isocrystals on a variety over k relative to W. This proof allows us to deduce an analogue of the de Rham complexes comparaison theorem of Berthelot without assuming a lifting of the Frobenius morphism. As an application, we prove a version of Berthelot's conjecture on the preservation of convergent isocrystals under the higher direct image by a smooth proper morphism of k-varieties.
Recommendations
- A crystalline incarnation of Berthelot’s conjecture and Künneth formula for isocrystals
- scientific article; zbMATH DE number 4202458
- Direct images. I: Rigid analytic spaces and direct images
- Specialization of crystalline cohomology
- scientific article; zbMATH DE number 1270364
- Some notes on Tsuzuki's full faithfulness conjecture
- F-isocrystals and de Rham cohomology. II: Convergent isocrystals
- Descente étale des F-isocristaux surconvergents et rationalité des fonctions L de schémas abéliens
- A note on effective descent for overconvergent isocrystals
- Full faithfulness for overconvergent F-de Rham-Witt connections
Cites work
- scientific article; zbMATH DE number 4202458 (Why is no real title available?)
- scientific article; zbMATH DE number 915648 (Why is no real title available?)
- scientific article; zbMATH DE number 3322751 (Why is no real title available?)
- ${\cal D}$-modules arithmétiques. II: Descente par Frobenius
- ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
- A crystalline incarnation of Berthelot’s conjecture and Künneth formula for isocrystals
- A variational Tate conjecture in crystalline cohomology
- Coherent modules and their descent on relative rigid spaces
- Cohomologie cristalline des schemas de caractéristique \(p >0\)
- Direct images. I: Rigid analytic spaces and direct images
- Elements of rigid geometry. Vol. I. Construction and geometric study of rigid spaces
- F-isocrystals and de Rham cohomology. II: Convergent isocrystals
- Good formal structures for flat meromorphic connections. I: Surfaces
- Géométrie rigide et cohomologie des variétés algébriques de caractéristique $p$
- Incarnations of Berthelot's conjecture
- Lifting the Cartier transform of Ogus-Vologodsky modulo \(p^n\)
- Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
- Nonabelian Hodge theory in characteristic \(p\)
- Notes on Crystalline Cohomology. (MN-21)
- On base change theorem and coherence in rigid cohomology
- On the preservation of the overconvergence for the direct image of a proper and flat morphism
- PD Higgs crystals and Higgs cohomology in characteristic \(p\)
- Relative log convergent cohomology and relative rigid cohomology II
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Smoothness, semi-stability and alterations
- Séminaire de géométrie algébrique du Bois Marie 1966/67, SGA 6.Dirigé par P. Berthelot, A. Grothendieck et L. Illusie, Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussilia, S. Kleiman, M. Raynaud et J. P. Serre. Théorie des intersection
- The \(p\)-adic Simpson correspondence
- Théorie de Dieudonne cristalline. II
Cited in
(15)- A crystalline incarnation of Berthelot’s conjecture and Künneth formula for isocrystals
- Image directe supérieure et unipotence
- A stacky approach to crystals
- Direct images. I: Rigid analytic spaces and direct images
- Frobenius modules and de Jong's theorem
- A prismatic approach to crystalline local systems
- Some notes on Tsuzuki's full faithfulness conjecture
- Full faithfulness for overconvergent F-de Rham-Witt connections
- F-isocrystals and de Rham cohomology. II: Convergent isocrystals
- Slopes of \(F\)-isocrystals over abelian varieties
- Convergent isocrystals on simply connected varieties
- On the preservation of the overconvergence for the direct image of a proper and flat morphism
- Constancy of Newton polygons of \(F\)-isocrystals on abelian varieties and isotriviality of families of curves
- On the compability of the Frobenius isomorphism with relative duality
- A homotopy exact sequence for overconvergent isocrystals
This page was built for publication: On higher direct images of convergent isocrystals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5237205)
