Artin's braid group $B_n$ is generated by $σ_1, \dots, σ_{n-1}$ subject to the relations \[ σ_i σ_{i+1} σ_i = σ_{i+1} σ_i σ_{i+1}, \quad σ_iσ_j = σ_j σ_i \text{ if } |i-j|>1. \] For complex parameters $q_1,q_2$ such that $q_1q_2 \ne 0$, the group $B_n$ acts on the vector space $\mathbf{E} = \sum_i \mathbb{C} \mathbf{e}_i$ with basis $\mathbf{e}_1, \dots, \mathbf{e}_n$ by \begin{gather*} σ_i \cdot \mathbf{e}_i = (q_1+q_2)\mathbf{e}_i + q_1\mathbf{e}_{i+1}, \quad σ_i \cdot \mathbf{e}_{i+1} = -q_2\mathbf{e}_i, \\ σ_i \cdot \mathbf{e}_j = q_1 \mathbf{e}_j \text{ if } j \ne i,i+1. \end{gather*} This representation is (a slight generalization of) the Burau representation. If $q = -q_2/q_1$ is not a root of unity, we show that the algebra of all endomorphisms of $\mathbf{E}^{\otimes r}$ commuting with the $B_n$-action is generated by the place-permutation action of the symmetric group $S_r$ and the operator $p_1$, given by \[ p_1(\mathbf{e}_{j_1} \otimes \mathbf{e}_{j_2} \otimes \cdots \otimes \mathbf{e}_{j_r}) = q^{j_1-1} \, \sum_{i=1}^n \mathbf{e}_i \otimes \mathbf{e}_{j_2} \otimes \cdots \otimes \mathbf{e}_{j_r} . \] Equivalently, as a $(\mathbb{C} B_n, \mathcal{P}'_r([n]_q))$-bimodule, $\mathbf{E}^{\otimes r}$ satisfies Schur--Weyl duality, where $\mathcal{P}'_r([n]_q)$ is a certain subalgebra of the partition algebra $\mathcal{P}_r([n]_q)$ on $2r$ nodes with parameter $[n]_q = 1+q+\cdots + q^{n-1}$, isomorphic to the semigroup algebra of the "rook monoid" studied by W. D. Munn, L. Solomon, and others.
We show that the Schur-Weyl type duality between $gl(1|1)$ and $GL_n$ gives a natural representation-theoretic setting for the relation between reduced and non-reduced Burau representations.
Degenerating the quantum queer Schur superalgebra ${\mathcal{Q}_q(n,r; R)}$ to the case $q=1$, the queer Schur superalgebra ${\mathcal{Q}(n,r)}$ is obtained. In this article, we reconstruct the universal enveloping algebra ${U({\mathfrak{q}_n})}$ of the queer Lie superalgebra ${\mathfrak{q}_n}$ via ${\mathcal{Q}(n,r)}$, and achieve another explanation of the Schur-Weyl-Sergeev duality. Finally, we depict the Schur-Weyl-Sergeev duality over $\mathbb{Z}$.
We discuss the deformed function algebra of a simply connected reductive Lie group G over the complex numbers using a basis consisting of matrix elements of finite dimensional representations. This leads to a preferred deformation, meaning one where the structure constants of comultiplication are unchanged. The structure constants of multiplication are controlled by quantum 3j symbols. We then discuss connections earlier work on preferred deformations that involved Schur-Weyl duality.
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.
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 twin group $TW_n$ on $n$ strands is the group generated by $t_1, \dots, t_{n-1}$ with defining relations $t_i^2=1$, $t_it_j = t_jt_i$ if $|i-j|>1$. We find a new instance of semisimple Schur--Weyl duality for tensor powers of a natural $n$-dimensional reflection representation of $TW_n$, depending on a parameter $q$. At $q=1$ the representation coincides with the natural permutation representation of the symmetric group, so the new Schur--Weyl duality may be regarded as a $q$-analogue of the one motivating the definition of the partition algebra.
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 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…
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 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…
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.
For a Dynkin quiver $Q$ of type ADE and a sum $β$ of simple roots, we construct a bimodule over the quantum loop algebra and the quiver Hecke algebra of the corresponding type via equivariant K-theory, imitating Ginzburg-Reshetikhin-Vasserot's geometric realization of the quantum affine Schur-Weyl duality. Our construction is based on Hernandez-Leclerc's isomorphism between a certain graded quiver variety and the space of representations of the quiver $Q$ of dimension vector $β$. We identify the functor induced from our bimodule with Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl d…
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 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…
An integral formula for the solutions of Knizhnik-Zamolodchikov (KZ) equation with values in an arbitrary irreducible representation of the symmetric group S_N is presented for integer values of the parameter. The corresponding integrals can be computed effectively as certain iterated residues determined by a given Young diagram and give polynomials with integer coefficients. The derivation is based on Schur-Weyl duality and the results of Matsuo on the original SU(n) KZ equation. The duality between the spaces of solutions with parameters m and -m is discussed in relation with the intersectio…
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.
After reviewing classical Schur-Weyl duality, we present some other contexts which enjoy similar features, relating to Brauer algebras and classical groups.
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…
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…
An analogue of the Schur-Weyl duality for the group of automorphisms of the approximately finite dimensional (AFD) ${\rm II}_1$-factor is produced. Keywords: AFD ${\rm II}_1$-factor, automorphisms group of factor, Schur-Weyl duality.
Let L be a link in a thickened annulus. We show that its sutured annular Khovanov homology carries an action of the exterior current algebra of the Lie algebra sl_2. When L is an m-framed n-cable of a knot K in the three-sphere, its sutured annular Khovanov homology carries a commuting action of the symmetric group S_n. One therefore obtains a "knotted" Schur-Weyl representation that agrees with classical sl_2 Schur-Weyl duality when K is the Seifert-framed unknot.
In this article, we explain the main philosophy of 2-representation theory and quantum affine Schur-Weyl duality. The Khovanov-Lauda-Rouquier algebras play a central role in both themes.
For a Dynkin quiver $Q$ (of type ADE), we consider a central completion of the convolution algebra of the equivariant K-group of a certain Steinberg type graded quiver variety. We observe that it is affine quasi-hereditary and prove that its category of finite-dimensional modules is identified with a block of Hernandez-Leclerc's monoidal category $\mathcal{C}_Q$ of modules over the quantum loop algebra $U_q(L\mathfrak{g})$ via Nakajima's homomorphism. As an application, we show that Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl duality functor gives an equivalence between the cate…
Let $R$ be a commutative ring with one and $q$ an invertible element of $R$. The (specialized) quantum group ${\mathbf U} = U_q(\mathfrak{gl}_n)$ over $R$ of the general linear group acts on mixed tensor space $V^{\otimes r}\otimes {V^*}^{\otimes s}$ where $V$ denotes the natural $\mathbf U$-module $R^n$, $r,s$ are nonnegative integers and $V^*$ is the dual $\mathbf U$-module to $V$. The image of $\mathbf U$ in $\mathrm{End}_R(V^{\otimes r}\otimes {V^*}^{\otimes s})$ is called the rational $q$-Schur algebra $S_{q}(n;r,s)$. We construct a bideterminant basis of $S_{q}(n;r,s)$. There is an actio…
We introduce the notion of standard multipartitions and establish a one-to-one correspondence between standard multipartitions and irreducible representations with integral weights for the affine Hecke algebra of type A with a parameter q which is not a root of unity. We then extend the correspondence to all Kleshchev multipartitions for Ariki-Koike algebras of integral type. By the affine Schur--Weyl duality, we further extend this to a correspondence between standard multipartitions and Drinfeld multipolynomials of integral type whose associated irreducible polynomial representations complet…
We continue the development of the homological theory of quantum general linear groups previously considered by the first author. The development is used to transfer information to the representation theory of quantised Schur algebras. The acyclicity of induction from some rank-one modules for quantised Borel-Schur subalgebras is deduced. This is used to prove the exactness of the complexes recently constructed by Boltje and Maisch, giving resolutions of the co-Specht modules for Hecke algebras.
Let $V$ be a free module of rank $n$ over a commutative unital ring $k$. We prove that tensor space $V^{\otimes r}$ satisfies Schur--Weyl duality, regarded as a bimodule for the action of the group algebra of the Weyl group of $\mathrm{GL}(V)$ and the partition algebra $P_r(n)$ over $k$. We also prove a similar result for the half partition algebra.
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.
We define a graded graph, called the Schur--Weyl graph, which arises naturally when one considers simultaneously the RSK algorithm and the classical duality between representations of the symmetric and general linear groups. As one of the first applications of this graph, we give a new proof of the completeness of the list of discrete indecomposable characters of the infinite symmetric group.
Polynomial representations of general linear groups and modules over Schur algebras are compared. We work over an arbitrary commutative ring and show that Schur-Weyl duality is the key for an equivalence between both categories.
We use category theory to propose a unified approach to the Schur-Weyl dualities involving the general linear Lie algebras, their polynomial extensions and associated quantum deformations. We define multiplicative sequences of algebras exemplified by the sequence of group algebras of the symmetric groups and use them to introduce associated monoidal categories. Universal properties of these categories lead to uniform constructions of the Drinfeld functor connecting representation theories of the degenerate affine Hecke algebras and the Yangians and of its q-analogue. Moreover, we construct act…
The classical case of Schur--Weyl duality states that the actions of the group algebras of $GL_n$ and $S_d$ on the $d^{th}$-tensor power of a free module of finite rank centralize each other. We show that Schur--Weyl duality holds for commutative rings where enough scalars can be chosen whose non-zero differences are invertible. This implies all the known cases of Schur--Weyl duality so far. We also show that Schur--Weyl duality fails for $\mathbb{Z}$ and for any finite field when $d$ is sufficiently large.
If G is a finite group and k is a field, there is a natural construction of a Hopf algebra over k associated to G, the Drinfel'd double D(G). We prove that if G is any finite real reflection group with Drinfel'd double D(G) over an algebraically closed field k of characteristic not 2, then every simple D(G)-module has Frobenius-Schur indicator +1. This generalizes the classical results for modules over the group itself. We also prove some new results about Weyl groups. In particular, we prove that any abelian subgroup is inverted by some involution. Also, if E is any elementary abelian 2-subgr…
We obtain Schur-Weyl dualities in which the algebras, acting on both sides, are semigroup algebras of various symmetric inverse semigroups and their deformations.
In \cite{FMX19}, it is proved that the convolution algebra of top Borel-Moore homology on Steinberg variety of type $B/C$ realizes $U(sl_n^θ)$, where $sl_{n}^θ$ is the fixed point subalgebra of involution on $sl_n$. So top Borel-Moore homology of the partial Springer's fibers gives the representations of $U(sl_n^θ)$. In this paper, we study these representations using the Schur-Weyl duality and Springer theory.
The quiver Hecke algebra $R$ can be also understood as a generalization of the affine Hecke algebra of type $A$ in the context of the quantum affine Schur-Weyl duality by the results of Kang, Kashiwara and Kim. On the other hand, it is well-known that the Auslander-Reiten(AR) quivers $Γ_Q$ of finite simply-laced types have a deep relation with the positive roots systems of the corresponding types. In this paper, we present explicit combinatorial descriptions for the AR-quivers $Γ_Q$ of finite type $A$. Using the combinatorial descriptions, we can investigate relations between finite dimensiona…
We first provide an explicit combinatorial description of the Auslander-Reiten quiver $Γ^Q$ of finite type $D$. Then we can investigate the categories of finite dimensional representations over the quantum affine algebra $U_q'(D^{(i)}_{n+1})$ $(i=1,2)$ and the quiver Hecke algebra $R_{D_{n+1}}$ associated to $D_{n+1}$ $(n \ge 3)$, by using the combinatorial description and the generalized quantum affine Schur-Weyl duality functor. As applications, we can prove that Dorey's rule holds for the category $\Rep(R_{D_{n+1}})$ and prove an interesting difference between multiplicity free positive roo…
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.
The classical Peter-Weyl theorem describes the structure of the space of functions on a semi-simple algebraic group. On the level of characters (in type A) this boils down to the Cauchy identity for the products of Schur polynomials. We formulate and prove the analogue of the Peter-Weyl theorem for the current groups. In particular, in type A the corresponding characters identity is governed by the Cauchy identity for the products of q-Whittaker functions. We also formulate and prove a version of the Schur-Weyl theorem for current groups. The link between the Peter-Weyl and Schur-Weyl theorems…
We extend the classical Schur-Weyl duality between representations of the groups $SL(n,\C)$ and $\sN$ to the case of $SL(n,\C)$ and the infinite symmetric group $\sinf$. Our construction is based on a "dynamic," or inductive, scheme of Schur-Weyl dualities. It leads to a new class of representations of the infinite symmetric group, which have not appeared earlier. We describe these representations and, in particular, find their spectral types with respect to the Gelfand-Tsetlin algebra. The main example of such a representation acts in an incomplete infinite tensor product. As an important app…
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.
Two super-analogs of the Schur-Weyl duality are considered: the duality of actions in $(\mathbb{C}^{m|n})^{\otimes N}$ of the Lie superalgebra $\mathfrak{gl}(m,n)$ and the symmetric group $S_N$, and the duality of actions of the Lie superalgebra $Q(n)$ and a certain finite group $Se(N)$ in $(\mathbb{C}^{n|n})^{\otimes N}$. We construct an isomorphism of symmetric and universal enveloping algebras of these Lie superalgebras called special symmetrization. Using this isomorphism of vector spaces we describe explicitly the duality between the centers of the corresponding universal enveloping algeb…
In this paper, we present a simple combinatorial proof of a Weyl type formula for hook Schur polynomials, which has been obtained by using a Kostant type cohomology formula for $\frak{gl}_{m|n}$. In general, we can obtain in a combinatorial way a Weyl type formula for various highest weight representations of a Lie superalgebra, which together with a general linear algebra forms a Howe dual pair.
We prove a version of Schur--Weyl duality over finite fields. We prove that for any field $k$, if $k$ has at least $r+1$ elements, then Schur--Weyl duality holds for the $r$th tensor power of a finite dimensional vector space $V$. Moreover, if the dimension of $V$ is at least $r+1$, the natural map $k\Sym_r \to End\_{GL(V)}(V^{\otimes r})$ is an isomorphism. This isomorphism may fail if $\dim_k V$ is not strictly larger than $r$.
Complete proofs of Schur-Weyl duality in positive characteristic are scarce in the literature. The purpose of this survey is to write out the details of such a proof, deriving the result in positive characteristic from the classical result in characteristic zero, using only known facts from representation theory.
Let $V$ be a simple vertex operator algebra containing a rank $n$ Heisenberg vertex algebra $H$ and let $C=\text{Com}\left( {H}, {V}\right)$ be the coset of ${H}$ in ${V}$. Assuming that the representation categories of interest are vertex tensor categories in the sense of Huang, Lepowsky and Zhang, a Schur-Weyl type duality for both simple and indecomposable but reducible modules is proven. Families of vertex algebra extensions of ${C}$ are found and every simple ${C}$-module is shown to be contained in at least one ${V}$-module. A corollary of this is that if ${V}$ is rational and $C_2$-cofi…
