Berthelot, Pierre Differential coherence of overconvergent function algebras. (Cohérence différentielle des algèbres de fonctions surconvergentes.) (French. Abridged English version) Zbl 0871.14014 C. R. Acad. Sci., Paris, Sér. I 323, No. 1, 35-40 (1996). Let \(({\mathcal V}, {\mathfrak m})\) be a complete discrete valuation ring of unequal characteristics \((0,p)\) and \({\mathcal X}\) a smooth formal \({\mathcal V}\)-scheme. Let \(X\) be the reduction of \({\mathcal X} \bmod {\mathfrak m}\). The author proves that, for any divisor \(Z\subset X\), the sheaf \({\mathcal O}_{{\mathcal X}, \mathbb{Q}} (^† Z)\) of functions with overconvergent singularities along \(Z\) is coherent as a \({\mathcal D}_{{\mathcal X}, \mathbb{Q}}\)-module. The proof depends essentially on the weak resolution theorem of A. J. de Jong [“Smoothness, semi-stability and alterations” (to appear)]. This result, together with the coherence theorem for proper direct images previously stated by the author, reduces the general case to the normal crossing case. When \(Z\) is a normal crossing divisor, the result follows by the same computation as in the complex analytic context. Reviewer: L.Narváez-Macarro (Sevilla) Cited in 10 Documents MSC: 14F10 Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials 14H20 Singularities of curves, local rings 14G20 Local ground fields in algebraic geometry 14E15 Global theory and resolution of singularities (algebro-geometric aspects) Keywords:complete discrete valuation ring; sheaf of functions with overconvergent singularities; coherence PDFBibTeX XMLCite \textit{P. Berthelot}, C. R. Acad. Sci., Paris, Sér. I 323, No. 1, 35--40 (1996; Zbl 0871.14014)