Blow up for a holonomic system (Q2368173)

The purpose of this paper is to define blowing up of a contact manifold including the sheaf structure of micro-differential operators and their modules on it. The author introduces a functor that associates to a holonomic system of microdifferential equations \({\mathfrak M}\) on a contact manifold \(X\). Let \(\Lambda\) be a closed Lagrangian submanifold of \(X\). We define blow up of \(X\) along \(\Lambda\). We construct a holonomic system \(\widetilde{\mathfrak M}\) on \(\tilde X\) such that the restriction of \({\mathfrak M}\) to the complementary of \(\Lambda\) and the restriction of \(\widetilde{\mathfrak M}\) to the complementary of the exceptional divisor of \(\tilde X\) are isomorphic as systems of microdifferential equations. Such holonomic system \(\widetilde{\mathfrak M}\) can be regarded as a desingularization of the holonomic system \({\mathfrak M}\). The author gives a theory of this desingularization with some examples.