Content deleted Content added
TakuyaMurata (talk | contribs) No edit summary |
TakuyaMurata (talk | contribs) No edit summary |
||
Line 1:
== Definition ==
We first define the sheaf <math>\widehat{\mathcal{E}}</math> of formal microdifferential operators on the cotangent bundle <math>T^* X</math> of an open subset <math>X \subset \mathbb{C}^n</math>.<ref>{{harvnb|Schapira|1985|loc=Ch. I., § 1.2.}}</ref> A section of that sheaf over an open subset <math>U \subset T^* X</math> is a formal series: for some integer ''m'',
:<math>P = \sum_{-\infty < j \le m} p_j</math>
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.
| |||