Microdifferential systems and the codimension-three conjecture

Abstract

In this paper we give a proof of a fundamental conjecture, the codimension-three conjecture, for microdierential holonomic systems. The conjecture states that any (regular) holonomic module extends uniquely beyond an analytic subset that is at least of codimension three in its support. Our result can also be interpreted from a topological point of view as a statement about microlocal perverse sheaves. However, our proof is entirely in the context of microdierential holonomic systems.