Skip to main content Accessibility help
  • Print publication year: 1994
  • Online publication date: May 2013

A Desingularization Theorem for Systems of Microdifferential Equations


Centro de Matemática e Aplicações Fundamentais and Departamento de Matemática da Universidade de Lisboa

Abstract We prove that the blow up of a regular holonomic system of microdifferential equations is regular holonomic and calculate its support. We prove desingularization theorems for Lagrangian curves and for regular holonomic systems with support on a Lagrangian curve.


In [N] we introduced a notion of blow up of a holonomic εx-module. In Section 4 we prove that, under reasonable assumptions, the blow up of a regular holonomic system is regular holonomic and calculate its support. These results motivate a desingularization game for Lagrangian subvarieties of a contact manifold. In Section 5 we show how to win the game when the contact manifold has dimension 3. As a consequence we get a desingularization theorem for regular holonomic εx-modules when the dimension of X equals 2. In Sections 2 and 3 we recall the main results of [N].

The author would like to thank M. Kashiwara for useful discussions.


Let X be a complex manifold. A subset Y of X is called a normal crossings divisor if for any x°Y there is an open neighbourhood U of x°, a system of local coordinates (x1,…xn) defined on U and an integer v such that