Ind-Sheaves, distributions, and microlocalization
Using a result of J.-M. Bony, we prove the weak involutivity of truncated microsupports. More precisely, given a sheaf on a real manifold and , if two functions vanish on , then so does their Poisson bracket.
Let , let be a hypersurface of , be a submanifold of . Denote by the Levi form of at . In a previous paper [3] two numbers , are defined; for they are the numbers of positive and negative eigenvalues for . For , , we show here that are still the numbers of positive and negative eigenvalues for when restricted to . Applications to the concentration in degree for microfunctions at the boundary are given.
The analytic and wave-front sets of a distribution which is a solution of a regular holonomic differential system are shown to coincide. More generally, we give comparison theorems for solutions of a regular holonomic system of microdifferential equations in various spaces of microfunctions, as a simple extension of a result of Kashiwara.