Arithmetic differential operators with congruence level structures: first results and examples (Q2127207)

The theory of arithmetic differential operators was introduced by \textit{P. Berthelot} [Ann. Sci. Éc. Norm. Supér. (4) 29, No. 2, 185--272 (1996; Zbl 0886.14004); Mém. Soc. Math. Fr., Nouv. Sér. 81, 138 p. (2000; Zbl 0948.14017); Astérisque 279, 1--80 (2002; Zbl 1098.14010)] to provide a category of coefficients admitting a six-functor formalism for rigid cohomoloy, a cohomology theory for varieties in characteristic \(p\) taking values in vector spaces over \(p\)-adic fields. Later, arithmetic differential operators with congruence level were introduced by Huyghe, Patel, Schmidt, and Strauch en route to a \(p\)-adic version of Beilinson-Bernstein localization theory [\textit{D. Patel} et al., J. Inst. Math. Jussieu 18, No. 1, 125--187 (2019; Zbl 1429.22018); \textit{C. Huyghe} et al., Math. Res. Lett. 26, No. 6, 1677--1745 (2019; Zbl 1467.14065)]. The paper under review provides a succint exposition of the theory of arithmetic differential operators with congruence level in sections 2, 3, and 5. The main results illustrate, by means of example, how this theory might be used to address finintess problems related to categories of coefficients in \(p\)-adic cohomology. More specifically, in sections 4 and 6, the authors study finiteness properties (coherence and coadmissibility) of certain modules over rings of differential operators that arise from \(p\)-power Kummer coverings in characteristic \(p\). Ardakov and Wadsley also introduced a \(p\)-adic Beilinson-Bernstein localization theory closely related to the one using arithmetic differential operators with congruence level mentioned above [\textit{K. Ardakov}, in: Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13--21, 2014. Vol. III: Invited lectures. Seoul: KM Kyung Moon Sa. 1--9 (2014; Zbl 1373.14024); Equivariant \(\mathcal D\)-modules on rigid analytic spaces. Paris: Société Mathématique de France (SMF) (2021; Zbl 1464.14002); \textit{K. Ardakov} and \textit{S. J. Wadsley}, J. Reine Angew. Math. 747, 221--275 (2019; Zbl 1439.14064); J. Algebr. Geom. 27, No. 4, 647--701 (2018; Zbl 1423.14169)]. Work of Ardakov, Bitoun, Bode, and Wadsley approaches similar finiteness problems to the ones discussed in this paper in a more general context but from a different perspective [\textit{K. Ardakov} et al., Compos. Math. 157, No. 12, 2553--2584 (2021; Zbl 1484.14055); \textit{T. Bitoun} and \textit{A. Bode}, J. Reine Angew. Math. 778, 97--118 (2021; Zbl 1477.32014)].