Microlocalization of perverse sheaves (Q1356279)

Let \(X\) be a complex \(n\)-dimensional manifold. Let \(D_{\mathbb{C}-c}^b(X)\) be the derived category of bounded complexes of sheaves of \(\mathbb{C}\)-vector spaces over \(X\) with \(\mathbb{C}\)-constructible cohomology, \(\text{Reghol}({\mathcal E}_{X,p})\) be the Abelian category of germs of regular holonomic modules over the ring of microdifferential operators \({\mathcal E}_{X,p},\) \(p\in T^*X\setminus T^*_XX,\) and let \(\text{ Perv}(X)\) be the full Abelian subcategory of ``perverse sheaves'' of \(D_{\mathbb{C}-c}^b(X)\). In this paper the author, using the invariance by canonical transformations, explains the construction of the microlocal categories \(\text{Perv}(X,\mathbb{C}^*p)\) and \(\text{Perv}(X,p),\) where \(\mathbb{C}^*=\mathbb{C}\setminus\{0\}.\)