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.
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.
We prove a weak version of Lusztig's conjecture on explicit description of the asymptotic Hecke algebras (both finite and affine), and explain its relation to Lusztig's classification of character sheaves.
George Lusztig conjectured that asymptotic affine Hecke algebra of a simply connected group can be explicitly described in terms of convolution algebras. Main Theorem of this note (which is a continuation of RT/0010089) is a weak version of this Conjecture. This version is strong enough to reprove all previously known results (due to Nanhua Xi) in this direction, for example the case of type $\tilde A_n$, see QA/0010159.
Let w be an elliptic element of the Weyl group of a connected reductive group G. Let X be the set of pairs (g,B) where g is an element of G, B is a Borel subgroup of G and B,gBg^{-1} are in relative position w. Then G acts naturally on X. Assume that w has minimal length in its conjugacy class. We show that the set of G-orbits in X has a well defined structure of an affine algebraic variety V. When G is a classical group we show that this variety is an affine space modulo the action of a finite diagonalizable group. In this case we also construct some nontrivial automorphisms of X.
We show that various properties of unipotent elements in a reductive group over the complex numbers can be recovered purely in terms of the affine Weyl group of the dual group.
In this article, we explain the main philosophy of 2-representation theory and quantum affine Schur-Weyl duality. The Khovanov-Lauda-Rouquier algebras play a central role in both themes.
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$.
We study the minimal length elements in an integral conjugacy class of a classical extended affine Weyl group and we show that these elements are quite "special" in the sense of Geck and Pfeiffer \cite{GP93}. We also discuss some application on extended affine Hecke algebras and loop groups.
Distinguished involutions in the affine Weyl groups, defined by G. Lusztig, play an essential role in the Kazhdan-Lusztig combinatorics of these groups. A distinguished involution is called canonical if it is the shortest element in its double coset with respect to the finite Weyl group. Each two-sided cell in the affine Weyl group contains precisely one canonical distinguished involution. In this note we calculate the canonical distinguished involutions in the affine Weyl groups of rank <8. We also prove some partial results relating canonical distinguished involutions and Dynkin's diagrams o…
After establishing a geometric Schur-Weyl duality in a general setting, we recall this duality in type A in the finite and affine case. We extend the duality in the affine case to positive parts of the affine algebras. The positive parts have nice ideals coming from geometry, allowing duality for quotients. Some of the quotients of the positive affine Hecke algebra are then identified to some cyclotomic Hecke algebras and the geometric setting allows the construction of canonical bases.
We generalize I. Frenkel's orbital theory for non twisted affine Lie algebras to the case of twisted affine Lie algebras using a character formula for certain non-connected compact Lie groups.
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.
The tables of this title are a first attempt to understand empirically the sizes of certain distinguished sets, introduced by Hankyung Ko, of elements in affine Weyl groups. The sizes are relevant to the computational efficiency of direct approaches to computing characters of modular representations of algebraic groups from characters of corresponding irreducible representations of quantum groups.
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.
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 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.
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.
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.
Extended affine Weyl groups are the Weyl groups of extended affine root systems. Finite presentations for extended affine Weyl groups are known only for nullities $\leq 2$, where for nullity 2 there is only one known such presentation. We give a finite presentation for the class of simply laced extended affine Weyl groups. Our presentation is nullity free if rank $>1$ and for rank 1 it is given for nullities $\leq 3$. The generators and relations are given uniformly for all types, and for a given nullity they can be read from the corresponding finite Cartan matrix and the semilattice involved …
Fundamental elements are certain special elements of affine Weyl groups introduced by Gortz, Haines, Kottwitz and Reuman. They play an important role in the study of affine Deligne-Lusztig varieties. In this paper, we obtain characterizations of the fundamental elements and their natural generalizations. We also derive an inverse to a version of "Newton-Hodge decomposition" in affine flag varieties. As an application, we obtain a group-theoretic generalization of Oort's results on minimal p-divisible groups, and we show that, in certain good reduction reduction of PEL Shimura datum, each Newt…
In this paper we construct an equivariant Poincaré duality between dual tori equipped with finite group actions. We use this to demonstrate that Langlands duality induces a rational isomorphism between the group $C^*$-algebras of extended affine Weyl groups at the level of $K$-theory.
The Demazure product gives a natural monoid structure on any Coxeter group. Such structure occurs naturally in many different areas in Lie Theory. This paper studies the Demazure product of an extended affine Weyl group $\tilde W$. The main discovery is a close connection between the Demazure product of an extended affine Weyl group and the quantum Bruhat graph of the finite Weyl group. As applications, we obtain explicit formulas on the generic Newton points and the Demazure products of elements in the lowest two-sided cell/shrunken Weyl chambers of $\tilde W$, and obtain an explicit formula …
We construct a family of homomorphisms between Weyl modules for affine Lie algebras in characteristic p, which supports our conjecture on the strong linkage principle in this context. We also exhibit a large class of reducible Weyl modules beyond level one, for p not necessarily small.
We propose a generalization of Springer representations to the context of groups over a global function field. The global counterpart of the Grothendieck simultaneous resolution is the parabolic Hitchin fibration. We construct an action of the affine Weyl group on the direct image complex of the parabolic Hitchin fibration. In particular, we get representations of the affine Weyl group on the cohomology of parabolic Hitchin fibers, providing the first step towards a global Springer theory.
In this paper we determine the partition into Kazhdan-Lusztig cells of the affine Weyl groups of type $\tB_{2}$ and $\tG_{2}$ for any choice of parameters. Using these partitions we show that the semicontinuity conjecture of Bonnafé holds for these groups.
From a certain induced representation $\mathcal{P}_\ell$ of a double affine Weyl group, we construct a ring $\mathcal{F}_\ell$ that is isomorphic to the fusion ring, or Verlinde algebra, associated to affine Lie algebras at fixed positive integer level for both twisted and untwisted type. The induced representation, which also has a natural commutative associative algebra structure and is modular invariant with respect to certain congruence subgroups, contains $\mathcal{F}_\ell$ as an ideal and we show how it naturally inherits the modular invariance property from $\mathcal{P}_\ell.$ This cons…
Let g=g_0+ g_1 be a simple Z_2-graded Lie algebra and let b_0 be a fixed Borel subalgebra of g_0. We describe and enumerate the abelian b_0-stable subalgebras of g_1.
Let $W_a$ be an affine Weyl group and $η:W_a\longrightarrow W_0$ be the natural projection to the corresponding finite Weyl group. We say that $w\in W_a$ has finite Coxeter part if $η(w)$ is conjugate to a Coxeter element of $W_0$. The elements with finite Coxeter part is a union of conjugacy classes of $W_a$. We show that for each conjugacy class $\mathcal{O}$ of $W_a$ with finite Coxeter part there exits a unique maximal proper parabolic subgroup $W_J$ of $W_a$, such that the set of minimal length elements in $\mathcal{O}$ is exactly the set of Coxeter elements in $W_J$. Similar results hold…
We prove the Weyl denominator identity for the affine Lie superalgebra gl(2|2)^ conjectured by V. Kac and M. Wakimoto. As it was pointed out in their paper, this gives another proof of Jacobi identity for the number of presentations of a given integer as a sum of eight squares.
In this paper we show that the leading coefficient $μ(y,w)$ of some Kazhdan-Lusztig polynomials $P_{y,w}$ with $y,w$ in an affine Weyl group of type $\tilde A_n $ is $n+2$. This fact has some consequences on the dimension of first extension groups of finite groups of Lie type with irreducible coefficients.
The notion of a Weyl module, previously defined for the untwisted affine algebras, is extended here to the twisted affine algebras. We describe an identification of the Weyl modules for the twisted affine algebras with suitably chosen Weyl modules for the untwisted affine algebras. This identification allows us to use known results in the untwisted case to compute the dimensions and characters of the Weyl modules for the twisted algebras.
In this paper, we establish a bijection between the infinite reduced words of an affine Weyl group and certain biclosed sets of its positive system and determine all finitely generated biclosed sets in the positive system of an affine Weyl group. Using these results, we show first that the biclosed sets in the standard positive system of rank 3 affine Weyl groups when ordered by inclusion form a complete algebraic ortholattice and secondly that the (generalized) braid graphs of those Coxeter groups are connected, which can be thought of as an infinite version of Tit's solution to the word prob…
Weyl denominator identity for the affinization of a basic Lie superalgebra with a non-zero Killing form was formulated by Kac and Wakimoto and was proven by them in defect one case. In this paper we prove this identity.
We show that the Garnier system in n-variables has affine Weyl group symmetry of type $B^{(1)}_{n+3}$. We also formulate the $τ$ functions for the Garnier system (or the Schlesinger system of rank 2) on the root lattice $Q(C_{n+3})$ and show that they satisfy Toda equations, Hirota-Miwa equations and bilinear differential equations.
An explicit form of the Lax pair for the q-difference Painleve equation with affine Weyl group symmetry of type E^{(1)}_8 is obtained. Its degeneration to E^{(1)}_7, E^{(1)}_6 and D^{(1)}_5 cases are also given.
For an infinite Coxeter system, one can extend the weak right order to the set of infinite reduced words. This is called limit weak order. In [Transformation Groups 18(1), 2013, 179-231], Lam and Pylyavskyy showed that for affine Weyl groups of type $\widetilde{A}_n$ minimal infinite reduced words under the limit weak order are precisely those infinite Coxeter elements and asked the question of characterization, in terms of infinite reduced words, of the minimal elements of the limit weak order for other affine types. In this paper, we answer this question by characterizing the minimal infinit…
In this paper, we investigate various properties of strong and weak twisted Bruhat orders on a Coxeter group. In particular, we prove that any twisted strong Bruhat order on an affine Weyl group is locally finite, strengthening a result of Dyer in J. Algebra, 163, 861--879 (1994). We also show that for a non-finite and non-cofinite biclosed set $B$ in the positive system of an affine root system with rank greater than 2, the set of elements having a fixed $B$-twisted length is infinite. This implies that the twisted strong and weak Bruhat orders have an infinite antichain in those cases. Final…
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 prove that there is a natural grading-preserving isomorphism of $\sl$-modules between the basic module of the affine Lie algebra $\widehat\sl$ (with the homogeneous grading) and a Schur--Weyl module of the infinite symmetric group $\sinf$ with a grading defined through the combinatorial notion of the major index of a Young tableau, and study the properties of this isomorphism. The results reveal new and deep interrelations between the representation theory of $\widehat\sl$ and the Virasoro algebra on the one hand, and the representation theory of $\sinf$ and the related combinatorics on the…
We investigate the structure of the double Ringel-Hall algebras associated with cyclic quivers and its connections with quantum loop algebras of $\mathfrak{gl}_n$, affine quantum Schur algebras and affine Hecke algebras. This includes their Drinfeld-Jimbo type presentation, affine quantum Schur-Weyl reciprocity, representations of affine quantum Schur algebras, and connections with various existing works by Lusztig, Varagnolo-Vasserot, Schiffmann, Hubery, Chari-Pressley, Frenkel-Mukhin, etc. We will also discuss conjectures on a realization of Beilinson-Lusztig-MacPherson type and Lusztig type…
We establish the existence of Demazure flags for graded local Weyl modules for hyper current algebras in positive characteristic. If the underlying simple Lie algebra is simply laced, the flag has length one, i.e., the graded local Weyl modules are isomorphic to Demazure modules. This extends to the positive characteristic setting results of Fourier-Littelmann and Naoi for current algebras in characteristic zero. Using this result, we prove that the character of local Weyl modules for hyper loop algebras depend only on the highest weight, but not on the (algebraically closed) ground field, and…
Let G be a reductive group; in this note we give an interpretation of the dynamical Weyl group of of the Langlands dual group $\check{G}$ defined by Etingof and Varchenko in terms of the geometry of the affine Grassmannian Gr of G. In this interpretation the dynamical parameters of Etingof and Varchenko correspond to equivariant parameters with respect to certain natural torus acting on Gr. We also present a conjectural generalization of our results to the case of affine Kac-Moody groups.
Let an affine Weyl group $\hat W$ act as a group of affine transformations on a real vector space V. We analyze the $\hat W$-orbit of a regular element in V and deduce applications to Kostant's formula for powers of the Euler product and to the representations of $\hat W$ as permutations of the integers.
This paper is motivated by several combinatorial actions of the affine Weyl group of type $C_n$. Addressing a question of David Vogan, it was shown in an earlier paper that these permutation representations are essentialy multiplicity-free~\cite{arXiv:2009.13880}. However, the Gelfand trick, which was indispensable in~\cite{arXiv:2009.13880} to prove this property for types $C_n$ and $B_n$, is not applicable for other classical types. Here we present a unified approach to fully answer the analogous question for all irreducible affine Weyl groups. Given a finite Weyl group $W$ with maximal para…
We consider ad-nilpotent ideals of a Borel subalgebra of a simple Lie algebra. The goal of this paper is two-fold. First, we study the ad-nilpotent ideals lying inside the Heisenberg ideal. The Heisenberg ideal is the nilpotent radical of the centralizer of the highest root vector. Second, we study the ideals having the property that the corresponding domain of the Shi arrangement consists of a single alcove. Such ideals (and the corresponding elements of the affine Weyl group) are called minimax.
We present an independent short proof of the main result of arXiv:0706.3725 that the algebra of endomorphisms of a Weyl module of critical level is isomorphic to the algebra of functions on the space of monodromy-free opers on the disc with regular singularity and residue determined by the highest weight of the Weyl module. We derive this from the results of arXiv:0712.1183 about the shift of argument subalgebras.
In this paper we consider the Baum-Connes correspondence for the affine and extended affine Weyl groups of a compact connected semisimple Lie group. We show that the Baum-Connes correspondence in this context arises from Langlands duality for the Lie group.
Let W be a Coxeter group and L be a weight function on W. Following Lusztig, we have a corresponding decomposition of W into left cells, which have important applications in representation theory. We study the case where $W$ is an affine Weyl group of type $\tilde{G_{2}}$. Using explicit computation with \textsf{CHEVIE}, we show that (1) there are only finitely many possible decompositions into left cells and (2) the number of left cells is finite in each case, thus confirming some of Lusztig's conjectures in this case. For the proof, we show some equalities on the Kazhdan-Lusztig polynomials …
Giving explicit examples we show that the $μ$-admissible set and the $μ$-permissible set do not agree for non-trivial minuscule coweights in the cases of $E_6$ and $E_7$.
