Microlocal properties of sheaves and complex WKB
arXiv:1111.6325
Abstract
Kashiwara-Schapira style sheaf theory is used to justify analytic continuability of solutions of a Laplace transformed Schroedinger equation with a small parameter. This partially proves the description of the Stokes phenomenon for WKB asymptotics predicted by Voros in 1983.
1) an assumption has been added to the main result (which still holds for an arbitrary polynomial potential); 2) references to related work by other authors have been added; 3) other minor corrections