We consider an infinite quiver $Q(\mathfrak{g})$ and a family of periodic quivers $Q_m(\mathfrak{g})$ for a finite dimensional simple Lie algebra $\mathfrak{g}$ and $m \in \mathbb{Z}_{>1}$. The quiver $Q(\mathfrak{g})$ is essentially same as what introduced by Hernandez and Leclerc for the quantum affine algebra. We construct the Weyl group $W(\mathfrak{g})$ as a subgroup of the cluster modular group for $Q_m(\mathfrak{g})$, in a similar way as what studied by the author, Ishibashi and Oya, and study its applications to the $q$-characters of quantum non-twisted affine algebras $U_q(\hat{\mathfrak{g}})$ introduced by Frenkel and Reshetikhin, and to the lattice $\mathfrak{g}$-Toda field theory. In particular, when $q$ is a root of unity, we prove that the $q$-character is invariant under the Weyl group action. We also show that the $A$-variables for $Q(\mathfrak{g})$ correspond to the $τ$-function for the lattice $\mathfrak{g}$-Toda field equation.
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.
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.
The Drinfled realization of quantum affine algebras has been tremendously useful since its discovery. Combining techniques of Beck and Nakajima with our previous approach, we give a complete and conceptual proof of the Drinfeld realization for the twisted quantum affine algebras using Lusztig's twisted braid group action.
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 …
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.
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.
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.
In this paper we construct two free field realizations of the elliptic affine Lie algebra sl(2,R) + Ω_R/dR, where R=C[t,t^{-1},u|u^2=t^3 - 2b t^2 + t]. The first realization gives an analogue of Wakimoto's construction for Affine Kac-Moody algebras, but in the setting of the elliptic affine Lie algebra. The second realization gives new type of representations analogous to Imaginary Verma modules in the Affine setting.
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 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 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.
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.
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.
For a Dynkin quiver $Q$ of type ADE and a sum $β$ of simple roots, we construct a bimodule over the quantum loop algebra and the quiver Hecke algebra of the corresponding type via equivariant K-theory, imitating Ginzburg-Reshetikhin-Vasserot's geometric realization of the quantum affine Schur-Weyl duality. Our construction is based on Hernandez-Leclerc's isomorphism between a certain graded quiver variety and the space of representations of the quiver $Q$ of dimension vector $β$. We identify the functor induced from our bimodule with Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl d…
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.
We introduce the notion of standard multipartitions and establish a one-to-one correspondence between standard multipartitions and irreducible representations with integral weights for the affine Hecke algebra of type A with a parameter q which is not a root of unity. We then extend the correspondence to all Kleshchev multipartitions for Ariki-Koike algebras of integral type. By the affine Schur--Weyl duality, we further extend this to a correspondence between standard multipartitions and Drinfeld multipolynomials of integral type whose associated irreducible polynomial representations complet…
For a Dynkin quiver $Q$ (of type ADE), we consider a central completion of the convolution algebra of the equivariant K-group of a certain Steinberg type graded quiver variety. We observe that it is affine quasi-hereditary and prove that its category of finite-dimensional modules is identified with a block of Hernandez-Leclerc's monoidal category $\mathcal{C}_Q$ of modules over the quantum loop algebra $U_q(L\mathfrak{g})$ via Nakajima's homomorphism. As an application, we show that Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl duality functor gives an equivalence between the cate…
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.
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.
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.
The quiver Hecke algebra $R$ can be also understood as a generalization of the affine Hecke algebra of type $A$ in the context of the quantum affine Schur-Weyl duality by the results of Kang, Kashiwara and Kim. On the other hand, it is well-known that the Auslander-Reiten(AR) quivers $Γ_Q$ of finite simply-laced types have a deep relation with the positive roots systems of the corresponding types. In this paper, we present explicit combinatorial descriptions for the AR-quivers $Γ_Q$ of finite type $A$. Using the combinatorial descriptions, we can investigate relations between finite dimensiona…
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.
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 …
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.
For any finite-dimensional complex semisimple Lie algebra two ellipsoids (primary and secondary) are considered. The equations of these ellipsoids are Diophantine equations and the Weyl group acts on the sets of all their Diophantine solutions. This provides two realizations (primary and secondary) of the Weyl group. The primary realization suggests an order on the Weyl group, which is useful for an exploration of the Bruhat order. The secondary realization is useful for finding for any element of the Weyl group all of its reduced expressions, which implies another realization of the Bruhat or…
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.
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…
We give a simplified description of quantum affine algebras in their loop presentation. This description is related to Drinfeld's new realization via halves of vertex operators. We also define an idempotent version of the quantum affine algebra which is suitable for categorification.
We first provide an explicit combinatorial description of the Auslander-Reiten quiver $Γ^Q$ of finite type $D$. Then we can investigate the categories of finite dimensional representations over the quantum affine algebra $U_q'(D^{(i)}_{n+1})$ $(i=1,2)$ and the quiver Hecke algebra $R_{D_{n+1}}$ associated to $D_{n+1}$ $(n \ge 3)$, by using the combinatorial description and the generalized quantum affine Schur-Weyl duality functor. As applications, we can prove that Dorey's rule holds for the category $\Rep(R_{D_{n+1}})$ and prove an interesting difference between multiplicity free positive roo…
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.
The Saito determinant for extended affine Weyl discriminant strata
University of Sheffield（谢菲尔德大学）；CNRS, DR 13, Montpellier（法国国家科学研究中心，DR 13，蒙彼利埃）；Università di Milano-Bicocca（米兰比可卡大学）；INFN sezione di Milano-Bicocca（意大利国家核物理研究所米兰比可卡分部）
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.
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.
In this paper we study the family of prime irreducible representations of quantum affine $\lie{sl}_{n+1}$ which arise from the work of D. Hernandez and B. Leclerc. These representations can also be described as follows: the highest weight is a product of distinct fundamental weights with parameters determined by requiring that the representation be minimal by parts. We show that such representations admit a BGG-type resolution where the role of the Verma module is played by the local Weyl module. This leads to a closed formula (the Weyl character formula) for the character of the irreducible r…
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…
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.
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 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 finite Weyl group and $\widetilde W$ the corresponding affine Weyl group. A random element of $\widetilde W$ can be obtained as a reduced random walk on the alcoves of $\widetilde W$. By a theorem of Lam (Ann. Prob. 2015), such a walk almost surely approaches one of $|W|$ many directions. We compute these directions when $W$ is $B_n$, $C_n$ and $D_n$ and the random walk is weighted by Kac and dual Kac labels. This settles Lam's questions for types $B$ and $C$ in the affirmative and for type $D$ in the negative. The main tool is a combinatorial two row model for a totally asymmetri…
Let ${\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ be the double Ringel--Hall algebra of the cyclic quiver $\triangle(n)$ and let $\dot{\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ be the modified quantum affine algebra of ${\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$. We will construct an integral form $\dot{{\mathfrak D}_{\vartriangle}}(n)$ for $\dot{\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ such that the natural algebra homomorphism from $\dot{{\mathfrak D}_{\vartriangle}}(n)$ to the integral affine quantum Schur algebra is surjective. Furthermore, we will use Hall algebras to construct…
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.
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.
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$.
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.
