Eine Äquivalenz zwischen bestimmten Kategorien von Darstellungen einer komplexen halbeinfachen Lie‑Algebra (insbesondere Blöcken der Kategorie O mit festem zentralen Charakter) und Kategorien von (getwisteten) D‑Modulen auf der Flaggenvarietät, die darstellungstheoretische Probleme geometrisch auf dem Flaggenraum realisiert.

Prinzip

Ein Lokalisationsfunktor sendet ein g‑Modul mit geeignetem zentralen Charakter an ein (getwistetes) D‑Modul auf der Flaggenvarietät; das Bildnahme der globalen Schnitte ist unter Regularitätsannahmen ein Quasi‑Inverse, sodass algebraische Module und geometrische D‑Module korrespondieren, wenn Gewichte regulär und integral (oder allgemein genug) sind.

Demonstration

Ein höchstgewichts‑einfaches Modul in Kategorie O mit regulärem integralem zentralen Charakter lokalisiert zu einem holonomen getwisteten D‑Modul auf der Flaggenvarietät, dessen globale Schnitte das ursprüngliche Modul wiedergeben; etwa entsprechen Verma‑Module und ihre irreduziblen Quotienten bestimmten äquivarianten D‑Moduln, die auf Schubert‑Zellen konzentriert sind.

Fehlanwendung

Die Lokalisierung anzuwenden, ohne Regularität oder integralen zentralen Charakter zu prüfen — beispielsweise eine naive Lokalisierung bei singulärem Gewicht oder in nicht halbeinfachen Situationen zu versuchen — kann die Äquivalenz zerstören und D‑Module erzeugen, deren globale Schnitte das Ausgangsmodul nicht wiederherstellen.

Konsequenz

Der Satz erlaubt es, geometrische Techniken (perverse Garben, Geometrie der Flaggenvarietät, Schnittkohomologie) zur Lösung darstellungstheoretischer Fragen zu verwenden, liefert geometrische Konstruktionen von Darstellungen und Charakterformeln und begründet tiefe Verbindungen zwischen algebraischer und geometrischer Darstellungstheorie.

Umkehrung

Die umgekehrte Sichtweise interpretiert geometrische D‑Module auf der Flaggenvarietät als algebraische g‑Module durch globale Schnitte; das Scheitern dieses Umkehrprozesses zeigt Schranken wie singuläre zentrale Charaktere oder Torsionsphänomene in den globalen Schnitten an.

Abgrenzung

Gilt sauberst für komplexe halbein­fache Lie‑Algebren, die algebraische Flaggenvarietät und reguläre integrale (oder dominante) zentrale Charaktere; für singuläre Charaktere, positive Charakteristik oder nicht halbein­fache Lie‑Algebren sind Modifikationen nötig, andernfalls kann die Äquivalenz brechen oder abgeleitete/kategorielle Korrekturen erfordern.

Semantische Spannung

Wird oft mit allgemeineren geometrischen Repräsentationsparadigmen (z. B. geometrisches Langlands oder Lokalisierung in positiver Charakteristik) verwechselt, unterscheidet sich aber in der Reichweite: Beilinson–Bernstein ist eine präzise Äquivalenzaussage zwischen Kategorie O und D‑Modulen auf der Flaggenvarietät unter spezifischen zentralen Voraussetzungen.

Synthese

Beilinson–Bernstein‑Lokalisierung realisiert algebraische g‑Module als geometrische Objekte auf der Flaggenvarietät mittels eines Lokalisationsfunktors und seines quasi‑inversen Globalsections‑Funktors: unter Regularitätsannahmen identifiziert dies Repräsentationskategorien mit Kategorien getwisteter D‑Module und importiert geometrische Methoden in die Darstellungstheorie.