Springer theory

Springer theory
Name	Springer theory
Field	Representation theory, Algebraic geometry, Lie theory
Introduced	1976
Key contributors	T.A. Springer, N. Spaltenstein, G. Lusztig, R. Hotta, T. Shoji

Springer theory Springer theory is a geometric framework that links the representation theory of Weyl groups with the geometry of nilpotent orbits in complex semisimple Lie algebras. It constructs actions of finite reflection groups on the cohomology of certain algebraic varieties associated to nilpotent elements, producing correspondences between irreducible representations and geometric data. The theory has deep connections to the work of researchers associated with École normale supérieure, Institute for Advanced Study, University of Cambridge, Princeton University, and major classification projects in Lie algebra representation theory.

Introduction and Overview

Springer theory arose to explain relationships among the representation theory of finite Coxeter groups such as Weyl group, the geometry of flag varieties like Bruhat decomposition, and the structure of nilpotent cones in semisimple Lie algebras such as sl_n(C), so_n(C), and sp_{2n}(C). The central objects include the Springer resolution of the nilpotent cone, Grothendieck simultaneous resolution associated with Grothendieck, and the action of monodromy groups related to Borel subgroups and Cartan subalgebras. Influential figures include T.A. Springer, G. Lusztig, N. Spaltenstein, R. Hotta, and T. Shoji.

Historical Development

The origins trace to work in the 1970s by T.A. Springer and contemporaries at institutions such as University of Oxford and Université Paris-Sud. Early motivations linked to problems studied at International Congress of Mathematicians meetings and seminars at Institut des Hautes Études Scientifiques. Subsequent expansions involved researchers at Princeton University, Massachusetts Institute of Technology, University of California, Berkeley, and collaborators like George Lusztig who connected Springer constructions to Hecke algebras and perverse sheaf theory developed by Alexander Beilinson, Joseph Bernstein, and Pierre Deligne. Later milestones include the development of generalized Springer correspondence by Lusztig and the incorporation of equivariant cohomology techniques used by Michel Brion and William Graham.

Geometric Construction of Springer Representations

The construction uses the Springer resolution π: T*Flag variety → nilpotent cone in a complex semisimple Lie algebra, exploiting the geometry of cotangent bundles on varieties such as Flag manifolds associated to Borel subgroups. Cohomology groups like singular cohomology and ℓ-adic cohomology of Springer fibers carry actions of finite groups isomorphic to Weyl groups; monodromy and nearby cycles techniques from Deligne and Bernstein produce these actions. Key geometric tools include perverse sheaves from the formalism of Beilinson–Bernstein–Deligne and decomposition theorems connected to Gabber and Beilinson.

Springer Correspondence and Unipotent Classes

The Springer correspondence assigns irreducible representations of a Weyl group to pairs consisting of a nilpotent orbit and a local system on that orbit; it refines classical parametrizations like the Bala–Carter classification of nilpotent orbits in E8, E7, E6, F4, and G2. Work by Bala–Carter and later by Spaltenstein elucidated the role of component groups of centralizers in semisimple Lie groups such as SL_n(C), SO_n(C), and Sp_{2n}(C). Lusztig's extension introduced generalized correspondence involving character sheaves and the study of unipotent classes in reductive groups over finite fields like GL_n(F_q) and G(F_q).

Applications to Representation Theory and Lie Theory

Springer-theoretic constructions have been applied to the character theory of finite groups of Lie type, linking to the work of Deligne–Lusztig and the theory of Hecke algebra modules. They inform the parametrization of irreducible representations of finite reflection groups encountered in classification projects at Mathematical Sciences Research Institute and Clay Mathematics Institute events. Connections to categorification and geometric representation theory tie Springer fibers to categories appearing in Kazhdan–Lusztig theory, Soergel bimodule theory, and link with modular representation theory studied at University of Oxford and Imperial College London.

Extensions and Generalizations

Generalizations include the exotic Springer correspondence studied by groups around University of Sydney and Kyoto University, affine Springer fibers introduced by Kazhdan and Lusztig related to the Langlands program at Institute for Advanced Study, and parabolic versions explored by Hotta and Springer. Further extensions involve the use of derived categories as in the work of Bernstein and Beilinson, connections to the geometric Langlands program influenced by Edward Frenkel, and interactions with the theory of character sheaves developed by Lusztig and collaborators at Institut des Hautes Études Scientifiques.

Examples and Computations

Concrete examples appear for classical types: computations of Springer fibers for sl_2(C), sl_3(C), and sl_n(C) yield explicit Weyl group representations matching Specht modules studied in combinatorial representation theory at University of Cambridge. Exotic and affine examples include computations for type A_n and type B_n involving Young diagram combinatorics connected to Symmetric group representations and tableaux formalisms developed by Alain Lascoux and Marcel-Paul Schützenberger. Software implementations in computer algebra systems used at Simon Fraser University and University of Sydney assist with cohomology calculations and orbit classification in exceptional types such as E8.

Category:Representation theory