Negativity and vanishing of microfunction solution sheaves at the boundary (Q2640210)

Let M be a real analytic manifold with a complexification X. Let V be a \({\mathbb{C}}^{\times}\)-conic involutive submanifold of \(T^*X\setminus X\), let \({\mathcal E}_ X\) be the sheaf of microdifferential operators of finite order and let \({\mathcal M}\) be a coherent \({\mathcal E}_ X\)-module with constant multiplicity along V. Let also \(\Omega\) be an open subset of M with real analytic boundary. The authors give vanishing theorems for the cohomology of the complex \[ {\mathbf R}\text{\underbar{Hom}}_{{\mathcal E}_ X}({\mathcal M},{\mathcal C}_{\Omega | X}) \] where \({\mathcal C}_{\Omega | X}\) is the complex of microfunctions at the boundary introduced by \textit{P. Schapira} [Sémin., Equations Dériv. Partielles 1985-1986, Exposé No.13, 12 p. (1986; Zbl 0638.58027)].