arXiv subjects
Publications and source records attributed to C. Roucairol.
We compute formal invariants associated with the cohomology sheaves of the direct image of holonomic D-modules of exponential type. We also prove that every formal C[[t]]<\partial_t>-modules is isomorphic, after a ramification, to a germ of formalized direct image of analytic D-module of exponential type.
In the D-modules theory, Gauss-Manin systems are defined by the direct image of the structure sheaf O by a morphism. A major theorem says that these systems have only regular singularities. This paper examines the irregularity of an analogue of the Gauss-Manin systems. It consists in the direct image complex of a D-module twisted by the exponential of a polynomial g by another polynomial f, where f and g are two polynomials in two variables. The analogue of the Gauss-Manin systems can have irregular singularities (at finite distance and at infinity). We express an invariant associated with the irregularity of these systems by the geometry of the map (f,g).