Motivated by work of R.M. Green, we obtain a presentation of Schur algebras (both the classical and quantized versions) in terms of generators and relations. The presentation is compatible with the usual presentation of the (quantized or classical) enveloping algebra of gl(n). As a result, we obtain a new ``integral'' basis for Schur algebras which is a subset of Kostant's basis of the integral form of the enveloping algebra (or its q-analogue). Projection onto an appropriate component gives a new "integral" basis and a presentation for the Hecke algebra, compatible with the basis and presentation for the Schur algebra. Finally, we find a second presentation of Schur algebras which is similar to Luzstig's modified form of the quantized enveloping algebra.
We give a presentation of cyclotomic q-Schur algebras by generators and defining relations. As an application, we give an algorithm for computing decomposition numbers of cyclotomic q-Schur algebras.
We obtain a presentation of certain affine q-Schur algebras in terms of generators and relations. The presentation is obtained by adding more relations to the usual presentation of the quantized enveloping algebra of type affine gl_n. Our results extend and rely on the corresponding result for the q-Schur algebra of the symmetric group, which were proved by the first author and Giaquinto.
We obtain a presentation of quantum Schur algebras (over the field Q(v)) by generators and relations. This presentation is compatible with the usual presentation of the quantized universal enveloping algebra of the Lie algebra gl(2). We also locate the ``integral'' form of the quantum Schur algebra within the presented algebra and show it has a basis which is closely related to Lusztig's basis of the integral form of the quantized enveloping algebra.
Associated to the two types of finite dimensional simple superalgebras, there are the general linear Lie superalgebra and the queer Lie superalgebra. The universal enveloping algebras of these Lie superalgebras act on the tensor spaces of the natural representations and, thus, define certain finite dimensional quotients, the Schur superalgebras and the queer Schur superalgebra. In this paper, we introduce the quantum analogue of the queer Schur superalgebra and investigate the presentation problem for both the queer Schur superalgebra and its quantum analogue.
We provide a presentation of the Schur superalgebra and its quantum analogue which generalizes the work of Doty and Giaquinto for Schur algebras. Our results include a basis for these algebras and a presentation using weight idempotents in the spirit of Lusztig's modified quantum groups.
The universal enveloping algebra ${\mathcal U}({\widehat{\frak{gl}}_n})$ of ${\widehat{\frak{gl}}_n}$ was realized in \cite[Ch. 6]{DDF} using affine Schur algebras. In particular some explicit multiplication formulas in affine Schur algebras were derived. We use these formulas to study the structure of affine Schur algebras. In particular, we give a presentation of the affine Schur algebra ${\mathcal S}_{\!\vartriangle}(n,r)_{\mathbb Q}$.
We give explicit presentations by generators and relations of certain generalized Schur algebras (associated with tensor powers of the natural representation) in types B, C, D. This extends previous results in type A obtained by two of the authors. The presentation is compatible with the Serre presentation of the corresponding universal enveloping algebra. In types C, D this gives a presentation of the corresponding classical Schur algebra (the image of the representation on a tensor power) since the classical Schur algebra coincides with the generalized Schur algebra in those types. This coin…
We give a presentation of Schur algebras (over the rational number field) by generators and relations, in fact a presentation which is compatible with Serre's presentation of the universal enveloping algebra of a simple Lie algebra. In the process we find a new basis for Schur algebras, a truncated form of the usual PBW basis. We also locate the integral Schur algebra within the presented algebra as the analogue of Kostant's Z-form, and show that it has an integral basis which is a truncated version of Kostant's basis.
We formulate a $q$-Schur algebra associated to an arbitrary $W$-invariant finite set $X_{\texttt f}$ of integral weights for a complex simple Lie algebra with Weyl group $W$. We establish a $q$-Schur duality between the $q$-Schur algebra and Hecke algebra associated to $W$. We then realize geometrically the $q$-Schur algebra and duality, and construct a canonical basis for the $q$-Schur algebra with positivity. With suitable choices of $X_{\texttt f}$ in classical types, we recover the $q$-Schur algebras in the literature. Our $q$-Schur algebras are closely related to the category $\mathcal O$…
In \cite{DFW} and \cite{Fu07}, little $q$-Schur algebras were introduced as homomorphic images of the infinitesimal quantum groups. In this paper, we will investigate representations of these algebras. We will classify simple modules for little $q$-Schur algebras and classify semisimple little $q$-Schur algebras. Moreover, through the classification of the blocks of little $q$-Schur algebras for $n=2$, we will determine little $q$-Schur algebras of finite representation type in the odd roots of unity case.
We obtain a presentation of Schur algebras (and q-Schur algebras) by generators and relations which is compatible with the usual presentation of the enveloping algebra (quantized enveloping algebra) corresponding to the Lie algebra gl(n) of n x n matrices. We also find several new bases of Schur algebras and their corresponding integral forms.
We define a generic multiplication in quantised Schur algebras and thus obtain a new algebra structure in the Schur algebras. We prove that via a modified version of the map from quantum groups to quantised Schur algebras, defined by A. A. Beilinson, G. Lusztig and R. MacPherson, a subalgebra of this new algebra is a quotient of the monoid algebra in Hall algebras studied by M. Reineke. We also prove that the subalgebra of the new algebra gives a geometric realisation of a positive part of 0-Schur algebras. Consequently, we obtain a multiplicative basis for the positive part of 0-Schur algebra…
We define the induction and restriction functors for cyclotomic q-Schur algebras, and study some properties of them. As an application, we categorify a higher level Fock space by using the module categories of cyclotomic q-Schur algebras.
The quantum Frobenius map and it splitting are shown to descend to corresponding maps for generalized $q$-Schur algebras at a root of unity. We also define analogs of $q$-Schur algebras for any affine algebra, and prove the corresponding results for them.
Motivated by Brundan-Kleshchev's work on higher Schur-Weyl duality, we establish mixed Schur-Weyl duality between general linear Lie algebras and cyclotomic walled Brauer algebras in an arbitrary level. Using weakly cellular bases of cyclotomic walled Brauer algebras, we classify highest weight vectors of certain mixed tensor modules of general linear Lie algebras. This leads to an efficient way to compute decomposition matrices of cyclotomic walled Brauer algebras arising from mixed Schur-Weyl duality, which generalizes early results on level two walled Brauer algebras.
The affine quantum Schur algebra is a certain important infinite dimensional algebra whose representation theory is closely related to that of quantum affine $\frak{gl}_n$. Finite dimensional irreducible modules for the affine quantum Schur algebra ${\mathcal S}_{\vartriangle}(n,r)_{v}$ were classified in \cite{DDF}, where $v\in{\mathbb C}^*$ is not a root of unity. We will classify blocks of the affine quantum Schur algebra ${\mathcal S}_{\vartriangle}(n,r)_{v}$ in this paper.
When the parameter $q\in\mathbb C^*$ is not a root of unity, simple modules of affine $q$-Schur algebras have been classified in terms of Frenkel--Mukhin's dominant Drinfeld polynomials (\cite[4.6.8]{DDF}). We compute these Drinfeld polynomials associated with the simple modules of an affine $q$-Schur algebra which come from the simple modules of the corresponding $q$-Schur algebra via the evaluation maps.
We prove that certain parabolic Kazhdan-Lusztig polynomials calculate the graded decomposition matrices of v-Schur algebras given by the Jantzen filtration of Weyl modules, confirming a conjecture of Leclerc and Thibon.
Generalizing recent work of Brundan and Kleshchev, we introduce grading on Dipper-James' $q$-Schur algebra, and prove a graded analogue of the Leclerc and Thibon's conjecture on the decomposition numbers of the $q$-Schur algebra when $q^2\neq1$ and $q^3\neq1$.
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.
We will classify finite dimensional irreducible modules for affine quantum Schur algebras at roots of unity and generalize \cite[(6.5f) and (6.5g)]{Gr80} to the affine case in this paper.
We define a generalization of the idempotented Schur algebra which gives a unified setting for a quantum group presentation of the Homfly-Pt polynomial, together with its specializations to the Alexander polynomial and the slm Reshetikhin-Turaev invariants.
Mason and Ng have given a generalization to semisimple quasi-Hopf algebras of Linchenko and Montgomery's generalization to semisimple Hopf algebras of the classical Frobenius-Schur theorem for group representations. We give a simplified proof, in particular a somewhat conceptual derivation of the appropriate form of the Frobenius-Schur indicator that indicates if and in which of two possible fashions a given simple module is self-dual.
We introduce a generalized version of a q-Schur algebra (of parabolic type) for arbitrary Hecke algebras over extended Weyl groups. We describe how the decomposition matrix of a finite group with split BN-pair, with respect to a non-describing prime, can be partially described by the decomposition matrices of suitably chosen q-Schur algebras. We show that the investigated structures occur naturally in finite groups of Lie type.
Let $S$ be the cyclotomic $q$-Schur algebra associated to the Ariki-Koike algebra $H_{n,r}$ of rank $n$, introduced by Dipper-James-Mathas. For each $p = (r_1, ..., r_g)$ such that $r_1 + ... + r_g = r$, we define a subalgebra $S^p$ of $S$ and its quotient algebra $\bar S^p$. It is shown that $S^p$ is a standardly based algebra and $\bar S^p$ is a cellular algebra. By making use of these algebras, we show that certain decomposition numbers for $S$ can be expressed as a product of decomposition numbers for cyclotomic $q$-Schur algebras associated to smaller Ariki_koike algebras $H_{n_k,r_k}$.
We show that the algebras constructed in [Li10] and [Li12] are generalized q-Schur algebras as defined in [D03]. This provides a geometric construction of generalized q-Schur algebras in types A, D and E. We give a parameterization of Nakajima's Lagrangian quiver variety of type D associated to a certain highest weight.
Expanding the classical work of Kazhdan-Lusztig, we construct a bar involution and canonical bases on the $q$-Brauer algebra introduced by Wenzl. We define explicit actions of the $q$-Brauer algebra on the tensor spaces, and formulate $\imath$Schur dualities between the $q$-Brauer algebra and the $\imath$quantum groups of type AI and AII respectively.
We prove an integral version of the Schur--Weyl duality between the specialized Birman--Murakami--Wenzl algebra $B_n(-q^{2m+1},q)$ and the quantum algebra associated to the symplectic Lie algebra sp_{2m}. In particular, we deduce that this Schur--Weyl duality holds over arbitrary (commutative) ground rings, which answers a question of Lehrer and Zhang [Strongly multiplicity free modules for Lie algebras and quantum groups, J. Algebra (1) 306 (2006), 138--174] in the symplectic case. As a byproduct, we show that, as $Z[q,q^{-1}]$-algebra, the quantized coordinate algebra defined by Kashiwara is…
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 …
Let $\Sc(\vL)$ be the cyclotomic $q$-Schur algebra associated to the Ariki-Koike algebra $\He_{n,r}$, introduced by Dipper-James-Mathas. In this paper, we consider $v$-decomposition numbers of $\Sc(\vL)$, namely decomposition numbers with respect to the Jantzen filtrations of Weyl modules. We prove, as a $v$-analogue of the result obtained by Shoji-Wada, a product formula for $v$-decomposition numbers of $\Sc(\vL)$, which asserts that certain $v$-decomposition numbers are expressed as a product of $v$-decomposition numbers for various cyclotomic $q$-Schur algebras associated to Ariki-koike alg…
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.
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…
We show that canonical bases in $\dot{U}(\mathfrak{sl}_n)$ and the Schur algebra are compatible; in fact we extend this result to $p$-canonical bases. This follows immediately from a fullness result from a functor categorifying this map. In order to prove this result, we also explain the connections between categorifications of the Schur algebra which arise from parity sheaves on partial flag varieties, singular Soergel bimodules and Khovanov and Lauda's "flag category," which are of some independent interest.
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$).
The classical Frobenius-Schur indicators for finite groups are character sums defined for any representation and any integer m greater or equal to 2. In the familiar case m=2, the Frobenius-Schur indicator partitions the irreducible representations over the complex numbers into real, complex, and quaternionic representations. In recent years, several generalizations of these invariants have been introduced. Bump and Ginzburg, building on earlier work of Mackey, have defined versions of these indicators which are twisted by an automorphism of the group. In another direction, Linchenko and Montg…
We prove a Schur-Weyl duality between the quantum enveloping algebra of $\mathfrak{gl}_m$ and certain quotient algebras of Ariki-Koike algebras, which we give explicitly. The duality involves several algebraically independent parameters and is realized through the tensor product of a parabolic universal Verma module and a tensor power of the natural representation of $\mathfrak{gl}_m$. We also give a new presentation by generators and relations of the generalized blob algebras of Martin and Woodcock as well as an interpretation in terms of Schur-Weyl duality by showing they occur as a particul…
Let k be any field. We consider the Hopf-Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a Hopf algebra over k, revealing so that the Hopf-Schur group can be much larger than the Schur group of k.
Classically, the exponent of a group is the least common multiple of the orders of its elements. This notion was generalized by Etingof and Gelaki to the context of Hopf algebras. Kashina, Sommerhauser and Zhu later observed that there is a strong connection between exponents and Frobenius-Schur indicators. In this paper, we introduce the notion of twisted exponents and show that there is a similar relationship between the twisted exponent and the twisted Frobenius-Schur indicators defined in previous work of the authors. In particular, we exhibit a new formula for the twisted Frobenius-Schur …
We study imaginary representations of the Khovanov-Lauda-Rouquier algebras of affine Lie type. Irreducible modules for such algebras arise as simple heads of standard modules. In order to define standard modules one needs to have a cuspidal system for a fixed convex preorder. A cuspidal system consists of irreducible cuspidal modules---one for each real positive root for the corresponding affine root system ${\tt X}_l^{(1)}$, as well as irreducible imaginary modules---one for each $l$-multipartition. We study imaginary modules by means of `imaginary Schur-Weyl duality'. We introduce an imagina…
In this paper, we define the Yokonuma-Schur algebra $\text{YS}_{q}(r,n)$ as the endomorphism algebra of a permutation module for the Yokonuma-Hecke algebra $\text{Y}_{r,n}(q).$ We prove that $\text{YS}_{q}(r,n)$ is cellular by constructing an explicit cellular basis following the approach in [DJM], and we further show that it is a quasi-hereditary cover of $\text{Y}_{r,n}(q)$ in the sense of Rouquier following [HM2]. We also introduce the tilting modules for $\text{YS}_{q}(r,n).$ In the appendix, we define and study the cyclotomic Yokonuma-Schur algebra in a similar way.
We establish algebraically and geometrically a duality between the Iwahori-Hecke algebra of type D and two new quantum algebras arising from the geometry of N-step isotropic flag varieties of type D. This duality is a type D counterpart of the Schur-Jimbo duality of type A and the Schur-like duality of type B/C discovered by Bao-Wang. The new algebras play a role in the type D duality similar to the modified quantum gl(N) in type A, and the modified coideal subalgebras of quantum gl(N) in type B/C. We construct canonical bases for these two algebras.
In our earlier work, we have proved a product formula for certain decomposition numbers of the cyclotomic v-Schur algebra associated to the Ariki-Koike algebra. It is conjectured by Yvonne that the decomposition numbers of this algebra can be described in terms of the canonical basis of the higher level Fock space studied by Uglov. In this paper we prove a product formula related to the canonical basis of the Fock space. In view of Yvonne's conjecture, this formula is regarded as a counter-part for the Fock space of our previous formula.
In \cite{JS} Jensen and Su constructed 0-Schur algebras on double flag varieties. The construction leads to a presentation of 0-Schur algebras using quivers with relations and the quiver approach naturally gives rise to a new class of algebras. That is, the path algebras defined on the quivers of 0-Schur algebras with relations modified from the defining relations of 0-Schur algebras by a tuple of parameters $\ut$. In particular, when all the entries of $\ut$ are 1, we have 0-Schur algerbas. When all the entries of $\ut$ are zero, we obtain a class of degenerate 0-Schur algebras. We prove that…
Let ${\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ be the double Ringel--Hall algebra of the cyclic quiver $\triangle(n)$ and let $\dot{\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ be the modified quantum affine algebra of ${\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$. We will construct an integral form $\dot{{\mathfrak D}_{\vartriangle}}(n)$ for $\dot{\boldsymbol{\mathfrak D}_{\vartriangle}}(n)$ such that the natural algebra homomorphism from $\dot{{\mathfrak D}_{\vartriangle}}(n)$ to the integral affine quantum Schur algebra is surjective. Furthermore, we will use Hall algebras to construct…
Extended zigzag Schur algebras are quasi-hereditary algebras which are conjecturally Morita equivalent to RoCK blocks of classical Schur algebras. We prove that extended zigzag Schur algebras are Ringel self-dual.
We investigate the structure of the double Ringel-Hall algebras associated with cyclic quivers and its connections with quantum loop algebras of $\mathfrak{gl}_n$, affine quantum Schur algebras and affine Hecke algebras. This includes their Drinfeld-Jimbo type presentation, affine quantum Schur-Weyl reciprocity, representations of affine quantum Schur algebras, and connections with various existing works by Lusztig, Varagnolo-Vasserot, Schiffmann, Hubery, Chari-Pressley, Frenkel-Mukhin, etc. We will also discuss conjectures on a realization of Beilinson-Lusztig-MacPherson type and Lusztig type…
We study on Weyl modules of cyclotomic $q$-Schur algebras. In particular, we give the character formula of the Weyl modules by using the Kostka numbers and some numbers which are computed by a generalization of Littlewood-Richardson rule. We also study corresponding symmetric functions. Finally, we give some simple applications to modular representations of cyclotomic $q$-Schur algebras.
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.
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.
We establish explicit isomorphisms of two seemingly-different algebras, and their Schur algebras, arising from the centralizers of two different type B Weyl group actions in Schur-like dualities. We provide a presentation of the geometric counterpart of the above Schur algebras in Bao-Kujawa-Li-Wang (2018) specialized at $q=1$.
We study the Schur index, the Zhu's $C_2$ algebra, and the Macdonald index of a four dimensional $\mathcal{N}=2$ Argyres-Douglas (AD) theories from the structure of the associated two dimensional $W$-algebra. The Schur index is derived from the vacuum character of the corresponding $W$-algebra and can be rewritten in a very simple form, which can be easily used to verify properties like level-rank dualities, collapsing levels, and S-duality conjectures. The Zhu's $C_2$ algebra can be regarded as a ring associated with the Schur sector, and a surprising connection between certain Zhu's $C_2$ al…
