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.

Principle

A localization functor sends a g‑module with appropriate central character to a (twisted) D-module on the flag variety; taking global sections is its quasi‑inverse under regularity hypotheses, so algebraic modules and geometric D‑modules correspond when weights are regular and integral (or suitably generic).

Demonstration

A highest‑weight simple module in category O with a regular integral central character localizes to a holonomic twisted D‑module on the flag variety whose global sections recover the original module; for example Verma modules and their irreducible quotients correspond to specific equivariant D‑modules concentrated on Schubert cells.

Misapplication

Applying localization without checking regularity or integral central character — for example attempting naive localization at a singular weight or in nonsemisimple settings — can fail to be an equivalence and produce D‑modules whose global sections do not return the original representation.

Consequence

The theorem allows geometric techniques (perverse sheaves, geometry of the flag variety, intersection cohomology) to answer representation‑theoretic questions, yields geometric constructions of representations and character formulas, and underlies deep links between algebraic and geometric representation theory.

Reversal

The inverse perspective takes geometric D‑modules on the flag variety and interprets them as algebraic g‑modules via global sections; failures of the reverse process identify obstructions such as singular central characters or torsion phenomena in global sections.

Boundary

Holds most cleanly for complex semisimple Lie algebras, the algebraic flag variety, and regular integral (or dominant) central characters; modifications are needed for singular characters, positive characteristic, or nonsemisimple Lie algebras, where the equivalence can break or require derived/category‑level corrections.

Semantic Tension

Often conflated with more general geometric representation paradigms (e.g., geometric Langlands or localization in positive characteristic) but distinct in scope: Beilinson–Bernstein is a precise equivalence between category O and D‑modules on the flag variety for semisimple Lie algebras under specific central‑character hypotheses.

Synthesis

Beilinson–Bernstein localization realizes algebraic g‑modules as geometric objects on the flag variety via a localization functor and its quasi‑inverse global sections: under regularity hypotheses this identifies representation categories with categories of twisted D‑modules and thereby imports geometric tools into representation theory.