${\cal D}$-modules arithmétiques. II: Descente par Frobenius

DOI10.24033/msmf.394zbMath0948.14017OpenAlexW2107281111MaRDI QIDQ4485883

Pierre Berthelot

Publication date: 20 June 2000

Published in: Mémoires de la Société mathématique de France (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=MSMF_2000_2_81__1_0

zbMATH Keywords

crystalline cohomologyrings of differential operatorsadjoint operator\(p\)-curvature\(D\)-module\(F\)-crystalFrobenius-actionGrothendieck-Hartshorne dualityniveau

Mathematics Subject Classification ID

Sheaves of differential operators and their modules, (D)-modules (32C38) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) de Rham cohomology and algebraic geometry (14F40) Rings of differential operators (associative algebraic aspects) (16S32) (p)-adic cohomology, crystalline cohomology (14F30)

Related Items

Twisted differential operators of negative level and prismatic crystals ⋮ The $D$–module structure of $R[F$–modules] ⋮ Deformations of overconvergent isocrystals on the projective line ⋮ A note on effective descent for overconvergent isocrystals ⋮ On log local Cartier transform of higher level in characteristic \(p\) ⋮ Differential equations and Lie group representations ⋮ Riemann–Hilbert correspondence for unit F-crystals on embeddable algebraic varieties ⋮ Finiteness of the homological dimension of weakly complete algebras of differential operator with overconvergent coefficients ⋮ On the compability of the Frobenius isomorphism with relative duality ⋮ Some elements on Berthelot's arithmetic \(\mathscr{D}\)-modules ⋮ Equivariant localization of \(\overline D\)-modules on the flag variety of the symplectic group of degree 4. ⋮ Langlands correspondence for isocrystals and the existence of crystalline companions for curves ⋮ Lagrangianity for log extendable overconvergent \(F\)-isocrystals ⋮ Explicit calculation of Frobenius isomorphisms and Poincaré duality in the theory of arithmetic \(\mathcal D\)-modules ⋮ Logarithmic \(p\)-bases and arithmetical differential modules ⋮ La surcohérence entraîne l'holonomie ⋮ Holonomicity without Frobenius structure ⋮ Langlands program for \(p\)-adic coefficients and the petits camarades conjecture ⋮ Prismatic and \(q\)-crystalline sites of higher level ⋮ Relative fundamental groups and rational points ⋮ On logarithmic nonabelian Hodge theory of higher level in characteristic \(p\) ⋮ Devissage of the \(F\)-complexes of arithmetic \(\mathcal D\)-modules in overconvergent \(F\)-isocrystals ⋮ Frobenius-Ehresmann structures and Cartan geometries in positive characteristic ⋮ Convergent isocrystals on simply connected varieties ⋮ Comparison theorem between Fourier transform and Fourier transform with compact support ⋮ Overholonomicity of overconvergent \(F\)-isocrystals over smooth varieties ⋮ Comparing the sheaves of overconvergent isocrystals ⋮ Constructible \(\nabla \)-modules on curves ⋮ ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini ⋮ Lifting $D$-modules from positive to zero characteristic ⋮ Transversal crystals of finite level ⋮ Over convergent \(F\)-isocrystals and differential overcoherence ⋮ On Beilinson's equivalence for \(p\)-adic cohomology ⋮ A homotopy exact sequence for overconvergent isocrystals ⋮ A Simpson correspondence in positive characteristic ⋮ Holonomy of arithmetic \(\mathcal D\)-modules associated with overconvergent \(F\)-isocrystals over smooth curves ⋮ Overcoherent arithmetic \(\mathcal D\)-modules. Application to \(L\)-functions. ⋮ \(\mathcal{D}\)-arithmetic modules on the flag variety ⋮ Arithmetic differential operators on a semistable model of \(\mathbb{P}^1\) ⋮ Cusps and 𝒟-modules ⋮ Symmetry on rings of differential operators ⋮ Finiteness of crystalline cohomology of higher level ⋮ \(p\)-torsion étale sheaves on the Jacobian of a curve ⋮ BETTI NUMBER ESTIMATES IN -ADIC COHOMOLOGY ⋮ Intermediate extensions and crystalline distribution algebras ⋮ $\mathcal{D}$-modules arithmétiques associés aux isocristaux surconvergents. Cas lisse ⋮ On higher direct images of convergent isocrystals ⋮ Descent of isocrystals and \({\mathcal D}^\dag\)-modules ⋮ A note on Frobenius divided modules in mixed characteristics ⋮ Dualité locale et holonomie pour les ${\cal D}$-modules arithmétiques

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modules de Hodge polarisables. (Polarisable Hodge modules)
• Transversal crystals of finite level
• Intégration sur un cycle évanescent
• F-isocrystals and De Rham cohomology. I
• F-isocrystals and de Rham cohomology. II: Convergent isocrystals
• Cohomologie cristalline des schemas de caractéristique \(p >0\)
• Explicit Frobenius descent for \({\mathcal D}^\dagger\)-modules
• Descent of isocrystals and \({\mathcal D}^\dag\)-modules
• Modules différentiels sur les couronnes (Differential modules over annuli)
• On the index theorem for \(p\)-adic differential equations. II
• Theorem A und B in der nichtarchimedischen Funktionentheorie
• 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
• 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
• Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
• 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
• Induced ${\cal D}$-modules and differential complexes
• Géométrie rigide et cohomologie des variétés algébriques de caractéristique $p$
• Systèmes différentiels linéaires $p$-adiques, structure de Frobenius faible
• Dualité locale et holonomie pour les ${\cal D}$-modules arithmétiques
• Algebraic study of systems of partial differential equations
• ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini