Beilinson–Bernstein Localization
Definition
An equivalence between certain categories of representations of a complex semisimple Lie algebra (notably blocks of category O with fixed central character) and categories of (twisted) D-modules on the flag variety, realizing algebraic representation problems geometrically on the flag manifold.