Van den Essen's theorem on the de Rham cohomology of a holonomic D-module over a formal power series ring

Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) de Rham cohomology and algebraic geometry (14F40) General theory of partial differential operators (47F05)

Abstract: In this expository paper, we give a complete proof of van den Essen's theorem that the de Rham cohomology spaces of a holonomic D-module are finite-dimensional in the case of a formal power series ring over a field of characteristic zero. This proof requires results from at least five of van den Essen's papers as well as his unpublished thesis, and until now has not been available in a self-contained document.

Review text

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)]).

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Van den Essen's theorem on the de Rham cohomology of a holonomic \(\mathcal{D}\)-module over a formal power series ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2360700)