2023/08/07 by Dodd, Christopher
#Algebraic Geometry (math.AG) #FOS: Mathematics
paper · doi:10.48550/arxiv.2308.03720
For a smooth scheme X over a perfect field k of positive characteristic, we define (for each m∈ℤ) a sheaf of rings \mathcal\widehatDW(X)(m) of differential operators (of level m) over the Witt vectors of X. If \mathfrakX is a lift of X to a smooth formal scheme over W(k), then for m≥0 modules over \mathcal\widehatDW(X)(m) are closely related to modules over Berthelot's ring \widehatD_\mathfrakX(m) of differential operators of level m on \mathfrakX. 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 Wr(k)) into modules over \mathcal\widehatDW(X)(0)/pr; and so we obtain an alternate description of this category as well. For a map φ:X→ Y we develop the formalism of pullback and pushforward of \mathcal\widehatDW(X)(m)-modules and show all of the expected properties. When working mod pr, this includes compatibility with the corresponding formalism for crystals, assuming φ 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 D-module theory) and therefore that the pushforward of (a quite general subcategory of) modules over \mathcal\widehatDW(X)(0)/pr can be computed via the reduction mod pr 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.