Related papers: Syst\`emes inductifs surcoh\'erents de D-modules a…

Let ${\mathfrak o}$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ and ${\mathfrak X}_0$ a smooth formal scheme over the formal spectrum of ${\mathfrak o}$. Given an admissible formal blow-up ${\mathfrak X}$ of…

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…

For a smooth scheme $X$ over a perfect field $k$ of positive characteristic, we define (for each $m\in\mathbb{Z}$) a sheaf of rings $\mathcal{\widehat{D}}_{W(X)}^{(m)}$ of differential operators (of level $m$) over the Witt vectors of $X$.…

The aim of this paper is to develop a theory of microdifferential operators for arithmetic $\mathscr{D}$-modules. We first define the sheaves of microdifferential operators of arbitrary levels on arbitrary smooth formal schemes. A…

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 $k$ be a perfect field of characteristic $p>0$. Within Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for quasi-projective schemes over $\mathrm{Spec} k[[t]]$.

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $\mathcal{P}$ a separated smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $X$ a smooth closed subscheme of $P$, $T$ a divisor in $P$ such that…

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…

The purpose of this paper is to develop a new theory of gauges in mixed characteristic. Namely, let $k$ be a perfect field of characteristic $p>0$ and $W(k)$ the $p$-typical Witt vectors. Making use of Berthelot's arithmetic differential…

By reading a standard formula for the ring of Grothendieck differential operators in a derived way, we construct a derived (sheaf of) ring of Grothendieck differential operators for Noetherian schemes $X$ separated and finite-type over a…

We introduce a sheaf of infinite order differential operators D-cap on smooth rigid analytic spaces that is a rigid analytic quantisation of the cotangent bundle. We show that the sections of this sheaf over sufficiently small affinoid…

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.

Let $G$ be an algebraic group and let $\widetilde{\mathfrak g}$ be the corresponding affine algebra on some level. Consider the induced module $V:=Ind^{\widetilde{\mathfrak g}}_{{\mathfrak g}[[t]](O_{G[[t]]})$, where $O_{G[[t]]}$ is the…

Ardakov-Wadsley defined the sheaf D-cap of $p$-adic analytic differential operators on a smooth rigid analytic variety $X$ by restricting to the case where $X$ is affinoid and the tangent sheaf admits a smooth Lie lattice. We generalize…

Let $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 a smooth open of $X$.…

Let X be a complex analytic manifold and D \subset X a free divisor. Integrable logarithmic connections along D can be seen as locally free {\cal O}_X-modules endowed with a (left) module structure over the ring of logarithmic differential…

Let $\mathcal{V}$ be a complete discrete valuation ring of unequal characteristic with perfect residue field, $u\colon \mathcal{Z} \hookrightarrow \mathfrak{X}$ be a closed immersion of smooth, quasi-compact, separated formal schemes over…

The so called theory of derived D-modules is an extension of classical D-modules to derived algebraic geometry, which uses the derived information of the base scheme. We prove that the three different definitions of derived D-modules, given…

In this article, we develop a positive characteristic analogue of the Bernstein--Sato theory for holonomic D-modules in the complex setting. We work with D-modules on a Noetherian regular $F$-finite $\mathbb{F}_p$-scheme $X$, and define…

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,…