Distributions and regular holonomic systems

Abstract

The first section treats analytic D-module theory on real analytic manifolds and some basic results concerned with extendible distributions is presented in section 2 as a preparation to section 3. There we prove that every regular holonomic D X -module on a complex manifold is locally a cyclic module generated by a distribution on the underlying real manifold. The main result is Theorem 7.3.5 which gives an exact functor from RH(D X ) into the category of regular holonomic modules on the conjugate complex manifold defined by