On the codimension-three conjecture
arXiv:1007.3558
Abstract
In this note we sketch a proof of a fundamental conjecture, the codimension-three conjecture, for microdifferential holonomic systems with regular singularities. It states that any regular holonomic E-module extends beyond a codimension-three analytic subset.
few small texnical changes