Kazhdan–Lusztig polynomials
Generated by GPT-5-miniExpansion Funnel Raw 62 → Dedup 0 → NER 0 → Enqueued 0
| Kazhdan–Lusztig polynomials | |
|---|---|
| Name | Kazhdan–Lusztig polynomials |
| Introduced | 1979 |
| Authors | David Kazhdan, George Lusztig |
| Subject | Representation theory |
Kazhdan–Lusztig polynomials are a family of polynomials associated to pairs of elements in Coxeter groups, first introduced by David Kazhdan and George Lusztig in 1979, and they play a central role in modern representation theory, Hecke algebra theory, and geometric representation via intersection cohomology and perverse sheaves. They arose in the context of questions about characters for modules over Lie algebras and the structure of Harish-Chandra modules, and have influenced work involving Pierre Deligne, Alexander Beilinson, Joseph Bernstein, and developments connected to the Langlands program, Beilinson–Bernstein localization, and the study of Verma module categories.
History and motivation
The origin of these polynomials is tied to problems considered by David Kazhdan and George Lusztig in their 1979 paper motivated by representation-theoretic questions from the communities around Harish-Chandra, I. M. Gelfand, Israel Gelfand, and Bertram Kostant, and by the interplay with Hecke algebras studied by Iwahori, Hecke, and G. I. Olshanskii. Early motivation included character formulas for highest-weight modules studied by David Vogan, connections with singularities examined by Robert MacPherson, and conjectures influenced by work of Robert Langlands, Alexander Grothendieck, and Mikhail Gromov. Subsequent developments linked these polynomials to the geometry of flag varieties explored by Jean-Pierre Serre, Armand Borel, Claude Chevalley, and to the pattern-avoidance phenomena investigated by Richard Stanley and Donald Knuth.
Definition and basic properties
For a Coxeter system (W,S) introduced in studies by Hermann Weyl, Cartan, and formalized through work by Nicolas Bourbaki and Kazhdan, the polynomials are defined for each pair (x,y) in W using the Hecke algebra associated to (W,S), an algebraic structure appearing in the literature of Iwahori and Hecke. The definition uses the Kazhdan–Lusztig basis of the Hecke algebra whose existence and uniqueness were proven by Kazhdan and Lusztig and builds on earlier insights by George Mackey and Serge Lang. Basic properties include self-duality under the bar involution studied in relation to Jean-Pierre Serre, positivity conjectures later linked to results by Kazhdan, Lusztig, and geometric proofs invoking techniques from Pierre Deligne and Alexander Beilinson. Symmetry relations and degree bounds echo constraints familiar from work by Élie Cartan and Hermann Weyl on root systems and Weyl groups.
Computation and recursive formulas
Computational techniques rely on recursion derived from the Hecke algebra relations first analyzed by Iwahori and Hecke and formalized by Kazhdan and Lusztig. Practical algorithms use Bruhat order combinatorics introduced by François Bruhat and applied in enumerative studies by Richard Stanley, and implementations exploit methods from computational algebra systems associated with projects at Institut des Hautes Études Scientifiques and universities linked to John Conway and Donald Knuth. Recurrence relations permit calculation of polynomials using reflection length and inversion sets treated in the literature by Victor Kac and Bourbaki, and complexity analyses connect to work by Leslie Lamport and computer scientists studying algebraic combinatorics.
Connection with representation theory
The polynomials encode deep information about composition factors of Verma modules and about character formulas conjectured in settings studied by Bernstein, Gelfand, Gabriel, and Joseph Bernstein; they underpin the Kazhdan–Lusztig conjecture relating characters of simple highest-weight representations of semisimple Lie algebras in the tradition of Élie Cartan and Hermann Weyl. This connection was established through localization techniques developed by Beilinson and Bernstein and through geometric representation theory advanced by Lusztig and collaborators such as George McKay and Ian G. Macdonald, linking to modular representation theory studied by Richard Brauer and Jean-Pierre Serre.
Geometric interpretation (intersection cohomology)
Geometric proofs and interpretations use intersection cohomology of Schubert varieties in flag varieties, concepts developed by Mark Goresky and Robert MacPherson, and rely on perverse sheaves introduced by Alexander Beilinson and Joseph Bernstein and furthered by Pierre Deligne. The polynomials compute Poincaré polynomials of intersection cohomology groups on closures of Schubert cell strata in flag varieties originally studied by Élie Cartan, Armand Borel, and Claude Chevalley, tying algebraic invariants to topological and geometric invariants familiar from the work of Hironaka and Grothendieck.
Applications and examples
Applications appear across representation theory, algebraic geometry, and combinatorics: they determine multiplicities in category O influenced by Bernstein–Gelfand–Gelfand theory, inform character sheaves studied by Lusztig and Robert Kottwitz, and arise in knot homology parallels to work by Edward Witten and Vladimir Voevodsky. Explicit computations for classical Weyl groups such as types A, B, D relate to enumerative combinatorics traditions from Richard Stanley, to symmetric function theory developed by Isaac Newton and Alfred Young, and to computational tables produced by research groups at institutions linked to David Vogan and George Lusztig.
Generalizations and variants
Generalizations include parabolic Kazhdan–Lusztig polynomials introduced in the context of parabolic subgroups studied by Élie Cartan and Claude Chevalley, analogues for affine Weyl groups related to work by Victor Kac and George Lusztig, and extensions to graded and modular settings explored by G. Lusztig and researchers in the orbit of Michel Broué and J. Rickard. Variants appear in categorification programs tied to link homology developed by Mikhail Khovanov and in connections with quantum group representation theory pioneered by V. G. Drinfeld and G. Lusztig.