In the mathematical field of representation theory, a KazhdanâÂÂLusztig polynomial is a member of a family of integral polynomials introduced by . They are indexed by pairs of elements y, w of a Coxeter group W, which can in particular be the Weyl group of a Lie group.
In the spring of 1978 Kazhdan and Lusztig were studying Springer representations of the Weyl group of an algebraic group on -adic cohomology groups related to conjugacy classes which are unipotent. They found a new construction of these representations over the complex numbers . The representation had two natural bases, and the transition matrix between these two bases is essentially given by the KazhdanâÂÂLusztig polynomials. The actual KazhdanâÂÂLusztig construction of their polynomials is more elementary. Kazhdan and Lusztig used this to construct a canonical basis in the Hecke algebra of the Coxeter group and its representations.
In their first paper Kazhdan and Lusztig mentioned that their polynomials were related to the failure of local Poincaré duality for Schubert varieties. In they reinterpreted this in terms of the intersection cohomology of Mark Goresky and Robert MacPherson, and gave another definition of such a basis in terms of the dimensions of certain intersection cohomology groups.
The two bases for the Springer representation reminded Kazhdan and Lusztig of the two bases for the Grothendieck group of certain infinite dimensional representations of semisimple Lie algebras, given by Verma modules and simple modules. This analogy, and the work of Jens Carsten Jantzen and Anthony Joseph relating primitive ideals of enveloping algebras to representations of Weyl groups, led to the KazhdanâÂÂLusztig conjectures.
Fix a Coxeter group W with generating set S, and write for the length of an element w (the smallest length of an expression for w as a product of elements of S). The Hecke algebra of W has a basis of elements for over the ring , with multiplication defined by
The quadratic second relation implies that each generator is invertible in the Hecke algebra, with inverse . These inverses satisfy the relation (obtained by multiplying the quadratic relation for by <sup>âÂÂ2</sup>q<sup>âÂÂ1</sup>), and also the braid relations. From this it follows that the Hecke algebra has an automorphism D that sends q<sup>1/2</sup> to q<sup>âÂÂ1/2</sup> and each to . More generally one has ; also D can be seen to be an involution.
The KazhdanâÂÂLusztig polynomials P<sub>yw</sub>(q) are indexed by a pair of elements y, w of W, and uniquely determined by the following properties.
To establish existence of the KazhdanâÂÂLusztig polynomials, Kazhdan and Lusztig gave a simple recursive procedure for computing the polynomials P<sub>yw</sub>(q) in terms of more elementary polynomials denoted R<sub>yw</sub>(q). defined by
They can be computed using the recursion relations
The KazhdanâÂÂLusztig polynomials can then be computed recursively using the relation
using the fact that the two terms on the left are polynomials in q<sup>1/2</sup> and q<sup>âÂÂ1/2</sup> without constant terms. These formulas are tiresome to use by hand for rank greater than about 3, but are well adapted for computers, and the only limit on computing KazhdanâÂÂLusztig polynomials with them is that for large rank the number of such polynomials exceeds the storage capacity of computers.
The KazhdanâÂÂLusztig polynomials arise as transition coefficients between their canonical basis and the natural basis of the Hecke algebra. The Inventiones paper also put forth two equivalent conjectures, known now as KazhdanâÂÂLusztig conjectures, which related the values of their polynomials at 1 with representations of complex semisimple Lie groups and Lie algebras, addressing a long-standing problem in representation theory.
Let W be a finite Weyl group. For each w â W denote by be the Verma module of highest weight where àis the half-sum of positive roots (or Weyl vector), and let be its irreducible quotient, the simple highest weight module of highest weight . Both and are locally-finite weight modules over the complex semisimple Lie algebra g with the Weyl group W, and therefore admit an algebraic character. Let us write ch(X) for the character of a g-module X. The KazhdanâÂÂLusztig conjectures state:
where is the element of maximal length of the Weyl group.
These conjectures were proved over characteristic 0 algebraically closed fields independently by and by . The methods introduced in the course of the proof have guided development of representation theory throughout the 1980s and 1990s, under the name geometric representation theory.
1. The two conjectures are known to be equivalent. Moreover, BorhoâÂÂJantzen's translation principle implies that can be replaced by for any dominant integral weight . Thus, the KazhdanâÂÂLusztig conjectures describe the JordanâÂÂHölder multiplicities of Verma modules in any regular integral block of BernsteinâÂÂGelfandâÂÂGelfand category O.
2. A similar interpretation of all coefficients of KazhdanâÂÂLusztig polynomials follows from the Jantzen conjecture, which roughly says that individual coefficients of are multiplicities of in certain subquotient of the Verma module determined by a canonical filtration, the Jantzen filtration. The Jantzen conjecture in regular integral case was proved in a later paper of .
3. David Vogan showed as a consequence of the conjectures that
and that vanishes if is odd, so the dimensions of all such Ext groups in category O are determined in terms of coefficients of KazhdanâÂÂLusztig polynomials. This result demonstrates that all coefficients of the KazhdanâÂÂLusztig polynomials of a finite Weyl group are non-negative integers. However, positivity for the case of a finite Weyl group W was already known from the interpretation of coefficients of the KazhdanâÂÂLusztig polynomials as the dimensions of intersection cohomology groups, irrespective of the conjectures. Conversely, the relation between KazhdanâÂÂLusztig polynomials and the Ext groups theoretically can be used to prove the conjectures, although this approach to proving them turned out to be more difficult to carry out.
4. Some special cases of the KazhdanâÂÂLusztig conjectures are easy to verify. For example, M<sub>1</sub> is the antidominant Verma module, which is known to be simple. This means that M<sub>1</sub> = L<sub>1</sub>, establishing the second conjecture for w = 1, since the sum reduces to a single term. On the other hand, the first conjecture for w = w<sub>0</sub> follows from the Weyl character formula and the formula for the character of a Verma module, together with the fact that all KazhdanâÂÂLusztig polynomials are equal to 1.
5. Kashiwara (1990) proved a generalization of the KazhdanâÂÂLusztig conjectures to symmetrizable KacâÂÂMoody algebras.
6. Geordie Williamson of the University of Sydney, along with Marc Lackeby and András Juhász of the University of Oxford, have used artificial intelligence (specifically Google DeepMind) in the exploration of new conjectures in this field, particularly those pertaining to deep symmetry in higher dimensional algebra.
By the Bruhat decomposition the space G/B of the algebraic group G with Weyl group W is a disjoint union of affine spaces X<sub>w</sub> parameterized by elements w of W. The closures of these spaces are called Schubert varieties, and Kazhdan and Lusztig, following a suggestion of Deligne, showed how to express KazhdanâÂÂLusztig polynomials in terms of intersection cohomology groups of Schubert varieties.
More precisely, the KazhdanâÂÂLusztig polynomial P<sub>y,w</sub>(q) is equal to
where each term on the right means: take the complex IC of sheaves whose hyperhomology is the intersection homology of the Schubert variety of w (the closure of the cell ), take its cohomology of degree , and then take the dimension of the stalk of this sheaf at any point of the cell whose closure is the Schubert variety of y. The odd-dimensional cohomology groups do not appear in the sum because they are all zero.
This gave the first proof that all coefficients of KazhdanâÂÂLusztig polynomials for finite Weyl groups are non-negative integers.
LusztigâÂÂVogan polynomials (also called KazhdanâÂÂLusztig polynomials or KazhdanâÂÂLusztigâÂÂVogan polynomials) were introduced in . They are analogous to KazhdanâÂÂLusztig polynomials, but are tailored to representations of real semisimple Lie groups, and play major role in the conjectural description of their unitary duals. Their definition is more complicated, reflecting relative complexity of representations of real groups compared to complex groups.
The distinction, in the cases directly connection to representation theory, is explained on the level of double cosets; or in other terms of actions on analogues of complex flag manifolds G/B where G is a complex Lie group and B a Borel subgroup. The original (K-L) case is then about the details of decomposing
a classical theme of the Bruhat decomposition, and before that of Schubert cells in a Grassmannian. The L-V case takes a real form of G, a maximal compact subgroup in that semisimple group , and makes the complexification K of . Then the relevant object of study is
In March 2007, a collaborative project, the "Atlas of Lie groups and representations", announced that the LâÂÂV polynomials had been calculated for the split form of E<sub>8</sub>.
The second paper of Kazhdan and Lusztig established a geometric setting for definition of KazhdanâÂÂLusztig polynomials, namely, the geometry of singularities of Schubert varieties in the flag variety. Much of the later work of Lusztig explored analogues of KazhdanâÂÂLusztig polynomials in the context of other natural singular algebraic varieties arising in representation theory, in particular, closures of nilpotent orbits and quiver varieties. It turned out that the representation theory of quantum groups, modular Lie algebras and affine Hecke algebras are all tightly controlled by appropriate analogues of KazhdanâÂÂLusztig polynomials. They admit an elementary description, but the deeper properties of these polynomials necessary for representation theory follow from sophisticated techniques of modern algebraic geometry and homological algebra, such as the use of intersection cohomology, perverse sheaves and BeilinsonâÂÂBernsteinâÂÂDeligne decomposition.
The coefficients of the KazhdanâÂÂLusztig polynomials are conjectured to be the dimensions of some homomorphism spaces in Soergel's bimodule category. This is the only known positive interpretation of these coefficients for arbitrary Coxeter groups.
Combinatorial properties of KazhdanâÂÂLusztig polynomials and their generalizations are a topic of active current research. Given their significance in representation theory and algebraic geometry, attempts have been undertaken to develop the theory of KazhdanâÂÂLusztig polynomials in purely combinatorial fashion, relying to some extent on geometry, but without reference to intersection cohomology and other advanced techniques. This has led to exciting developments in algebraic combinatorics, such as pattern-avoidance phenomenon. Some references are given in the textbook of . A research monograph on the subject is .
Kobayashi (2013) proved that values of KazhdanâÂÂLusztig polynomials at for crystallographic Coxeter groups satisfy certain strict inequality: Let be a crystallographic Coxeter system and its KazhdanâÂÂLusztig polynomials. If and , then there exists a reflection such that .