Microlocalization and stationary phase (Q2484139)

The author studies differential systems over a field of characteristic zero. In order to prove a stationary phase formula, the author defines a set of functors, which can be regarded as formal analogues of Laumon's local Fourier transformations. Such formal analogues of Laumon's local Fourier transformations for germs of meromorphic connections were independently discovered by \textit{S. Bloch} and \textit{H. Esnault} [ibid., 587--605 (2004; Zbl 1082.14506)]. The methods and the applications provided in this article are different. Special attention is paid to the case when the base field is the field of complex numbers, in which case the author obtains a 1-Gevrey variant of the stationary phase formula and uses it to give a decomposition theorem for germs of meromorphic connections.