We prove the multiplicity one case of Lusztig's conjecture on the irreducible characters of reductive algebraic groups for all fields with characteristic above the Coxeter number.
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 …
We formulate a strong positivity conjecture on characters afforded by the Alvis-Curtis dual of the intersection cohomology of Deligne-Lusztig varieties. This conjecture provides a powerful tool to determine decomposition numbers of unipotent $\ell$-blocks of finite reductive groups.
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 relate a certain category of sheaves of k-vector spaces on a complex affine Schubert variety to modules over the k-Lie algebra (for ch k>0) or to modules over the small quantum group (for ch k=0) associated to the Langlands dual root datum. As an application we give a new proof of Lusztig's conjecture on quantum characters and on modular characters for almost all characteristics. Moreover, we relate the geometric and representation theoretic sides to sheaves on the underlying moment graph, which allows us to extend the known instances of Lusztig's modular conjecture in two directions: We gi…
In this paper, we prove a conjecture of Kottwitz and Rapoport on a union of (generalized) affine Deligne-Lusztig varieties $X(μ, b)_J$ for any tamely ramified group $G$ and its parahoric subgroup $P_J$. We show that $X(μ, b)_J \neq \emptyset$ if and only if the group-theoretic version of Mazur's inequality is satisfied. In the process, we obtain a generalization of Grothendieck's conjecture on the closure relation of $\s$-conjugacy classes of a twisted loop group.
In this paper, we look at the problem of determining the composition factors for the affine graded Hecke algebra via the computation of Kazhdan-Lusztig type polynomials. We review the algorithms of \cite{L1,L2}, and use them in particular to compute, at every real central character which admits tempered modules, the geometric parameterization, the Kazhdan-Lusztig polynomials, the composition series, and the Iwahori-Matsumoto involution for the representations with Iwahori fixed vectors of the split $p$-adic groups of type $G_2$ and $F_4$.
Let $Bun_G(X)$ be the moduli stack of $G$-torsors on a smooth projective curve $X$ for a reductive group $G$. We prove a conjecture made by Drinfeld-Wang and Gaitsgory on the Deligne-Lusztig duality for D-modules on $Bun_G(X)$. This conjecture relates Drinfeld-Gaitsgory's pseudo-identity functors to the enhanced Eisenstein series and geometric constant term functors on $DMod(Bun_G(X))$. We also prove a "second adjointness" result for these enhanced functors.
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.
We prove Lusztig's conjectures ${\bf P1}$-${\bf P15}$ for the affine Weyl group of type $\tilde{C}_2$ for all choices of positive weight function. Our approach to computing Lusztig's $\mathbf{a}$-function is based on the notion of a `balanced system of cell representations'. Once this system is established roughly half of the conjectures ${\bf P1}$-${\bf P15}$ follow. Next we establish an `asymptotic Plancherel Theorem' for type $\tilde{C}_2$, from which the remaining conjectures follow. Combined with existing results in the literature this completes the proof of Lusztig's conjectures for all …
In this paper, we prove Lusztig's conjecture for finite special linear groups, i.e., we show that characteristic functions of character sheaves coincide with almost characters up to scalar constants, under the condition that the characteristic of the base field is not too small. We determine those scalars explicitly. Our result gives a method of computing irreducible characters of these groups.
We prove a 1979 conjecture of Lusztig on the cohomology of semi-infinite Deligne--Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in this setting, the semi-infinite Deligne--Lusztig varieties are ind-schemes comprised of limits of certain finite-type schemes $X_h$. Boyarchenko's two conjectures are on the maximality of $X_h$ and on the behavior of the torus-eigenspaces of their cohomology. Both of these conjectures were known in full generality only for division algebras with Hasse invarian…
We introduce the Double leaves basis, a combinatorial basis for the Hom spaces between two Bott-Samelson-Soergel bimodules. As an application we give a combinatorial algorithm to find, for any given Weyl or affine Weyl group, the set of primes for which Soergel's conjecture hold. This conjecture for Weyl groups is equivalent to a part of Lusztig's conjecture and for affine Weyl groups implies (and is probably equivalent to) the full Lusztig conjecture. Following this double leaves approach G. Williamson found counterexamples to Lusztig's conjecture. The double leaves basis has found other spec…
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.
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.
The determination of scalars involved in Lusztig's conjecture for finite reductive groups $G(F_q)$ was achieved by Waldspurger in the case of symplectic groups or orthogonal groups, under the condition that $p,q$ are large enough. Here $p$ is the characteristic of the finite field $F_q$. In this paper, we determine the scalars in the case of symplectic groups with $p = 2$, by applying the theory of symmetric spaces over a finite field due to Kawanaka and Lusztig. We also obtain a partial result in the case of special orthogonal groups with $p = 2$.
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.
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].
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…
Let $(W, S)$ be a Coxeter system equipped with a fixed automorphism $\ast$ of order $\leq 2$ which preserves $S$. Lusztig (and with Vogan in some special cases) have shown that the space spanned by set of "twisted" involutions was naturally endowed with a module structure of the Hecke algebra of $(W, S)$. Lusztig has conjectured that this module is isomorphic to the right ideal of the Hecke algebra (with Hecke parameter $u^2$) associated to $(W,S)$ generated by the element $X_{\emptyset}:=\sum_{w^\ast=w}u^{-\ell(w)}T_w$. In this paper we prove this conjecture in the case when $\ast=\text{id}$ …
We prove that the Deligne-Lusztig varieties associated to elements of the Weyl group which are of minimal length in their twisted class are affine. Our proof differs from the proof of He and Orlik-Rapoport and it is inspired by the case of regular elements, which correspond to the varieties involved in Broué's conjectures.
Let $G$ be the Weil restriction of a general linear group. By extending the method of semi-modules developed by de Jong, Oort, Viehmann and Hamacher, we obtain a stratification of the affine Deligne-Lusztig varieties for $G$ (in the affine Grassmannian) attached to a minuscule coweight and a basic element. As an application, we verify a conjecture by Chen and Zhu on irreducible components of affine Deligne-Lusztig varieties for $G$.
The aim of this work is to prove a conjecture related to the Combinatorial Invariance Conjecture of Kazhdan-Lusztig polynomials, in the parabolic setting, for lower intervals in every arbitrary Coxeter group. This result improves and generalizes, among other results, the main results of [Advances in Math. {202} (2006), 555-601], [Trans. Amer. Math. Soc. {368} (2016), no. 7, 5247--5269].
We prove Lusztig's conjectures ${\bf P1}$--${\bf P15}$ for the affine Weyl group of type $\tilde{G}_2$ for all choices of parameters. Our approach to compute Lusztig's $\mathbf{a}$-function is based on the notion of a "balanced system of cell representations" for the Hecke algebra. We show that for arbitrary Coxeter type the existence of balanced system of cell representations is sufficient to compute the $\mathbf{a}$-function and we explicitly construct such a system in type $\tilde{G}_2$ for arbitrary parameters. We then investigate the connection between Kazhdan-Lusztig cells and the Planch…
We prove several conjectures about the cohomology of Deligne-Lusztig varieties: invariance under conjugation in the braid group, behaviour with respect to translation by the full twist, parity vanishing of the cohomology for the variety associated with the full twist. In the case of split groups of type $A$, and using previous results of the second author, this implies Broué-Michel's conjecture on the disjointness of the cohomology for the variety associated to any good regular element. That conjecture was inspired by Broué's abelian defect group conjecture and the specific form Broué conjectu…
A new algorithm allows us to calculate many new tilting characters for $SL_3$, $SP_4$, $G_2$, $SL_4$ and potentially many other groups. These calculations show that the Lusztig-Williamson Billiards Conjecture needs to be corrected. In this paper we present the new results calculated for $SL_3$ and a correction of the conjecture.
We show that Lusztig's conjecture on the irreducible characters of a reductive algebraic group over a field of positive characteristic is equivalent to the generic multiplicity conjecture, which gives a formula for the Jordan-H"older multiplicities of baby Verma modules over the corresponding Lie algebra. Then we give a short overview of a recent proof of the latter conjecture for almost all base fields via the theory of sheaves on moment graphs.
This paper is a following to math.RT/0410454. For a finite group of Lie type we study the endomorphisms, commuting with the group action, of a Deligne-Lusztig variety associated to a regular element of the Weyl group. We state some general conjectures, in particular that the endomorphism algebra induced on the cohomology is a cyclotomic Hecke algebra, and prove them in some cases. On the way we also prove results on centralizers in braid groups.
We formulate a general super duality conjecture on connections between parabolic categories O of modules over Lie superalgebras and Lie algebras of type A, based on a Fock space formalism of their Kazhdan-Lusztig theories which was initiated by Brundan. We show that the Brundan-Kazhdan-Lusztig (BKL) polynomials for Lie superalgebra gl(m|n) in our parabolic setup can be identified with the usual parabolic Kazhdan-Lusztig polynomials. We establish some special cases of the BKL conjecture on the parabolic category O of gl(m|n)-modules and additional results which support the BKL conjecture and su…
By extending the method of semi-modules developed by de Jong, Oort, Viehmann and Hamacher, we introduce a stratification for the affne Deligne-Lusztig variety (in the affne Grassmannian) attached to attached to a minuscule cocharacter and a basic element. As an application, we complete the proof of a conjecture on the irreducible components of affne Deligne-Lusztig varieties, due to Miaofen Chen and Xinwen Zhu.
Let $(W,S)$ be a Coxeter system, let $G$ be a finite solvable group of automorphisms of $(W,S)$ and let $φ$ be a weight function which is invariant under $G$. Let $φ_G$ denote the weight function on $W^G$ obtained by restriction from $φ$. The aim of this paper is to compare the ${\mathbf{a}}$-function, the set of Duflo involutions and the Kazhdan-Lusztig cells associated to $(W,φ)$ and to $(W^G,φ_G)$, provided that Lusztig's Conjectures hold.
Lusztig conjectured that the almost characters of a finite reductive group are up to a scalar the same as the characteristic functions of the rational character sheaves defined on the corresponding algebraic group. We propose in this paper to verify this conjecture for the uniform almost characters of the Suzuki and the Ree groups and to show that a conjecture of the same type holds for the disconnected case of type B_2. We then state a conjecture on the possible values of the uniform almost characters on unipotent elements in the disconnected case of type F_4.
In the framework of canonical and dual canonical bases of Fock spaces, Brundan in 2003 formulated a Kazhdan-Lusztig type conjecture for the characters of the irreducible and tilting modules in the BGG category for the general linear Lie superalgebra for the first time. In this paper, we prove Brundan's conjecture and its variants associated to all Borel subalgebras in full generality.
Let $(W,S)$ be any Coxeter system and let $w \mapsto w^*$ be an involution of $W$ which preserves the set of simple generators $S$. Lusztig and Vogan have shown that the corresponding set of twisted involutions (i.e., elements $w \in W$ with $w^{-1} = w^*$) naturally generates a module of the Hecke algebra of $(W,S)$ with two distinguished bases. The transition matrix between these bases defines a family of polynomials $P^σ_{y,w}$ which one can view as a "twisted" analogue of the much-studied family of Kazhdan-Lusztig polynomials of $(W,S)$. The polynomials $P^σ_{y,w}$ can have negative coeffi…
Let $(W,S)$ be a Coxeter system and let $w \mapsto w^*$ be an involution of $W$ which preserves the set of simple generators $S$. Lusztig and Vogan have recently shown that the set of twisted involutions (i.e., elements $w \in W$ with $w^{-1} = w^*$) naturally generates a module of the Hecke algebra of $(W,S)$ with two distinguished bases. The transition matrix between these bases defines a family of polynomials $P^σ_{y,w}$ which one can view as "twisted" analogues of the much-studied Kazhdan-Lusztig polynomials of $(W,S)$. The polynomials $P^σ_{y,w}$ can have negative coefficients, but displa…
Based on empirical evidence obtained using the {\sf CHEVIE} computer algebra system, we present a series of conjectures concerning the combinatorial description of the Kazhdan--Lusztig cells for type $B_n$ with unequal parameters. These conjectures form a far-reaching extension of the results of Bonnafé and Iancu obtained earlier in the so-called ``asymptotic case''. We give some partial results in support of our conjectures.
We study the projective objects in an exact category naturally associated to a Coxeter system. We discuss an analog of the Kazhdan-Lusztig conjecture and show how it follows from a "genericity" conjecture and how the latter follows from a "Hard Lefschetz" conjecture.
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 reformulate the De Concini -- Toledano Laredo conjecture about the monodromy of the Casimir connection in terms of a relation between Lusztig's symmetries of quantum group modules and the monodromy in the vanishing cycles of factorizable sheaves.
We prove Lusztig's conjectures P1-P15 for hyperbolic Coxeter groups of rank 3. Our proof enables us to give a description of the a-function and Kazhdan-Lusztig cells for these Coxeter groups.
We prove that the Deligne-Lusztig variety associated to minimal length elements in any $\d$-conjugacy class of the Weyl group is affine, which was conjectured by Orlik and Rapoport in \cite{OR}.
In the first part of the paper we defined and studied a binary operation on the set of irreducible components of Lusztig's nilpotent varieties of a quiver. For type $A$ we conjecture, following Geiss and Schröer, that this operation is compatible with taking the socle of parabolic induction of representations of general linear groups over a local non-archimedean field, at least when one of the irreducible components is rigid. We verify this conjecture in special cases.
We give a new proof of the "super Kazhdan-Lusztig conjecture" for the Lie super algebra $\mathfrak{gl}_{n|m}(\mathbb{C})$ as formulated originally by the first author. We also prove for the first time that any integral block of category O for $\mathfrak{gl}_{n|m}(\mathbb{C})$ (and also all of its parabolic analogs) possesses a graded version which is Koszul. Our approach depends crucially on an application of the uniqueness of tensor product categorifications established recently by the second two authors.
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.
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.
We initiate the study of affine Deligne-Lusztig varieties with arbitrarily deep level structure for general reductive groups over local fields. We prove that for GLn and its inner forms, Lusztig's semi-infinite Deligne-Lusztig construction is isomorphic to an affine Deligne-Lusztig variety at infinite level. We prove that their homology groups give geometric realizations of the local Langlands and Jacquet--Langlands correspondences in the setting that the Weil parameter is induced from a character of an unramified field extension. In particular, we resolve Lusztig's 1979 conjecture in this set…
We study the modular representations of finite groups of Lie type arising in the cohomology of certain quotients of Deligne-Lusztig varieties associated with Coxeter elements. These quotients are related to Gelfand-Graev representations and we present a conjecture on the Deligne-Lusztig restriction of Gelfand-Graev representations. We prove the conjecture for restriction to a Coxeter torus. We deduce a proof of Broué's conjecture on equivalences of derived categories arising from Deligne-Lusztig varieties, for a split group of type $A\_n$ and a Coxeter element. Our study is based on Lusztig's …
We revisit Haiman's conjecture on the relations between characters of Kazdhan-Lusztig basis elements of the Hecke algebra over the symmetric group. The conjecture asserts that, for purposes of character evaluation, any Kazhdan-Lusztig basis element is reducible to a sum of the simplest possible ones (those associated to so-called codominant permutations). When the basis element is associated to a smooth permutation, we are able to give a geometric proof of this conjecture. On the other hand, if the permutation is singular, we provide a counterexample.
The graded cellularity of Libedinsky Double Leaves, which form a basis for the endomorphism ring of the Bott_Samelson_Soergel bimodules, allows us to view the Kazhdan_Lusztig polynomials as graded decomposition numbers. Using this point of view, I provide in this paper a new proof of the monotonicity conjecture for the Kazhdan_Lusztig polynomials of any Coxeter system.
We prove a character formula for some closed fine Deligne-Lusztig varieties. We apply it to compute fixed points for fine Deligne-Lusztig varieties arising from the basic loci of Shimura varieties of Coxeter type. As an application, we prove an arithmetic intersection formula for certain diagonal cycles on unitary and GSpin Rapoport-Zink spaces arising from the arithmetic Gan-Gross-Prasad conjectures. In particular, we prove the arithmetic fundamental lemma in the minuscule case, without assumptions on the residual characteristic.