A vanishing theorem for holonomic modules with positive characteristic varieties

Naofumi Honda, Pierre Schapira
1990 Publications of the Research Institute for Mathematical Sciences  
Let M be a real analytic manifold, X a complexification of M, Ji a holonomic module over the ring $ x of microdifferential operators and Char(Jt} its characteristic variety. We prove that if (T%fX, Char(Jf]) is positive at peT^X, then $xty x (M, ^M) p = 0 for ; > 0, where # M denotes the sheaf of Sato's microfunctions.
doi:10.2977/prims/1195170961 fatcat:niavq2zcpfcufbwohr2c4vizse