Content deleted Content added
TakuyaMurata (talk | contribs) |
TakuyaMurata (talk | contribs) |
||
Line 6:
where each <math>p_j</math> is a holomorphic function on <math>U</math> that is homogeneous of degree <math>j</math> in the second variable.
The sheaf <math>\mathcal{E}</math> of microdifferential operators on <math>T^* X</math> is then the subsheaf of <math>\widehat{\mathcal{E}}</math> consisting of those secctions satisfying the growh condition on the negative terms; namely, for each compact subset <math>K \subset U</math>, there exists an <math>\epsilon > 0</math> such that
:<math>\sum_{j \le 0} \sup_K|p_j| \epsilon^{-j}/(-j)! < \infty.</math><ref>{{harvnb|Schapira|1985|loc=Ch. I., § 1.3.}}</ref>
|