We generalize graded Hecke algebras to include a twisting two-cocycle for the associated finite group. We give examples where the parameter spaces of the resulting twisted graded Hecke algebras are larger than that of the graded Hecke algebras. We prove that twisted graded Hecke algebras are particular types of deformations of a crossed product.
We develop and collect techniques for determining Hochschild cohomology of skew group algebras S(V)#G and apply our results to graded Hecke algebras. We discuss the explicit computation of certain types of invariants under centralizer subgroups, focusing on the infinite family of complex reflection groups G(r,p,n) to illustrate our ideas. Resulting formulas for Hochschild two-cocycles give information about deformations of S(V)#G and, in particular, about graded Hecke algebras. We expand the definition of a graded Hecke algebra to allow a nonfaithful action of G on V, and we show that there ex…
We prove a strong induction theorem for graded Hecke algebras and we classify the tempered and square integrable representations of such algebras using methods of equivariant homology.
In recent joint work with Wang, we have constructed graded Specht modules for cyclotomic Hecke algebras. In this article, we prove a graded version of the Lascoux-Leclerc-Thibon conjecture, describing the decomposition numbers of graded Specht modules over a field of characteristic zero.
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 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.
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).
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 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…
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.
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…
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.
The graded Hecke algebra for a finite Weyl group is intimately related to the geometry of the Springer correspondence. A construction of Drinfeld produces an analogue of a graded Hecke algebra for any finite subgroup of GL(V). This paper classifies all the algebras obtained by applying Drinfeld's construction to complex reflection groups. By giving explicit (though nontrivial) isomorphisms, we show that the graded Hecke algebras for finite real reflection groups constructed by Lusztig are all isomorphic to algebras obtained by Drinfeld's construction. The classification shows that there exist …
Brundan and Kleshchev introduced graded decomposition numbers for representations of cyclotomic Hecke algebras of type $A$, which include group algebras of symmetric groups. Graded decomposition numbers are certain Laurent polynomials, whose values at 1 are the usual decomposition numbers. We show that in quantum characteristic 2 every such polynomial has non-zero coefficients either only in odd or only in even degrees. As a consequence, we find the first examples of graded decomposition numbers of symmetric groups with non-zero coefficients in some negative degrees.
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$.
A $q$-analogue of combinatorics concerning the Cartan matrix for the Iwahori-Hecke algebra of type $A$ is investigated. We give several descriptions for the determinant of the graded Cartan matrix, which imply some combinatorial identities. A conjectural expression for the elementary divisors is also presented.
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 study the representation theory of graded Hecke algebras, starting from scratch and focusing on representations that are obtained with induction from a discrete series representation of a parabolic subalgebra. We determine all intertwining operators between such parabolically induced representations, and use them to parametrize the irreducible representations.
On the generalized graded cellular bases for cyclotomic quiver Hecke-Clifford superalgebras
School of Mathematics and Statistics Beijing Institute of Technology(北京理工大学数学与统计学院);Academy of Mathematics and Systems Science Chinese Academy of Sciences(中国科学院数学与系统科学研究院);Max-Planck-Institut für Mathematik(马克斯·普朗克数学研究所)
We define twisted Frobenius extensions of graded superrings. We develop equivalent definitions in terms of bimodule isomorphisms, trace maps, bilinear forms, and dual sets of generators. The motivation for our study comes from categorification, where one is often interested in the adjointness properties of induction and restriction functors. We show that $A$ is a twisted Frobenius extension of $B$ if and only if induction of $B$-modules to $A$-modules is twisted shifted right adjoint to restriction of $A$-modules to $B$-modules. A large (non-exhaustive) class of examples is given by the fact t…
We study the representation theory of a generalized graded Hecke algebra associated to a complex reflection group of type G(r,1,n), defined by Ram and Shepler. We use a realization of this algebra in the corresponding symplectic reflection algebra to prove a PBW theorem. We define principal series modules and prove an irreducibility criterion for them.
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 introduce graded Hecke algebras H based on a (possibly disconnected) complex reductive group G and a cuspidal local system L on a unipotent orbit of a Levi subgroup M of G. These generalize the graded Hecke algebras defined and investigated by Lusztig for connected G. We develop the representation theory of the algebras H. obtaining complete and canonical parametrizations of the irreducible, the irreducible tempered and the discrete series representations. All the modules are constructed in terms of perverse sheaves and equivariant homology, relying on work of Lusztig. The parameters come d…
We study the family of derived auto-equivalences of the BGG-category O that correspond to the action of the standard generators of the Hecke algebra. Both the non-graded and graded situations are considered.
We state a conjecture which gives a combinatorial parametrization of the irreducible tempered representations with real central character of a graded Hecke algebra with unequal labels, associated to a root sytem of type B or C. This conjecture is based on a combinatorial generalization of the Springer correspondence in the classical (equal label) case. In particular, the described modules turn out to have a natural grading for the action of W_0, and are completely determined by their central character together with the W_0-representation in the top degree. This latter is an irreducible W_0-cha…
We use a representation of a graded twisted tensor product of $K[x]$ with $K[y]$ in $L(K^{\Bbb{N}_0})$ in order to obtain a nearly complete classification of these graded twisted tensor products via infinite matrices. There is one particular example and three main cases: quadratic algebras classified by Conner and Goetz, a family called $A(n,d,a)$ with the $n+1$-extension property for $n\ge 2$, and a third case, not fully classified, which contains a family $B(a,L)$ parameterized by quasi-balanced sequences.
We study graded dimension formulas for finite quiver Hecke algebras $R^{Λ_0}(β)$ of type $A^{(2)}_{2\ell}$ and $D^{(2)}_{\ell+1}$ using combinatorics of Young walls. We introduce the notion of standard tableaux for proper Young walls and show that the standard tableaux form a graded poset with lattice structure. We next investigate Laurent polynomials associated with proper Young walls and their standard tableaux arising from the Fock space representations consisting of proper Young walls. Then we prove the graded dimension formulas described in terms of the Laurent polynomials. When evaluatin…
We show that the center of the Iwahori--Hecke algebra of the symmetric group $S_n$ carries a natural filtered algebra structure, and that the structure constants of the associated graded algebra are independent of $n$. A series of conjectures and open problems are also included.
Hochschild cohomology governs deformations of algebras, and its graded Lie structure plays a vital role. We study this structure for the Hochschild cohomology of the skew group algebra formed by a finite group acting on an algebra by automorphisms. We examine the Gerstenhaber bracket with a view toward deformations and developing bracket formulas. We then focus on the linear group actions and polynomial algebras that arise in orbifold theory and representation theory; deformations in this context include graded Hecke algebras and symplectic reflection algebras. We give some general results des…
The main result of this paper shows that, over large enough fields of characteristic different from $2$, the alternating Hecke algebras are $\mathbb{Z}$-graded algebras that are isomorphic to fixed-point subalgebras of the quiver Hecke algebra of the symmetric group $\mathfrak{S}_n$. As a special case, this shows that the group algebra of the alternating group, over large enough fields of characteristic different from $2$, is a $\mathbb{Z}$-graded algebra. We give a homogeneous presentation for these algebras, compute their graded dimension and show that the blocks of the quiver Hecke algebras…
We explore the structure of the derived spherical Hecke algebra of a $p$-adic group, a graded associative algebra whose degree $0$ subalgebra is the classical spherical Hecke algebra. Working with $\mathbb Z/ p^a$ coefficients, we establish a Satake homomorphism relating this graded algebra to the corresponding graded algebra for the torus. We investigate the image of this homomorphism in degree $1$, as well as other properties, such as transitivity with respect to inclusion of Levi subgroups.
In this paper we derive a closed formula for the $(\mathbb{Z}\times\mathbb{Z}_2)$-graded dimension of the cyclotomic quiver Hecke superalgebra $R^Λ(β)$ associated to an {\it arbitrary} Cartan superdatum $(A,P,Π,Π^\vee)$, polynomials $(Q_{i,j}({\rm x}_1,{\rm x}_2))_{i,j\in I}$, $β\in Q_n^+$ and $Λ\in P^+$. As applications, we obtain a necessary and sufficient condition for which $e(ν)\neq 0$ in $R^Λ(β)$. We construct an explicit monomial basis for the bi-weight space $e(\widetildeν)R^Λ(β)e(\widetildeν)$, where $\widetildeν$ is a certain specific $n$-tuple defined in (1.4). In particular, this g…
We show that the Grothendieck groups of the categories of finitely-generated graded supermodules and finitely-generated projective graded supermodules over a tower of graded superalgebras satisfying certain natural conditions give rise to twisted Hopf algebras that are twisted dual. Then, using induction and restriction functors coming from such towers, we obtain a categorification of the twisted Heisenberg double and its Fock space representation. We show that towers of wreath product algebras (in particular, the tower of Sergeev superalgebras) and the tower of nilcoxeter graded superalgebras…
Let H be a graded Hecke algebra with complex deformation parameters and Weyl group W. We show that the Hochschild, cyclic and periodic cyclic homologies of H are all independent of the parameters, and compute them explicitly. We use this to prove that, if the deformation parameters are real, the collection of irreducible tempered H-modules with real central character forms a Q-basis of the representation ring of W. Our method involves a new interpretation of the periodic cyclic homology of finite type algebras, in terms of the cohomology of a sheaf over the underlying complex affine variety.
We clarify the links between the graded Specht construction of modules over cyclotomic Hecke algebras and the RSK construction for quiver Hecke algebras of type A, that was recently imported from the setting of representations of p-adic groups. For that goal we develop a theory of crystal derivative operators on quiver Hecke algebra modules, that categorifies the Berenstein-Zelevinsky strings framework on quantum groups, and generalizes a graded variant of the classical Bernstein-Zelevinsky derivatives from the p-adic setting. Graded cyclotomic decomposition numbers are shown to be a special s…
We introduce the notion of the twisted Segre product $A\circ_ψB$ of $\mathbb Z$-graded algebras $A$ and $B$ with respect to a twisting map $ψ$. It is proved that if $A$ and $B$ are noetherian Koszul Artin-Schelter regular algebras and $ψ$ is a twisting map such that the twisted Segre product $A\circ_ψB$ is noetherian, then $A\circ_ψB$ is a noncommutative graded isolated singularity. To prove this result, the notion of densely (bi-)graded algebras is introduced. Moreover, we show that the twisted Segre product $A\circ_ψB$ of $A=k[u,v]$ and $B=k[x,y]$ with respect to a diagonal twisting map $ψ$ …
We consider graded Cartan matrices of the symmetric groups and the Iwahori-Hecke algebras of type A, which have entries in the ring $\mathbb Z[v,v^{-1}]$. These matrices may also be interpreted as Gram matrices of the Shapovalov form on sums of weight spaces of a basic representation of an affine quantum group. We present a conjecture predicting the invariant factors of these matrices and give evidence for the conjecture by proving its implications under a localization and certain specializations of the ring $\mathbb Z[v,v^{-1}]$. This proves and generalizes a conjecture of Ando-Suzuki-Yamada …
We define a class of algebras which are distinguished by a PBW property and an orthogonality condition, and which we call Hopf-Hecke algebras, since they generalize the Drinfeld Hecke algebras defined by Drinfeld. In the course of studying the orthogonality condition and in analogy to the orthogonal group we show the existence of a pin cover for cocommutative Hopf algebras over $\mathbb{C}$ with an orthogonal module or, more generally, pointed cocommutative Hopf algebras over a field of characteristic $0$ with an orthogonal module. Following the suggestion of Dan Barbasch and Siddhartha Sahi, …
In this paper we will study the notion of a Frobenius $\star$-algebra and prove some orthogonality relations for the irreducible characters of a Frobenius $\star$-algebra. Then we will study $\mathbb{Z}/m\mathbb{Z}$-graded Frobenius $\star$- algebras and prove some twisted orthogonality relations for them.
This chapter is based on a series of lectures that I gave at the National University of Singapore in April 2013. The notes survey the representation theory of the cyclotomic Hecke algebras of type A with an emphasis on understanding the KLR grading and the connections between the "classical" ungraded representation theory and the rapidly emerging graded theory. They are fairly self-contained and they try to give a leisurely introduction to these algebras, with many examples and calculations that don't appear elsewhere. We make extensive use of the interactions between the ungraded and graded r…
We refine the infinitesimal Hecke algebra associated to a 2-reflection group into a $\Z/2\Z$-graded Lie algebra, as a first step towards a global understanding of a natural $\mathbbm{N}$-graded object. We provide an interpretation of this Lie algebra in terms of the image of the braid group into the Hecke algebra, in connection with unitary structures. This connection is particularly strong when $W$ is a Coxeter group, and when in addition we can use generalizations of Drinfeld's rational even associators. Finally, in the Coxeter ADE case, we provide a generating set of the even part of this L…
We give a graded dimension formula described in terms of combinatorics of Young diagrams and a simple criterion to determine the representation type for the finite quiver Hecke algebras of type $C_{\ell}^{(1)}$.
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…
We introduce a new family of superalgebras which should be considered as a super version of the Khovanov-Lauda-Rouquier algebras. Let $I$ be the set of vertices of a Dynkin diagram with parity. To this data, we associate a family of graded superalgebras, the quiver Hecke superalgebras. When there are no odd vertices, these algebras are nothing but the usual Khovanov-Lauda-Rouquier algebras. We then define another family of graded superalgebras, the quiver Hecke-Clifford superalgebras, and show that they are weakly Morita superequivalent to the quiver Hecke superalgebras. Moreover, we prove tha…
We consider finite groups acting on quantum (or skew) polynomial rings. Deformations of the semidirect product of the quantum polynomial ring with the acting group extend symplectic reflection algebras and graded Hecke algebras to the quantum setting over a field of arbitrary characteristic. We give necessary and sufficient conditions for such algebras to satisfy a Poincare-Birkhoff-Witt property using the theory of noncommutative Groebner bases. We include applications to the case of abelian groups and the case of groups acting on coordinate rings of quantum planes. In addition, we classify g…
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 give a classification of the graded simple modules of cyclotomic quiver Hecke algebras of type A using the diagram calculus of the diagrammatic Cherednik algebra. We also obtain a non-trivial lower bound for the dimension of the simple modules which is independent of the field characteristic.