We compute two-sided cells of Weyl groups of type $B$ for the "asymptotic" choice of parameters. We also obtain some partial results concerning Kazhdan-Lusztig conjectures in this particular case.
We compute the based rings of two-sided cells corresponding to the unipotent classes in $Sp_6(\mathbb C)$ with Jordan blocks (33), (411), (222) respectively. The results for the first two two-sided cells also verify Lusztig's conjecture on the structure of the based rings of two-sided cells of an affine Weyl group. The result for the last two-sided cell partially suggests a modification of Lusztig's conjecture on the structure of the based rings of two-sided cells of an affine Weyl group.
We compute the based rings of two-sided cells corresponding to the unipotent class in $Sp_6(\mathbb C)$ with Jordan blocks (2211). The results also verify Lusztig's conjecture on the structure of the based rings of the two-sided cells of an affine Weyl group.
Let G' be a connected reductive group over the complex numbers. We show that the set of conjugacy classes of G' is in natural bijection with the set of two-sided cells associated to a certain algebra.
We are interested in cell properties of translations in affine Weyl groups. We find out some translations in the second lowest two-sided cell of an affine Weyl group and use the translations to formulate a refinement of Jianyi Shi's conjecture on the number of left cells in the second lowest two-sided cell. We verify the refinement for an affine Weyl group of type $\tilde A_{n-1}$ and type $\tilde G_2$.
For type $\tilde B_3$ we show that Lusztig's conjecture on the structure of the based ring of two-sided cell corresponding to the unipotent class in $Sp_6(\mathbb C)$ with 3 equal Jordan blocks needs modified.
We classify the simple modules for the rational Cherednik algebra that are irreducible when restricted to W, in the case when W is a finite Weyl group. The classification turns out to be closely related to the cuspidal two-sided cells in the sense of Lusztig. We compute the Dirac cohomology of these modules and use the tools of Dirac theory to find nontrivial relations between the cuspidal Calogero-Moser cells and the cuspidal two-sided cells.
In this paper, we give precise description for the lowest lowest two-sided cell c_{0} and the left cells in it for a weighted Coxeter group of rank 3. Then we show conjectures P1-P15 and \widetilde{P} hold for c_{0} and do some calculation for the based ring of c_{0}.
We show that Lusztig's homomorphism from an affine Hecke algebra to the direct summand of its asymptotic Hecke algebra corresponding to the lowest two-sided cell is related to the homomorphism constructed by Chriss and Ginzburg using equivariant K-theory by a matrix over the representation ring of the associated algebraic group.
Bremke and Xi determined the lowest two-sided cell for affine Weyl groups with unequal parameters and showed that it consists of at most |W_{0}| left cells where W_{0} is the associated finite Weyl group. We prove that this bound is exact. Previously, this was known in the equal parameter case and when the parameters were coming from a graph automorphism. Our argument uniformly works for any choice of parameters.
We provide a combinatorial characterization of two-sided cells in modified $\imath$quantum groups of type AIII. Our approach is to lift a corresponding description of two-sided cells in $\jmath$-Schur algebras associated to Iwahori--Hecke algebras of type $B$. We further give a combinatorial description of two-sided cells in other two kinds of Schur-type algebras, namely $\imath$-Schur algebras and $\tilde{\imath}$-Schur algebras.
We conjecture that the "nilpotent points" of Calogero-Moser space for reflection groups are parametrised naturally by the two-sided cells of the group with unequal parameters. The nilpotent points correspond to blocks of restricted Cherednik algebras and we describe these blocks in the case G(m,1,n) and show that in type B our description produces an existing conjectural description of two-sided cells.
In this paper we show that the lowest two-sided ideal of an affine Hecke algebra is affine cellular for all choices of parameters. We explicitely describe the cellular basis and we show that the basis elements have a nice decomposition when expressed in the Kazhdan-Lusztig basis. In type $A$ we provide a combinatorial description of this decomposition in term of number of paths.
Using the representation theory of Cherednik algebras at $t=0$ and a Galois covering of the Calogero-Moser space, we define the notions of left, right and two-sided Calogero-Moser cells for any finite complex reflection group. To each Caloger-Moser two-sided cell is associated a Calogero-Moser family, while to each Calogero-Moser left cell is associated a Calogero-Moser cellular representation. We study properties of these objects and we conjecture that, whenever the reflection group is real (i.e. is a Coxeter group), these notions coincide with the one of Kazhdan-Lusztig left, right and two-s…
To a Coxeter system $(W,S)$ (with $S$ finite) and a weight function $L : W \to \NM$ is associated a partition of $W$ into Kazhdan-Lusztig (left, right or two-sided) $L$-cells. Let $S^\circ = \{s \in S | L(s)=0\}$, $S^+=\{s \in S | L(s) > 0\}$ and let $C$ be a Kazhdan-Lusztig (left, right or two-sided) $L$-cell. According to the semicontinuity conjecture of the first author, there should exist a positive natural number $m$ such that, for any weight function $L' : W \to \NM$ such that $L(s^+)=L'(s^+) > m L'(s^\circ)$ for all $s^+ \in S^+$ and $s^\circ \in S^\circ$, $C$ is a union of Kazhdan-Lusz…
In symmetric groups, a two-sided cell is the set of all permutations which are mapped by the Robinson-Schensted correspondence on a pair of tableaux of the same shape. In this article, we show that the set of permutations in a two-sided cell which have a minimal number of inversions is the set of permutations which have a maximal number of inversions in conjugated Young subgroups. We also give an interpretation of these sets with particular tableaux, called reading tableaux. As corollary, we give the set of elements in a two-sided cell which have a maximal number of inversions.
Let $\mathbf{c}_0$ be the lowest generalized two-sided cell of an extended affine Weyl group W. We determine the structure of the based ring of $\mathbf{c}_0$. For this we show that certain conjectures of Lusztig on generalized cells (called P1-P15) hold for $\mathbf{c}_0$. As an application, we use the structure of the based ring to study certain simple modules of Hecke algebras of $ W $ with unequal parameters, namely those attached to $\mathbf{c}_0$. Also we give a set of prime ideals $\mathfrak{p}$ of the center $\mathcal{Z}$ of the generic affine Hecke algebra $\mathcal{H}$ such that the …
We study Kazhdan-Lusztig cells and the corresponding representations of right-angled Coxeter groups and Hecke algebras associated to them. In case of the infinite groups generated by reflections in the hyperbolic plane about the sides of right-angled polygons we obtain an explicit description of the left and two-sided cells. In particular, we prove that there are infinitely many left cells but they all form only three two-sided cells.
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}$.
According to an old result of Schützenberger, the involutions in a given two-sided cell of the symmetric group $\SG_n$ are all conjugate. In this paper, we study possible generalisations of this property to other types of Coxeter groups. We show that Schützenberger's result is a special case of a general result on "smooth" two-sided cells. Furthermore, we consider Kottwitz' conjecture concerning the intersections of conjugacy classes of involutions with the left cells in a finite Coxeter group. Our methods lead to a proof of this conjecture for classical types; combined with previous work, thi…
For symmetric groups we show that the p-canonical basis can be extended to a cell datum for the Iwahori-Hecke algebra H and that the two-sided p-cell preorder coincides with the Kazhdan-Lusztig two-sided cell preorder. Moreover, we show that left (or right) p-cells inside the same two-sided p-cell for Hecke algebras of finite crystallographic Coxeter systems are incomparable (Property A).
We study Lusztig's theory of cells for quantum affine $\mathfrak{sl}_n$. Using the geometric construction of the quantum group due to Lusztig and Ginzburg--Vasserot, we describe explicitly the two-sided cells, the number of left cells in a two--sided cell, and the asymptotic algebra, verifying conjectures of Lusztig.
Using the representation theory of Cherednik algebras at t=0 and a Galois covering of the Calogero-Moser space, we define the notions of left, right and two-sided Calogero-Moser cells for any finite complex reflection group. To each Caloger-Moser two-sided cell is associated a Calogero-Moser family, while to each Calogero-Moser left cell is associated a Calogero-Moser cellular representation. We study properties of these objects and we conjecture that, whenever the reflection group is real (i.e. is a Coxeter group), these notions coincide with the one of Kazhdan-Lusztig left, right and two-sid…
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…
Using truncated convolution of perverse sheaves on a flag variety Lusztig associated a monoidal category to a two sided cell in the Weyl group. We identify this category in the case which was not decided previously.
Various partial orders related to the structures of dual canonical monoids are investigated. It is shown that the nilpotent variety of a dual canonical monoid is equidimensional; its dimension is found. It is shown in type A that certain intervals of the Putcha poset of a dual canonical monoid are isomorphic to the Renner monoids of matrices. The notion of a two-sided weak order on a normal reductive monoid is introduced. A criterion, in terms of type maps, for the covering relations in a two-sided weak order to have degree 2 is found. It is shown that, for the unique equivariant divisor of a …
From the combinatorial characterizations of the right, left, and two-sided Kazhdan-Lusztig cells of the symmetric group, 'RSK bases' are constructed for certain quotients by two-sided ideals of the group ring and the Hecke algebra. Applications to invariant theory, over various base rings, of the general linear group and representation theory of the symmetric group are discussed.
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.
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 classify a class of complex representations of an arbitrary Coxeter group via characters of the integral homology of certain graphs. Such representations can be viewed as a generalization of the geometric representation and correspond to the second-highest 2-sided cell in the sense of Kazhdan-Lusztig. We also give a description of the cell representation provided by this 2-sided cell, and find out all its simple quotients for simply laced Coxeter system with no more than one circuit in the Coxeter graph.
We define a map from the unipotent representations of a split semisimple group over a finite field to (essentially) the set of pairs of left cells representations of the Weyl group in the same two-sided cell. We use this map to parametrize the unipotent representations.
We associate a two-sided cell to any (parabolic) character sheaf. We study the interaction of the duality operator for character sheaves and the operation of "twisted induction".
In all finite Coxeter types but $I_2(12)$, $I_2(18)$ and $I_2(30)$, we classify simple transitive $2$-rep\-re\-sen\-ta\-ti\-ons for the quotient of the $2$-category of Soergel bimodules over the coinvariant algebra which is associated to the two-sided cell that is the closest one to the two-sided cell containing the identity element. It turns out that, in most of the cases, simple transitive $2$-representations are exhausted by cell $2$-representations. However, in Coxeter types $I_2(2k)$, where $k\geq 3$, there exist simple transitive $2$-representations which are not equivalent to cell $2$-r…
In his theory of unipotent characters of finite groups of Lie type, Lusztig constructed modular categories from two-sided cells in Weyl groups. Broué,Malle and Michel have extended parts of Lusztig's theory to complex reflection groups. This includes generalizations of the corresponding fusion algebras, although the presence of negative structure constants prevents them from arising from modular categories. We give here the first construction of braided pivotal monoidal categories associated with non-real reflection groups (later reinterpreted by Lacabanne as super modular categories). They ar…
An affine Hecke algebras can be realized as an equivariant K-group of the corresponding Steinberg variety. This gives rise naturally to some two-sided ideals of the affine Hecke algebra by means of the closures of nilpotent orbits of the corresponding Lie algebra. In this paper we will show that the two-sided ideals are in fact the two-sided ideals of the affine Hecke algebra defined through two-sided cells of the corresponding affine Weyl group after the two-sided ideals are tensored by rational numbers field. This proves a weak form of a conjecture of Ginzburg proposed in 1987.
Let G be a reductive connected group over an algebraic closure of a finite field. I define a tensor structure on the category of perverse sheaves on G which are direct sums of unipotent character sheaves in a fixed two-sided cell, in accordance with a conjecture I have made in 2004. I also show that that the resulting monoidal category is equivalent to the centre of a monoidal category which I defined in 1997 (a categorical version of the J-ring attached to the same two-sided cell), thus verifying a conjecture of Bezrukavnikov, Finkelberg, Ostrik. A possible interpretation of unipotent charact…
In 1979, Kazhdan and Lusztig introduced the notion of "cells" (left, right and two-sided) for a Coxeter group $W$, a concept with numerous applications in Lie theory and around. Here, we address algorithmic aspects of this theory for finite $W$ which are important in applications, e.g., run explicitly through all left cells, determine the values of Lusztig's $\ba$-function, identify the characters of left cell representations. The aim is to show how type $E_8$ (the largest group of exceptional type) can be handled systematically and efficiently, too. This allows us, for the first time, to solv…
Let W~ be an affine Weyl group, and let C be a left, right, or two-sided Kazhdan--Lusztig cell in W~. Let Reduced (C) be the set of all reduced expressions of elements of C, regarded as a formal language in the sense of the theory of computation. We show that Reduced (C) is a regular language. Hence the reduced expressions of the elements in any Kazhdan--Lusztig cell can be enumerated by a finite state automaton.
We consider an involution on the affine Weyl group of type $A$ induced from the nontrivial automorphism on the (finite) Dynkin diagram. We prove that the number of left cells fixed by this involution in each two-sided cell is given by a certain Green polynomial of type $A$ evaluated at -1.
We prove a conjecture by Lusztig, which describes the tensor categories of perverse sheaves on affine flag manifolds, with tensor structure provided by truncated convolution, in terms of the Langlands dual group. We also give a geometric (categorical) description of Lusztig's bijection between two-sided cells in an affine Weyl group, and unipotent conjugacy classes in the Langlands dual group. The main tool is the sheaf-theoretic construction of the center of the affine Hecke algebra due to Gaitsgory (based on ideas of Beilinson and Kottwitz), see math.AG/9912074.
Combinatorics of Kazhdan-Lusztig cells in affine type $A$ was originally developed by Lusztig, Shi, and Xi. Building on their work, Chmutov, Pylyavskyy, and Yudovina introduced the affine matrix-ball construction (abbreviated AMBC) which gives an analog of Robinson-Schensted correspondence for affine symmetric groups. An alternative approach to Kazhdan-Lusztig theory in affine type $A$ was developed by Blasiak in his work on catabolism. He introduced sign insertion algorithm and conjectured that if one fixes the two-sided cell, the recording tableau of sign insertion process determines uniquel…