Holonomicity without Frobenius structure

From MaRDI portal





The author deals with the definition of holonomy for arithmetic \(\mathcal D\)-modules. This notion, defined this way, does not need the presence of a Frobenius structure as defined by \textit{P. Berthelot} [Astérisque 279, 1--80 (2002; Zbl 1098.14010)] although both definitions coincide when having such an structure. It is also proven that this definition verifies the Bernstein's inequality and the duality criterion, as in the context of classical \(\mathcal D\)-modules. In the last two sections, the author provides a new holonomy criterion using the notion of overcoherence.











This page was built for publication: Holonomicity without Frobenius structure

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