On the reconstruction theorem of holonomic modules in the Gevrey classes (Q1187173)

The aim of this paper is to extend a remarkable result due to \textit{T. Kashiwara} and \textit{M. Kawai} [ibid. 17, 813-979 (1981; Zbl 0505.58033)]which asserts that if \({\mathfrak M}\) is a holonomic \({\mathcal E}_ X\) module then there exists an holonomic \({\mathcal E}_ X\) module \({\mathfrak M}_{\text{reg}}\) with regular singularities such that \({\mathcal E}^ \infty_ X \otimes_{{\mathcal E}_ X} {\mathfrak M} \simeq {\mathcal E}^ \infty_ X \otimes_{{\mathcal E}_ X} {\mathfrak M}_{\text{reg}}\), showing that this isomorphism can be achieved by a smaller class of operators, corresponding to the irregularity of the module \({\mathfrak M}\). In order to state this result we need some notations and definitions. Let \(X\) be a complex analytic manifold whose cotangent bundle is denoted by \(T^*X\), \(\pi\) being the canonical projection and \({\overset \circ T}{^*X}\) being the cotangent bundle with its zero section removed. \({\mathcal E}^ \infty_ X\) will denote the sheaf of microdifferential operators of infinite order, \({\mathcal E}_ X\) its subsheaf consisting of microdifferential operators of finite order, and \({\mathcal E}_ X (m)\) of those with order at most \(m\). \({\mathcal E}_ X^{(s)}\) will be sheaf of micro-differential operators of Gevrey growth \(s\). Let \(V\) be a homogeneous involutive submanifold of \({\overset \circ T}{^*X}\) (possibly with singular points), \(I_ V\) its ideal of definition, \(I_ V(m) = I_ V \cap 0_{T^*X} (m)\), \(J_ V = \{P \in {\mathcal E}_ X(1) | \sigma_ 1 (P) \in I_ V (1)\}\) (where \(\sigma_ 1 (P)\) is the principal symbol of \(P)\), and \({\mathcal E}_ V\) the subalgebra of \({\mathcal E}_ X\) generated by \(J_ V\). A coherent \({\mathcal E}_ X\) module \({\mathcal M}\) has regular singularities at \(P\) along \(V\) iff any coherent \({\mathcal E}_ V\) submodule of \({\mathcal M}\) defined in neighborhood of \(p\) is \({\mathcal E}_ X (0)\)-coherent. The author defines, for \(V\) as above, of codimension \(d\geq 1\) the sheaf \({\mathcal E}^{(\sigma)}_{(V)}\) (the analogue of \({\mathcal E}_ V)\) in the following manner: outside \(V\), \({\mathcal E}^{(\sigma)}_{(V)}|_{{\overset \circ T}{^*X}\backslash V} = {\mathcal E}_ X|_{{\overset \circ T}{^* X}\backslash V}\) on \(V\), and \(P \in {\mathcal E}^{(\sigma)}_{(V)}\) at \(p \in V\) iff there exist involutive coordinate operators \((P_ 1, \dots, P_ d)\) at \(p\) satisfying \(p \in \sum_{0 \leq d_ i} {\mathcal E}_ X (\ell (\alpha)) P^{d_ 1}_ 1 \dots P_ d^{d_ d}\) at \(p\) where \(\ell (\alpha) = [{1 - \sigma \over \sigma} | \alpha |]\). Now, assume \(\sigma \in [1, \infty)\) and define \({\mathfrak M}\) (an \({\mathcal E}_ X\)-module) to have irregularity at most \(\sigma\) along \(V\) \((V\) as above) at \(p\) if any coherent \({\mathcal E}_{(V)}^{(\sigma)}\) submodule of \({\mathfrak M}\) in a neighbourhood of \(p\) is \({\mathcal E}_ X (0)\)-coherent. This for the regular points of \(V\). For the singular points there is an obvious generalization using the irregularity at regular points. The author relies heavily on the techniques and results of Kashiwara and Kawai (loc. cit.), with the necessary (and nontrivial) adaptations. First, he obtains an embedding result of holonomic \({\mathcal E}_ X\) modules with support included in \(T^*_ Y X \backslash T^*_ XX\) where \(Y\) is a smooth complex hypersurface of \(X\). From this he deduces a result of embeddability of the desired type, when \(\text{supp} ({\mathfrak M})\) has no singular points. For taking into account the singular points of \(\text{supp} ({\mathfrak M})\), the author uses a vanishing theorem, and for proving it he uses a quantized contact transformation. An interesting corollary is that for \({\mathfrak M}\) with irregularity at most \(\sigma\) at \(p\), but \({\mathfrak M}\) in a generic position at \(p\) we have the embedding of the form \({\mathcal E}_ X^{(s)} \otimes_{{\mathcal E}_ X} {\mathfrak M}_ p \simeq {\mathcal E}_ X^{(s)} \otimes_{{\mathcal D}_ X} {\mathcal F}_ q\) where \({\mathcal F}\) is a holonomic \({\mathcal D}_ X\)-module with regular singularities at \(q = \pi (p)\), and \(s \in [1, {\sigma \over \sigma - 1}]\).