Regularity theorems for holonomic modules (Q1320647): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.3792/pjaa.69.111 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2016350323 / rank | |||
Normal rank |
Revision as of 19:37, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Regularity theorems for holonomic modules |
scientific article |
Statements
Regularity theorems for holonomic modules (English)
0 references
1 May 1994
0 references
Let \(X\) be a complex manifold, \(T^* X\) its cotangent bundle, \(\overset\circ T^*= T^*\backslash T_ X X\), \({\mathcal E}^ \infty_ X\) the sheaf of micro-differential operators of infinite order and \({\mathcal E}_ X\) (resp. \({\mathcal E}_ X(m)\)) the subsheaf of \({\mathcal E}^ \infty_ X\) consisting of micro-differential operators of finite order (resp. order \(\leq m\)). The sheaf \({\mathcal E}^{(s)}_ X\) of micro- differential operators of Gevrey growth of order \((s)\) is introduced \((s\in (1,\infty))\). Next for \(\sigma\in [1,\infty)\) a rational number of \(\mathcal M\) a holonomic \({\mathcal E}_ X\) module the weak irregularity at most \(\sigma\) of \(\mathcal M\) is defined. The main result is: Theorem. Let \(U\subset T^* X\) be a \(\mathbb{C}^*\) conic open set, \({\mathcal M}\) a holonomic \({\mathcal E}_ X\) module on \(U\) and \(\sigma\geq 1\) a rational number. The following are equivalent: (i) There exists a holonomic \({\mathcal E}_ X\) module \({\mathcal M}_{\text{reg}}\) with regular singularities satisfying: \({\mathcal E}^{(s)}_ X\otimes_{{\mathcal E}_ X}{\mathcal M}= {\mathcal E}^{(s)}_ X\otimes {\mathcal M}_{\text{reg}}\) in \(U\) for all \(s\in [1,\sigma/(\sigma- 1)]\), (ii) for any submanifold \(Y\subset X\) and \(s\in [1,\sigma/(\sigma-1)]\) we have: \({\mathcal R}\Hom_{{\mathcal E}_ X}({\mathcal M},{\mathcal C}^{{\mathcal R},(s)}_{Y| X})|_ U= {\mathcal R}\Hom_{{\mathcal E}_ X}({\mathcal M},{\mathcal C}^{{\mathcal R}}_{Y| X})|_ U\), (iii) \(\mathcal M\) has weak irregularity at most \(\sigma\) in \(U\). Above \({\mathcal C}^{{\mathcal R},(s)}_{Y| X}\) is the subsheaf of the holomorphic microfunctions \({\mathcal C}^{{\mathcal R}}_{Y| X}\) defined by \({\mathcal C}^{{\mathcal R},(s)}_{Y| X}= {\mathcal E}^{(s)}_ X {\mathcal C}^{{\mathcal R},f}_{Y| X}\), where \({\mathcal C}^{{\mathcal R},f}_{Y| X}\) is the subsheaf of tempered holomorphic microfunctions.
0 references
holonomic module
0 references
micro-differential operators
0 references
holomorphic microfunctions
0 references