Microdifferential systems and the codimension-three conjecture

TL;DR

This paper proves the codimension-three conjecture, demonstrating that regular holonomic modules can be uniquely extended beyond subsets with codimension three or more, advancing understanding in microdifferential systems.

Contribution

The paper provides a proof of the longstanding codimension-three conjecture for regular holonomic modules.

Findings

Confirmed the conjecture for all regular holonomic modules.

Established conditions for unique extension beyond codimension-three subsets.

Enhanced theoretical understanding of microdifferential systems.

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.