Hecke-Clifford superalgebras, crystals of type A_{2l}^{(2)} and modular branching rules for \hat S_n
Jonathan Brundan, Alexander Kleshchev
备注：
84 pages. This is the final version essentially as it appeared in Represent. Theory, vol. 5, pp.317--403, 2001, but with one extra footnote added on p.1
Ian Grojnowski has developed a purely algebraic way to connect the representation theory of affine Hecke algebras at an (l+1)-th root of unity to the highest weight theory of the affine Kac-Moody algebra of type A_l^(1). The present article is devoted to extending Grojnowski's machinery to the twisted case: we replace the affine Hecke algebras with the affine Hecke-Clifford superalgebras of Jones and Nazarov, and the Kac-Moody algebra A_l^(1) with the twisted algebra A_2l^(2). In particular, we obtain an algebraic construction purely in terms of the representation theory of Hecke-Clifford superalgebras of the plus part U_\Z^+ of the enveloping algebra, as well as of Kashiwara's highest weight crystals B(\infty) and B(\la) for each dominant weight \la.
The results of the article have applications to the modular representation theory of the double covers of the symmeric groups, as was predicted originally by Leclerc and Thibon. In particular, the parametrization of irreducibles, classification of blocks and analogues of the modular branching rules of the symmetric group for the double covers over fields of odd characteristic follow from the special case λ= Λ_0 of our main results. These matters are discussed in the final section of the paper.
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…
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.
In this paper we give Iwahori-Hecke type algebras H_q(g) associated with the Lie superalgebras g=A(m,n), B(m,n), C(n) and D(m,n). We classify the irreducible representations of H_q(g) for generic q.
We construct all the irreducible representations of spin quiver Hecke algebras for orthosymplectic Lie superalgebras $osp(1|2n),$ and show that their highest weights are given by the dominant words. We use the dominant Lyndon words to construct the cuspidal modules and show that the irreducible representations are the simple heads of standard representations constructed by induction from the cuspidal modules.
In this paper, we introduce the sign q-permutation representation of the Iwahori-Hecke algebra on the tensor space of the graded vector space. We establish Schur-Weyl reciprocity between the quantum general super Lie algebra and the Iwahori-Hecke algebra. Our result includes Schur-Weyl reciprocity of both the super case and the quantum case, and unifies those two important cases.
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.
Brundan and Kleshchev showed that some parts of the representation theory of the affine Hecke-Clifford superalgebras and its finite-dimensional "cyclotomic" quotients are controlled by the Lie theory of type $A^{(2)}_{2l}$ when the quantum parameter $q$ is a primitive $(2l+1)$-th root of unity. We show in this paper that similar theorems hold when $q$ is a primitive $4l$-th root of unity by replacing the Lie theory of type $A^{(2)}_{2l}$ with that of type $D^{(2)}_{l}$.
The notion of rational spin double affine Hecke algebras (sDaHa) and rational double affine Hecke-Clifford algebras (DaHCa) associated to classical Weyl groups are introduced. The basic properties of these algebras such as the PBW basis and Dunkl operator representations are established. An algebra isomorphism relating the rational DaHCa to the rational sDaHa is obtained. We further develop a link between the usual rational Cherednik algebra and the rational sDaHa by introducing a notion of rational covering double affine Hecke algebras.
We introduce an odd double affine Hecke algebra (DaHa) generated by a classical Weyl group W and two skew-polynomial subalgebras of anticommuting generators. This algebra is shown to be Morita equivalent to another new DaHa which are generated by W and two polynomial-Clifford subalgebras. There is yet a third algebra containing a spin Weyl group algebra which is Morita (super)equivalent to the above two algebras. We establish the PBW properties and construct Verma-type representations via Dunkl operators for these algebras.
We introduce a new family of superalgebras, the quantum walled Brauer-Clifford superalgebras ${\mathsf {BC}}_{r,s}(q)$. The superalgebra ${\mathsf {BC}}_{r,s}(q)$ is a quantum deformation of the walled Brauer-Clifford superalgebra ${\mathsf {BC}}_{r,s}$ and a super version of the quantum walled Brauer algebra. We prove that ${\mathsf {BC}}_{r,s}(q)$ is the centralizer superalgebra of the action of ${\mathfrak U}_{q}({\mathfrak q}(n))$ on the mixed tensor space $\mathbf{V}_{q}^{r,s}=\mathbf{V}_{q}^{\otimes r} \otimes (\mathbf{V}_q^*)^{\otimes s}$ when $n \ge r+s$, where ${\mathbf V}_{q}=\mathbb…
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.
This note uses a variation of graded Morita theory for finite dimensional superalgebras to determine explicitly the graded basic superalgebras for all real and complex Clifford superalgebras. As an application, the Grothendieck groups of the category of left $\mathbb{Z}_2$-graded modules over all real and complex Clifford superalgebras are described explicitly.
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…
We construct the finite dimensional simple integral modules for the (degenerate) affine Hecke-Clifford algebra (AHCA). Our construction includes an analogue of Zelevinsky's segment representations, a complete combinatorial description of the simple calibrated modules, and a classification of the simple integral modules. Additionally, we construct an analogue of the Arakawa-Suzuki functor for the Lie superalgebra of type Q.
We construct a family of twisted generalized Weyl algebras which includes Weyl-Clifford superalgebras and quotients of the enveloping algebras of $\mathfrak{gl}(m|n)$ and $\mathfrak{osp}(m|2n)$. We give a condition for when a canonical representation by differential operators is faithful. Lastly, we give a description of the graded support of these algebras in terms of pattern-avoiding vector compositions.
The spin analogues of several classical concepts and results for Hecke algebras are established. A Frobenius type formula is obtained for irreducible characters of the Hecke-Clifford algebra. A precise characterization of the trace functions allows us to define the character table for the algebra. The algebra is endowed with a canonical symmetrizing trace form, with respect to which the spin generic degrees are formulated and shown to coincide with the spin fake degrees. We further provide a characterization of the trace functions and the symmetrizing trace form on the spin Hecke algebra which…
As a natural generalization quantum Schur algebras associated with the Hecke algebra of the symmetric group, we introduce the quantum Schur superalgebra of type Q associated with the Hecke-Clifford superalgebra, which, by definition, is the endomorphism algebra of the induced module over the Hecke-Clifford superalgebra from certain permutation modules over the Hecke algebra of the symmetric group. We will describe certain integral bases for these superalgebras in terms of matrices and will establish the base change property for them. We will also identify the quantum Schur superalgebra of type…
The Hecke-Clifford superalgebra is a super-analogue of the Iwahori-Hecke algebra of type A. The classification of its simple modules is done by Brundan, Kleshchev and Tsuchioka using a method of categorification of affine Lie algebras. In this paper, we introduce another way to produce its simple modules with a generalized theory of cellular algebras which is originally developed by Graham and Lehrer. In our construction the key is that there is a right action of the Clifford superalgebra on the super-analogue of the Specht module. With the help of the notion of the Morita context, a simple mo…
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 an analogue of the Dirac operator for the degenerate affine Hecke-Clifford algebra. A main result is to relate the central characters of the degenerate affine Hecke-Clifford algebra with the central characters of the Sergeev algebra via Dirac cohomology. The action of the Dirac operator on certain modules is also computed. Results in this paper could be viewed as a projective version of the Dirac cohomology of the degenerate affine Hecke algebra.
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…
In this paper, we investigate the supercategories consisting of supermodules over quiver Hecke superalgebras and cyclotomic quiver Hecke superalgebras. We prove that these supercategories provide a supercategorification of a certain family of quantum superalgebras and their integrable highest weight modules. We show that, by taking a specialization, we obtain a supercategorification of quantum Kac-Moody superalgebras and their integrable highest weight modules.
The representation theory of 0-Hecke-Clifford algebras as a degenerate case is not semisimple and also with rich combinatorial meaning. Bergeron et al. have proved that the Grothendieck ring of the category of finitely generated supermodules of 0-Hecke-Clifford algebras is isomorphic to the algebra of peak quasisymmetric functions defined by Stembridge. In this paper we further study the category of finitely generated projective supermodules and clarify the correspondence between it and the peak algebra of symmetric groups. In particular, two kinds of restriction rules for induced projective s…
We define and study an action of the symmetric group on the Yokonuma--Hecke algebra. This leads to the definition of two classes of algebras. The first one is connected with the image of the algebra of the braid group inside the Yokonuma--Hecke algebras, and in turn with an algebra defined by Aicardi and Juyumaya known as the algebra of braids and ties. The second one can be seen as new deformations of complex reflection groups of type G(d,p,n). We provide several presentations for both algebras and a complete study of their representation theories using Clifford theory.
Let $\FRAK{g}$ be a classical simple Lie superalgebra. To every nilpotent orbit $\cal O$ in $\FRAK{g}_0$ we associate a Clifford algebra over the field of rational functions on $\cal O$. We find the rank, $k(\cal O)$ of the bilinear form defining this Clifford algebra, and deduce a lower bound on the multiplicity of a $U(\FRAK{g})$-module with $\cal O$ or an orbital subvariety of $\cal O$ as associated variety. In some cases we obtain modules where the lower bound on multiplicity is attained using parabolic induction. The invariant $k(\cal O)$ is in many cases, equal to the odd dimension of th…
We classify and construct irreducible completely splittable representations of affine and finite Hecke-Clifford algebras over an algebraically closed field of characteristic not equal to 2.
Ram and Rammage have introduced an automorphism and Clifford theory on affine Hecke algebras. Here we will extend them to cyclotomic Hecke algebras and rational Cherednik algebras.
We introduce the notion of $\imath$Schur superalgebra, which can be regarded as a type B/C counterpart of the $q$-Schur superalgebra (of type A) formulated as centralizer algebras of certain signed $q$-permutation modules over Hecke algebras. Some multiplication formulas for $\imath$Schur superalgebra are obtained to construct their canonical bases. Furthermore, we established an isomorphism theorem between the $\imath$Scuhr superalgebras and the $q$-Schur superalgebras of type A, which helps us derive a semisimplicity criteria of the $\imath$Schur superalgebras.
We introduce a general method for constructing modules for $0$-Hecke algebras and supermodules for $0$-Hecke-Clifford algebras from diagrams of boxes in the plane, and give formulas for the images of these modules in the algebras of quasisymmetric functions and peak functions under the relevant characteristic map. As initial applications, we resolve a question of Jing and Li (2015), introduce a new basis of the peak algebra analogous to the quasisymmetric Schur functions, uncover a new connection between Schur $Q$-functions and quasisymmetric Schur functions, give a representation-theoretic in…
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 prove a super Frobenius formula for the characters of the cyclotomic Hecke algebras by applying the super Schur-Weyl reciprocity between the quantum superalgebras and cyclotomic Hecke algebras, which is a super analogue of the Frobenius formula in (T. Shoji, J. Algebra 226: 2000, 818--856) and a cyclotomic analogue of the super Frobeinus formula in (H. Mitsuhashi, Linear Multilinear Algebra 58: 2010, 941--955).
It is shown that the Clifford superalgebra Cl(n|m) generated by m pairs of Bose operators (odd elements) anticommuting with n pairs of Fermi operators (even elements) can be deformed to Cl_q(n|m) such that the latter is a homomorphic image of the quantum superalgebra U_q[osp(2n+1|2m)]. The Fock space F(n|m) of Cl_q(n|m) is constructed. At q being a root of unity (q=\exp ({iπl/k})) q-bosons (and q-fermions) are operators acting in a finite-dimensional subspace F_{l/k}(n|m) of F(n|m). Each F_{l/k}(n|m) is turned through the above mentioned homomorphism into an irreducible (root of unity) U_q[osp…
We establish branching rules between some Iwahori-Hecke algebra of type B and their subalgebras which are defined as fixed subalgebras by involutions including Goldman involution. The Iwahori-Hecke algebra of type D is one of such fixed subalgebras. We also obtain branching rules between those fixed subalgebras and their intersection subalgebra. We determine basic sets of irreducible representations of those fixed subalgebras and their intersection subalgebra by making use of generalized Clifford theory.
In this paper, we investigate the structure of highest weight modules over the quantum queer superalgebra $U_q(q(n))$. The key ingredients are the triangular decomposition of $U_q(q(n))$ and the classification of finite dimensional irreducible modules over quantum Clifford superalgebras. The main results we prove are the classical limit theorem and the complete reducibility theorem for $U_q(q(n))$-modules in the category $O_q^{\geq 0}$.
We introduce the spin Hecke algebra, which is a q-deformation of the spin symmetric group algebra, and its affine generalization. We establish an algebra isomorphism which relates our spin (affine) Hecke algebras to the (affine) Hecke-Clifford algebras of Olshanski and Jones-Nazarov. Relation between the spin (affine) Hecke algebra and a nonstandard presentation of the usual (affine) Hecke algebra is displayed, and the notion of covering (affine) Hecke algebra is introduced to provide a link between these algebras. Various algebraic structures for the spin (affine) Hecke algebra are establishe…
On (super)symmetrizing forms and Schur elements of cyclotomic Hecke-Clifford algebras
The Chinese University of Hong Kong, Shenzhen（香港中文大学）；Beijing Institute of Technology（北京理工大学）；Academy of Mathematics and Systems Science Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Max-Planck-Institut für Mathematik（马克斯·普朗克数学研究所）
Take the matrix Lie superalgebra $gl_{N|N}$ with the standard generators $E_{ij}$ where $i,j=-N,...,-1,1,...,N$. Define an involutive automorphism of $gl_{N|N}$ by sending $E_{ij}$ to $E_{-i,-j}$. Then the corresponding twisted subalgebra $g$ in the polynomial current Lie superalgebra $gl_{N|N}[u]$, has a natural Lie co-superalgebra structure. Here we quantise the universal enveloping algebra $U(g)$ as a co-Poisson Hopf superalgebra. For the quantised algebra we give a description of the centre, and construct the double in the sense of Drinfeld. We also construct a class of irreducible represe…
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.
We give a classification of the simple modules for the cyclotomic Hecke algebras over $\mathbb{C}$ in the modular case. We use the unitriangular shape of the decomposition matrices of Ariki-Koike algebras and Clifford theory.
In this paper we prove a quantum generalization of Regev's theorems in (Israel. J. Math. 195 (2013), 31--35) by applying the Schur-Weyl duality between the quantum superalgebra and Iwahori-Hecke algebra. We also present an alternative proof of the quantized generalizations using the skew character theory of Iwahori-Hecke algebras.
The paper aims to introduce the cyclotomic $q$-Schur superalgebra via the permutation supermodules of the cyclotomic Hekce algebra and investigate its structure. In particular, we show that the cyclotomic $q$-Schur superalgebra is a cellular superalgebra and establish the Schur-Weyl duality between the cyclotomic Hecke algebra and the cyclotomic $q$-Schur superalgebra.
In \cite{BKN} the authors initiated a study of the representation theory of classical Lie superalgebras via a cohomological approach. Detecting subalgebras were constructed and a theory of support varieties was developed. The dimension of a detecting subalgebra coincides with the defect of the Lie superalgebra and the dimension of the support variety for a simple supermodule was conjectured to equal the atypicality of the supermodule. In this paper the authors compute the support varieties for Kac supermodules for Type I Lie superalgebras and the simple supermodules for $\mathfrak{gl}(m|n)$. T…
We show that the quiver Hecke superalgebras and their cyclotomic quotients provide a supercategorification of quantum Kac-Moody algebras and their integrable highest weight modules.
Let $\mathfrak{g}=\mathfrak{g}_{\bar{0}}+\mathfrak{g}_{\bar{1}}$ be a basic Lie superalgebra, $\mathcal{W}_0$ (resp.$\mathcal{W}$) be the finite W-(resp.super-) algebras constructed from a fixed nilpotent element in $\mathfrak{g}_{\bar{0}}$. Based on a relation between finite W-algebra $\mathcal{W}_0$ and W-superalgebra $\mathcal{W}$ found recently by the author and Shu, we study the finite dimensional representations of finite W-superalgebras in this paper. We first formulate and prove a version of Premet's conjecture for the finite W-superalgebras from basic simple Lie superalgebras. As in t…
