Abstract: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$. If $\mathfrak{X}$ is a lift of $X$ to a smooth formal scheme over $W(k)$, then for $m\geq0$ modules over $\mathcal{\widehat{D}}_{W(X)}^{(m)}$ are closely related to modules over Berthelot's ring $\widehat{\mathcal{D}}_{\mathfrak{X}}^{(m)}$ of differential operators of level $m$ on $\mathfrak{X}$. Our construction therefore gives an description of suitable categories of modules over these algebras, which depends only on the special fibre $X$. There is an embedding of the category of crystals on $X$ (over $W_{r}(k)$) into modules over $\mathcal{\widehat{D}}_{W(X)}^{(0)}/p^{r}$; and so we obtain an alternate description of this category as well. For a map $\varphi:X\to Y$ we develop the formalism of pullback and pushforward of $\mathcal{\widehat{D}}_{W(X)}^{(m)}$-modules and show all of the expected properties. When working mod $p^{r}$, this includes compatibility with the corresponding formalism for crystals, assuming $\varphi$ is smooth. In this case we also show that there is a ``relative de Rham Witt resolution'' (analogous to the usual relative de Rham resolution in $\mathcal{D}$-module theory) and therefore that the pushforward of (a quite general subcategory of) modules over $\mathcal{\widehat{D}}_{W(X)}^{(0)}/p^{r}$ can be computed via the reduction mod $p^{r}$ of Langer-Zink's relative de Rham Witt complex. Finally we explain a generalization of Bloch's theorem relating integrable de Rham-Witt connections to crystals.

Extensions realizing affine datum : the Wells derivation

Extension realizing affine datum: low-dimensional cohomology

Extensions of Multilinear Module Expansions

Non-abelian extensions of relative Rota-Baxter Lie algebras and Wells type exact sequences

Non-abelian extensions and Wells exact sequences of Lie-Yamaguti algebras

A Wells-like exact sequence for abelian extensions of relative Rota--Baxter groups

Wells exact sequence for automorphisms and derivations of Leibniz 2-algebras

Non-abelian extensions of Lie triple systems and Wells exact sequences

Wells-type exact sequence and crossed extensions of algebras with bracket

Cohomologies, non-abelian extensions and Wells sequences of lambda-weighted Rota-Baxter Lie coalgebras

Extended affine Weyl groups and Frobenius manifolds

The Langlands-Weissman Program for Brylinski-Deligne extensions

Extended affine Weyl groups and Frobenius manifolds -- II

Witt Differential Operators

On the de Rham homology of affine varieties in characteristic 0

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Extended Weyl groups, Hurwitz transitivity and weighted projective lines I: Generalities and the tubular case

2-local derivations on Witt algebras

Toroidal analogues of the Grothendieck-Springer map

Derivation extensions on Leibniz triple systems