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.
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.
Let $(W,S)$ be a Coxeter system with $I\subseteq S$ such that the parabolic subgroup $W_I$ is finite. Associated to this data there is a \textit{Hecke algebra} $\scH$ and a \textit{parabolic Hecke algebra} $\scH^I=\mathbf{1}_I\scH\mathbf{1}_I$ (over a ring $\ZZ[q_s]_{s\in S}$). We give a complete classification of the commutative parabolic Hecke algebras across all Coxeter types.
Using the orbifold KZ connection we construct a functor from an affine parabolic category O of type A to the category O of a cyclotomic rational double affine Hecke algebra. We give several results concerning this functor.
We study the structure of parabolic inductions of a pro-$p$-Iwahori Hecke algebra. In particular, we give a classification of irreducible modulo $p$ representations of pro-$p$-Iwahori Hecke algebra in terms of supersingular representations. Since supersingular representations are classified by Ollivier and Vigneras, it completes the classification of irreducible modulo $p$ representations.
Let $\mathbf{P}$ be a parabolic subgroup with Levi $\mathbf{M}$ of a connected reductive group defined over a locally compact non-archimedean field $F$. Given a certain compact open subgroup $Γ$ of $\mathbf{P}(F)$, this note proves that the Hecke algebra $\mathcal{H}(\mathbf{M}(F))$ of $\mathbf{M}(F)$ with respect to $Γ\cap \mathbf{M}(F)$ is a left ring of fractions of the Hecke algebra $\mathcal{H}(\mathbf{P}(F))$ of $\mathbf{P}(F)$ with respect to $Γ$. This leads to a characterization of $\mathcal{H}(\mathbf{P}(F))$-modules that come from $\mathcal{H}(\mathbf{M}(F))$-modules.
We prove that the center of each degenerate cyclotomic Hecke algebra associated to the complex reflection group of type B_d(l) consists of symmetric polynomials in its commuting generators. The classification of the blocks of the degenerate cyclotomic Hecke algebras is an easy consequence. We then deduce that the center of an integral block of parabolic category O for the Lie algebra gl_n(C) is generated by the center of its universal enveloping algebra.
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.
We investigate certain categories, associated by Fiebig with the geometric representation of a Coxeter system, via sheaves on Bruhat graphs. We modify Fiebig's definition of translation functors in order to extend it to the singular setting and use it to categorify a parabolic Hecke module. As an application we obtain a combinatorial description of indecomposable projective objects of (truncated) non-critical singular blocks of (a deformed version of) category $\mathcal{O}$, using indecomposable special modules over the structure algebra of the corresponding Bruhat graph.
The two most fundamental conjectures on the structure of the generic Hecke algebra $\mathcal{H}(W)$ associated with a complex reflection group $W$ state that $\mathcal{H}(W)$ is a free module of rank $|W|$ over its ring of definition, and that $\mathcal{H}(W)$ admits a canonical symmetrising trace. The first conjecture has recently become a theorem, while the second conjecture, known to hold for real reflection groups, has only been proved for some exceptional non-real complex reflection groups (all of rank $2$ but one). The two most fundamental conjectures on the structure of the parabolic He…
An enhanced algebraic group $\uG$ of $G=\GL(V)$ over $\bbc$ is a product variety $\GL(V)\times V$, endowed with an enhanced cross product. Associated with a natural tensor representation of $\uG$, there are naturally Levi and parabolic Schur algebras $\mathcal{L}$ and $\mathcal{P}$ respectively. We precisely investigate their structures, and study the dualities on the enhanced tensor representations for variant groups and algebras. In this course, an algebraic model of so-called degenerate double Hecke algebras (DDHA) is produced, and becomes a powerful implement. The connection between $\math…
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.
This is a continuation of the sequence of papers \cite{HN2}, \cite{H99} in the study of the cocenters and class polynomials of affine Hecke algebras $\ch$ and their relation to affine Deligne-Lusztig varieties. Let $w$ be a $P$-alcove element, as introduced in \cite{GHKR} and \cite{GHN}. In this paper, we study the image of $T_w$ in the cocenter of $\ch$. In the process, we obtain a Bernstein presentation of the cocenter of $\ch$. We also obtain a comparison theorem among the class polynomials of $\ch$ and of its parabolic subalgebras, which is analogous to the Hodge-Newton decomposition theor…
This article gives conceptual statements and proofs relating parabolic induction and Jacquet functors on split reductive groups over a non-Archimedean local field to the associated Iwahori-Hecke algebra as tensoring from and restricting to parabolic subalgebras. The main tool is Bernstein's presentation of the Iwahori-Hecke algebra.
Let $\mathbf{G}$ be a connected reductive group defined over a locally compact non-archimedean field $F$, let $\mathbf{P}$ be a parabolic subgroup with Levi $\mathbf{M}$ and compatible with a pro-$p$ Iwahori subgroup of $G := \mathbf{G}(F)$. Let $R$ be a commutative unital ring. We introduce the parabolic pro-$p$ Iwahori--Hecke $R$-algebra $\mathcal{H}_R(P)$ of $P := \mathbf{P}(F)$ and construct two $R$-algebra morphisms $Θ^P_M\colon \mathcal{H}_R(P)\to \mathcal{H}_R(M)$ and $Ξ^P_G\colon \mathcal{H}_R(P) \to \mathcal{H}_R(G)$ into the pro-$p$ Iwahori--Hecke $R$-algebra of $M := \mathbf{M}(F)$ …
We study the Geometric Langlands Conjecture (GLC) for rank two flat bundles on the projective line $C$ with tame ramification at five points $\{p_{1}, p_{2}, p_{3}, p_{4}, p_{5} \}$. In particular we construct the automorphic $D$-modules predicted by GLC on the moduli space of rank two parabolic bundles on $(C, \{p_{1}, p_{2}, p_{3}, p_{4}, p_{5} \})$. The construction uses non-abelian Hodge theory and a Fourier-Mukai transform along the fibers of the Hitchin fibration to reduce the problem to one in classical projective geometry on the intersection of two quadrics in $\mathbb{P}^{4}$.
Let $F$ be a local non-archimedian field and $G$ be the group of $F$-points of a split connected reductive group over $F$. In a previous aricle we defined an algebra $\mathcal J(G)$ of functions on $G$ which contains the Hecke algebra $\mathcal H(G)$ and is contained in the Harish-Chandra Schwartz algebra $\mathcal C(G)$. We consider $\mathcal J(G)$ as an algebraic analog the algebra $\mathcal C(G)$. Given a parabolic subgroup $P$ of $G$ with a Levi subgroup $M$ and the unipotent radical $U_P$ we write $X_P:=G/U_P$. In this paper we study two versions of the Schwartz space of $X_P$. The first …
By Theorem~1.12 of the paper "A Class of Representations of Hecke Algebras", if $W$ is a Coxeter group whose proper parabolic subgroups are finite, and if the module of a finite $W$-digraph $Γ$ is isomorphic to the module of a $W$-graph, then $Γ$ must be acyclic. Here we extend this result to Coxeter groups with finite dihedral parabolic subgroups and $W$-graphs with arbitrary scalar edge labels. Also, errata for the paper are listed in the last section.
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…
In this paper, we shall establish the Mackey formulas in the following two set ups: (i) on the tensor induction and restriction functors on the modules over cyclotomic Hecke algebras (Ariki-Koike algebras) and their standard subalgebras of parabolic subgroups. (ii) on the Bezrukavnikov-Etingof induction and restriction functors among categories O of rational Cherednik algebras for the complex reflection group of type G(r, 1, n) and their parabolic subgroups.
The classical parabolic induction functor is a fundamental tool on the representation theoretic side of the Langlands program. In this article, we study its derived version. It was shown by the second author that the derived category of smooth $G$-representations over $k$, $G$ a $p$-adic reductive group and $k$ a field of characteristic $p$, is equivalent to the derived category of a certain differential graded $k$-algebra $H_G^\bullet$, whose zeroth cohomology is a classical Hecke algebra. This equivalence predicts the existence of a derived parabolic induction functor on the dg Hecke algebra…
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 s…
Let $W$ be a Coxeter group whose proper parabolic subgroups are finite. According to Theorem~1.12 of [1], if the module of a finite $W$-digraph $Γ$ is isomorphic to the module of a $W$-graph over $Q$, then $Γ$ is acyclic. We extend this result to Coxeter groups with finite dihedral parabolic subgroups and $W$-graphs over arbitrary fields $F$ of $C$. Also, an example is provided showing the converse of this theorem is false. That is, there is an example of a finite, acyclic $W$-digraph whose module does not afford a $W$-graph.
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…
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 let $\Hecke$ be the Hecke algebra associated with a finite Coxeter group $W$ and with one-parameter, over the ring of scalars $\Alg=\mathbb{Z}(q, q^{-1})$. With an elementary method, we introduce a cellular basis of $\Hecke$ indexed by the sets $E_J (J\subseteq S)$ and obtain a general theory of "Specht modules". We provide an algorithm for $W\!$-graphs for the "generic Specht module", which associates with the Kazhdan and Lusztig cell ( or more generally, a union of cells of $W$ ) containing the longest element of a parabolic subgroup $W_J$ for appropriate $J\subseteq S$. As…
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, ...
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 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…
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$.
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.
Varagnolo and Vasserot conjectured an equivalence between the category O for CRDAHA's and a subcategory of an affine parabolic category O of type A. We prove this conjecture. As applications, we prove a conjecture of Rouquier on the dimension of simple modules of CRDAHA's and a conjecture of Chuang-Miyachi on the Koszul duality for the category O of CRDAHA's.
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.
In this paper, we shall recall and arrange the relationship between hyperbolic elements and parabolic subalgebras at first. And then, we shall classify all the compatible parabolic subalgebras containing a $τ$-stable Borel subalgebra for complex symmetric pairs $(\mathfrak{g},\mathfrak{g}^τ)$, where $τ$ is a involutive automorphism of $\mathfrak{g}$.
A geometric extension algebra is an extension algebra of a semi-simple perverse sheaf (allowing shifts), e.g. a push-forward of the constant sheaf under a projective map. Particular nice situations arise for collapsings of homogeneous vector bundle over homogeneous spaces. In this paper, we study the relationship between partial flag and complete flag cases. Our main result is that the locally finite modules over the geometric extension algebras are related by a recollement. As examples, we investigate parabolic affine nil Hecke algebras, geometric extension algebras associated to parabolic Sp…
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}$.
Let H be a Hecke algebra arising as an endomorphism algebra of the representation of a Chevalley group G over F_q induced by a unipotent cuspidal representation of a Levi quotient L of a parabolic subgroup. We assume that L is not a torus. In this paper we outline a geometric interpretation of the coefficients of the canonical basis of H in terms of perverse sheaves. We illustrate this in detail in the case where the Weyl group of G is of type B_4 and that of L is of type B_2.
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.
Hecke algebras are beautiful q-extensions of Coxeter groups. In this paper, we prove several results on their characters, with an emphasis on characters induced from trivial and sign representations of parabolic subalgebras. While most of the results in type A are known, our proofs are of a combinatorial nature, and generalize to (partial) results in types B and C. We also present complete descriptions of such characters for type I.
Generalizing the centralizer construction of Molev and Olshanski on symmetric groups, we study the structures of the centralizer $\mZ_{m,n}$ of the wreath product $G_{n-m}$ in the group algebra of $G_n$ for any $n\geq m$. We establish the connection between $\mZ_{m,n}$ and a generalization of degenerate affine Hecke algebras introduced in our earlier work.
The irreducible representations of full support in the rational Cherednik category $\mathcal{O}_c(W)$ attached to a Coxeter group $W$ are in bijection with the irreducible representations of an associated Iwahori-Hecke algebra. Recent work has shown that the irreducible representations in $\mathcal{O}_c(W)$ of arbitrary given support are similarly governed by certain generalized Hecke algebras. In this paper we compute the parameters for these generalized Hecke algebras in the remaining previously unknown cases, corresponding to the parabolic subgroup $B_n \times S_k$ in $B_{n+k}$ for $k \geq …
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…
We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined by Khovanov, acts naturally on the categories of modules for Hecke algebras of type A and finite general linear groups. In this way, we obtain a categorification of the bosonic Fock space. We also develop the theory of parabolic induction and restriction functors for finite groups and prove general results on biadjointness and cyclicity in this setting.
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.
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…
