Topological boundary values and regular \(\mathcal D\)-modules (Q1974820)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Topological boundary values and regular \(\mathcal D\)-modules |
scientific article |
Statements
Topological boundary values and regular \(\mathcal D\)-modules (English)
0 references
27 March 2000
0 references
The paper is devoted to the microlocal analysis of boundary value problems for hyperfunctions and microfunction solutions of complex differential systems regarded through the ``\(\mathcal D\)-module'' point of view, that is, defining the morphism of boundary values as functor between the hyperfunction solutions of a \(\mathcal D\)-module and the hyperfunction solutions of its vanishing and nearby cycles. The first aim is to prove a result analogous to \textit{H. Tahara} [Jap. J. Math., New Ser. 5, 245-347 (1979; Zbl 0431.35004)], in the framework of a \(\mathcal D\)-module of the paper by \textit{T. Monteiro Fernandes} [Compos. Math. 81, 121-142 (1992; Zbl 0754.58034)]. Working with a \(\mathcal D\)-module, the authors cannot assume that an operator is simultaneously Fuchsian and hyperbolic. Therefore, they separate the hypotheses and prove that if the modules is Fuchsian (more precisely, regular along a hypersurface), then there is a boundary value morphism, and if one adds a hypothesis of hyperbolicity, then it is an isomorphism. In fact, it appears that the condition of regularity itself is not necessary. If a geometrical condition on the characteristic variety of the \(\mathcal D\)-module is assumed, one can define a boundary value morphism, which is an isomorphism with the condition of hyperbolicity (which itself is a geometrical condition on the characteristic variety). In this context, the morphism has values in the geometric vanishing and nearby cycles of the sheaf of solutions of a given system. Now the regularity condition is used to identify these geometric vanishing cycles of solutions with solutions of a \(\mathcal D\)-module, called the vanishing cycles of the \(\mathcal D\)-module. Once these conditions are reduced to conditions on the characteristic variety of the \(\mathcal D\)-module, it appears that we may forget completely \(\mathcal D\)-modules and use the theory of sheaves of Kashiwara-Schapira. More precisely, the authors prove a theorem for the complex of sheaves of \(\mathbb C\)-vector spaces, the conditions on the characteristic variety becoming conditions on the microsupport of the complex. This boundary value morphism may be called a ``topological boundary value morphism'' as that of Schapira. Then the result on the \(\mathcal D\)-module is the special case where the complex of sheaves is the complex of holomorphic solutions of the \(\mathcal D\)-module. An easy application of the obtained results to the so-called ``ideally analytic'' solutions is given.
0 references
microlocal analysis
0 references
hyperfunction
0 references
microfunction
0 references
\(\mathcal D\)-module
0 references
geometric boundary value
0 references
Fuchsian and hyperbolic operator
0 references
geometric vanishing cycles
0 references
vanishing cycles of \(\mathcal D\)-module
0 references
0 references
0 references
0 references