Microlocal study of sheaves. I: Contact transformations (Q799285)

[For part II see the review in Zbl 0548.32018.] In our paper in C. R. Acad. Sci., Paris, Sér. I 295, 487-490 (1982; Zbl 0501.58006) we defined the micro-support of a complex of sheaves F on a real manifold X and studied its functorial properties. With this tool, we are now able to quantize contact transformations for any sheaves. We prove that such q.c.t. commute with the Sato microlocalization, and when the manifolds are complex analytic we prove that the structure sheaf \({\mathcal O}_ X\) is invariant by q.c.t.