A characterization of overcoherence

MaRDI QIDQ3064216zbMATH OpenFDO

Authors Daniel Caro

Publication date 21 December 2010

Full work available at URL https://arxiv.org/abs/0802.1260, http://journal.ms.u-tokyo.ac.jp/abstract/jms160101.html

zbMATH Keywords

Arithmetic D-modulesholonomicitymicrolocal analysisovercoherence

Mathematics Subject Classification ID

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

Abstract: Let $mathcalP$ be a proper smooth formal $mathcalV$-scheme, $X$ a closed subscheme of the special fiber of $mathcalP$, $mathcalEinFext-D^{m}athrm{b}_{m}athrmcoh(D^{d}a{g}_{mathcalP,mathbbQ})$ with support in $X$. We check that $mathcalE$ is $D^{d}a{g}_{mathcalP,mathbbQ}$-overcoherent if and only if, for any morphism $f:mathcal{P}^{\prime }omathcalP$ of smooth formal $mathcalV$-schemes, $f^{!}(mathcalE)$ is $D^{d}a{g}_{mathcal{P}^{\prime },mathbbQ}$-coherent.

Recommendations

• scientific article; zbMATH DE number 923777
• Overcoherent arithmetic \(\mathcal D\)-modules. Application to \(L\)-functions.
• scientific article; zbMATH DE number 845753
• Inductive system coherence for logarithmic arithmetic \({\mathcal D}\)-modules, stability for cohomology operations
• $\mathcal{D}$-modules arithmétiques surholonomes

Cited in

(8)

• Differential equations and Lie group representations
• The overcoherence implies the holonomicity
• Holonomicity without Frobenius structure
• Overholonomicity of overconvergent \(F\)-isocrystals over smooth varieties
• scientific article; zbMATH DE number 923777 (Why is no real title available?)
• On the preservation of coherence by extraordinary reverse image of a closed immersion
• \(p\)-adic GKZ hypergeometric complex
• Finiteness of the homological dimension of weakly complete algebras of differential operator with overconvergent coefficients

This page was built for publication: A characterization of overcoherence

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