Microdifferential systems and the codimension-three conjecture
  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. 
Masaki Kashiwara and Kari Vilonen
math.AG math.CV