Springer correspondence¶
Match irreducible Weyl-group representations to eligible nilpotent orbits and centralizer local systems through top cohomology of Springer fibers.
Core Idea¶
The classical Springer correspondence links each irreducible Weyl-group representation to one eligible nilpotent orbit and centralizer-component type. Fix a suitable reductive algebraic group G with Weyl group W. For a nilpotent element e, its Springer fiber B_e consists of Borel subgroups whose nilpotent radicals contain e. W acts on the fiber's cohomology, and that action commutes with the component group A_e of the centralizer of e. In top cohomology, the part belonging to an irreducible A_e type ρ is either zero or an irreducible W representation. Every W irrep occurs from exactly one nonzero pair (e,ρ) up to conjugacy, but not every possible pair contributes.[^ref-4a9af22aa265]
This account follows Yun's setting: an algebraically closed field, connected reductive G with simple adjoint group, and characteristic zero or sufficiently large relative to G. His Weyl-action convention sends the trivial representation to the regular nilpotent orbit and sign to the zero orbit. Another standard action differs by a sign twist, so labels must be compared under one convention.[^ref-4a9af22aa265]
Scope of Application¶
The correspondence belongs to geometric representation theory. It uses nilpotent orbits, Springer fibers and Weyl-group representations of a fixed group. Type-A partitions give compact orbit labels, while an exceptional type such as G2 shows why component-group types also matter. A group-unipotent version relates to the nilpotent version through a G-equivariant exponential identification only under the cited sufficiently-large-characteristic condition.[^ref-4a9af22aa265]
Clarity¶
Ask two different questions. Given an orbit and component type (e,ρ), does its top-degree multiplicity vanish or yield a W irrep? Given an irreducible W representation, which unique contributing pair produces it? The theorem answers both; it does not promise an irrep for every proposed pair. Specify G and the Weyl-action convention before comparing examples.[^ref-4a9af22aa265]
Manages Complexity¶
A nilpotent orbit alone may hide symmetry in its Springer fiber. The component group acts on cohomology, so selecting an A_e type retains information that an orbit-only list can discard. The top-degree rule organizes the possible pairs and guarantees irreducible nonzero outputs. It does not compute every fiber or turn zero multiplicities into representations.[^ref-4a9af22aa265]
Abstract Reasoning¶
For a fixed G, identify a nilpotent e, its Springer fiber B_e, and A_e. Let d_e be the fiber's dimension. From H^{2d_e}(B_e), select the multiplicity space M(e,ρ)=Hom_{A_e}(ρ,H^{2d_e}(B_e)). If it is zero, the pair does not contribute; if nonzero, it is an irreducible W representation. Use Yun's uniqueness theorem to reverse this assignment for a given W irrep. Keep the sign convention fixed throughout.[^ref-4a9af22aa265]
Knowledge Transfer¶
The same role questions work for SL3 and G2: which orbit defines the fiber, what component group acts, and which top-degree type yields the W irrep? The answers vary with the group. A generic one-input/one-output map captures the uniqueness skeleton but cannot determine the orbit pair without the cohomological construction.[^ref-4a9af22aa265]
Example¶
Over C, Yun's SL3 example has W=S3. The subregular nilpotent orbit of Jordan type 2+1 contributes the two-dimensional irreducible S3 representation for its trivial component type. In the same convention, the regular orbit gives the trivial representation and the zero orbit gives sign. Mapped back: the orbit supplies the Springer fiber; its top cohomology supplies the W module; the component type and action convention fix the label.[^ref-4a9af22aa265]
The unlike G2 check makes the omitted axis visible: its subregular Springer fiber has four components, and A_e≅S3 permutes three. The invariant top-degree part for trivial ρ gives the G2 Weyl group's reflection representation. This shows why a type-A partition-only table is not the whole rule.[^ref-4a9af22aa265]
Relationships to Other Abstractions¶
Current abstraction Springer correspondence Domain-specific
Parents (2) — more general patterns this builds on
-
Springer correspondence is a kind of Function (Mapping) Prime
For fixed group and Weyl-action convention, each irreducible Weyl representation has one eligible orbit/local-system pair.
-
Springer correspondence presupposes Representation Prime
The correspondence presupposes a Weyl-group action on Springer-fiber cohomology and an irreducible representation in its top-degree component.
Hierarchy paths (2) — routes to 2 parentless roots
- Springer correspondence → Function (Mapping)
- Springer correspondence → Representation → Abstraction
Neighborhood in Abstraction Space¶
Springer correspondence sits in a sparse region of the domain-specific corpus (88th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (2551 abstractions)
Nearest neighbors
- Geometric quotient — 0.82
- Lattice (discrete subgroup) — 0.81
- Kirwan map — 0.80
- Deligne–Lusztig theory — 0.80
- Étale Algebra — 0.80
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
The Springer fiber is the geometric input, not the correspondence itself. A partition table is only a convenient type-A summary. Generalized Springer correspondence and affine Springer fibers use larger or different constructions. Nor may an arbitrary unipotent group example replace this nilpotent Lie-algebra theorem without the qualified bridge. A different Weyl-action sign convention changes labels but is not a contradiction.[^ref-4a9af22aa265]
References¶
[^ref-4a9af22aa265]: Zhiwei Yun, Lectures on Springer theories and orbital integrals (PCMI lecture notes, 2015), §0.2 for cohomology convention, §1.1 for field/group/characteristic assumptions, §1.2.1 for the Springer fiber, §§1.4.5 and 1.5.1–1.5.3 for commuting actions, top-degree multiplicity, injection and sign convention, §§1.5.16–1.5.17 for the SL3 and G2 examples, and §1.6.2 for the qualified nilpotent/unipotent bridge. https://math.mit.edu/~zyun/ZhiweiYunPCMIv2.pdf