We develop general results on centroids of Lie algebras and apply them to determine the centroid of extended affine Lie algebras, loop-like and Kac-Moody Lie algebras, and Lie algebras graded by finite root systems.
The loop algebra construction by Allison, Berman, Faulkner, and Pianzola, describes graded-central-simple algebras with split centroid in terms of central simple algebras graded by a quotient of the original grading group. Here the restriction on the centroid is removed, at the expense of allowing some deformations (cocycle twists) of the loop algebras.
We determine a basis of the (twisted) cocenter of graded affine Hecke algebras with arbitrary parameters. In this setting, we prove that the kernel of the (twisted) trace map is the commutator subspace (Density theorem) and that the image is the space of good forms (trace Paley-Wiener theorem).
The Z-grading determined by a long simple root of an affine or finite type Lie algebra arises from an adjoint or cominuscule representation of a lower rank semi-simple complex Lie algebra. Analysis of the relationship between the grading and the representation leads to an extension of Kac's construction of nontwisted affine Lie algebras.
We study a twisted Euler-Poincaré pairing for graded affine Hecke algebras, and give a precise connection to the twisted elliptic pairing of Weyl groups defined by Ciubotaru-He. The Ext-groups for an interesting class of parabolically induced modules are also studied in a connection with the twisted Euler-Poincaré pairing. We also study a certain space of graded Hecke algebra modules which equips with the twisted Euler-Poincaré pairing as an inner product.
In this paper we construct representations of certain graded double affine Hecke algebras (DAHA) with possibly unequal parameters from geometry. More precisely, starting with a simple Lie algebra $\mathfrak{g}$ together with a $\mathbb{Z}/m\mathbb{Z}$-grading $\oplus_{i}\mathfrak{g}_{i}$ and a block of $G_{\underline{0}}$-equivariant complexes on the nilpotent cone of $\mathfrak{g}_{\underline{1}}$ as introduced in \cite{LY1}, we attach a graded DAHA and construct its action on the direct sum of spiral inductions in that block. This generalizes results of Vasserot \cite{V} and Oblomkov-Yun \ci…
We define analogues of the Casimir and Dirac operators for graded affine Hecke algebras, and establish a version of Parthasarathy's Dirac operator inequality. We then prove a version of Vogan's Conjecture for Dirac cohomology. The formulation of the conjecture depends on a uniform geometric parametrization of spin representations of Weyl groups. Finally, we apply our results to the study of unitary representations.
This paper gives the classification of the Whittaker unitary dual for affine graded Hecke algebras of type E. By the Iwahori-Matsumoto involution, this is equivalent also to the classification of the spherical unitary dual for type E. This work completes the classification of the Whittaker Iwahori-spherical unitary dual, or equivalently, the spherical unitary dual, of split linear algebraic p-adic groups.
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.
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$.
We define the algebraic Dirac induction map $\Ind_D$ for graded affine Hecke algebras. The map $\Ind_D$ is a Hecke algebra analog of the explicit realization of the Baum-Connes assembly map in the $K$-theory of the reduced $C^*$-algebra of a real reductive group using Dirac operators. The definition of $\Ind_D$ is uniform over the parameter space of the graded affine Hecke algebra. We show that the map $\Ind_D$ defines an isometric isomorphism from the space of elliptic characters of the Weyl group (relative to its reflection representation) to the space of elliptic characters of the graded af…
Kleshchev, Mathas and Ram (2012) gave a presentation for graded Specht modules over Khovanov-Lauda-Rouquier algebras of finite and affine type A. We show that this construction can be applied more generally to skew shapes to give a presentation of graded skew Specht modules, which arise as subquotients of restrictions of Specht modules. As an application, we show that cuspidal modules associated to a balanced convex preorder in affine type A are skew Specht modules for certain hook shapes.
We study the structure of the category of integrable level zero representations with finite dimensional weight spaces of affine Lie algebras. We show that this category possesses a weaker version of the finite length property, namely that an indecomposable object has finitely many simple constituents which are non-trivial as modules over the corresponding loop algebra. Moreover, any object in this category is a direct sum of indecomposables only finitely many of which are non-trivial. We obtain a parametrization of blocks in this category.
In this paper, we define a number of closely related isomorphisms. On one side of these isomorphisms sit a number of of algebras generalizing the Hecke and affine Hecke algebras, which we call the "Hecke family"; on the other, we find generalizations of KLR algebras in finite and affine type A, the "KLR family." We show that these algebras have compatible isomorphisms generalizing those between Hecke and KLR algebras given by Brundan and Kleshchev. This allows us to organize a long list of algebras and categories into a single system, including (affine/cyclotomic) Hecke algebras, (affine/cyclo…
We classify two classes of B_2-graded Lie algebras which have a second compatible grading by an abelian group A: (a) graded-simple Lie algebras for A torsion-free and (b) division-A-graded Lie algebras. Our results describe the centreless cores of a class of affine reflection Lie algebras, hence apply in particular to the centreless cores of extended affine Lie algebras, the so-called Lie tori, for which we recover results of Allison-Gao and Faulkner. Our classification (b) extends a recent result of Benkart-Yoshii. Both classifications are consequences of a new description of Jordan algebras …
We provide identities of inverse Chevalley type for the graded characters of level-zero Demazure submodules of extremal weight modules over a quantum affine algebra of type $C$. These identities express the product $e^μ \, \mathrm{gch} \, V_{x}^{-}(λ)$ of the (one-dimensional) character $e^μ$, where $μ$ is a (not necessarily dominant) minuscule weight, with the graded character $\mathrm{gch} \, V_{x}^{-}(λ)$ of the level-zero Demazure submodule $V_{x}^{-}(λ)$ over the quantum affine algebra $U_{\mathsf{q}}(\mathfrak{g}_{\mathrm{af}})$ as an explicit finite linear combination of the graded char…
We define an extension of the affine Brauer algebra, the type B/C affine Brauer algebra. This new algebra contains the hyperoctahedral group and it naturally acts on $END_K(X \otimes V^{\otimes k})$ for Orthogonal and Symplectic groups. Thus we obtain a compact analogue of Schur-Weyl duality. We study functors $F_{μ,k}$ from the category of admissible $O(p,q)$ or $Sp_{2n}(\mathbb{R})$ modules to representations of the type B/C affine Brauer algebra $\mathfrak{B}_k^θ$. Thus providing a Akawaka-Suzuki-esque link between $O(p,q)$ (or $Sp_{2n}(\mathbb{R})$) and $\mathfrak{B}_k^θ$. Furthermore thes…
This paper is investigative work into the properties of a family of graded algebras recently defined by Varagnolo and Vasserot, which we call VV algebras. We compare categories of modules over KLR algebras with categories of modules over VV algebras, establishing various Morita equivalences. Using these Morita equivalences we are able to prove several properties of certain classes of VV algebras such as (graded) affine cellularity and affine quasi-heredity.
In this paper, we study extensions of graded affine Hecke algebra modules. In particular, based on an explicit projective resolution on graded affine Hecke algebra modules, we prove a duality result for Ext-groups. This duality result with an Ind-Res resolution gives an algebraic proof of the fact that all higher Ext-groups between discrete series vanish.
Koenig and Xi introduced {\em affine cellular algebras}. Kleshchev and Loubert showed that an important class of {\em infinite dimensional} algebras, the KLR algebras $R(Γ)$ of finite Lie type $Γ$, are (graded) affine cellular; in fact, the corresponding affine cell ideals are idempotent. This additional property is reminiscent of the properties of {\em quasihereditary algebras} of Cline-Parshall-Scott in a {\em finite dimensional} situation. A fundamental result of Cline-Parshall-Scott says that a finite dimensional algebra $A$ is quasihereditary if and only if the category of finite dimensio…
We define a pair of symplectic Dirac operators $(D^+,D^-)$ in an algebraic setting motivated by the analogy with the algebraic orthogonal Dirac operators in representation theory. We work in the settings of $\mathbb Z/2$-graded quadratic Lie algebras $\mathfrak g=\mathfrak k+\mathfrak p$ and of graded affine Hecke algebras $\mathbb H$.
We obtain a presentation of principal subspaces of basic modules for the twisted affine Kac-Moody Lie algebras of type $A_{2n-1}^{(2)}$, $D_n^{(2)}$ and $E_6^{(2)}$. Using this presentation, we construct exact sequences among these principal subspaces, and use these exact sequences to obtain recursions satisfied by graded dimensions of the principal subspaces. Solving these recursions, we obtain the graded dimensions of the principal subspaces.
We prove a series of conjectures of Enomoto and Kashiwara on canonical bases and branching rules of affine Hecke algebras of type B. The main ingredient of the proof is a new graded Ext-algebra associated with quiver with involutions that we compute explicitly.
We prove that the Khovanov-Lauda-Rouquier algebras $R_α$ of finite type are (graded) affine cellular in the sense of Koenig and Xi. In fact, we establish a stronger property, namely that the affine cell ideals in $R_α$ are generated by idempotents. This in particular implies the (known) result that the global dimension of $R_α$ is finite.
We determine the unitary dual of the geometric graded Hecke algebras with {unequal} parameters which appear in Lusztig's classification of unipotent representations for {exceptional} $p$-adic groups. The largest such algebra is of type $F_4.$ Via the Barbasch-Moy correspondence of unitarity applied to this setting, this is equivalent to the identification of the corresponding unitary unipotent representations with real central character of the $p$-adic groups. In order for this correspondence to be applicable here, we show (following Lusztig's geometric classification, and Barbasch and Moy's o…
In this paper, we consider the star operations for (graded) affine Hecke algebras which preserve certain natural filtrations. We show that, up to inner conjugation, there are only two such star operations for the graded Hecke algebra: the first, denoted $\star$, corresponds to the usual star operation from reductive $p$-adic groups, and the second, denoted $\bullet$ can be regarded as the analogue of the compact star operation of a real group considered by \cite{ALTV}. We explain how the star operation $\bullet$ appears naturally in the Iwahori-spherical setting of $p$-adic groups via the endo…
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…
Generalizing some of our earlier work, we prove natural presentations of the principal subspaces of the level one standard modules for the untwisted affine Lie algebras of types A, D and E, and also of certain related spaces. As a consequence, we obtain a canonical complete set of recursions (q-difference equations) for the (multi-)graded dimensions of these spaces, and we derive their graded dimensions. Our methods are based on intertwining operators in vertex operator algebra theory.
Let $Λ$ be a basic finite dimensional algebra over an algebraically closed field, presented as a path algebra modulo relations; further, assume that $Λ$ is graded by lengths of paths. The paper addresses the classifiability, via moduli spaces, of classes of graded $Λ$-modules with fixed dimension $d$ and fixed top $T$. It is shown that such moduli spaces exist far more frequently than they do for ungraded modules. In the local case (i.e., when $T$ is simple), the graded $d$-dimensional $Λ$-modules with top $T$ always possess a fine moduli space which classifies these modules up to graded-isomo…
We provide geometric constructions of modules over the graded Cherednik algebra $\mathfrak{H}^{gr}_ν$ and the rational Cherednik algebra $\mathfrak{H}^{rat}_ν$ attached to a simple algebraic group $\mathbb{G}$ together with a pinned automorphism $θ$. These modules are realized on the cohomology of affine Springer fibers (of finite type) that admit $\mathbb{C}^*$-actions. In the rational Cherednik algebra case, the standard grading on these modules is derived from the perverse filtration on the cohomology of affine Springer fibers coming from its global analog: Hitchin fibers. When $θ$ is trivi…
In this paper, we review the construction of the Dirac operator for graded affine Hecke algebras and calculate the Dirac cohomology of irreducible unitary modules for the graded Hecke algebra of gl(n).
We define a degenerate affine version of the walled Brauer algebra, that has the same role plaid by the degenerate affine Hecke algebra for the symmetric group algebra. We use it to prove a higher level mixed Schur-Weyl duality for gl_N. We consider then families of cyclotomic quotients of level two which appear naturally in Lie theory and we prove that they inherit from there a natural grading and a graded cellular structure.
We study star operations for Iwahori-Hecke algebras and invariant hermitian forms for finite dimensional modules over (graded) affine Hecke algebras with a view towards a unitarity algorithm.
As a first application of the double affine Hecke algebra with unequal parameters on Weyl orbits to representation theory of semisimple Lie algebras, we find the graded multiplicities of the trivial module and of the little adjoint module in the exterior algebra of the little adjoint module of a simple Lie algebra $\,\mathfrak{g}\,$ with a non-simply laced Dynkin diagram. We prove that in type $\,B, C\,$ or $\,F\,$ these multiplicities can be expressed in terms of special exponents of positive long roots in the dual root system of $\,\mathfrak{g}.\,$
An important problem in the representation theory of affine and toroidal Lie algebras is to classify all possible irreducible integrable modules with finite dimensional weight spaces. Recently the irreducible integrable modules having finite dimensional weight spaces with non-trivial central action have been classified for a more general class of Lie algebras, namely the graded Lie tori. In this paper, we classify all the irreducible integrable modules with finite dimensional weight spaces for this graded Lie tori where the central elements act trivially. Thus we ultimately obtain all the simp…
We study Lusztig's t-analog of weight multiplicities associated to level one representations of twisted affine Kac-Moody algebras. An explicit closed form expression is obtained for the corresponding t-string function using constant term identities of Macdonald and Cherednik. The closed form involves the generalized exponents of the graded pieces of the twisted affine algebra, considered as modules for the underlying finite dimensional simple Lie algebra. This extends previous work on level 1 t-string functions for the untwisted simply-laced affine Kac-Moody algebras.
The direct sum of irreducible level one integrable representations of affine Kac-Moody Lie algebra of (affine) type $ADE$ carries a structure of $P/Q$-graded vertex operator algebra. There exists a filtration on this direct sum studied by Kato and Loktev such that the corresponding graded vector space is a direct sum of global Weyl modules. The associated graded space with respect to the dual filtration is isomorphic to the homogenous coordinate ring of semi-infinite flag variety. We describe the ring structure in terms of vertex operators and endow the homogenous coordinate ring with a struct…
Multiloop algebras determined by $n$ commuting algebra automorphisms of finite order are natural generalizations of the classical loop algebras that are used to realize affine Kac-Moody Lie algebras. In this paper, we obtain necessary and sufficient conditions for a $Z^n$-graded algebra to be realized as a multiloop algebra based on a finite dimensional simple algebra over an algebraically closed field of characteristic 0. We also obtain necessary and sufficient conditions for two such multiloop algebras to be graded-isomorphic, up to automorphism of the grading group. We prove these facts as …
In this paper, we explore natural connections among the representations of the extended affine Lie algebra $\widehat{sl_N}(\mathbb{C}_q)$ with $\mathbb{C}_q=\mathbb{C}_q[t_0^{\pm1},t_1^{\pm1}]$ an irrational quantum 2-torus, the simple affine vertex algebra $L_{\widehat{sl_{\infty}}}(\ell,0)$ with $\ell$ a positive integer, and Levi subgroups $G$ of $GL_\ell(\mathbb{C})$. First, we give a canonical isomorphism between the category of integrable restricted $\widehat{sl_N}(\mathbb{C}_q)$-modules of level $\ell$ and that of equivariant quasi $L_{\widehat{sl_{\infty}}}(\ell,0)$-modules. Second, we…
Consider the maximal nilpotent subalgebra $n_+(A_1^{(1)})$ of the simplest affine algebra $A_1^{(1)}$ which is one of the $\mathbb{N}$-graded Lie algebras with minimal number of generators. We show truncated versions of this algebra in positive characteristic admit the structure of a family of restricted Lie algebras. We compute the ordinary and restricted 1- and 2-cohomology spaces with trivial coefficients by giving bases. With these we explicitly describe the restricted 1-dimensional central extensions.
We prove that the Khovanov-Lauda-Rouquier algebras $R_\al$ of type $A_\infty$ are (graded) affine cellular in the sense of Koenig and Xi. In fact, we establish a stronger property, namely that the affine cell ideals in $R_\al$ are generated by idempotents. This in particular implies the (known) result that the global dimension of $R_\al$ is finite, and yields a theory of standard and reduced standard modules for $R_\al$.
Associated to the classical Weyl groups, we introduce the notion of degenerate spin affine Hecke algebras and affine Hecke-Clifford algebras. For these algebras, we establish the PBW properties, formulate the intertwiners, and describe the centers. We further develop connections of these algebras with the usual degenerate (i.e. graded) affine Hecke algebras of Lusztig by introducing a notion of degenerate covering affine Hecke algebras.
We define exact functors from categories of Harish-Chandra modules for certain real classical groups to finite-dimensional modules over an associated graded affine Hecke algebra with parameters. We then study some of the basic properties of these functors. In particular, we show that they map irreducible spherical representations to irreducible spherical representations and, moreover, that they preserve unitarity. In the case of split classical groups, we thus obtain a functorial inclusion of the real spherical unitary dual (with real infinitesimal character) into the corresponding p-adic sphe…
We study $\mathbb Z$-graded modules of nonzero level with arbitrary weight multiplicities over Heisenberg Lie algebras and the associated generalized loop modules over affine Kac-Moody Lie algebras. We construct new families of such irreducible modules over Heisenberg Lie algebras. Our main result establishes the irreducibility of the corresponding generalized loop modules providing an explicit construction of many new examples of irreducible modules for affine Lie algebras. In particular, to any function $ϕ:\mathbb N\rightarrow \{\pm\}$ we associate a $ϕ$-highest weight module over the Heisen…
We construct a filtration on integrable highest weight module of an affine Lie algebra whose adjoint graded quotient is a direct sum of global Weyl modules. We show that the graded multiplicity of each Weyl module there is given by a corresponding level-restricted Kostka polynomial. This leads to an interpretation of level-restricted Kostka polynomials as the graded dimension of the space of conformal coinvariants. In addition, as an application of the level one case of the main result, we realize global Weyl modules of current algebras of type $\mathsf{ADE}$ in terms of Schubert manifolds of …
We construct an action of the graded double affine Hecke algebra (DAHA) on the parabolic Hitchin complex, extending the affine Weyl group action constructed in \cite{GSI}. In particular, we get representations of the degenerate DAHA on the cohomology of parabolic Hitchin fibers. We also generalize our construction to {\em parahoric} versions of Hitchin stacks, including the construction of 'tHooft operators as a special case. We then study the interaction of the DAHA action and the cap product action given by the Picard stack acting on the parabolic Hitchin stack.
The goal of this paper is to understand the graded limit of a family of irreducible prime representations of the quantum affine algebra associated to a simply-laced simple Lie algebra $\mathfrak{g}$. This family was introduced by David Hernandez and Bernard Leclerc in the context of monoidal categorification of cluster algebras. The graded limit of a member of this family is an indecomposable graded module for the current algebra $\mathfrak{g}[t]$; or equivalently a module for the maximal standard parabolic subalgebra in the affine Lie algebra $\widehat{\mathfrak{g}}$. In this paper we study t…
Motivated by affine Schubert calculus, we construct a family of dual graded graphs $(Γ_s,Γ_w)$ for an arbitrary Kac-Moody algebra $\g(A)$. The graded graphs have the Weyl group $W$ of $\g(A)$ as vertex set and are labeled versions of the strong and weak orders of $W$ respectively. Using a construction of Lusztig for quivers with an admissible automorphism, we define folded insertion for a Kac-Moody algebra and obtain Sagan-Worley shifted insertion from Robinson-Schensted insertion as a special case. Drawing on work of Stembridge, we analyze the induced subgraphs of $(Γ_s,Γ_w)$ which are distri…
We give a presentation of localized affine and degenerate affine Hecke algebras of arbitrary type in terms of weights of the polynomial subalgebra and varied Demazure-BGG type operators. We offer a definition of a graded algebra $\mathcal{H}$ whose category of finite-dimensional ungraded nilpotent modules is equivalent to the category of finite-dimensional modules over an associated degenerate affine Hecke algebra. Moreover, unlike the traditional grading on degenerate affine Hecke algebras, this grading factors through central characters, and thus gives a grading to the irreducible representa…
Let $G$ be a simple simply connected complex algebraic group and let $\mathfrak{g}_*$ be a $\mathbf{Z}/m$-grading on its Lie algebra $\mathfrak{g}$. In a recent series of articles, G. Lusztig and Z. Yun, studied the classification of simple $G_0$-equivariant perverse sheaves on the nilpotent cone of $\mathfrak{g}_i$ for $i\in \mathbf{Z}/m$, where $G_0$ is the exponentiation of the degree zero piece $\mathfrak{g}_0$. They proved a decomposition of the equivariant derived category of $\ell$-adic sheaves on the nilpotent cone of $\mathfrak{g}_i$ into blocks, each generated by a certain cuspidal l…
We give uniform formulas for the branching rules of level 1 modules over orthogonal affine Lie algebras for all conformal pairs associated to symmetric spaces. We also provide a combinatorial intepretation of these formulas in terms of certain abelian subalgebras of simple Lie algebras.
Let $\CC^0_{\g}$ be the category of finite-dimensional integrable modules over the quantum affine algebra $U_{q}'(\g)$ and let $R^{A_\infty}\gmod$ denote the category of finite-dimensional graded modules over the quiver Hecke algebra of type $A_{\infty}$. In this paper, we investigate the relationship between the categories $\CC^0_{A_{N-1}^{(1)}}$ and $\CC^0_{A_{N-1}^{(2)}}$ by constructing the generalized quantum affine Schur-Weyl duality functors $\F^{(t)}$ from $R^{A_\infty}\gmod$ to $\CC^0_{A_{N-1}^{(t)}}$ $(t=1,2)$.
We look to gradations of Kac-Moody Lie algebras by Kac-Moody root systems with finite dimensional weight spaces. We extend, to general Kac-Moody Lie algebras, the notion of C-admissible pair as introduced by H. Rubenthaler and J. Nervi for semi-simple and affine Lie algebras. If g is a Kac-Moody Lie algebra (with Dynkin diagram indexed by I) and (I,J) is such a C-admissible pair, we construct a C-admissible subalgebra g^J, which is a Kac-Moody Lie algebra of the same type as g, and whose root system Σgrades finitely the Lie algebra g. For an admissible quotient ρ: I \rightarrow I we build also…
Let $J$ be a set of pairs consisting of good modules over an affine quantum algebra and invertible elements. The distribution of poles of the normalized R-matrices yields Khovanov-Lauda-Rouquier algebras $R^J$. We define a functor $F$ from the category $S_J$ of finite-dimensional graded $R^J$-modules to the category of finite-dimensional integrable $U_q(g)$-modules. The functor $F$ sends convolution products of $R^J$-modules to tensor products of $U_q(g)$-modules. It is exact if $R^J$ is of finite type A,D,E. When $J$ is the vector representation of $A^{(1)}_{n-1}$, we recover the affine Schur…