Overholonomicity of overconvergent F-isocrystals over smooth varieties

DOI10.4007/ANNALS.2012.176.2.2zbMATH Open1276.14031arXiv0803.2105OpenAlexW2172212672MaRDI QIDQ456663FDOQ456663

Authors: Daniel Caro, Nobuo Tsuzuki 

Publication date: 16 October 2012

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Abstract: We prove the overholonomicity of overconvergent $F$-isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent $F$-isocrystals are equivalent. Then the overholonomicity is stable under tensor products. So, the overholonomicity gives a $p$-adic cohomology stable under Grothendieck's cohomological operations.

Full work available at URL: https://arxiv.org/abs/0803.2105

Recommendations

• Holonomy of arithmetic \(\mathcal D\)-modules associated with overconvergent \(F\)-isocrystals over smooth curves
• $\mathcal{D}$-modules arithmétiques surholonomes
• Over convergent \(F\)-isocrystals and differential overcoherence
• The overcoherence implies the holonomicity
• Devissage of the \(F\)-complexes of arithmetic \(\mathcal D\)-modules in overconvergent \(F\)-isocrystals

zbMATH Keywords

rigid cohomologyarithmetic D-modulesGrothendieck's six operationsoverholonomicitysemistable reduction theorem

Mathematics Subject Classification ID

(p)-adic cohomology, crystalline cohomology (14F30)

Cites Work

• Title not available (Why is that?)
• Smoothness, semi-stability and alterations
• Rigid cohomology
• Overcoherent arithmetic \(\mathcal D\)-modules. Application to \(L\)-functions.
• Cohomological descent of rigid cohomology for étale coverings
• Arithmetic \(\mathcal D\)-modules associated with overconvergent isocrystals. Smooth case
• Title not available (Why is that?)
• Relative log convergent cohomology and relative rigid cohomology II
• ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
• Title not available (Why is that?)
• Theorem A und B in der nichtarchimedischen Funktionentheorie
• Title not available (Why is that?)
• ${\cal D}$-modules arithmétiques. II: Descente par Frobenius
• Semistable reduction for overconvergent \(F\)-isocrystals on a curve
• Crystalline fundamental groups. I: Isocrystals on log crystalline site and log convergent site
• An Introduction to "G"-Functions. (AM-133)
• Semistable reduction for overconvergent $F$-isocrystals I: Unipotence and logarithmic extensions
• De Rham cohomology of differential modules on algebraic varieties
• Title not available (Why is that?)
• Finiteness theorems for the cohomology of an overconvergent isocrystal on a curve
• Dualité locale et holonomie pour les ${\cal D}$-modules arithmétiques
• Devissage of the \(F\)-complexes of arithmetic \(\mathcal D\)-modules in overconvergent \(F\)-isocrystals
• Over convergent \(F\)-isocrystals and differential overcoherence
• A characterization of overcoherence
• Title not available (Why is that?)
• Fonctions L associées aux $\mathcal{D}$-modules arithmétiques. Cas des courbes
• $\mathcal{D}$-modules arithmétiques surholonomes
• Title not available (Why is that?)
• Morphisms of \(F\)-isocrystals and the finite monodromy theorem for unit-root \(F\)-isocrystals.
• On the Gysin isomorphism of rigid cohomology
• Arithmetic \(\mathcal D\)-modules on a formal curve
• Semistable reduction for overconvergent \(F\)-isocrystals. IV: Local semistable reduction at nonmonomial valuations
• Title not available (Why is that?)
• Semistable reduction for overconvergent F-isocrystals, II: A valuation-theoretic approach
• Semistable reduction for overconvergentF-isocrystals, III: Local semistable reduction at monomial valuations
• Overconvergent log-isocrystals and holonomy
• Title not available (Why is that?)
• More étale covers of affine spaces in positive characteristic
• Holonomy of arithmetic \(\mathcal D\)-modules associated with overconvergent \(F\)-isocrystals over smooth curves

Cited In (31)

• Title not available (Why is that?)
• Stability of the holonomy on quasi-projective varieties
• BETTI NUMBER ESTIMATES IN -ADIC COHOMOLOGY
• Title not available (Why is that?)
• Non-Archimedean geometry and applications. Abstracts from the workshop held January 30 -- February 5, 2022
• Full faithfulness without Frobenius structure and partially overconvergent isocrystals
• Unipotent monodromy and arithmetic \({\mathcal {D}}\)-modules
• Comparing the sheaves of overconvergent isocrystals
• The overcoherence implies the holonomicity
• A note on effective descent for overconvergent isocrystals
• Logarithmic \(p\)-bases and arithmetical differential modules
• On stability of \(\mathcal{D}\)-modules under tensor product of complex
• Overcoherent arithmetic \(\mathcal D\)-modules. Application to \(L\)-functions.
• Langlands correspondence for isocrystals and the existence of crystalline companions for curves
• Holonomy of arithmetic \(\mathcal D\)-modules associated with overconvergent \(F\)-isocrystals over smooth curves
• Local acyclicity in \(p\)-adic cohomology
• Devissage of the \(F\)-complexes of arithmetic \(\mathcal D\)-modules in overconvergent \(F\)-isocrystals
• Over convergent \(F\)-isocrystals and differential overcoherence
• Finite local monodromy of overconvergent unit-root F -isocrystals on a curve
• A Lefschetz theorem for overconvergent isocrystals with Frobenius structure
• Some elements on Berthelot's arithmetic \(\mathscr{D}\)-modules
• Relative fundamental groups and rational points
• Lagrangianity for log extendable overconvergent \(F\)-isocrystals
• Notes on isocrystals
• Semistable reduction for overconvergent $F$-isocrystals I: Unipotence and logarithmic extensions
• Theory of weights in \(p\)-adic cohomology
• Finiteness theorems for the cohomology of an overconvergent isocrystal on a curve
• Stability of holonomicity without Frobenius structure: the case of curves
• Differential equations and Lie group representations
• SUR LA PRÉSERVATION DE LA COHÉRENCE PAR IMAGE INVERSE EXTRAORDINAIRE D’UNE IMMERSION FERMÉE
• Bessel \(F\)-isocrystals for reductive groups

This page was built for publication: Overholonomicity of overconvergent \(F\)-isocrystals over smooth varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456663)