Arithmetic structures for differential operators on formal schemes

Christine Huyghe, Tobias Schmidt, Matthias Strauch

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}$.…