Kazhdan–Lusztig theory
Generated by GPT-5-miniExpansion Funnel Raw 10 → Dedup 0 → NER 0 → Enqueued 0
| Kazhdan–Lusztig theory | |
|---|---|
| Name | Kazhdan–Lusztig theory |
| Field | Representation theory |
| Introduced | 1979 |
| Founders | David Kazhdan, George Lusztig |
| Notable concepts | Kazhdan–Lusztig polynomials, Hecke algebras, Category O, intersection cohomology |
Kazhdan–Lusztig theory is a cornerstone of modern representation theory connecting algebraic, combinatorial, and geometric structures through deep relationships between Hecke algebras, Coxeter groups, and intersection cohomology, developed by David Kazhdan and George Lusztig. It provides tools to compute character formulas and to relate representation-theoretic categories such as Category O to perverse sheaves and geometry on Schubert varieties, influencing research linked to many figures and institutions across mathematics.
Introduction
Kazhdan–Lusztig theory originated in the late 1970s with work of David Kazhdan and George Lusztig, emerging from interactions involving figures like Alexandre Grothendieck, Michael Atiyah, Pierre Deligne, and Alexander Beilinson, and linked to seminars at institutions such as Harvard University, Princeton University, and the Institute for Advanced Study. The theory sits at the crossroads of ideas associated with Wilhelm Weyl, Hermann Weyl, Élie Cartan, Claude Chevalley, Robert Steinberg, and Harish-Chandra, while influencing developments connected to Israel Gelfand, Joseph Bernstein, Jean-Pierre Serre, and Jean-Louis Koszul, and research programs at the Massachusetts Institute of Technology, University of Cambridge, University of Oxford, and École Normale Supérieure.
Hecke Algebras and Coxeter Groups
Hecke algebras arise from Coxeter groups such as Weyl groups associated with Lie groups like GL_n, SL_n, SO_n, Sp_{2n}, and exceptional groups related to E_8, E_7, E_6, F_4, G_2, with generators reflecting reflections studied by Élie Cartan and Wilhelm Killing. The algebraic framework connects to work of Iwahori and Matsumoto, and it interacts with braid groups investigated by Emil Artin and Hans van der Waerden, while representation-theoretic aspects relate to Harish-Chandra modules, influenced by the research of Roger Howe and Stephen S. Gelbart. Coxeter groups like those of type A, B, D, and affine types underpin combinatorics tied to Richard Stanley, Gian-Carlo Rota, and Donald Knuth, and are utilized in calculations by Kazhdan and Lusztig and later by Victor Kac, James E. Humphreys, and Bertram Kostant.
Kazhdan–Lusztig Polynomials
Kazhdan–Lusztig polynomials were introduced by Kazhdan and Lusztig to encode representation-theoretic and geometric information, with computations drawing on algorithms influenced by John Conway, Donald Knuth, and Leslie Valiant, and further developed in work involving George Lusztig, Robert MacPherson, and Mark Goresky. These polynomials connect to singularity theory studied by René Thom and John Milnor, to the combinatorics of Young tableaux related to Alfred Young and Dominique Foata, and to symmetric function theory linked to Issai Schur, Richard Stanley, and Anatoly Vershik. Their properties have implications explored by James A. M. Vermaseren, Andrei Zelevinsky, Alexandre Kirillov, and Nolan Wallach, and computational implementations have been developed in collaboration with groups at Stanford University, University of California, Berkeley, and the Max Planck Institute.
Representations and Category O
Category O, introduced by Joseph Bernstein, Israel Gelfand, and Sergei Gelfand (BGG), interfaces with Kazhdan–Lusztig theory through character formulas and composition multiplicities, building on earlier representation theory from Élie Cartan, Hermann Weyl, and Harish-Chandra. The linkage to highest-weight modules, Verma modules, and tilting modules connects to work by James E. Humphreys, Jens Carsten Jantzen, Victor Kac, and Hanspeter Kraft, while applications extend to modular representation theory addressed by Friedrich Knop and Jens Andersen, to quantum groups developed by Vladimir Drinfeld and Michio Jimbo, and to affine Lie algebras studied by Igor Frenkel and James Lepowsky. Influential collaborators and commentators include David Vogan, Anthony Joseph, and George Lusztig, with institutional contributions from Columbia University, Rutgers University, and the University of Chicago.
Geometric Interpretation and Intersection Cohomology
The geometric interpretation of Kazhdan–Lusztig theory uses intersection cohomology developed by Goresky and MacPherson and perverse sheaves articulated by Beilinson, Bernstein, and Deligne, and relates to geometry of flag varieties studied by Élie Cartan, André Weil, and Armand Borel. Schubert varieties in flag manifolds of Lie groups like SL_n and Sp_{2n} provide the geometric setting, connecting to work of Hans Grauert, Friedrich Hirzebruch, and René Thom, and to Hodge theory pioneered by Phillip Griffiths and Pierre Deligne. Geometric representation theory perspectives arise in the Springer correspondence discovered by T. A. Springer, in work by Robert MacPherson, and in connections to geometric Langlands research tied to Edward Witten, Alexander Beilinson, and Vladimir Drinfeld, with further interactions involving Maxim Kontsevich, Michio Jimbo, and Yuri Manin.
Applications and Consequences
Kazhdan–Lusztig theory has far-reaching applications spanning geometric representation theory, combinatorics, and mathematical physics, influencing the Langlands program associated with Robert Langlands, number theory work by André Weil, and string-theoretic insights involving Edward Witten, Michael Green, and John Schwarz. It has impacted categorification efforts related to Mikhail Khovanov, to knot invariants studied by Vaughan Jones and Louis Kauffman, and to cluster algebras explored by Sergey Fomin and Andrei Zelevinsky, and has guided advancements in quantum topology associated with Edward Witten and Maxim Kontsevich. The theory continues to inform research programs at institutions such as the Clay Mathematics Institute, Institut des Hautes Études Scientifiques, and the American Mathematical Society, and inspires future work by contemporary mathematicians including Ben Webster, Catharina Stroppel, Geordie Williamson, and Roman Bezrukavnikov.