Van den Essen's theorem on the de Rham cohomology of a holonomic \(\mathcal{D}\)-module over a formal power series ring (Q2360700)

The paper under review contains a didactic survey of a series of works by \textit{A. van den Essen} appeared from 1979--1983 (see, e.g., [Fuchsian modules. Katholieke Universiteit Nijmegen (Ph.D. Thesis) (1979); C. R. Acad. Sci., Paris, Sér. I 296, 903--906 (1983; Zbl 0536.58036)]). As a result, the author presents a complete self-contained proof of van den Essen's theorem which asserts that in the case of a formal power series ring over a field of characteristic zero the de Rham cohomology spaces of a holonomic \(\mathcal D\)-module are finite-dimensional (in fact, in the theory of holonomic \(\mathcal D\)-modules over polynomial rings the corresponding statement is a basic result due to \textit{I. N. Bernstein} [Funct. Anal. Appl. 5, 89--101 (1971; Zbl 0233.47031); translation from Funkts. Anal. Prilozh. 5, No. 2, 1--16 (1971)]).