Related papers: Arithmetic $\mathcal{D}$-modules over Laurent seri…
Let $k$ be a field of characteristic $p>0$ not necessarily perfect. Using Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for realizable $k$-schemes of finite type.
Let $\mathcal{V}$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be an open…
Let $p$ be a prime number, $V$ a discrete valuation ring of unequal caracteristics $(0,p)$, $G$ a smooth affine algebraic group over $Spec \,V$. Using partial divided powers techniques of Berthelot, we construct arithmetic distribution…
Let $\V$ be a mixed characteristic complete discrete valuation ring with perfect residue field $k$. We solve Berthelot's conjectures on the stability of the holonomicity over smooth projective formal $\V$-schemes. Then we build a category…
We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…
In the framework of Berthelot's theory of arithmetic $\mathcal{D}$-modules, we introduce the notion of arithmetic $\mathcal{D}$-modules having potentially-unipotent monodromy. For example, from Kedlaya's semistable reduction theorem,…
We propose in this paper an approach to Breuil's conjecture on a Langlands correspondence between $p$-adic Galois representations and representations of $p$-adic Lie groups in $p$-adic topological vector spaces. We suggest that Berthelot's…
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…
Let $k$ be a perfect field of characteristic $p > 0$. For a strictly semi-stable scheme over $k[[t]]$, we construct the weight spectral sequence in $p$-adic cohomology using the theory of arithmetic $\mathcal{D}$-modules, whose $E_1$ terms…
Within the framework of Berthelot's theory of arithmetic D-modules, we prove the p-adic analogue of Betti number estimates and we give some standard applications.
In this paper we develop the formalism of the Grothendieck six operations on o-minimal sheaves. The Grothendieck formalism allows us to obtain o-minimal versions of: (i) derived projection formula; (ii) universal coefficient formula; (iii)…
We introduce the notion of log $p$-smoothness which weakens that of log-smoothness and that of having locally $p$-bases. We extend Berthelot's construction of arithmetic $D$-modules and some properties in this context.
We provide a complete classification of all tilting modules and tilting classes over almost perfect domains, which generalizes the classifications of tilting modules and tilting classes over Dedekind and 1-Gorenstein domains. Assuming the…
Up to a translation in the language of arithmetic $\D$-modules, we prove a conjecture of Berthelot on the preservation of the overconvergence under the direct image by a smooth proper morphism of varieties over a perfect field of…
A formalism of arithmetic partial differential equations (PDEs) is being developed in which one considers several arithmetic differentiations at one fixed prime. In this theory solutions can be defined in algebraically closed p-adic fields.…
We construct a quasi-categorically enhanced Grothendieck six-functor formalism on schemes of finite type over the complex numbers. In addition to satisfying many of the same properties as M. Saito's derived categories of mixed Hodge…
The aim of the present paper is to study arithmetic properties of $\mathcal{D}$-modules on an algebraic variety over the field of algebraic numbers. We first provide a framework for extending a class of $G$-connections (resp., globally…
Using the localization property, we construct a triangulated category of motives over quasi-projective T-schemes for any coefficient where T is a noetherian separated scheme, and we prove the Grothendieck six operations formalism. We also…
Let k be a finite field of characteristic p>0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the l-adic…
We introduce the notion of a coordinate $\mathbf{k}$-algebra scheme and the corresponding notion of a $\mathcal{B}$-operator. This class of operators includes endomorphisms and derivations of the Frobenius map, and it also generalizes the…