{\cal D}-modules arithmétiques. II: Descente par Frobenius
From MaRDI portal
Publication:4485883
\(D\)-module\(F\)-crystal\(p\)-curvatureadjoint operatorcrystalline cohomologyFrobenius-actionGrothendieck-Hartshorne dualityniveaurings of differential operators
Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) (p)-adic cohomology, crystalline cohomology (14F30) de Rham cohomology and algebraic geometry (14F40) Rings of differential operators (associative algebraic aspects) (16S32) Sheaves of differential operators and their modules, (D)-modules (32C38)
[Part I: \textit{P. Berthelot}, Ann. Sci. Éc. Norm. Supér., IV. Sér. 29, No. 2, 185-272 (1996; Zbl 0886.14004)]. The paper under review is another step in the author's systematic study of rings of differential operators in crystalline cohomology. These are filtered by the niveau which measures what type of factorials appear in the denominator. The main result is that Frobenius raises the niveau by 1 and induces (up to that change of niveau) an equivalence of categories of \(D\)-modules. This is preceded by a comparison of left and right \(D\)-modules, which are exchanged by Grothendieck-Hartshorne duality. Finally it is shown that Frobenius commutes with the usual (``six) operations, and applications to Frobenius-action on cohomology and \(F\)-\(D\)-modules are given.
Recommendations
- Explicit Frobenius descent for \({\mathcal D}^\dagger\)-modules
- Some elements on Berthelot's arithmetic \(\mathscr{D}\)-modules
- scientific article; zbMATH DE number 1765814
- ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
- scientific article; zbMATH DE number 7662146
- Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic D-modules
- D-MODULES ANDÉTALEMORPHISMS
- \(\mathcal{D}\)-arithmetic modules on the flag variety
- La descente sur les variétés rationnelles. II. (The descent on rational varieties. II)
- Modules d'Alexander et \({\mathcal D}\)-modules. (Alexander modules and \({\mathcal D}\)-modules)
Cites work
- ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
- Algebraic study of systems of partial differential equations
- Cohomologie cristalline des schemas de caractéristique \(p >0\)
- Descent of isocrystals and \({\mathcal D}^\dag\)-modules
- Dualité locale et holonomie pour les ${\cal D}$-modules arithmétiques
- Explicit Frobenius descent for \({\mathcal D}^\dagger\)-modules
- F-isocrystals and De Rham cohomology. I
- F-isocrystals and de Rham cohomology. II: Convergent isocrystals
- Géométrie rigide et cohomologie des variétés algébriques de caractéristique p
- scientific article; zbMATH DE number 417561 (Why is no real title available?)
- scientific article; zbMATH DE number 4189882 (Why is no real title available?)
- scientific article; zbMATH DE number 3882737 (Why is no real title available?)
- scientific article; zbMATH DE number 3125781 (Why is no real title available?)
- scientific article; zbMATH DE number 3857279 (Why is no real title available?)
- scientific article; zbMATH DE number 4200369 (Why is no real title available?)
- scientific article; zbMATH DE number 3946284 (Why is no real title available?)
- scientific article; zbMATH DE number 4046107 (Why is no real title available?)
- scientific article; zbMATH DE number 3777679 (Why is no real title available?)
- scientific article; zbMATH DE number 3786948 (Why is no real title available?)
- scientific article; zbMATH DE number 3475601 (Why is no real title available?)
- scientific article; zbMATH DE number 724711 (Why is no real title available?)
- scientific article; zbMATH DE number 3807770 (Why is no real title available?)
- scientific article; zbMATH DE number 923777 (Why is no real title available?)
- scientific article; zbMATH DE number 3322751 (Why is no real title available?)
- scientific article; zbMATH DE number 3342119 (Why is no real title available?)
- Induced ${\cal D}$-modules and differential complexes
- Intégration sur un cycle évanescent
- Modules de Hodge polarisables. (Polarisable Hodge modules)
- Modules différentiels sur les couronnes (Differential modules over annuli)
- Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
- On the index theorem for p-adic differential equations. II
- Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
- 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
- Systèmes différentiels linéaires p-adiques, structure de Frobenius faible
- 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
- Theorem A und B in der nichtarchimedischen Funktionentheorie
- Transversal crystals of finite level
Cited in
(59)- Explicit Frobenius descent for \({\mathcal D}^\dagger\)-modules
- Descent of isocrystals and \({\mathcal D}^\dag\)-modules
- Langlands program for \(p\)-adic coefficients and the petits camarades conjecture
- On Beilinson's equivalence for \(p\)-adic cohomology
- Overcoherent arithmetic \(\mathcal D\)-modules. Application to \(L\)-functions.
- Comparison theorem between Fourier transform and Fourier transform with compact support
- Symmetry on rings of differential operators
- \(p\)-torsion étale sheaves on the Jacobian of a curve
- Intermediate extensions and crystalline distribution algebras
- Holomorphic Frobenius actions for DQ-modules
- Twisted differential operators of negative level and prismatic crystals
- Deformations of overconvergent isocrystals on the projective line
- A note on effective descent for overconvergent isocrystals
- Differential equations and Lie group representations
- \(\mathcal{D}\)-arithmetic modules on the flag variety
- Arithmetic differential operators on a semistable model of \(\mathbb{P}^1\)
- Frobenius modules and de Jong's theorem
- Lagrangianity for log extendable overconvergent \(F\)-isocrystals
- Devissage of the \(F\)-complexes of arithmetic \(\mathcal D\)-modules in overconvergent \(F\)-isocrystals
- Constructible \(\nabla \)-modules on curves
- Over convergent \(F\)-isocrystals and differential overcoherence
- On the compability of the Frobenius isomorphism with relative duality
- Some elements on Berthelot's arithmetic \(\mathscr{D}\)-modules
- Logarithmic \(p\)-bases and arithmetical differential modules
- Frobenius-Ehresmann structures and Cartan geometries in positive characteristic
- The overcoherence implies the holonomicity
- Lifting D-modules from positive to zero characteristic
- On log local Cartier transform of higher level in characteristic \(p\)
- Arithmetic D-modules associated with overconvergent isocrystals. Smooth case
- Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic D-modules
- Holonomicity without Frobenius structure
- Cusps and 𝒟-modules
- Dualité locale et holonomie pour les ${\cal D}$-modules arithmétiques
- Riemann-Hilbert correspondence for unit F-crystals on embeddable algebraic varieties
- Overholonomicity of overconvergent \(F\)-isocrystals over smooth varieties
- Langlands correspondence for isocrystals and the existence of crystalline companions for curves
- Convergent isocrystals on simply connected varieties
- The $D$–module structure of $R[F]$–modules
- ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
- A note on Frobenius divided modules in mixed characteristics
- A homotopy exact sequence for overconvergent isocrystals
- BETTI NUMBER ESTIMATES IN -ADIC COHOMOLOGY
- On higher direct images of convergent isocrystals
- Holonomy of arithmetic D-modules associated with overconvergent F-isocrystals over smooth curves
- scientific article; zbMATH DE number 3325721 (Why is no real title available?)
- Prismatic and q-crystalline sites of higher level
- A comparison theorem for semi-abelian schemes over a smooth curve
- Kashiwara's theorem for twisted arithmetic differential operators
- Crystallinity of rigid flat connections revisited
- Transversal crystals of finite level
- Projective and affine structures in positive characteristic. I: Chern class formulas and characterizations of projective spaces
- Differential modules and dormant opers of higher level
- Finiteness of crystalline cohomology of higher level
- Finiteness of the homological dimension of weakly complete algebras of differential operator with overconvergent coefficients
- Equivariant localization of D-modules on the flag variety of the symplectic group of degree 4.
- Relative fundamental groups and rational points
- On logarithmic nonabelian Hodge theory of higher level in characteristic p
- Comparing the sheaves of overconvergent isocrystals
- A Simpson correspondence in positive characteristic
This page was built for publication: ${\cal D}$-modules arithmétiques. II: Descente par Frobenius
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4485883)
