Microdifferential systems and the codimension-three conjecture
arXiv:1209.5124
Abstract
The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture.
44 pages in v1. 47 pages in v2. It is revised considerably to improve the exposition in v2. Small changes in v3