We investigate deformations of skew group algebras arising from the action of the symmetric group on polynomial rings over fields of arbitrary characteristic. Over the real or complex numbers, Lusztig's graded affine Hecke algebra and analogs are all isomorphic to Drinfeld Hecke algebras, which include the symplectic reflection algebras and rational Cherednik algebras. Over fields of prime characteristic, new deformations arise that capture both a disruption of the group action and also a disruption of the commutativity relations defining the polynomial ring. We classify deformations for the symmetric group acting in its natural (reducible) reflection representation.
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 study the local factor at p of the semi-simple zeta function of a Shimura variety of Drinfeld type for a level structure given at p by the pro-unipotent radical of an Iwahori subgroup. Our method is an adaptation to this case of the Langlands-Kottwitz counting method. We use Hecke algebra isomorphisms to determine the test functions at p.
We introduce a modified affine Hecke algebra $\h{H}^{+}_{qη}({l})$ ($\h{H}_{qη}({l})$) which depends on two deformation parameters $q$ and $η$. When the parameter $η$ is equal to zero the algebra $\h{H}_{qη=0}(l)$ coincides with the usual affine Hecke algebra $\h{H}_{q}(l)$ of type $A_{l-1}$, if the parameter q goes to 1 the algebra $\h{H}^{+}_{q=1η}(l)$ is isomorphic to the degenerate affine Hecke algebra $\Lm_η(l)$ introduced by Drinfeld. We construct a functor from a category of representations of $H_{qη}^{+}(l)$ into a category of representations of Drinfeldian $D_{qη}(sl(n+1))$ which has …
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 …
In this paper we define a new presentation for the Dunkl-Opdam subalgebra of the rational Cherednik algebra. This shows that the Dunkl-Opdam subalgebra is a Drinfeld algebra. We use this fact to define Dirac cohomology for the DO subalgebra. We also formalise generalised graded Hecke algebras and define a Langlands classification to generalised graded Hecke algebras.
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, …
We study a generalization of graded Hecke algebras introduced by Drinfeld in 1986, in which the role of a finite group G is played by a reductive algebraic group. This includes continuous generalizations of symplectic reflection algebras and of rational Cherednik algebras. We prove direct and converse PBW theorems, and also study versions of our algebras in which the group G is replaced with its Lie algebra. We also begin to develop the representation theory of continuous Hecke algebras, which unifies representation theories of real reductive groups, Drinfeld-Lusztig degenerate affine Hecke al…
We define Drinfeld orbifold algebras as filtered algebras deforming the skew group algebra (semi-direct product) arising from the action of a finite group on a polynomial ring. They simultaneously generalize Weyl algebras, graded (or Drinfeld) Hecke algebras, rational Cherednik algebras, symplectic reflection algebras, and universal enveloping algebras of Lie algebras with group actions. We give necessary and sufficient conditions on defining parameters to obtain Drinfeld orbifold algebras in two general formats, both algebraic and homological. We explain the connection between Hochschild coho…
We give explicit constructions of some finite-dimensional representations of generalized double affine Hecke algebras (GDAHA) of higher rank using $R$-matrices for $U_q(\mathfrak{sl}_N)$. Our construction is motivated by an analogous construction of Silvia Montarani in the rational case. Using the Drinfeld-Kohno theorem for Knizhnik-Zamolodchikov differential equations, we prove that the explicit representations we produce correspond to Montarani's representations under a monodromy functor introduced by Etingof, Gan, and Oblomkov.
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 establish a lower bound for the representation dimension of all the classical Hecke algebras of types A, B and D. For all the type A algebras, and most of the algebras of types B and D, we also establish upper bounds. Moreover, we establish bounds for the representation dimension of group algebras of some symmetric groups.
Let $H=H_q(n)$ be the Hecke algebra of the symmetric group of degree n, over a field of arbitrary characteristic, and where q is a primitive l-th root of unity in $K$. Let $H_ρ$ be an l-parabolic subalgebra of $H$. We give an elementary explicit construction for the basic algebra of a non-simple block of $H_ρ$. We also discuss homological properties of $H_ρ$-modules, in particular existence of varieties for modules, and some consequences.
Drinfeld orbifold algebras deform skew group algebras in polynomial degree at most one and hence encompass graded Hecke algebras, and in particular symplectic reflection algebras and rational Cherednik algebras. We introduce parametrized families of Drinfeld orbifold algebras for symmetric groups acting on doubled representations that generalize rational Cherednik algebras by deforming in degree one. We characterize rich families of maps recording commutator relations with their linear parts supported only on and only off the identity when the symmetric group acts on the natural permutation re…
In our recent papers the centralizer construction was applied to the series of classical Lie algebras to produce the quantum algebras called (twisted) Yangians. Here we extend this construction to the series of the symmetric groups S(n). We study the `stable' properties of the centralizers of S(n-m) in the group algebra C[S(n)] as n increases with m fixed. We construct a limit centralizer algebra A and describe its algebraic structure. The algebra A turns out to be closely related with the degenerate affine Hecke algebras. We also show that the so-called tame representations of the infinite sy…
The purpose of this note is to give an insertion scheme proof of the formula, $$p_μ= \sum_{λ\vdash k} χ^λ(μ)s_λ,\formula$$ where $p_μ$ is the power sum symmetric function, $s_λ$ is the Schur function and $χ^λ(μ)$ is the irreducible character of the symmetric group $S_k$ indexed by the partition $λ$ and evaluated at a permutation of cycle type $μ=(μ_1,\ldots,μ_\ell)$. The proof of this formula is by direct application of the Robinson-Schensted-Knuth insertion scheme and a recent formula of Roichman.
We study the representation theory of three towers of algebras which are related to the symmetric groups and their Hecke algebras. The first one is constructed as the algebras generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. The two others are the monoid algebras of nondecreasing functions and nondecreasing parking functions. For these three towers, we describe the structure of simple and indecomposable projective modules, together with the Cartan map. The Grothendieck algebras and coalgebras given respectively by the induct…
We describe a recursive algorithm that produces an integral basis for the centre of the Hecke algebra of type A consisting of linear combinations of monomial symmetric polynomials of Jucys--Murphy elements. We also discuss the existence of integral bases for the centre of the Hecke algebra that consist solely of monomial symmetric polynomials of Jucys--Murphy elements. Finally, for n=3, we show that only one such basis exists for the centre of the Hecke algebra, by proving that there are exactly four bases for the centre of the corresponding symmetric group algebra which consist solely of mono…
Given a reductive group G, Kostant and Kumar defined a nil Hecke algebra that may be viewed as a degenerate version of the double affine nil Hecke algebra introduced by Cherednik. In this paper, we construct an isomorphism of the spherical subalgebra of the nil Hecke algebra with a Whittaker type quantum Hamiltonian reduction of the algebra of differential operators on G. This result has an interpretation in terms of the geometric Satake and the Langlands dual group. Specifically, the isomorphism provides a bridge between very differently looking descriptions of equivariant Borel-Moore homolog…
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.
In the previous paper "Symmetric Crystals and Affine Hecke Algebras of Type B", we formulated a conjecture on the relations between certain classes of irreducible representations of affine Hecke algebras of type B and symmetric crystals for $\gl_\infty$. In the first half of this paper (sections 2 and 3), we give a survey of the LLTA type theorem of the affine Hecke algebra of type $A$. In the latter half (sections 4, 5 and 6), we review the construction of the symmetric crystals and the LLTA type conjectures for the affine Hecke algebra of type $B$.
A 0-Hecke algebra is a deformation of the group algebra of a Coxeter group. Based on work of Norton and Krob--Thibon, we introduce a tableau approach to the representation theory of 0-Hecke algebras of type A, which resembles the classic approach to the representation theory of symmetric groups by Young tableaux and tabloids. We extend this approach to type B and D, and obtain a correspondence between the representation theory of 0-Hecke algebras of type B and D and quasisymmetric functions and noncommutative symmetric functions of type B and D. Other applications are also provided.
This is an expository article. We survey some fundamental trends in representation theory of symmetric groups and related objects which became apparent in the last fifteen years. The emphasis is on connections with Lie theory via categorification. We present results on branching rules and crystal graphs, decomposition numbers and canonical bases, graded representation theory, connections with cyclotomic and affine Hecke algebras, Khovanov-Lauda-Rouquier algebras, category ${\mathcal O}$, $W$-algebras, ...
We define and study RoCK blocks for double covers of symmetric groups. We prove that RoCK blocks of double covers are Morita equivalent to standard `local' blocks. The analogous result for blocks of symmetric groups, a theorem of Chuang and Kessar, was an important step in Chuang and Rouquier ultimately proving Broué's abelian defect group conjecture for symmetric groups. Indeed we prove Broué's conjecture for the RoCK blocks defined in this article. Our methods involve translation into the quiver Hecke superalgebras setting using the Kang-Kashiwara-Tsuchioka isomorphism and categorification m…
Building on the work of P.N. Norton, we give combinatorial formulae for two maximal decompositions of the identity into orthogonal idempotents in the $0$-Hecke algebra of the symmetric group, $\mathbb{C}H_0(S_N)$. This construction is compatible with the branching from $S_{N-1}$ to $S_{N}$.
In this paper we prove the Dipper-James conjecture that the centre of the Iwahori-Hecke algebra of type A is the set of symmetric polynomials in the Jucys-Murphy operators.
We define an action of the 0-Hecke algebra of type A on the Stanley-Reisner ring of the Boolean algebra. By studying this action we obtain a family of multivariate noncommutative symmetric functions, which specialize to the noncommutative Hall-Littlewood symmetric functions and their (q,t)-analogues introduced by Bergeron and Zabrocki, and to a more general family of noncommutative symmetric functions having parameters associated with paths in binary trees introduced recently by Lascoux, Novelli, and Thibon. We also obtain multivariate quasisymmetric function identities, which specialize to re…
We introduce a new class (in two versions) of rational double affine Hecke algebras (DaHa) associated to the spin symmetric group. We establish the basic properties of the algebras, such as PBW and Dunkl representation, and connections to Nazarov's degenerate affine Hecke-Clifford algebra and to a new degenerate affine Hecke algebra introduced here. We formulate a Morita equivalence between the two versions of rational DaHa's. The trigonometric generalization of the above constructions is also formulated and its relation to the rational counterpart is established.
In this paper we investigate non-central elements of the Iwahori-Hecke algebra of the symmetric group whose squares are central. In particular, we describe a commutative subalgebra generated by certain non-central square roots of central elements, and the generic existence of a rank-three submodule of the Hecke algebra contained in the square root of the centre but not in the centre. The generators for this commutative subalgebra include the longest word and elements related to trivial and sign characters of the Hecke algebra. We find elegant expressions for the squares of such generators in t…
Recently, Gekeler proved that the group of invertible analytic functions modulo constant functions on Drinfeld's upper half space is isomorphic to the dual of an integral generalized Steinberg representation. In this note we show that the group of invertible functions is the dual of a universal extension of that Steinberg representation. As an application, we show that lifting obstructions of rigid analytic theta cocycles of Hilbert modular forms in the sense of Darmon--Vonk can be computed in terms of $\mathcal{L}$-invariants of the associated Galois representation. The same argument applies …
Affine matrix-ball construction (abbreviated AMBC) was developed by Chmutov, Lewis, Pylyavskyy, and Yudovina as an affine generalization of Robinson-Schensted correspondence. We show that AMBC gives a simple way to compute a distinguished (or Duflo) involution in each Kazhdan-Lusztig cell of affine symmetric groups. We then use AMBC to give the first known canonical presentation for the asymptotic Hecke algebras of extended affine symmetric groups. As an application, we show that AMBC gives a conceptual way to compute Lusztig-Vogan bijection. For the latter we build upon prior works of Achar a…
There are left and right actions of the 0-Hecke monoid of the affine symmetric group $\tilde{S}_n$ on involutions whose cycles are labeled periodically by nonnegative integers. Using these actions we construct two bijections, which are length-preserving in an appropriate sense, from the set of involutions in $\tilde{S}_n$ to the set of $\mathbb{N}$-weighted matchings in the $n$-element cycle graph. As an application, we compute a formula for the bivariate generating function counting the involutions in $\tilde S_n$ by length and absolute length. The 0-Hecke monoid of $\tilde{S}_n$ also acts on…
A celebrated result of Farahat and Higman constructs an algebra $\mathrm{FH}$ which "interpolates" the centres $Z(\mathbb{Z}S_n)$ of group algebras of the symmetric groups $S_n$. We extend these results from symmetric group algebras to type $A$ Iwahori-Hecke algebras, $H_n(q)$. In particular, we explain how to construct an algebra $\mathrm{FH}_q$ "interpolating" the centres $Z(H_n(q))$. We prove that $\mathrm{FH}_q$ is isomorphic to $\mathcal{R}[q,q^{-1}] \otimes_{\mathbb{Z}} Λ$ (where $\mathcal{R}$ is the ring of integer-valued polynomials, and $Λ$ is the ring of symmetric functions). The iso…
We introduce a commutative associative graded algebra structure on the direct sum Z of the centers of the Hecke algebras associated to the symmetric groups in n letters for all n. As a natural deformation of the classical construction of Frobenius, we establish an algebra isomorphism from the algebra Z to the ring of symmetric functions. This isomorphism provides an identification between several distinguished bases for the centers (introduced by Geck-Rouquier, Jones, Lascoux) and explicit bases of symmetric functions.
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.
We build representations of the affine and double affine braid groups and Hecke algebras of type $C^\vee C_n$, based upon the theory of quantum symmetric pairs $(U,B)$. In the case $U=U_q(gl_N)$, our constructions provide a quantization of the representations constructed by Etingof, Freund and Ma in arXiv:0801.1530, and also a type $BC$ generalization of the results in arXiv:0805.2766.
We establish bounds for the representation dimension of skew group algebras and wreath products. Using this, we obtain bounds for the representation dimension of a block of a Hecke algebra of type A, in terms of the weight of the block. This includes certain blocks of group algebras of symmetric groups.
The Lascoux-Leclerc-Thibon conjecture, reformulated and solved by S. Ariki, asserts that the K-group of the representations of the affine Hecke algebras of type A is isomorphic to the algebra of functions on the maximal unipotent subgroup of the group associated with the Lie algebra $gl_\infty$ or the affine Lie algebra $A^{(1)}_\ell$, and the irreducible representations correspond to the upper global bases. In this note, we formulate analogous conjectures for certain classes of irreducible representations of affine Hecke algebras of type B. We corrected typos.
In [Boltje,Hartmann: Permutation resolutions for Specht modules, J. Algebraic Combin. 34 (2011), 141-162], a chain complex was constructed in a combinatorial way which conjecturally is a resolution of the (dual of the) integral Specht module for the symmetric group in terms of permutation modules. In this paper we extend the definition of the chain complex to the integral Iwahori Hecke algebra and prove the same partial exactness results that were proved in the symmetric group case. A complete proof of the exactness conjecture in the symmetric group case was recently given by Santana and Yudin…
Let ${\mathsf F}$ be the Schur functor from the category of finite dimensional ${\mathcal H}_{\vartriangle}(r)_\mathbb C$-modules to the category of finite dimensional ${\mathcal S}_{\vartriangle}(n,r)_{\mathbb{C}}$-modules, where ${\mathcal H}_{\vartriangle}(r)_\mathbb C$ is the extended affine Hecke algebra of type $A$ over ${\mathbb C}$ and ${\mathcal S}_{\vartriangle}(n,r)_{\mathbb{C}}$ is the affine quantum Schur algebras over $\mathbb{C}$. The Drinfeld polynomials associated with ${\mathsf F}(V)$ were determined in \cite[7.6]{CP96} and \cite[4.4.2]{DDF} in the case of $n>r$, where $V$ is…
G. E. Murphy showed in 1983 that the centre of every symmetric group algebra has an integral basis consisting of a specific set of monomial symmetric polynomials in the Jucys--Murphy elements. While we have shown in earlier work that the centre of the group algebra of S_3 has exactly three additional such bases, we show in this paper that the centre of the group algebra of S_4 has infinitely many bases consisting of monomial symmetric polynomials in Jucys--Murphy elements, which we characterize completely. The proof of this result involves establishing closed forms for coefficients of class su…
We investigate the extensions of the Hecke algebras of finite (complex) reflection groups by lattices of reflection subgroups that we introduced, for some of them, in our previous work on the Yokonuma-Hecke algebras and their connections with Artin groups. When the Hecke algebra is attached to the symmetric group, and the lattice contains all reflection subgroups, then these algebras are the diagram algebras of braids and ties of Aicardi and Juyumaya. We prove a stucture theorem for these algebras, generalizing a result of Espinoza and Ryom-Hansen from the case of the symmetric group to the ge…
Let G be a connected complex reductive group and let K be a symmetric subgroup of G. We prove a formula for the Drinfeld-Gaitsgory functor for the dg-category of K-equivariant sheaves on the flag manifold of G in terms of the Matsuki duality functor. As byproducts, we obtain a description of the Serre functor and the Deligne-Lusztig duality for (g,K)-modules.
In this paper we prove theorems that describe how the representation theory of the affine Hecke algebra of type A and of related algebras such as the group algebra of the symmetric group are controlled by integrable highest weight representations of the characteristic zero affine Lie algebra \hat{sl}_l. In particular we parameterise the representations of these algebras by the nodes of the crystal graph, and give various Hecke theoretic descriptions of the edges. As a consequence we find for each prime p a basis of the integrable representations of \hat{sl}_l which shares many of the remarkabl…
In this paper, we review the representation theory of the infinite symmetric group, and we extend the works of Kerov and Vershik by proving that the irreducible characters of the infinite symmetric group always satisfy a central limit theorem. Hence, for any point of the Thoma simplex, the corresponding measures on the levels of the Young graph have a property of gaussian concentration. By using the Robinson-Schensted-Knuth algorithm and the theory of Pitman operators, we relate these results to the properties of certain random permutations obtained by riffle shuffles, and to the behaviour of …
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)$.
Let $\H_n$ be the Iwahori-Hecke algebra of the symmetric group $S_n$, and let $Z(\H_n)$ denote its centre. Let $B={b_1,b_2,...,b_t}$ be a basis for $Z(\H_n)$ over $R=\Z[q,q^{-1}]$. Then $B$ is called \emph{multiplicative} if, for every $i$ and $j$, there exists $k$ such that $b_ib_j= b_k$. In this article we prove that there are no multiplicative bases for $Z(\Z S_n)$ and $Z(\H_n)$ when $n\ge 3$. In addition, we prove that there exist exactly two multiplicative bases for $Z(\Z S_2)$ and none for $Z(\H_2)$.
Recently, Lu and Wang formulated a Drinfeld type presentation for $\imath$quantum group $\widetilde{\mathbf U}^\imath$ arising from quantum symmetric pairs of split affine ADE type. In this paper, we generalize their results by establishing a current presentation for $\widetilde{\mathbf U}^\imath$ of arbitrary split affine type.
We introduce an affine Schur algebra via the affine Hecke algebra associated to Weyl group of affine type C. We establish multiplication formulas on the affine Hecke algebra and affine Schur algebra. Then we construct monomial bases and canonical bases for the affine Schur algebra. The multiplication formula allows us to establish a stabilization property of the family of affine Schur algebras that leads to the modified version of an algebra ${\mathbf K}^{\mathfrak c}_n$. We show that ${\mathbf K}^{\mathfrak c}_n$ is a coideal subalgebra of quantum affine algebra ${\bf U}(\hat{\mathfrak{gl}}_n…
Using norms, the second author constructed a basis for the centre of the Hecke algebra of the symmetric group over $\Q[ξ]$ in 1990. An integral "minimal" basis was later given by the first author in 1999, following work of Geck and Rouquier. In principle one can then write elements of the norm basis as integral linear combinations of minimal basis elements. In this paper we find an explicit non-recursive expression for the coefficients appearing in these linear combinations. These coefficients are expressed in terms of readily computable numbers involving orders of symmetric groups and conjuga…
