Beilinson–Bernstein localization theorem
E876104
The Beilinson–Bernstein localization theorem is a fundamental result in geometric representation theory that realizes representations of semisimple Lie algebras as sheaves of differential operators on flag varieties, establishing an equivalence between algebraic and geometric categories.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Beilinson–Bernstein localization for representations of semisimple Lie algebras | 1 |
| Beilinson–Bernstein localization theorem canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10617348 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Beilinson–Bernstein localization theorem Context triple: [Alexander Beilinson, knownFor, Beilinson–Bernstein localization theorem]
-
A.
Borel–Weil theorem
The Borel–Weil theorem is a fundamental result in representation theory that realizes irreducible representations of compact Lie groups as spaces of holomorphic sections of line bundles over their flag manifolds.
-
B.
Kazhdan–Lusztig theory
Kazhdan–Lusztig theory is a framework in representation theory and algebraic geometry that studies Hecke algebras and their bases via Kazhdan–Lusztig polynomials, with deep connections to the representation theory of Lie algebras and geometry of Schubert varieties.
-
C.
Harish-Chandra isomorphism
The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
-
D.
Deligne–Lusztig theory
Deligne–Lusztig theory is a framework in algebraic geometry and representation theory that constructs and studies representations of finite groups of Lie type using varieties defined over finite fields.
-
E.
The Poincaré-Birkhoff-Witt theorem in ring theory
"The Poincaré-Birkhoff-Witt theorem in ring theory" is a mathematical work, attributed here to N. G. de Bruijn, that studies and applies the Poincaré–Birkhoff–Witt theorem in the context of associative and Lie-theoretic ring structures.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Beilinson–Bernstein localization theorem Target entity description: The Beilinson–Bernstein localization theorem is a fundamental result in geometric representation theory that realizes representations of semisimple Lie algebras as sheaves of differential operators on flag varieties, establishing an equivalence between algebraic and geometric categories.
-
A.
Borel–Weil theorem
The Borel–Weil theorem is a fundamental result in representation theory that realizes irreducible representations of compact Lie groups as spaces of holomorphic sections of line bundles over their flag manifolds.
-
B.
Kazhdan–Lusztig theory
Kazhdan–Lusztig theory is a framework in representation theory and algebraic geometry that studies Hecke algebras and their bases via Kazhdan–Lusztig polynomials, with deep connections to the representation theory of Lie algebras and geometry of Schubert varieties.
-
C.
Harish-Chandra isomorphism
The Harish-Chandra isomorphism is a fundamental result in representation theory that identifies the center of the universal enveloping algebra of a semisimple Lie algebra with the algebra of Weyl group–invariant polynomials on a Cartan subalgebra.
-
D.
Deligne–Lusztig theory
Deligne–Lusztig theory is a framework in algebraic geometry and representation theory that constructs and studies representations of finite groups of Lie type using varieties defined over finite fields.
-
E.
The Poincaré-Birkhoff-Witt theorem in ring theory
"The Poincaré-Birkhoff-Witt theorem in ring theory" is a mathematical work, attributed here to N. G. de Bruijn, that studies and applies the Poincaré–Birkhoff–Witt theorem in the context of associative and Lie-theoretic ring structures.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
mathematical theorem
ⓘ
result in geometric representation theory ⓘ |
| appliesTo | complex semisimple Lie algebras ⓘ |
| asserts |
global section functor is quasi-inverse for regular dominant central character
ⓘ
localization functor is an equivalence for regular dominant central character ⓘ |
| concerns |
D-modules
NERFINISHED
ⓘ
category O NERFINISHED ⓘ flag varieties ⓘ highest weight representations ⓘ semisimple Lie algebras ⓘ sheaves of differential operators ⓘ |
| context |
Borel subalgebra
ⓘ
Cartan subalgebra NERFINISHED ⓘ Weyl group NERFINISHED ⓘ root system ⓘ |
| describes |
global section functor from D-modules to modules
ⓘ
localization functor from modules to D-modules ⓘ |
| establishes | equivalence of categories ⓘ |
| field |
algebraic geometry
ⓘ
geometric representation theory ⓘ representation theory ⓘ |
| generalizedBy | localization for singular characters ⓘ |
| hasVersionFor | real groups (via related localization techniques) ⓘ |
| influenced |
Kazhdan–Lusztig theory
NERFINISHED
ⓘ
geometric Langlands program NERFINISHED ⓘ study of category O via geometry ⓘ theory of perverse sheaves ⓘ |
| keyConcept |
block decomposition by central character
ⓘ
equivariant D-modules ⓘ highest weight category ⓘ twisted sheaves of differential operators ⓘ |
| namedAfter |
Alexander Beilinson
NERFINISHED
ⓘ
Joseph Bernstein NERFINISHED ⓘ |
| originallyFormulatedFor | complex algebraic groups ⓘ |
| provides |
geometric construction of irreducible highest weight modules
ⓘ
geometric realization of category O ⓘ |
| publishedIn | early 1980s ⓘ |
| relatedTo |
Borel–Weil–Bott theorem
NERFINISHED
ⓘ
Riemann–Hilbert correspondence (conceptually) NERFINISHED ⓘ |
| relates |
coherent D-modules on flag varieties
ⓘ
representations of semisimple Lie algebras ⓘ |
| requires | regular dominant infinitesimal character ⓘ |
| uses |
Harish-Chandra isomorphism
NERFINISHED
ⓘ
algebraic D-modules ⓘ center of the universal enveloping algebra ⓘ flag variety of a semisimple algebraic group ⓘ universal enveloping algebra ⓘ |
| yearProved | late 1970s ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Beilinson–Bernstein localization theorem Description of subject: The Beilinson–Bernstein localization theorem is a fundamental result in geometric representation theory that realizes representations of semisimple Lie algebras as sheaves of differential operators on flag varieties, establishing an equivalence between algebraic and geometric categories.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Beilinson–Bernstein localization for representations of semisimple Lie algebras