Microfunctions at the boundary and mild microfunctions (Q914943)

The stalk of \(R\Gamma_ Z\mu \hom (N_{\Omega},{\mathcal F})\) is calculated where \(\Omega\) is a convex (up to diffeomorphism) open subset of a closed submanifold M of a real \(C^{\infty}\) manifold X, Z is a closed proper cone of \(T^*X\), \({\mathcal F}\) is the derived category of bounded complexes of sheaves of abelian groups on X, \(\mu\) hom(,) is a functor introduced by \textit{M. Kashiwara} and the first author [Microlocal study of sheaves, Astérisque 128 (1985; Zbl 0589.32019)]. As an application it is shown how to recover by a functorial way the theory of mild microfunctions due to K. Kataoka.