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.
We study the Schur elements and the a-function for cyclotomic Hecke algebras. As a consequence, we show the existence of canonical basic sets, as defined by Geck-Rouquier, for certain complex reflection groups. This includes the case of finite Weyl groups for all choices of parameters (in characteristic 0).
After establishing a geometric Schur-Weyl duality in a general setting, we recall this duality in type A in the finite and affine case. We extend the duality in the affine case to positive parts of the affine algebras. The positive parts have nice ideals coming from geometry, allowing duality for quotients. Some of the quotients of the positive affine Hecke algebra are then identified to some cyclotomic Hecke algebras and the geometric setting allows the construction of canonical bases.
Following the generalization of the notion of families of characters, defined by Lusztig for Weyl groups, to the case of complex reflection groups, thanks to the definition given by Rouquier, we show that the degree and the valuation of the Schur elements (functions A and a) remain constant on the "families" of the cyclotomic Hecke algebras of the exceptional complex reflection groups. The same result has already been obtained for the groups of the infinite series and for some special cases of exceptional groups.
The extended Schur functions form a basis of quasisymmetric functions that contains the Schur functions. We provide a representation-theoretic interpretation of this basis by constructing $0$-Hecke modules whose quasisymmetric characteristics are the extended Schur functions. We further prove these modules are indecomposable.
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.
Recently Tewari and van Willigenburg constructed modules of the 0-Hecke algebra that are mapped to the quasisymmetric Schur functions by the quasisymmetric characteristic and decomposed them into a direct sum of certain submodules. We show that these submodules are indecomposable by determining their endomorphism rings.
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 construct modules of the $0$-Hecke algebra whose images under the quasisymmetric characteristic map are the Young row-strict quasisymmetric Schur functions. This provides a representation-theoretic interpretation of this basis of quasisymmetric functions, answering a question of Mason and Niese (2015). Additionally, we classify when these modules are indecomposable.
We define a higher level version of the affine Hecke algebra and prove that, after completion, this algebra is isomorphic to a completion of Webster's tensor product algebra of type A. We then introduce a higher level version of the affine Schur algebra and establish, again after completion, an isomorphism with the quiver Schur algebra. An important observation is that the higher level affine Schur algebra surjects to the Dipper-James-Mathas cyclotomic q-Schur algebra. Moreover, we give nice diagrammatic presentations for all the algebras introduced in this paper.
For any algebra $A$ over an algebraically closed field $\mathbb{F}$, we say that an $A$-module $M$ is Schurian if $\mathrm{End}_A(M) \cong \mathbb{F}$. We say that $A$ is Schurian-finite if there are only finitely many isomorphism classes of Schurian $A$-modules, and Schurian-infinite otherwise. In this paper, we build on the work of Ariki and the second author to show that all blocks of type $A$ Hecke algebras of weight at least $2$ in quantum characteristic $e \geq 3$ are Schurian-infinite. This proves that if $e \geq 3$ then blocks of type $A$ Hecke algebras are Schurian-finite if and only …
We begin by deriving an action of the 0-Hecke algebra on standard reverse composition tableaux and use it to discover 0-Hecke modules whose quasisymmetric characteristics are the natural refinements of Schur functions known as quasisymmetric Schur functions. Furthermore, we classify combinatorially which of these 0-Hecke modules are indecomposable. From here, we establish that the natural equivalence relation arising from our 0-Hecke action has equivalence classes that are isomorphic to subintervals of the weak Bruhat order on the symmetric group. Focussing on the equivalence classes containin…
The paper uses the cellular basis of the (semi-simple) degenerate cyclotomic Hecke algebras to investigate these algebras exhaustively. As a consequence, we describe explicitly the "Young's seminormal form" and a orthogonal bases for Specht modules and determine explicitly the closed formula for the natural bilinear form on Specht modules and Schur elements for the degenerate cyclotomic Hekce algebras.
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（马克斯·普朗克数学研究所）
We define a new product on orbits of pairs of flags in a vector space, using open orbits in certain varieties of pairs of flags. This new product defines an associative $\mathbb{Z}$-algebra, denoted by $G(n,r)$. We show that $G(n,r)$ is a geometric realisation of the 0-Schur algebra $S_0(n, r)$ over $\mathbb{Z}$, which is the $q$-Schur algebra $S_q(n,r)$ at q=0. We view a pair of flags as a pair of projective resolutions for a quiver of type $\mathbb{A}$ with linear orientation, and study $q$-Schur algebras from this point of view. This allows us to understand the relation between $q$-Schur al…
Given a complex reflection group W we compute the support of the spherical irreducible module of the rational Cherednik algebra of W in terms of the simultaneous eigenfunction of the Dunkl operators and Schur elements for finite Hecke algebras.
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 the authors investigate the $q$-Schur algebras of type B that were constructed earlier using coideal subalgebras for the quantum group of type A. The authors present a coordinate algebra type construction that allows us to realize these $q$-Schur algebras as the duals of the $d$th graded components of certain graded coalgebras. Under suitable conditions an isomorphism theorem is proved that demonstrates that the representation theory reduces to the $q$-Schur algebra of type A. This enables the authors to address the questions of cellularity, quasi-hereditariness and representatio…
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…
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.
We provide a combinatorial characterization of two-sided cells in modified $\imath$quantum groups of type AIII. Our approach is to lift a corresponding description of two-sided cells in $\jmath$-Schur algebras associated to Iwahori--Hecke algebras of type $B$. We further give a combinatorial description of two-sided cells in other two kinds of Schur-type algebras, namely $\imath$-Schur algebras and $\tilde{\imath}$-Schur algebras.
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…
This paper surveys, and in some cases generalises, many of the recent results on homomorphisms and the higher Ext groups for q-Schur algebras and for the Hecke algebra of type A. We review various results giving isomorphisms between Ext groups in the two categories, and discuss those cases where explicit results have been determined.
The purpose of this paper is to provide a unified method for dealing with various 0-Hecke modules constructed using tableaux so far. To do this, we assign a $0$-Hecke module to each left weak Bruhat interval, called a weak Bruhat interval module. We prove that every indecomposable summand of the $0$-Hecke modules categorifying dual immaculate quasisymmetric functions, extended Schur functions, quasisymmetric Schur functions, and Young row-strict quasisymmetric Schur functions is a weak Bruhat interval module. We further study embedding into the regular representation, induction product, restri…
We construct a new basis for a slim cyclotomic $q$-Schur algebra $\cysSr$ via symmetric polynomials in Jucys--Murphy operators of the cyclotomic Hecke algebra $\cysHr$. We show that this basis, labelled by matrices, is not the double coset basis when $\cysHr$ is the Hecke algebra of a Coxeter group, but coincides with the double coset basis for the corresponding group algebra, the Hecke algebra at $q=1$. As further applications, we then discuss the cyclotomic Schur--Weyl duality at the integral level. This also includes a category equivalence and a classification of simple objects.
In this paper we give a symbolical formula and a cancellation-free formula for the Schur elements associated to the simple modules of the degenerate cyclotomic Hecke algebras. As some direct applications, we show that the Schur elements are symmetric with respect to the natural symmetric group action and are integral coefficients polynomials and we give a different proof of Ariki-Mathas-Rui's criterion on the semi-simplicity of degenerate cyclotomic Hecke algebras.
In this note, we investigate a kind of double centralizer property for general linear supergroups. For the super space $V=\mathbb{K}^{m\mid n}$ over an algebraically closed field $\mathbb{K}$ whose characteristic is not equal to $2$, we consider its $\mathbb{Z}_2$-homogeneous one-dimensional extension $\underline V=V\oplus\mathbb{K}v$, and the natural action of the supergroup $\tilde G:=\text{GL}(V)\times \textbf{G}_m$ on $\underline V$. Then we have the tensor product supermodule ($\underline{V}^{\otimes r}$, $ρ_r$) of $\tilde G$. We present a kind of generalized Schur-Sergeev duality which i…
We show that quantum Schur-Weyl duality leads to Markov duality for a variety of asymmetric interacting particle systems. In particular, we consider three cases: (1) Using a Schur-Weyl duality between a two-parameter quantum group and a two-parameter Hecke algebra from arXiv:math/0108038, we recover the Markov self-duality of multi-species ASEP previously discovered in arXiv:1605.00691 and arXiv:1606.04587. (2) From a Schur-Weyl duality between a co-ideal subalgebra of a quantum group and a Hecke algebra of type B arXiv:1609.01766, we find a Markov duality for a multi-species open ASEP on the …
We establish a Schur type duality between a coideal subalgebra of the quantum group of type A and the Hecke algebra of type B with 2 parameters. We identify the $\imath$-canonical basis on the tensor product of the natural representation with Lusztig's canonical basis of the type B Hecke algebra with unequal parameters associated to a weight function.
We construct an action of the Hecke monoid on the category of rational modules for the quantum negative Borel subgroup of the quantum general linear group. We also show that this action restricts to the category of polynomial modules for this quantum subgroup and induces an action on the category of modules for quantised Borel-Schur algebras.
We show that the category O for a rational Cherednik algebra of type A is equivalent to modules over a q-Schur algebra (parameter not a half integer), providing thus character formulas for simple modules. We give some generalization to B_n(d). We prove an ``abstract'' translation principle. These results follow from the unicity of certain highest categories covering Hecke algebras. We also provide a semi-simplicity criterion for Hecke algebras of complex reflection groups.
We study the Schur elements associated to the simple modules of the Ariki-Koike algebra. We first give a cancellation-free formula for them so that their factors can be easily read and programmed. We then study direct applications of this result. We also complete the determination of the canonical basic sets for cyclotomic Hecke algebras of type $G(l,p,n)$ in characteristic 0.
We prove Turner's conjecture, which describes the blocks of the Hecke algebras of the symmetric groups up to derived equivalence as certain explicit Turner double algebras. Turner doubles are Schur-algebra-like `local' objects, which replace wreath products of Brauer tree algebras in the context of the Broué abelian defect group conjecture for blocks of symmetric groups with non-abelian defect groups. The main tools used in the proof are generalized Schur algebras corresponding to wreath products of zigzag algebras and imaginary semicuspidal quotients of affine KLR algebras.
We determine the finite-dimensional simple modules for two-parameter quantum groups corresponding to the general linear and special linear Lie algebras gl_n and sl_n, and give a complete reducibility result. These quantum groups have a natural n-dimensional module V. We prove an analogue of Schur-Weyl duality in this setting: the centralizer algebra of the quantum group action on the k-fold tensor power of V is a quotient of a Hecke algebra for all n and is isomorphic to the Hecke algebra in case n\geq k.
This paper classifies the blocks of the cyclotomic Hecke algebras of type G(r,1,n) over an arbitrary field. Rather than working with the Hecke algebras directly we work instead with the cyclotomic Schur algebras. The advantage of these algebras is that the cyclotomic Jantzen sum formula gives an easy combinatorial characterization of the blocks of the cyclotomic Schur algebras. We obtain an explicit description of the blocks by analyzing the combinatorics of `Jantzen equivalence'. We remark that a proof of the classification of the blocks of the cyclotomic Hecke algebras was announced in 1999.…
Given a module $M$ for the algebra $\mathcal{D}_{\mathtt{q}}(G)$ of quantum differential operators on $G$, and a positive integer $n$, we may equip the space $F_n^G(M)$ of invariant tensors in $V^{\otimes n}\otimes M$, with an action of the double affine Hecke algebra of type $A_{n-1}$. Here $G= SL_N$ or $GL_N$, and $V$ is the $N$-dimensional defining representation of $G$. In this paper we take $M$ to be the basic $\mathcal{D}_{\mathtt{q}}(G)$-module, i.e. the quantized coordinate algebra $M= \mathcal{O}_{\mathtt{q}}(G)$. We describe a weight basis for $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ com…
This paper presents a $q$-analogue of an extension of the tensor algebra given by the same author. This new algebra naturally contains the ordinary tensor algebra and the Iwahori-Hecke algebra type $A$ of infinite degree. Namely this algebra can be regarded as a natural mix of these two algebras. Moreover, we can consider natural "derivations" on this algebra. Using these derivations, we can easily prove the $q$-Schur-Weyl duality (the duality between the quantum enveloping algebra of the general linear Lie algebra and the Iwahori-Hecke algebra of type $A$).
We establish Schur-Weyl reciprocity for the q-analogue of the alternating group. We analyze the sign q-permutation representation of the Hecke algebra on the tensor product of the super vector space V in detail, and examine its restriction to the q-analogue of the alternating group. In consequence, we find out that if the dimensions of even part and odd part of V are same, then the centralizer of the q-analogue of the alternating group is a Z_2-crossed product of the centralizer of the Hecke algebra and obtain Schur-Weyl reciprocity between them. Though the structure of the centralizer is more…
We study the (quantum) Schur algebras of type B/C corresponding to the Hecke algebras with unequal parameters. We prove that the Schur algebras afford a stabilization construction in the sense of Beilinson-Lusztig-MacPherson that constructs a multiparameter upgrade of the quantum symmetric pair coideal subalgebras of type A III/IV with no black nodes. We further obtain the canonical basis of the Schur/coideal subalgebras, at the specialization associated to any weight function. These bases are the counterparts of Lusztig's bar-invariant basis for Hecke algebras with unequal parameters. In the …
We extend Schur-Weyl duality to an arbitrary level $l \geq 1$, the case $l=1$ recovering the classical duality between the symmetric and general linear groups. In general, the symmetric group is replaced by the degenerate cyclotomic Hecke algebra over $\C$ parametrized by a dominant weight of level $l$ for the root system of type $A_\infty$. As an application, we prove that the degenerate analogue of the quasi-hereditary cover of the cyclotomic Hecke algebra constructed by Dipper, James and Mathas is Morita equivalent to certain blocks of parabolic category $\mathcal{O}$ for the general linear…
We define Kazhdan-Lusztig bases and study asymptotic forms for affine $q$-Schur algebras following Du and McGerty. We will show that the analogues of Lusztig's conjectures for Hecke algebras with unequal parameters hold for affine $q$-Schur algebras. We will also show that the affine $q$-Schur algebra $\mathcal{S}_{q,k}^{\vartriangle}(2,2)$ over a field $k$ has finite global dimension when char $k=0$ and $1+q\neq 0.$
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…
