Inverse image for the functor
The author studies the microlocal inverse image of sheaves on \(C^ \infty\)-manifolds. Let \(f: X\to Y\) be a morphism from the real \(C^ \infty\)-manifold \(X\) to \(Y\) and let \(F\), \(K\) be sheaves on \(X\). Then the microlocalization of the functors \(f^{-1}\) and \(f^ !\) are defined and denoted by \(f^{-1}_{\mu,p}\) and \(f^ !_{\mu,p}\), respectively. The author obtained the theorem which asserts that the natural morphism: \[ \mu\text{hom}(f^{-1}_{\mu,p}K,f^ !_{\mu,p}F\otimes\omega_ Y^{\otimes-1})_{p_ Y}\to \mu\text{hom}(K,F\otimes\omega_ Y^{\otimes-1})_{p_ X} \] is an isomorphism under some natural conditions. Here, \(\omega_ X\) denotes the dualizing complex on \(X\) and \(\mu\text{hom}\) the microlocalization bifunctor introduced by Kashiwara and Schapira. This theorem can be interpreted as a statement of the microlocal well-posedness for the Cauchy problem.
- scientific article; zbMATH DE number 4054034 (Why is no real title available?)
- scientific article; zbMATH DE number 6094 (Why is no real title available?)
- scientific article; zbMATH DE number 3424497 (Why is no real title available?)
- Problème de Cauchy pour les systèmes microdifferentiels dans le domaine complexe
- Systemes d'équations aux dérivées partielles à caractéristiques multiples: problème de Cauchy ramifie, hyperbolicite partielle
This page was built for publication: Inverse image for the functor \(\mu\text{hom}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1189076)
