Inductive system coherence for logarithmic arithmetic D-modules, stability for cohomology operations
Summary: Let \({\mathcal V}\) be a complete discrete valuation ring of unequal characteristic with perfect residue field, \({\mathcal P}\) be a smooth, quasi-compact, separated formal scheme over \({\mathcal V}\), \({\mathcal Z}\) be a strict normal crossing divisor of \({\mathcal P}\) and \({\mathcal P}^\sharp:=({\mathcal P},{\mathcal Z})\) the induced smooth formal log-scheme over \({\mathcal V}\). In Berthelot's theory of arithmetic \({\mathcal D}\)-modules, we work with the inductive system of sheaves of rings \(\widehat{{\mathcal D}}^{(\bullet)}_{{\mathcal P}^\sharp}:=(\widehat{{\mathcal D}}^{(m)}_{{\mathcal P}^\sharp})_{m\in\mathbb{N}}\), where \(\widehat{{\mathcal D}}^{(m)}_{{\mathcal P}^\sharp}\) is the \(p\)-adic completion of the ring of differential operators of level \(m\) over \({\mathcal P}^\sharp\). Moreover, he introduced the sheaf \({\mathcal D}^\dag_{{\mathcal P}^\sharp,\mathbb{Q}}:= \varinjlim_m\,\widehat{{\mathcal D}}^{(m)}_{{\mathcal P}^\sharp}\otimes_{\mathbb{Z}}\mathbb{Q}\) of differential operators over \({\mathcal P}^\sharp\) of finite level. In this paper, we define the notion of (over)coherence for complexes of \(\widehat{{\mathcal D}}^{\bullet}_{{\mathcal P}^\sharp}\)-modules. In this inductive system context, we prove some classical properties including that of Berthelot-Kashiwara's theorem. Moreover, when \({\mathcal Z}\) is empty, we check this notion is compatible to that already know of (over)coherence for complexes of \({\mathcal D}^\dag_{{\mathcal P},\mathbb{Q}}\)-modules.
- Coherent systems and modular subvarieties of \(\mathcal S\mathcal U_C(r)\)
- Log \(\mathscr{D}\)-modules and index theorems
- scientific article; zbMATH DE number 1693056
- Stable and unstable operations in mod \(p\) cohomology theories
- Quasi-coherent sheaves on algebraic moduli stacks of log structures
- Logarithmic differential forms and the cohomology of the complement of a divisor
- Logarithmic \(p\)-bases and arithmetical differential modules
- Algorithms for \(b\)-functions, induced systems, and algebraic local cohomology of \(D\)-modules
- Logarithmic de Rham, infinitesimal and Betti cohomologies
- Logarithmic comparison theorem and \({\mathcal D}\)-modules: an overview
- On Beilinson's equivalence for \(p\)-adic cohomology
- Unipotent monodromy and arithmetic \({\mathcal {D}}\)-modules
- Differential equations and Lie group representations
- Logarithmic \(p\)-bases and arithmetical differential modules
- A characterization of overcoherence
- scientific article; zbMATH DE number 724711 (Why is no real title available?)
- scientific article; zbMATH DE number 923777 (Why is no real title available?)
- Arithmetic structures for differential operators on formal schemes
- On the preservation of coherence by extraordinary reverse image of a closed immersion
- Syst\`emes inductifs surcoh\'erents de D-modules arithm\'etiques logarithmiques
- Kashiwara's theorem for twisted arithmetic differential operators
This page was built for publication: Inductive system coherence for logarithmic arithmetic \({\mathcal D}\)-modules, stability for cohomology operations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q504304)
