Two actions of the Hecke algebra of type A on the corresponding polynomial ring are studied. Both are deformations of the natural action of the symmetric group on polynomials, and keep symmetric functions invariant. We give an explicit description of these actions, and deduce a combinatorial formula for the resulting graded characters on the coinvariant algebra.
The 0-Hecke algebra $H_n(0)$ is a deformation of the group algebra of the symmetric group $\SS_n$. We show that its coinvariant algebra naturally carries the regular representation of $H_n(0)$, giving an analogue of the well-known result for $\SS_n$ by Chevalley-Shephard-Todd. By investigating the action of $H_n(0)$ on coinvariants and flag varieties, we interpret the generating functions counting the permutations with fixed inverse descent set by their inversion number and major index. We also study the action of $H_n(0)$ on the cohomology rings of the Springer fibers, and similarly interpret…
We establish a q-generalization of Gordon's theorem that the space of diagonal coinvariants has a quotient identified with a perfect representation of the rational double affine Hecke algebra. It leads to a simple proof of his theorem and relates it to the Weyl algebras at roots of unity. The universal double affine Hecke algebra and the corresponding universal double Dunkl operators acting in noncommutative polynomials in terms of two sets of variables are introduced.
We study a class of representations called ``calibrated representations'' of the degenerate double affine Hecke algebra and those of the rational Cherednik algebra of type ${\mathrm{GL}}_n$. We give a realization of calibrated irreducible modules as spaces of coinvariants constructed from integrable modules over the affine Lie algebra $\hat{\mathfrak{gl}}_m$. Moreover, we give a character formula of these irreducible modules in terms of a level-restricted Kostka polynomials. These results were conjectured by Arakawa, Suzuki and Tsuchiya based on the conformal field theory. The proofs using rec…
We study the coinvariant ring of the complex reflection group $G(r,p,n)$ as a module for the corresponding rational Cherednik algebra $\HH$ and its generalized graded affine Hecke subalgebra $\mathcal{H}$. We construct a basis consisting of non-symmetric Jack polynomials, and using this basis decompose the coinvariant ring into irreducible modules for $\mathcal{H}$. The basis consists of certain non-symmetric Jack polynomials, whose leading terms are the ``descent monomials'' for $G(r,p,n)$ recently studied by Adin, Brenti, and Roichman and Bagno and Biagoli. The irreducible $\mathcal{H}$-subm…
We construct a quotient ring of the ring of diagonal coinvariants of the complex reflection group $W=G(m,p,n)$ and determine its graded character. This generalises a result of Gordon for Coxeter groups. The proof uses a study of category $\cO$ for the rational Cherednik algebra of $W$.
The coinvariant algebra of a Weyl group plays a fundamental role in several areas of mathematics. The fake degrees are the graded multiplicities of the irreducible modules of a Weyl group in its coinvariant algebra, and they were computed by Steinberg, Lusztig and Beynon-Lusztig. In this paper we formulate a notion of spin coinvariant algebra for every Weyl group. Then we compute all the spin fake degrees for each classical Weyl group, which are by definition the graded multiplicities of the simple modules of a spin Weyl group in the spin coinvariant algebra. The spin fake degrees for the exce…
We introduce two new partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. Both posets are ranked by the major index statistic offset by a fixed shift. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes. By a theorem of Lusztig--Stanley, this classification can be interpreted as determining which irreducible representations of the symmetric group exist in which homogeneous component…
Let $W$ be an irreducible complex reflection group acting on its reflection representation $V$. We consider the doubly graded action of $W$ on the exterior algebra $\wedge (V \oplus V^*)$ as well as its quotient $DR_W := \wedge (V \oplus V^*)/ \langle \wedge (V \oplus V^*)^{W}_+ \rangle$ by the ideal generated by its homogeneous $W$-invariants with vanishing constant term. We describe the bigraded isomorphism type of $DR_W$; when $W = \mathfrak{S}_n$ is the symmetric group, the answer is a difference of Kronecker products of hook-shaped $\mathfrak{S}_n$-modules. We relate the Hilbert series of…
Combinatorial identities on Weyl groups of types $A$ and $B$ are derived from special bases of the corresponding coinvariant algebras. Using the Garsia-Stanton descent basis of the coinvariant algebra of type $A$ we give a new construction of the Solomon descent representations. An extension of the descent basis to type $B$, using new multivariate statistics on the group, yields a refinement of the descent representations. These constructions are then applied to refine well-known decomposition rules of the coinvariant algebra and to generalize various identities.
The symmetric coinvariant algebra $C[x_1, dots, x_n]_{S_n}$ is the quotient algebra of the polynomial ring by the ideal generated by symmetric polynomials vanishing at the origin. It is known that the algebra is isomorphic to the regular representation of $S_n$. Replacing $C[x]$ with $A = C[x,y]/(xy)$, we introduce another symmetric coinvariant algebra $A^{otimes n}_{S_n}$ and determine its $S_n$-module structure. As an application, we determine the $sl_{r+1}$-module structure of the local Weyl module at a double point for $sl_{r+1} otimes A$.
We compute all the spin fake degrees for the exceptional Weyl groups, which are by definition the graded multiplicities of the simple modules of a spin Weyl group in its spin coinvariant algebra. The spin fake degrees are all shown to be palindromic polynomials.
Let G be a complex, connected, reductive algebraic group with Weyl group W and Steinberg variety Z. We show that the graded Borel-Moore homology of Z is isomorphic to the smash product of the coinvariant algebra of W and the group algebra of W.
Motivated by a recent conjecture of Zabrocki, Wallach described the alternants in the super-coinvariant algebra of the symmetric group in one set of commuting and one set of anti-commuting variables under the diagonal action. We give a type-independent generalization of Wallach's result to all real reflection groups $G$. As an intermediate step, we explicitly describe the alternating super-polynomials in $k[V] \otimes Λ(V)$ for all complex reflection groups, providing an analogue of a classic result of Solomon which describes the invariant super-polynomials in $k[V] \otimes Λ(V^*)$. Using our …
We study the Gaberdiel-Goddard spaces of systems of correlation functions attached to an affine Kac-Moody Lie algebra $\gh$. We prove that these spaces are isomorphic to the spaces of coinvariants with respect to certain subalgebras of $\gh$. This allows to describe the Gaberdiel-Goddard spaces as direct sums of tensor products of irreducible $\g$-modules with multiplicities given by fusion coefficients. We thus reprove and generalize Frenkel-Zhu's theorem.
Let $Θ_n = (θ_1, \dots, θ_n)$ and $Ξ_n = (ξ_1, \dots, ξ_n)$ be two lists of $n$ variables and consider the diagonal action of $\mathfrak{S}_n$ on the exterior algebra $\wedge \{ Θ_n, Ξ_n \}$ generated by these variables. Jongwon Kim and Rhoades defined and studied the fermionic diagonal coinvariant ring $FDR_n$ obtained from $\wedge \{ Θ_n, Ξ_n \}$ by modding out by the $\mathfrak{S}_n$-invariants with vanishing constant term. In joint work with Rhoades we gave a basis for the maximal degree components of this ring where the action of $\mathfrak{S}_n$ could be interpreted combinatorially via n…
The fusion rule gives the dimensions of spaces of conformal blocks in the WZW theory. We prove a dimension formula similar to the fusion rulefor spaces of coinvariants of affine Lie algebras g^. An equivalence of filtered spaces is established between spaces of coinvariants of two objects: highest weight g^-modules and tensor products of finite-dimensional evaluation representations of g\otimes\C[t]. In the sl_2 case we prove that their associated graded spaces are isomorphic to the spaces of coinvariants of fusion products, and that their Hilbert polynomials are the level-restricted Kostka po…
We prove the following theorem. Let $G$ be a finite group generated by unitary reflections in a complex Hermitian space $V=\mathbb{C}^\ell$ and let $G'$ be any reflection subgroup of $G$. Let $\mathcal{H}(G)$ be the space of $G$-harmonic polynomials on $V$. There is a degree preserving isomorphism $ξ:\mathcal{H}(G')\otimes\mathcal{H}(G)^{G'}\overset{\sim}{\longrightarrow}\mathcal{H}$ of graded $\mathcal{N}$-modules, where $\mathcal{N}:=N_{\rm{GL}(V)}(G)\cap N_{\rm{GL}(V)}(G')$ and $\mathcal{H}^{G'}$ is the space of $G'$-fixed points of $\mathcal{H}$. This generalises a result of Douglass and D…
The Hecke group algebra $HW_0$ of a finite Coxeter group $W_0$, as introduced by the first and last author, is obtained from $W_0$ by gluing appropriately its 0-Hecke algebra and its group algebra. In this paper, we give an equivalent alternative construction in the case when $W_0$ is the classical Weyl group associated to an affine Weyl group $W$. Namely, we prove that, for $q$ not a root of unity, $HW_0$ is the natural quotient of the affine Hecke algebra through its level 0 representation. We further show that the level 0 representation is a calibrated principal series representation for a …
We study cyclotomic quiver Hecke algebras $R^{Λ_0}(β)$ in type $A^{(2)}_{2\ell}$, where $Λ_0$ is the fundamental weight. The algebras are natural $A^{(2)}_{2\ell}$-type analogue of Iwahori-Hecke algebras associated with the symmetric group, from the viewpoint of the Fock space theory developed by the first author and his collaborators. We give a formula for the dimension of the algebra, and a simple criterion to tell the representation type. The criterion is a natural generalization of Erdmann and Nakano's for the Iwahori-Hecke algebras. Except for the examples coming from cyclotomic Hecke alg…
This paper is based on the introduction to the monograph ``Double affine Hecke algebras'' to be published by Cambridge University Press. The connections with Knizhnik-Zamolodchikov equations, Kac-Moody algebras, tau-function, harmonic analysis on symmetric spaces, and special functions are discussed. The rank one case is considered in detail including the classification of Verlinde algebras and their deformations, Gauss-Selberg integrals and Gaussian sums, a topological interpretation of DAHA, a relation of the rational DAHA to sl(2), and applications to the diagonal coinvariants. The last thr…
Let $W_{m|n}$ be the (finite) $W$-algebra attached to the principal nilpotent orbit in the general linear Lie superalgebra $\mathfrak{gl}_{m|n}(\mathbb{C})$. In this paper we study the {\em Whittaker coinvariants functor}, which is an exact functor from category $\mathcal O$ for $\mathfrak{gl}_{m|n}(\mathbb{C})$ to a certain category of finite-dimensional modules over $W_{m|n}$. We show that this functor has properties similar to Soergel's functor $\mathbb V$ in the setting of category $\mathcal O$ for a semisimple Lie algebra. We also use it to compute the center of $W_{m|n}$ explicitly, and …
We consider two types of quotients of the integrable modules of $\hat{sl}_2$. These spaces of coinvariants have dimensions described in terms of the Verlinde algebra of level-$k$. We describe monomial bases for the spaces of coinvariants, which leads to a fermionic description of these spaces. For $k=1$, we give the explicit formulas for the characters. We also present recursion relations satisfied by the characters and the monomial bases.
We prove that the affine Yokonuma-Hecke algebra defined by Chlouveraki and Poulain d'Andecy is a particular case of the pro-$p$-Iwahori-Hecke algebra defined by Vignéras.
We introduce some modified forms for the degenerate and non-degenerate affine Hecke algebras of type $A$. These are certain subalgebras living inside the inverse limit of cyclotomic Hecke algebras. We construct faithful representations and standard bases for these algebras and give some explicit description of their centers. We show that there are algebra isomorphisms between some generalized Ore localizations of these modified affine Hecke algebras and of the quiver Hecke algebras of type $A$. As an application, we show that the center conjecture for the cyclotomic quiver Hecke algebra of typ…
We prove that cyclotomic Yokonuma--Hecke algebras of type A are cyclotomic quiver Hecke algebras and we give an explicit isomorphism with its inverse, using a similar result of Brundan and Kleshchev on cyclotomic Hecke algebras. The quiver we use is given by disjoint copies of cyclic quivers. We relate this work to an isomorphism of Lusztig.
We determine a basis of the cocenter (i.e., the zeroth Hochschild homology) of the degenerate affine Hecke-Clifford and spin Hecke algebras in classical types.
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…
Given a quiver automorphism with nice properties, we give a presentation of the fixed subalgebra of the associated cyclotomic quiver Hecke algebra. Generalising an isomorphism of Brundan and Kleshchev between the cyclotomic Hecke algebra of type G(r,1,n) and the cyclotomic quiver Hecke algebra of type A, we apply the previous result to find a presentation of the cyclotomic Hecke algebra of type G(r,p,n) which looks very similar to the one of a cyclotomic quiver Hecke algebra. In the meanwhile, we give an explicit isomorphism which realises a well-known Morita equivalence between Ariki-Koike al…
We show that the Young tableaux theory and constructions of the irreducible representations of the Weyl groups of type A, B and D, Iwahori-Hecke algebras of types A, B, and D, the complex reflection groups G(r,p,n) and the corresponding cyclotomic Hecke algebras H_{r,p,n}, can be obtained, in all cases, from the affine Hecke algebra of type A. The Young tableaux theory was extended to affine Hecke algebras (of general Lie type) in recent work of A. Ram. We also show how (in general Lie type) the representations of general affine Hecke algebras can be constructed from the representations of sim…
This article introduces the duplex Hecke algebra, which is an infinite dimensional algebra generated by two Hecke algebras. This concept originates from the degenerate duplex Hecke algebra in the theory of Schur-Weyl duality related to enhanced reductive algebraic groups. We will study the finite dimensional natural representation of the duplex Hecke algebra on tensor space and prove that the duplex Hecke algebra forms a duality with the Levi type quantum group.
For simply-laced quivers, we consider the fixed-point subalgebra of the quiver Hecke algebra under the homogeneous sign map. This leads to a new family of algebras we call alternating quiver Hecke algebras. We give a basis theorem and a presentation by generators and relations which is strikingly similar to the KLR presentation for quiver Hecke algebras.
We define an imbedding of the Hecke algebra module carried by the involutions in a Weyl group W (defined by the author and Vogan) into a completion of the Hecke algebra. An analogous result is proved for any Coxeter group. A variant of the construction gives an imbedding of the biregular representation of a Hecke algebra of W in a completion of the Hecke algebra of W^2.
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 introduce a family of quiver Hecke algebras which give a categorification of quantum Borcherds algebra associated to an arbitrary Borcherds-Cartan datum.
In the context of Hecke algebras of complex reflection groups, we prove that the generalized Hecke algebras of normalizers of parabolic subgroups are semidirect products, under suitable conditions on the parameters involved in their definition.
In a previous paper the author and D. Vogan defined and studied a Hecke algebra module structure on a vector space spanned by the involutions in a Weyl group. In this paper this study is continued by relating it to the asymptotic Hecke algebra.
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.
We explore the modular representation theory of affine and cyclotomic Yokonuma-Hecke algebras. We provide an equivalence between the category of finite dimensional representations of the affine (resp. cyclotomic) Yokonuma-Hecke algebra and that of an algebra which is a direct sum of tensor products of affine Hecke algebras of type $A$ (resp. Ariki-Koike algebras). As one of the applications, the irreducible representations of affine and cyclotomic Yokonuma-Hecke algebras are classified over an algebraically closed field of characteristic $p$. Secondly, the modular branching rules for these alg…
We classify blocks of category $\mathcal{O}$ for rational Cherednik algebras and of cyclotomic Hecke algebras of type G(r,p,n) by using the "residue equivalence" for multi-partitions.
Let $(W,S)$ be a Coxeter system. A $W$-graph encodes a representation of the Hecke algebra $\mathcal{H}$ of $W$. We construct universal representations of multi-parameter Hecke algebras on certain quotients of path algebras, and study their relationships with $W$-graph representations. We also study the quotients of path algebras on their own, motivated by one example where the quotient path algebra is isomorphic to an ideal of Lusztig asymptotic Hecke algebra. Finally, we describe a method to obtain a generating set for the ideals by which we quotient the path algebras.
We compute the centre of the cyclotomic Hecke algebra attached to $G(m,1,2)$ and show that if $q \neq 1$ it is equal to the image of the centre of the affine Hecke algebra $\Ha$. We also briefly discuss what is known about the relation between the centre of an arbitrary cyclotomic Hecke algebra and the centre of the affine Hecke algebra of type $A$.
The notion of trigonometric spin double affine Hecke algebras (tsDaHa) and trigonometric double affine Hecke-Clifford algebras (tDaHCa) associated to classical Weyl groups are introduced. The PBW basis property is established. An algebra isomorphism relating tDaHCa to tsDaHa is obtained.
We explore the relationship between de Rham and Lie algebra cohomologies in the finite dimensional and affine settings. As an application, we describe the BRST reduction of the chiral Hecke algebra as a vertex super algebra.
We state four open problems on Iwahori-Hecke algebras. The first one states a relation between some algebras appearing in Solleveld's work and some explicit Hecke algebras appearing in the study of unipotent representations. The second one is a boundedness conjecture. The third one is a conjecture of well-definedness of an asymptotic Hecke algebra. The fourth one concerns positive conjugacy classes in a Weyl group.
We give an explicit description of the "canonical basic set'' for all Iwahori-Hecke algebras of finite Weyl groups in "good'' characteristic. We obtain a complete classification of simple modules for this type of algebras.
We propose a categorification of the cyclotomic Hecke algebra in terms of the equivariant K-theory of the framed matrix factorizations. The construction generalizes the earlier construction of the authors for a categorification of the finite Hecke algebra of type A. We also explain why our construction provides a faithful realization of the Hecke algebras and discuss a geometric realization of the Jucys-Murphy subalgebra.
The Iwahori-Hecke algebra has a ``natural'' trace $τ$. This trace is the evaluation at the identity element in the usual interpretation of the Iwahori-Hecke algebra as a sub-algebra of the convolution algebra of a p-adic semi-simple group. The Iwahori-Hecke algebra contains an important commutative sub-algebra ${\bf C}[θ_x]$, that was described and studied by Bernstein, Zelevinski and Lusztig. In this note we compute the generating function for the value of $τ$ on the basis $θ_x$.