We deduce the Kazhdan-Lusztig conjecture on the multiplicities of simple modules over a simple complex Lie algebra in Verma modules in category O from the equivariant geometric Satake correspondence and the analysis of torus fixed points in zastava spaces. We make similar speculations for the affine Lie algebras and W-algebras.
We prove a tamely ramified version of the Kazhdan-Lusztig equivalence using factorization algebras. More precisely, we establish an equivalence between the DG category of Iwahori-integrable affine Lie algebra representations and the DG category of representations of the "mixed" quantum group. This confirms a conjecture by D. Gaitsgory in arXiv:1810.09054 [math.RT].
Let $G$ be a reductive group over a finite field with a maximal unipotent subgroup $U$, we consider certain sheaves on $G/U$ defined by Kazhdan and Laumon and show that their cohomology produces the cohomology of the Deligne-Lusztig varieties. We then use this comparison to give a new proof of a result of Dudas.
A Kazhdan-Lusztig atlas, introduced by He, Knutson and Lu, on a stratified variety (V,Y) is a way of modeling the stratification Y of V locally on the stratification of Kazhdan-Lusztig varieties X^w_o \cap X_v by their intersection with opposite Schubert varieties X_u. We are interested in classifying smooth toric surfaces with Kazhdan-Lusztig atlases. This involves finding a degeneration of V to a union of Richardson varieties in the flag variety H/B_H of some Kac-Moody group H. We determine which toric surfaces have a chance at having a Kazhdan-Lusztig atlas by looking at their moment polyto…
Motivated by studying the Unitary Dual Problem, a variation of Kazhdan-Lusztig polynomials was defined in [Yee08] which encodes signature information at each level of the Jantzen filtration. These so called signed Kazhdan-Lusztig polynomials may be used to compute the signatures of invariant Hermitian forms on irreducible highest weight modules. The key result of this paper is a simple relationship between signed Kazhdan-Lusztig polynomials and classical Kazhdan-Lusztig polynomials: signed Kahzdan-Lusztig polynomials are shown to equal classical Kazhdan-Lusztig polynomials evaluated at $-q$ ra…
Motivated by the concepts of the inverse Kazhdan-Lusztig polynomial and the equivariant Kazhdan-Lusztig polynomial, Proudfoot defined the equivariant inverse Kazhdan-Lusztig polynomial for a matroid. In this paper, we show that the equivariant inverse Kazhdan-Lusztig polynomial of a matroid is very useful for determining its equivariant Kazhdan-Lusztig polynomials, and we determine the equivariant inverse Kazhdan-Lusztig polynomials for Boolean matroids and uniform matroids. As an application, we give a new proof of Gedeon, Proudfoot and Young's formula for the equivariant Kazhdan-Lusztig poly…
In this paper, we prove a decomposition formula for the Kazhdan-Lusztig basis of affine Hecke algebras of rank 2 with positive weight function. Then we discuss some applications of this kind of decomposition to Lusztig's conjectures P1-P15.
The purpose of this work is to provide a common combinatorial framework for some of the analogues and generalizations of Kazhdan-Lusztig R-polynomials that have appeared since the introduction of these remarkable polynomials (e.g., parabolic Kazhdan-Lusztig R-polynomials, Kazhdan-Lusztig R-polynomials of zircons, and Kazhdan-Lusztig-Vogan polynomials for fixed point free involutions).
We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology, we show that if the Schubert variety is smooth, then the class it determines coincides with the class of the Kazhdan-Lusztig basis; this was known as the Smoothness Conjecture. For Grassmannians, we p…
A positive level Kazhdan-Lusztig functor is defined using Arkhipov-Gaitsgory duality for affine Lie algebras. The functor sends objects in the DG category of G(O)-equivariant positive level affine Lie algebra modules to objects in the DG category of modules over Lusztig's quantum group at a root of unity. We prove that the semi-infinite cohomology functor for positive level modules factors through the Kazhdan-Lusztig functor at positive level and the quantum group cohomology functor with respect to the positive part of Lusztig's quantum group.
We provide a short proof on the change-of-basis coefficients from the Specht basis to the Kazhdan-Lusztig basis, using Kazhdan-Lusztig theory for parabolic Hecke algebra.
We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always non-negative, and we prove this conjecture for representable matroids by interpreting our polynomials as intersection cohomology Poincare polynomials. We also introduce a q-deformation of the Mobius algebra of M, and use our polynomials to define a special basis for this deformation, analogous to the canonical basis of the Hecke algebra. We conjecture that t…
We give an informal introduction to the authors' work on some conjectures of Kazhdan and Lusztig, building on work of Soergel and de Cataldo-Migliorini. This article is an expanded version of a lecture given by the second author at the Arbeitstagung in memory of Friedrich Hirzebruch.
In the last section of the paper "Generalized induction of Kazhdan-Lusztig cells" and in "Kazhdan-Lusztig cells in affine Weyl groups of rank 2" the author described the partition into Kazhdan-Lusztig cells of the affine Weyl groups of rank 2 for all choices of parameters. The proof of these results relies on some explicit computations with GAP. In these notes we give some details of these computations.
Irreducibility results for parabolic induction of representations of the general linear group over a local non-archimedean field can be formulated in terms of Kazhdan--Lusztig polynomials of type $A$. Spurred by these results and some computer calculations, we conjecture that certain alternating sums of Kazhdan--Lusztig polynomials known as parabolic Kazhdan--Lusztig polynomials satisfy properties analogous to those of the ordinary ones.
In this paper we prove the Kazhdan-Lusztig type character formula for irreducible highest weight modules with positive rational highest weights over symmetrizable Kac-Moody Lie algebras.
Let $H$ be the Iwahori--Hecke algebra associated with $S_n$, the symmetric group on $n$ symbols. This algebra has two important bases: the Kazhdan--Lusztig basis and the Murphy basis. While the former admits a deep geometric interpretation, the latter leads to a purely combinatorial construction of the representations of $H$, including the Dipper--James theory of Specht modules. In this paper, we establish a precise connection between the two bases, allowing us to give, for the first time, purely algebraic proofs for a number of fundamental properties of the Kazhdan--Lusztig basis and Lusztig'…
We shall give a description of the intersection cohomology groups of the Schubert varieties in partial flag manifolds over symmetrizable Kac-Moody Lie algebras in terms of parabolic Kazhdan-Lusztig polynomials introduced by Deodhar.
Let $W$ be a finite Coxeter group. It is well-known that the number of involutions in $W$ is equal to the sum of the degrees of the irreducible characters of $W$. Following a suggestion of Lusztig, we show that this equality is compatible with the decomposition of $W$ into Kazhdan--Lusztig cells. The proof uses a generalisation of the Frobenius--Schur indicator to symmetric algebras, which may be of independent interest.
The Kazhdan-Lusztig parameters are important parameters in the representation theory of $p$-adic groups and affine Hecke algebras. We show that the Kazhdan-Lusztig parameters have a definite geometric structure, namely that of the extended quotient $T//W$ of a complex torus $T$ by a finite Weyl group $W$. More generally, we show that the corresponding parameters, in the principal series of a reductive $p$-adic group with connected centre, admit such a geometric structure. This confirms, in a special case, our recently formulated geometric conjecture. In the course of this study, we provide a u…
Let $(W,S,L)$ be a weighted Coxeter system and $J$ a subset of $S$, Yin [12] introduced the weighted $W$-graph ideal $E_J$ and the weighted Kazhdan-Lusztig polynomials $ \left \{ P_{x,y} \mid x,y\in E_J\right \}$. In this paper, we study the combinatorial formulas for $P_{x,y}$, which will extend the results of Brenti [2] and Deodhar [5].
We propose a combinatorial interpretation of the coefficient of $q$ in Kazhdan- Lusztig polynomials and we prove it for finite simply-laced Weyl groups.
We obtain explicit branching rules for graded cell modules and graded simple modules over the endomorphism algebra of a Bott-Samelson bimodule. These rules allow us to categorify a well-known recursive formula for Kazhdan-Lusztig polynomials.
In this paper, we study the Kazhdan--Lusztig cells of a Coxeter group $W$ in a ``relative'' setting, with respect to a parabolic subgroup $W_I \subseteq W$. This relies on a factorization of the Kazhdan--Lusztig basis $\{C_w\}$ of the corresponding (multi-parameter) Iwahori--Hecke algebra with respect to $W_I$. We obtain two applications to the ``asymptotic case'' in type $B_n$, as introduced by Bonnafé--Iancu: we show that $\{C_w\}$ is a ``cellular basis'' in the sense of Graham--Lehrer, and we construct an analogue of Lusztig's canonical isomorphism from the Iwahori--Hecke algebra to the gro…
A theorem of Kazhdan and Lusztig establishes an equivalence between the category of G(CO)-integrable representations of the Kac-Moody algebra \hat{g}_{-κ} at a negative level -κand the category \Rep_q(G) of (algebraic) representations of the "big" (a.k.a. Lusztig's) quantum group. In this paper we propose a conjecture that describes the category of Iwahori-integrable Kac-Moody modules. The corresponding object on the quantum group side, denoted Rep^{mxd}_q(G), involves Lusztig's version of the quantum group for the Borel and the De Concini-Kac version for the negative Borel.
Kazhdan and Lusztig define, for an arbitrary Coxeter system $(W,S)$, a family of polynomials indexed by pairs of elements of $W$. Despite their relevance and elementary definition, the explicit computation of these polynomials is still one of the hardest open problems in algebraic combinatorics. In this paper we explicitly compute Kazhdan-Lusztig polynomials for a Coxeter system of type $\tilde{B}_2$.
Admissible W-graphs were defined and combinatorially characterised by Stembridge in reference [12]. The theory of admissible W-graphs was motivated by the need to construct W-graphs for Kazhdan-Lusztig cells, which play an important role in the representation theory of Hecke algebras, without computing Kazhdan-Lusztig polynomials. In this paper, we shall show that type A-admissible W-cells are Kazhdan-Lusztig as conjectured by Stembridge in his original paper.
Computations in small Coxeter groups and infinite dihedral groups suggest that Kazhdan-Lusztig cells for unequal parameters obey to some "semicontinuity" phenomenon (as the parameter vary). The aim of this paper is to provide a rigorous theoretical background that allows to state some precise conjectures.
We prove that, for any choice of parameters, the Kazhdan-Lusztig cells of a Weyl group of type $B$ are unions of combinatorial cells (defined using the domino insertion algorithm).
We derive a formula for the entries of the (unitriangular) transition matrices between the standard monomial and dual canonical bases of the irreducible polynomial representations of U_q(gl_n) in terms of Kazhdan-Lusztig polynomials.
Perhaps the most important problem in representation theory in the 1970s and early 1980s was the determination of the multiplicity of composition factors in a Verma module. This problem was settled by the proof of the Kazhdan-Lusztig Conjecture which states that the multiplicities may be computed via Kazhdan-Lusztig polynomials. In this paper, we introduce signed Kazhdan-Lusztig polynomials, a variation of Kazhdan-Lusztig polynomials which encodes signature information in addition to composition factor multiplicities and Jantzen filtration level. Careful consideration of Gabber and Joseph's pr…
We study the equivariant oriented cohomology ring $h_T(G/P)$ of partial flag varieties using the moment map approach. We define the right Hecke action on this cohomology ring, and then prove that the respective Bott-Samelson classes in $h_{T}(G/P)$ can be obtained by applying this action to the fundamental class of the identity point, hence generalizing previously known results by Brion, Knutson, Peterson, Tymoczko and others. We then focus on the equivariant oriented cohomology theory corresponding to the 2-parameter Todd genus. We give a new interpretation of Deodhar's construction of the pa…
Using a characterization of a generalized $τ$-invariant for intermediate parameter Hecke algebras in type $B_n$, we verify a conjectural description of Kazhdan-Lusztig cells in this setting due to C. Bonnafé, L. Iancu, M. Geck, and T. Lam.
We explain a strategy for a proof of the positivity of all coefficients of Kazhdan-Lusztig-polynomials for arbitrary Coxeter groups by constructing spaces whose dimensions we conjecture to be these coefficients.
Lusztig proved that the Kazhdan-Lusztig basis of a spherical Hecke algebra can be essentially identified with the Weyl characters of the Langlands dual group. We generalize this result to the unequal parameter case. The new proof is pretty simple and quite different from Lusztig's.
Dipper, James and Murphy generalized the classical Specht module theory to Hecke algebras of type $B_n$. On the other hand, for any choice of a monomial order on the parameters in type $B_n$, we obtain corresponding Kazhdan--Lusztig cell modules. In this paper, we show that the Specht modules are naturally equivalent to the Kazhdan--Lusztig cell modules {\em if} we choose the dominance order on the parameters, as in the ``asymptotic case'' studied by Bonnafé and the second named author. We also give examples which show that such an equivalence does not hold for other choices of monomial orders…
We use Kazhdan-Lusztig bases of representations of the symmetric group to express Pfaffians with entries $(a_i-a_j) h_{i+j}$. In the case where the parameters $a_i$ are specialized to successive powers of $q$, and the $h_i$ are complete functions, we obtain the $q$-discriminant.
We refine an idea of Deodhar, whose goal is a counting formula for Kazhdan-Lusztig polynomials. This is a consequence of a simple observation that one can use the solution of Soergel's conjecture to make ambiguities involved in defining certain morphisms between Soergel bimodules in characteristic zero (double leaves) disappear.
We report on various results, conjectures, and open problems related to Kazhdan-Lusztig polynomials of matroids. We focus on conjectures about the roots of these polynomials, all of which appear here for the first time.
Motivated by a question on the graded rank of the stalks of the canonical sheaf on a Bruhat graph, we lift some equalities concerning (parabolic) Kazhdan-Lusztig polynomials to this moment graph setting. Our proofs hold also in positive characteristic, under some technical assumptions.
The famous Kazhdan-Lusztig Conjecture of the 1970s states that the multiplicity of an irreducible composition factor of a Verma module can be computed by evaluating Kazhdan-Lusztig polynomials at 1. Thus the character of a Verma module is a linear combination of characters of irreducible highest weight modules where the coefficients in the linear combination are Kazhdan-Lusztig polynomials evaluated at 1. Kazhdan-Lusztig showed that inverting and writing the character of an irreducible highest weight module as a linear combination of characters of Verma modules, the coefficients in the linear …
Following Lusztig, we consider a Coxeter group $W$ together with a weight function. Geck showed that the Kazhdan-Lusztig cells of $W$ are compatible with parabolic subgroups. In this paper, we generalize this argument to some subsets of $W$ which may not be parabolic subgroups. We obtain two applications: we show that under specific technical conditions on the parameters, the cells of a certain finite parabolic subgroup of $W$ are cells in the whole group, and we decompose the affine Weyl group $\tilde{G}_{2}$ into left and two-sided cells for a whole class of weight functions.
We give a lower bound for the value at q=1 of a Kazhdan-Lustig polynomial in a Weyl group W in terms of "patterns''. This is expressed by a "pattern map" from W to W' for any parabloic subgroup W'. This notion generalizes the concept of patterns and pattern avoidance for permutations to all Weyl groups. The main tool of the proof is a "hyperbolic localization" on intersection cohomology; see the related paper http://front.math.ucdavis.edu/math.AG/0202251
In 1979, Kazhdan and Lusztig developed a combinatorial theory associated with Coxeter groups. They defined in particular partitions of the group in left and two-sided cells. In 1983, Lusztig generalized this theory to Hecke algebras of Coxeter groups with unequal parameters. We propose a definition of left cells and two-sided cells for complex reflection groups, based on ramification theory for Calogero-Moser spaces. These spaces have been defined via rational Cherednik algebras by Etingof and Ginzburg. We conjecture that these coincide with Kazhdan-Lusztig cells, for real reflection groups. C…
This paper studies the Kazhdan-Lusztig coefficients $μ(u,w)$ of the Kazhdan-Lusztig polynomials $P_{u,w}$ for the lowest cell ${c_{0}}$ of an affine Weyl group of type $\widetilde{G_{2}}$ and gives an estimation $μ(u,w)\leqslant 3$ for $u,w\in c_{0}$.
Immanants are functions on square matrices generalizing the determinant and permanent. Kazhdan-Lusztig immanants, which are indexed by permutations, involve $q=1$ specializations of Type A Kazhdan-Lusztig polynomials, and were defined in (Rhoades-Skandera, 2006). Using results of (Haiman, 1993) and (Stembridge, 1991), Rhoades and Skandera showed that Kazhdan-Lusztig immanants are nonnegative on matrices whose minors are nonnegative. We investigate which Kazhdan-Lusztig immanants are positive on $k$-positive matrices (matrices whose minors of size $k \times k$ and smaller are positive). We show…
We study a category of Whittaker modules over a complex semisimple Lie algebra by realizing it as a category of twisted D-modules on the associated flag variety using Beilinson-Bernstein localization. The main result of this paper is the development of a geometric algorithm for computing the composition multiplicities of standard Whittaker modules. This algorithm establishes that these multiplicities are determined by a collection of polynomials we refer to as Whittaker Kazhdan-Lusztig polynomials. In the case of trivial nilpotent character, this algorithm specializes to the usual algorithm fo…
According to Kazhdan-Lusztig and Ginzburg, the Hecke algebra of an affine Weyl group is identified with the equivariant $K$-group of Steinberg's triple variety. The $K$-group is equipped with a filtration indexed by closed $G$-stable subvarieties of the nilpotent variety, where $G$ is the corresponding reductive algebraic group over $\mathbb{C}$. In this paper we will show in the case of type $A$ that the filtration is compatible with the Kazhdan-Lusztig basis of the Hecke algebra.
Let C be a one- or two-sided Kazhdan--Lusztig cell in a Coxeter group (W,S), and let Reduced(C) denote the set of reduced expressions of all w in C, regarded as a language over the alphabet S. Casselman has conjectured that Reduced(C) is regular. In this paper we give a conjectural description of the cells when W is the group corresponding to a hyperbolic polygon, and show that our conjectures imply Casselman's.
We study equivalence classes relating to the Kazhdan-Lusztig mu(x,w) coefficients in order to help explain the scarcity of distinct values. Each class is conjectured to contain a "crosshatch" pair. We also compute the values attained by mu(x,w) for the permutation groups S_10 and S_11.
We show a precise formula, in the form of a monomial, for certain families of parabolic Kazhdan-Lusztig polynomials of the symmetric group. The proof stems from results of Lapid-Minguez on irreducibility of products in the Bernstein-Zelevinski ring. By quantizing those results into a statement on quantum groups and their canonical bases, we obtain identities of coefficients of certain transition matrices that relate Kazhdan-Lusztig polynomials to their parabolic analogues. This affirms some basic cases of conjectures raised recently by Lapid.