On higher direct images of convergent isocrystals
From MaRDI portal
Publication:5237205
DOI10.1112/S0010437X19007590zbMATH Open1430.14050arXiv1802.09060WikidataQ127208598 ScholiaQ127208598MaRDI QIDQ5237205FDOQ5237205
Authors: Daxin Xu 
Publication date: 17 October 2019
Published in: Compositio Mathematica (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1802.09060
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
Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) (p)-adic cohomology, crystalline cohomology (14F30)
Cites Work
- 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
- F-isocrystals and de Rham cohomology. II: Convergent isocrystals
- On base change theorem and coherence in rigid cohomology
- 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 intersections et théorème de Riemann-Roch
- Incarnations of Berthelot's conjecture
- Géométrie rigide et cohomologie des variétés algébriques de caractéristique $p$
- Direct images. I: Rigid analytic spaces and direct images
- Relative log convergent cohomology and relative rigid cohomology II
- ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
- On the preservation of the overconvergence for the direct image of a proper and flat morphism
- Théorie de Dieudonne cristalline. II
- The \(p\)-adic Simpson correspondence
- Notes on Crystalline Cohomology. (MN-21)
- Title not available (Why is that?)
- Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
- ${\cal D}$-modules arithmétiques. II: Descente par Frobenius
- Nonabelian Hodge theory in characteristic \(p\)
- Good formal structures for flat meromorphic connections. I: Surfaces
- Cohomologie cristalline des schemas de caractéristique \(p >0\)
- Elements of rigid geometry. Vol. I. Construction and geometric study of rigid spaces
- Title not available (Why is that?)
- A crystalline incarnation of Berthelot’s conjecture and Künneth formula for isocrystals
- PD Higgs crystals and Higgs cohomology in characteristic \(p\)
- Coherent modules and their descent on relative rigid spaces
- Title not available (Why is that?)
- A variational Tate conjecture in crystalline cohomology
- Lifting the Carter Transform of Ogus-Vologodsky modulo p^n
Cited In (15)
- A crystalline incarnation of Berthelot’s conjecture and Künneth formula for isocrystals
- A stacky approach to crystals
- Image directe supérieure et unipotence
- A prismatic approach to crystalline local systems
- Frobenius modules and de Jong's theorem
- Direct images. I: Rigid analytic spaces and direct images
- Some notes on Tsuzuki's full faithfulness conjecture
- Full faithfulness for overconvergent F-de Rham-Witt connections
- Slopes of \(F\)-isocrystals over abelian varieties
- F-isocrystals and de Rham cohomology. II: Convergent isocrystals
- On the preservation of the overconvergence for the direct image of a proper and flat morphism
- Convergent isocrystals on simply connected varieties
- 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)
