Formal structure of direct image of holonomic $${mathcal{D}}$$ -modules of exponential type
Authors:
Céline Roucairol
Affiliation:
(1) Lehrstuhl VI für Math., University of Mannheim, A5 6, 68161 Mannheim, Germany
Abstract:
We compute formal invariants associated with the cohomology sheaves of the direct image of holonomic -modules of exponential type. We also prove that every formal -modules is isomorphic, after a ramification, to a germ of formalized direct image of analytic -module of exponential type.