Arithmetic structures for differential operators on formal schemes

Abstract: Let

m a t h f r a k o

be a complete discrete valuation ring of mixed characteristic

(0, p)

and

{m a t h f r a k X}_{0}

a smooth formal scheme over the formal spectrum of

m a t h f r a k o

. Given an admissible formal blow-up

m a t h f r a k X

of

{m a t h f r a k X}_{0}

we introduce sheaves of differential operators

{m a t h s c r D}^{d} a g g e r_{m a t h f r a k X, k}

on

m a t h f r a k X

, for every integer

k g e k_{m a t h f r a k X}

, where

k_{m a t h f r a k X}

depends on the blow-up morphism

m a t h f r a k X i g h t a r r o w {m a t h f r a k X}_{0}

. This generalizes Berthelot's construction of sheaves of arit hmetic differential operators on

{m a t h f r a k X}_{0}

. The coherence of these sheaves and several other basic properties are proven. In the second part we study the projective limit sheaf

{m a t h s c r D}_{m a t h f r a k X, i n f t y} = v a r p r o j l i m_{k} {m a t h s c r D}^{d} a g g e r_{m a t h f r a k X, k}

and so-called coadmissible modules for

{m a t h s c r D}_{m a t h f r a k X, i n f t y}

. The inductive limit of the sheaves

{m a t h s c r D}_{m a t h f r a k X, i n f t y}

, over all admissible blow-ups

m a t h f r a k X

of

{m a t h f r a k X}_{0}

, gives rise to a sheaf

{m a t h s c r D}_{l a n g l e {m a t h f r a k X}_{0} a n g l e}

on the Zariski-Riemann space of

{m a t h f r a k X}_{0}

. Analogues of Theorems A and B are shown to hold in each of these settings, i.e., for

{m a t h s c r D}^{d} a g g e r_{m a t h f r a k X, k}

,

{m a t h s c r D}_{m a t h f r a k X, i n f t y}

, and

{m a t h s c r D}_{l a n g l e {m a t h f r a k X}_{0} a n g l e}

.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: Arithmetic structures for differential operators on formal schemes