Une équivalence entre certaines catégories de représentations d’une algèbre de Lie semi‑simple complexe (notamment des blocs de la catégorie O à caractère central fixé) et des catégories de D‑modules (tordus) sur la variété des drapeaux, réalisant géométriquement des problèmes de représentation sur la variété de drapeaux.

Principe

Un foncteur de localisation envoie un g‑module de caractère central approprié sur un D‑module (tordu) sur la variété des drapeaux ; la prise de sections globales est son quasi‑inverse sous des hypothèses de régularité, de sorte que modules algébriques et D‑modules géométriques correspondent lorsque les poids sont réguliers et entiers (ou suffisamment génériques).

Démonstration

Un module simple de plus haut poids dans la catégorie O avec caractère central régulier et entier se localise en un D‑module tordu holonome sur la variété des drapeaux dont les sections globales récupèrent le module original ; par exemple les modules de Verma et leurs quotients irréductibles correspondent à des D‑modules équivariants soutenus sur des cellules de Schubert particulières.

Mauvaise application

Appliquer la localisation sans vérifier la régularité ou le caractère central entier — par exemple tenter une localisation naïve en un poids singulier ou dans des contextes non semi‑simples — peut échouer à donner une équivalence et produire des D‑modules dont les sections globales ne restituent pas la représentation de départ.

Conséquence

Le théorème permet d’employer des techniques géométriques (faisceaux pervers, géométrie de la variété des drapeaux, cohomologie d’intersection) pour résoudre des questions de théorie des représentations, fournit des constructions géométriques de représentations et des formules de caractères, et fonde des liens profonds entre représentation algébrique et géométrique.

Inversion

La perspective inverse prend des D‑modules géométriques sur la variété des drapeaux et les interprète comme g‑modules algébriques via les sections globales ; les échecs du processus inverse mettent en évidence des obstructions comme des caractères centraux singuliers ou des phénomènes de torsion dans les sections globales.

Limite

S’applique de manière la plus propre aux algèbres de Lie semi‑simples complexes, à la variété des drapeaux algébrique et aux caractères centraux réguliers et entiers (ou dominants) ; des modifications sont nécessaires pour les caractères singuliers, la caractéristique positive ou les algèbres non semi‑simples, où l’équivalence peut se rompre ou exiger des corrections dérivées/catégores.

Tension sémantique

Souvent confondue avec des paradigmes géométriques plus larges (par exemple Langlands géométrique ou localisation en caractéristique positive) mais distincte dans son périmètre : Beilinson–Bernstein énonce une équivalence précise entre catégorie O et D‑modules sur la variété des drapeaux pour des algèbres semi‑simples sous des hypothèses centrales spécifiques.

Synthèse

La localisation de Beilinson–Bernstein réalise des g‑modules algébriques comme objets géométriques sur la variété des drapeaux via un foncteur de localisation et ses sections globales quasi‑inverses : sous des hypothèses de régularité, cela identifie des catégories de représentations avec des catégories de D‑modules tordus et importe des outils géométriques en théorie des représentations.