Arithmetic differential operators with congruence level structures: first results and examples
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)].
- ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
- Arithmetic structures for differential operators on formal schemes
- scientific article; zbMATH DE number 1765814
- Some elements on Berthelot's arithmetic \(\mathscr{D}\)-modules
- Un théorème de comparaison entre les faisceaux d’opérateurs différentiels de Berthelot et de Mebkhout-Narváez-Macarro
- ${\scr D}$-modules arithmétiques. I. Opérateurs différentiels de niveau fini
- \(\mathscr{D}^{\dagger}\)-affinity of formal models of flag varieties
- Algebras of p-adic distributions and admissible representations
- Fonctions L associées aux $\mathcal{D}$-modules arithmétiques. Cas des courbes
- Holonomy of arithmetic \(\mathcal D\)-modules associated with overconvergent \(F\)-isocrystals over smooth curves
- scientific article; zbMATH DE number 4189882 (Why is no real title available?)
- scientific article; zbMATH DE number 3813810 (Why is no real title available?)
- scientific article; zbMATH DE number 1765814 (Why is no real title available?)
- Integral models of P^1 and analytic distribution algebras for GL₂
- Lectures on formal and rigid geometry
- On base change theorem and coherence in rigid cohomology
This page was built for publication: Arithmetic differential operators with congruence level structures: first results and examples
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2127207)
