---
title: Kazhdan–Lusztig Basis in Hecke Algebras
url: https://www.emergentmind.com/topics/kazhdan-lusztig-basis-157aa1f0-cef0-488e-97f1-f8ec77e6ddce
type: topic
---

# Kazhdan–Lusztig Basis in Hecke Algebras

The Kazhdan–Lusztig basis is a distinguished, highly structured basis for (Iwahori–)Hecke algebras associated to Coxeter groups, with broad applications in representation theory, geometry, combinatorics, and algebraic topology. It is uniquely characterized by bar-invariance and a triangularity condition relative to the standard basis. The combinatorial, geometric, and categorical properties of the Kazhdan–Lusztig basis deeply connect it to the structure of cells, canonical bases of quantum groups, the geometry of Schubert varieties, and canonical filtrations in module categories.

## 1. Definition and Construction

Let $(W,S)$ be a Coxeter system with length function $\ell:W\to\mathbb{N}$. The (ungraded) Iwahori–Hecke algebra $\mathcal{H}_q(W)$ over $\mathbb{Z}[q,q^{-1}]$ has standard basis $\{T_w\mid w\in W\}$ and multiplication
\[
T_s T_w =
\begin{cases}
T_{sw}, & \ell(sw) = \ell(w) + 1, \\
(q-q^{-1})T_w + T_{sw}, & \ell(sw) = \ell(w) - 1,
\end{cases}
\]
with quadratic relations $(T_s-q)(T_s+q^{-1})=0$ for $s\in S$. The bar-involution sends $q\mapsto q^{-1}$ and $T_w\mapsto T_{w^{-1}}^{-1}$.

The Kazhdan–Lusztig basis $\{C_w | w\in W\}$ (in its standard normalization) is the unique $\mathbb{Z}[q,q^{-1}]$-basis characterized by:
- $\overline{C_w}=C_w$;
- $C_w \in T_w + \sum_{y<w} q \mathbb{Z}[q] T_y$ (triangularity with respect to the Bruhat order).

Expressing $C_w$ in the standard basis,
\[
C_w = T_w + \sum_{y<w} (-1)^{\ell(w)-\ell(y)} q^{(\ell(w)-\ell(y))/2} P_{y,w}(q) T_y,
\]
where $P_{y,w}(q)\in \mathbb{Z}[q]$ are the Kazhdan–Lusztig polynomials, with $P_{w,w}=1$, $\deg P_{y,w}(q)\le (\ell(w)-\ell(y)-1)/2$ for $y<w$ [1012.2195].

For Hecke algebras with unequal parameters, the construction and relation to the length function and weight function is adjusted accordingly, but the same triangularity and bar-invariance characterize the basis [1509.05991].

## 2. Fundamental Properties, Cells, and Structure Constants

The Kazhdan–Lusztig basis provides a tool for constructing important two-sided ideals and describing the cell structure in Hecke algebras:
- The preorders $\leq_L$, $\leq_R$, and $\leq_{LR}$ on $W$ are defined via the action of the $C_w$ on each other; the associated equivalence classes are the left, right, and two-sided (Kazhdan–Lusztig) cells.
- Cell modules, constructed as quotients of sums of $C_w$ over lower or equal cells, control the modular and representation-theoretic structure, and for the symmetric group, these can be described explicitly in terms of Young tableaux and the Robinson–Schensted–Knuth correspondence [2111.09510, 1012.2195].

Structure constants for multiplication,
\[
C_x C_y = \sum_{z} h_{x,y,z} C_z,
\]
are governed by the positivity and combinatorics of the Kazhdan–Lusztig polynomials. For type $A$, explicit cancellation-free combinatorial interpretations are possible in terms of certain path-counting models when reversal (parabolic) factorizations of basis elements exist [2605.21733].

## 3. Parabolic, Quasi-Parabolic, and Generalized Kazhdan–Lusztig Bases

Given a standard parabolic subgroup $W_J \subset W$, Deodhar defined a parabolic Kazhdan–Lusztig basis on the induced module $M^J = \text{Ind}_{H_J}^H \mathbf{1}$:
- Each $C^J_w$ ($w\in W^J$, minimal right coset representatives) is uniquely bar-invariant and triangular with respect to the standard basis of $M^J$.
- The relative polynomials $P^J_{y,w}(q)$ define the change of basis, generalizing the original construction to modules (and algebra quotients) indexed by parabolic data [1012.2195, 1608.06554].

In type $B$ and for more general reflection coset modules, quasi-parabolic KL bases are constructed using compatible bar-involutions, and fundamental inversion and triangularity properties are proved. The resulting quasi-parabolic KL polynomials satisfy inversion relations analogous to those in the classical setting [2108.00630].

## 4. Kazhdan–Lusztig Bases in Modules: Specht and Canonical Bases

In type $A$, the Kazhdan–Lusztig basis induces a canonical basis on Specht modules, indexed by standard Young tableaux [1012.2195]. The transition matrix between the Specht (polytabloid) basis and the Kazhdan–Lusztig basis is unitriangular with integer coefficients, and explicit formulas for the transition are derived from the parabolic Kazhdan–Lusztig theory [1912.03809]. More generally, the KL basis is upper triangular with respect to any generalized Gelfand–Tsetlin basis constructed from a multiplicity-free tower of parabolic subgroups [2411.04432].

Quantum Schur–Weyl duality provides a structural explanation for the correspondence of various canonical and projected bases in type $A$; the KL basis aligns with canonical bases of $V^{\otimes r}$ for $U_q(\mathfrak{gl}_n)$, with deep links to crystal, global, and canonical bases [1102.1453, 2108.00630].

## 5. Geometric and Categorical Interpretations

The geometry underlying the Kazhdan–Lusztig basis is rich. In the equivariant $K$-theory and oriented cohomology of flag varieties, the KL basis elements correspond to explicit characteristic classes, often identified with motivic Chern classes of intersection cohomology sheaves for Schubert varieties [2009.06595]. In equivariant oriented cohomology—especially for theories like the 2-parameter hyperbolic case—the (parabolic) KL–Schubert basis is the closest analogue of the classical Schubert basis. For Grassmannians, these classes coincide with those coming from Zelevinsky's small resolutions, leading to universality properties crucial for generalizing to elliptic cohomology [1608.06554, 2009.06595].

In the affine setting, notably for extended affine Hecke algebras, the KL basis captures tensor product multiplicities for the underlying reductive group. The multiplication by Weyl characters corresponds to translations on the KL basis elements, with combinatorial formulas for structure coefficients in terms of admissible subsets and Littelmann paths [1606.05542].

In the context of matroids, a canonical KL-type basis is constructed for $q$-deformed Möbius algebras, transferring and generalizing some positivity properties, though many classical features (cells, duality, noncommutativity) are absent [1412.7408].

## 6. Algorithmic and Optimization Aspects

Kazhdan–Lusztig basis elements are classically computed recursively, a process that becomes infeasible at large ranks due to storage requirements. An algorithm (Scott–Sprowl) exists for computing individual elements without computing auxiliary elements, achieving substantial memory savings and enabling previously intractable computations in high rank or affine type [1309.7265].

The Kazhdan–Lusztig basis has also been characterized as an optimal solution to a continuous quadratic maximization problem: among all bases of a Specht module unitriangular with respect to the polytabloid basis, and invariant under all $1+s$ for $s\in S$, the KL basis uniquely spans the maximal invariant cone in many cases (hooks, two-column shapes, certain small $n$), while Young's seminormal basis uniquely minimizes the quadratic form [2604.18894].

## 7. Decomposition Theorems, Lusztig's Conjectures, and Generalizations

Explicit decomposition theorems exist in certain small rank and affine cases, providing exact factorization formulas for KL basis elements over two-sided cells. In affine rank 2 (types $\widetilde{B}_2$ and $\widetilde{G}_2$), each two-sided cell admits a partition indexed by finite distinguished involutions, and basis elements factor as $C_{bdu}=E_b C_d F_u$ modulo lower cells [1509.05991]. These decompositions have direct implications for Lusztig’s conjectures (P1–P15) on cells, orthogonality, and leading coefficients.

In general, such decomposition and partition techniques, parabolic and strip cell theory, and the Hodge theory of Soergel bimodules are expected to extend the reach of the KL basis, cell theory, and their positivity and universality properties to broader settings—though substantial combinatorial and representation-theoretic challenges remain [1509.05991, 2009.06595].

Source: https://www.emergentmind.com/topics/kazhdan-lusztig-basis-157aa1f0-cef0-488e-97f1-f8ec77e6ddce