Springer correspondence
E921612
mathematical correspondence
result in geometric representation theory
theorem in representation theory
The Springer correspondence is a fundamental result in geometric representation theory that links representations of Weyl groups to the geometry of nilpotent orbits in Lie algebras via the cohomology of Springer fibers.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Springer correspondence canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T11365356 — 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: Springer correspondence Context triple: [Deligne–Lusztig theory, relatesTo, Springer correspondence]
-
A.
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.
-
B.
Schur–Weyl duality
Schur–Weyl duality is a fundamental result in representation theory that links representations of the symmetric group and the general linear group via their commuting actions on tensor powers of a vector space.
-
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.
Beilinson–Bernstein localization theorem
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.
- 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: Springer correspondence Target entity description: The Springer correspondence is a fundamental result in geometric representation theory that links representations of Weyl groups to the geometry of nilpotent orbits in Lie algebras via the cohomology of Springer fibers.
-
A.
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.
-
B.
Schur–Weyl duality
Schur–Weyl duality is a fundamental result in representation theory that links representations of the symmetric group and the general linear group via their commuting actions on tensor powers of a vector space.
-
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.
Beilinson–Bernstein localization theorem
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.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
mathematical correspondence
ⓘ
result in geometric representation theory ⓘ theorem in representation theory ⓘ |
| aimsTo | classify irreducible representations of Weyl groups geometrically ⓘ |
| appliesTo |
complex semisimple Lie algebras
ⓘ
reductive algebraic groups ⓘ |
| characterizedBy | Weyl group action on the cohomology of Springer fibers ⓘ |
| codomain | pairs of nilpotent orbits and local systems ⓘ |
| constructs | Weyl group action on cohomology of Springer fibers ⓘ |
| context |
complex algebraic geometry
ⓘ
equivariant derived categories ⓘ ℓ-adic cohomology ⓘ |
| describes |
irreducible representations of Weyl groups
ⓘ
topology of Springer fibers ⓘ |
| developedBy | T. A. Springer NERFINISHED ⓘ |
| domain | Weyl group of a reductive group ⓘ |
| field |
Lie theory
ⓘ
algebraic geometry ⓘ algebraic groups ⓘ geometric representation theory ⓘ representation theory ⓘ |
| generalizationOf | classical representation theory of symmetric groups ⓘ |
| hasVariant | generalized Springer correspondence NERFINISHED ⓘ |
| influenced |
Kazhdan–Lusztig theory
NERFINISHED
ⓘ
character sheaves ⓘ geometric Langlands program NERFINISHED ⓘ modular representation theory of finite groups of Lie type ⓘ |
| involves |
Borel subgroups
NERFINISHED
ⓘ
Grothendieck simultaneous resolution NERFINISHED ⓘ flag varieties ⓘ nilpotent cone ⓘ |
| is | a bijection up to certain equivalences ⓘ |
| namedAfter | T. A. Springer NERFINISHED ⓘ |
| refinedBy |
David Kazhdan
NERFINISHED
ⓘ
George Lusztig NERFINISHED ⓘ |
| relatedConcept |
Springer fiber
NERFINISHED
ⓘ
Weyl group NERFINISHED ⓘ flag variety ⓘ nilpotent orbit ⓘ |
| relates |
cohomology of Springer fibers
ⓘ
geometry of nilpotent orbits ⓘ representations of Weyl groups ⓘ |
| timePeriod | second half of the 20th century ⓘ |
| uses |
Springer fibers
NERFINISHED
ⓘ
Weyl groups NERFINISHED ⓘ equivariant cohomology ⓘ intersection cohomology ⓘ nilpotent orbits ⓘ perverse sheaves ⓘ |
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: Springer correspondence Description of subject: The Springer correspondence is a fundamental result in geometric representation theory that links representations of Weyl groups to the geometry of nilpotent orbits in Lie algebras via the cohomology of Springer fibers.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.