This paper is a survey on sheaves of arithmetic differential operators with congruence level on formal schemes. We present first results about these sheaves and discuss some examples.

中文翻译：

---

具有同余级结构的算术微分算子：初步结果和示例

本文是对形式方案上具有同余级的算术微分算子层的调查。我们提出了关于这些滑轮的初步结果并讨论了一些例子。