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.