We study the truncated microsupport SS_k of sheaves on a real manifold. Applying our results to the case of F = RHom D (M, O), the complex of holomorphic solutions of a coherent D-module M, we show that SS_k (F) is completely determined by the characteristic variety of M. As an application, we obtain an extension theorem for the sections of H~j (F), j展开▼
