Systems of microdifferential equations with involutory double characteristics. Propagation theorem for sheaves in the framework of microlocal study of sheaves (Q1116010)

Let M be a real analytic manifold with a complexification X, and let \({\mathcal M}\) be a coherent \({\mathcal E}_ X\) module defined in a neighborhood of \(\rho_ 0\in \dot T^*_ MX\) whose characteristic variety is written of the form (1) Ch(\({\mathcal M})=\{\rho \in T^*X\); \(p(\rho)=0\}\) by homogeneous holomorphic functions p defined in a neighborhood of \(\rho_ 0\in \dot T^*_ MX\). We assume the following conditions: (2) p is real valued on \(T^*_ MX\), (3) \(\Sigma =\{\rho \in \dot T^*_ MX\); \(p(\rho)=0\), \(dp(\rho)=0\}\) is a regular involutory submanifold in \(T^*_ MX\) of codimension 2 through \(\rho_ 0\). (4) H ess(p)(\(\rho)\) has rank 1 if \(\rho\in \Sigma\). In the above situation, we study propagation of singularities of solutions to \({\mathcal M}\) on the regular involutory submanifold \(\Sigma\). At the same time we give a propagation theorem of sheaves with relevance to the bi-functor \(\mu\) hom(, ) due Kashiwara-Shapira.