Unipotent monodromy and arithmetic D-modules
A cohomology theory in algebraic geometry is a functor which associates to algebraic varieties over a field \(k\) vector spaces over another field \(K\) (subject to some further conditions). A number of cohomology theories are in use in algebraic geometry, and with each of these comes a ``category of coefficients whose objects encode variations in cohomology and which are stable under Grothendieck's six functors. For example, when \(k\) is of characteristic 0 and \(K = k\), we can consider de Rham cohomology. Systems of differential equations (more precisely, bounded derived catgories of holonomic D-modules) on varieties over \(k\) provide a category of coefficients for this cohomology theory. The paper under review is an exploration of a category of coefficients in the setting of rigid cohomology, where \(k\) is a perfect field of characteristic \(p > 0\) and \(K\) is a complete discrete valuation field of characteristic 0 with residue field \(k\). Rigid cohomology roughly entails lifting varieties over \(k\) to characteristic 0 and considering the de Rham cohomology thereof. Correspondingly, a category of coefficients for rigid cohomology is built roughly out of \(p\)-adic differential equations, ie, D-modules on characteristic 0 lifts. This is the content of the highly technical theory of ``arithmetic D-modules. Much work has gone into constructing a category of coefficients for rigid cohomology out of arithmetic D-modules, and it is now known that overholonomic arithmetic D-modules with Frobenius structures form a suitable category of coefficients for rigid cohomology. The presence of these Frobenius structures is an important technical point in this theory, since Frobenius structures guarantee finite dimensionality of natural cohomological constructions. It is of some interest, particularly to those interested in \(p\)-adic differential equations, to consider what happens without insisting on the presence of Frobenius structures. In this more general setting, finite dimensionality of the same natural cohomological constructions mentioned above can be guaranteed by imposing ``\(p\)-adic non-Liouville hypotheses. The paper under review defines a notion of arithmetic D-modules having ``potentially unipotent monodromy in order to impose these \(p\)-adic non-Liouville hypotheses. The author then goes on to prove that this condition can be used to provide a category of coefficients for rigid cohomology, ie, that this condition is suitably preserved by Grothendieck's six functors.
- Holonomy of arithmetic \(\mathcal D\)-modules associated with overconvergent \(F\)-isocrystals over smooth curves
- $\mathcal{D}$-modules arithmétiques surholonomes
- Arithmetic \(\mathcal D\)-modules on a formal curve
- AROUND THE NEARBY CYCLE FUNCTOR FOR ARITHMETIC -MODULES
- Overcoherent arithmetic \(\mathcal D\)-modules. Application to \(L\)-functions.
- $\mathcal{D}$-modules arithmétiques surholonomes
- ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
- Full faithfulness without Frobenius structure and partially overconvergent isocrystals
- scientific article; zbMATH DE number 2127993 (Why is no real title available?)
- scientific article; zbMATH DE number 3674235 (Why is no real title available?)
- scientific article; zbMATH DE number 1765814 (Why is no real title available?)
- Inductive system coherence for logarithmic arithmetic \({\mathcal D}\)-modules, stability for cohomology operations
- Langlands correspondence for isocrystals and the existence of crystalline companions for curves
- On logarithmic extension of overconvergent isocrystals
- On stability of \(\mathcal{D}\)-modules under tensor product of complex
- On the preservation of coherence by extraordinary reverse image of a closed immersion
- On the preservation of the overconvergence for the direct image of a proper and flat morphism
- Over convergent \(F\)-isocrystals and differential overcoherence
- Overcoherent arithmetic \(\mathcal D\)-modules. Application to \(L\)-functions.
- Overconvergent log-isocrystals and holonomy
- Overholonomicity of overconvergent \(F\)-isocrystals over smooth varieties
- Semistable reduction for overconvergent F-isocrystals I: Unipotence and logarithmic extensions
- Semistable reduction for overconvergent F-isocrystals, II: A valuation-theoretic approach
- Semistable reduction for overconvergent F-isocrystals. IV: Local semistable reduction at nonmonomial valuations
- Semistable reduction for overconvergentF-isocrystals, III: Local semistable reduction at monomial valuations
- Smoothness, semi-stability and alterations
- The overcoherence implies the holonomicity
- Theory of weights in p-adic cohomology
This page was built for publication: Unipotent monodromy and arithmetic \({\mathcal {D}}\)-modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744809)
