A vanishing theorem for holonomic modules with positive characteristic varieties (Q805036)

Let M be a real analytic manifold, X a complexification of M, \({\mathcal M}\) a holonomic module over the ring \({\mathcal E}_ x\) of microdifferential operators and \({\mathcal C}har({\mathcal M})\) its characteristic variety. The authors prove that if \((T_ M^*X,{\mathcal C}har({\mathcal M}))\) is positive at \(p\in T^*_ MX\) in the sense of the second author [Ann. Sci. Éc. Norm. Supér., IV. Sér. 14, No.1, 121-139 (1981; Zbl 0473.58022)] then \({\mathcal E}xt^ j_{{\mathcal E}_ x}({\mathcal M},{\mathcal C}_ M)_ P=0\) for \(j>0\), where \({\mathcal C}_{{\mathcal M}}\) denotes the sheaf of Sato's micro- functions.