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.
In this paper we prove Schur-Weyl duality between the symplectic group and Brauer algebra over an arbitrary infinite field $K$. We show that the natural homomorphism from the Brauer algebra $B_n(-2m)$ to the endomorphism algebra of tensor space $(K^{2m})^{\otimes n}$ as a module over the symplectic similitude group $GSp_{2m}(K)$ (or equivalently, as a module over the symplectic group $Sp_{2m}(K)$) is always surjective. Another surjectivity, that of the natural homomorphism from the group algebra for $GSp_{2m}(K)$ to the endomorphism algebra of $(K^{2m})^{\otimes n}$ as a module over $B_n(-2m)$…
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$.
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…
In a 1918 paper Schur proved a remarkable inequality that related group representations, Hermitian forms and determinants. He also gave concise necessary and sufficient conditions for equality. In 1964, Marcus gave a beautiful short proof of Schur's inequality by applying the Cauchy-Schwarz inequality to symmetric tensors, but he did not discuss the case of equality. In 1969, Williamson gave an inductive proof of Schur's equality conditions by contracting Marcus's symmetric tensors onto lower dimensional subspaces where they remained symmetric tensors. Here we unify these results notationally …
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 describe a basis of the centre of the Schur algebra which comes from conjugacy classes in the symmetric group via Schur-Weyl duality. We give a combinatorial description of expansions of these basis elements in terms of the basis originally used by Schur. The primitive central idempotents of the Schur algebra can be written down using this basis and the character table of the symmetric group. Along the way we prove a result on the non-singularity of the submatrix of the character table matrix of a symmetric group obtained by taking rows and columns indexed by partitions with at most n parts…
We prove that there is a natural grading-preserving isomorphism of $\sl$-modules between the basic module of the affine Lie algebra $\widehat\sl$ (with the homogeneous grading) and a Schur--Weyl module of the infinite symmetric group $\sinf$ with a grading defined through the combinatorial notion of the major index of a Young tableau, and study the properties of this isomorphism. The results reveal new and deep interrelations between the representation theory of $\widehat\sl$ and the Virasoro algebra on the one hand, and the representation theory of $\sinf$ and the related combinatorics on the…
We define and study a new class of bialgebras, which generalize certain Turner double algebras related to generic blocks of symmetric groups. Bases and generators of these algebras are given. We investigate when the algebras are symmetric, which is relevant to block theory of finite groups. We then establish a double centralizer property related to blocks of Schur algebras.
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.
We obtain Schur-Weyl dualities in which the algebras, acting on both sides, are semigroup algebras of various symmetric inverse semigroups and their deformations.
Let $F$ be a field of characteristic $p$. We show that $\Hom_{FΣ_n}(S^λ, S^μ)$ can have arbitrarily large dimension as $n$ and $p$ grow, where $S^λ$ and $S^μ$ are Specht modules for the symmetric group $Σ_n$. Similar results hold for the Weyl modules of the general linear group. Every previously computed example has been at most one-dimensional, with the exception of Specht modules over a field of characteristic two. The proof uses the work of Chuang and Tan, providing detailed information about the radical series of Weyl modules in Rouquier blocks.
We explore when generator-conjugate homomorphisms are conjugate and when element-conjugate homomorphisms are conjugate from abelian or dihedral groups to the symmetric group. We completely determine when such homomorphisms are conjugate in the case where the source group has two generators by studying centralizer actions in the target group.
We study the structure of the $0$-Schur algebra $S_0(n, r)$ following the geometric construction of $S_0(n, r)$ by Jensen and Su \cite{JS}. The main results are the construction and classification of indecomposable projective modules. In addition, we construct bases of these modules and their homomorphism spaces. We also give a filtration of projective modules, which leads to a decomposition of $S_0(n,r)$ into indecomposable left modules.
Using combinatorics and character theory, we determine the imprimitive faithful complex characters, i.e., the irreducible faithful complex characters which are induced from proper subgroups, of the Schur covers of the symmetric and alternating groups. Furthermore, for every imprimitive character we establish all its minimal block stabilizers. As a corollary, we also determine the monomial faithful characters of the Schur covers.
We investigate the endotrivial modules for the Schur covers of the symmetric and alternating groups and determine the structure of their group of endotrivial modules in all characteristics. We provide a full description of this group by generators and relations in all cases.
Let $M$ be a left module for the Schur algebra $S(n,r)$, and let $s \in \mathbb{Z}^+$. Then $M^{\otimes s}$ is a $(S(n,rs), F\mathfrak{S}_s)$-bimodule, where the symmetric group $\mathfrak{S}_s$ on $s$ letters acts on the right by place permutations. We show that the Schur functor $f_{rs}$ sends $M^{\otimes s}$ to the $(F\mathfrak{S}_{rs},F\mathfrak{S}_s)$-bimodule $F\mathfrak{S}_{rs} \otimes_{F(\mathfrak{S}_r \wr \mathfrak{S}_s)} ((f_rM)^{\otimes s} \otimes F\mathfrak{S}_s)$. As a corollary, we obtain the effect of the Schur functor on the Lie power $L^s(M)$, symmetric power $S^s(M)$ and exte…
The involution Stanley symmetric functions $\hat{F}_y$ are the stable limits of the analogues of Schubert polynomials for the orbits of the orthogonal group in the flag variety. These symmetric functions are also generating functions for involution words, and are indexed by the involutions in the symmetric group. By construction each $\hat{F}_y$ is a sum of Stanley symmetric functions and therefore Schur positive. We prove the stronger fact that these power series are Schur $P$-positive. We give an algorithm to efficiently compute the decomposition of $\hat{F}_y$ into Schur $P$-summands, and p…
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…
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 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 A_k denote the twisted group algebra of the symmetric group S_k, whose representations correspond to the nonlinear projective representations of S_k. We establish a duality relation between A_k and a Lie superalgebra q(n), sometimes called the ``queer'' Lie superalgebra. This duality clarifies Schur's formula, in the sense that the Schur-Weyl duality clarifies Frobenius' formula.
Turner's Conjecture describes all blocks of symmetric groups and Hecke algebras up to derived equivalence in terms of certain double algebras. With a view towards a proof of this conjecture, we develop a general theory of Turner doubles. In particular, we describe doubles as explicit maximal symmetric subalgebras of certain generalized Schur algebras and establish a Schur-Weyl duality with wreath product algebras.
In this paper are introduced two classes of elements in the enveloping algebra $\mathbf{U}(gl(n))$: the \emph{double Young-Capelli bitableaux} $[\ \fbox{$S \ | \ T$}\ ]$ and the \emph{central} \emph{Schur elements} $\mathbf{S}_λ(n)$, that act in a remarkable way on the highest weight vectors of irreducible Schur modules. Any element $\mathbf{S}_λ(n)$ is the sum of all double Young-Capelli bitableaux $[\ \fbox{$S \ | \ S$}\ ]$, $S$ row (strictly) increasing Young tableaux of shape $\widetildeλ$. The Schur elements $\mathbf{S}_λ(n)$ are proved to be the preimages - with respect to the Harish-Cha…
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.
We prove a conjecture of Cuttler et al.~[2011] [A. Cuttler, C. Greene, and M. Skandera; \emph{Inequalities for symmetric means}. European J. Combinatorics, 32(2011), 745--761] on the monotonicity of \emph{normalized Schur functions} under the usual (dominance) partial-order on partitions. We believe that our proof technique may be helpful in obtaining similar inequalities for other symmetric functions.
In this paper, we investigate the structure and representations of the quantum group ${\mathbf{U}(\infty)}=\mathbf U_\upsilon(\frak{gl}_\infty)$. We will present a realization for $\mathbf{U}(\infty)$, following Beilinson--Lusztig--MacPherson (BLM) \cite{BLM}, and show that the natural algebra homomorphism $ζ_r$ from $\mathbf{U}(\infty)$ to the infinite $q$-Schur algebra ${\boldsymbol{\mathcal S}}(\infty,r)$ is not surjective for any $r\geq 1$. We will give a BLM type realization for the image $\mathbf{U}(\infty,r):=ζ_r(\mathbf{U}(\infty))$ and discuss its presentation in terms of generators a…
We introduce and study a family of inhomogeneous symmetric functions which we call the Frobenius-Schur functions. These functions are indexed by partitions and differ from the conventional Schur functions in lower terms only. Our interest in these new functions comes from the fact that they provide an explicit expression for the dimension of a skew Young diagram in terms of the Frobenius coordinates. This is important for the asymptotic theory of the characters of the symmetric groups. Our main result is a surprisingly simple determinantal expression of the Frobenius-Schur functions in terms o…
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…
We consider the expansion of the square of a complete homogeneous function $h_λ$, or of an elementary symmetric function $e_λ$, in the basis of Schur functions. This square also decomposes into two plethysms, $s_2[h_λ]$ and $s_{11}[h_λ]$ (resp. $s_2[h_λ]$ and $s_{11}[h_λ]$), which are called its symmetric and anti-symmetric parts, respectively. We define a sign statistic on the set of tableaux that index the Schur functions appearing in the square of those symmetric functions. This sign statistic allows to determine to which plethysm each Schur function contributes. We use mainly combinatorial…
The Heisenberg product is an associative product defined on symmetric functions which interpolates between the usual product and the Kronecker product. In 1938, Murnaghan discovered that the Kronecker product of two Schur functions stabilizes. We prove an analogous result for the Heisenberg product of Schur functions.
It is well-known that the value of the Frobenius-Schur indicator $|G|^{-1} \sum_{g\in G} χ(g^2)=\pm1$ of a real irreducible representation of a finite group $G$ determines which of the two types of real representations it belongs to, i.e. whether it is strictly real or quaternionic. We study the extension to the case when a homomorphism $φ:G\to \mathbb{Z}/2\mathbb{Z}$ gives the group algebra $\mathbb{C}[G]$ the structure of a superalgebra. Namely, we construct of a super version of the Frobenius-Schur indicator whose value for a real irreducible super representation is an eighth root of unity,…
Plethysm of two Schur functions can be expressed as a linear combination of Schur functions, and monomial symmetric functions. In this paper, we express the coefficients combinatorially in the case of monomial symmetric functions. And by using it, we determine the first term of the plethysm with respect to Schur functions under the reverse lexicographic order.
In this paper, we derive a relation of new kind between certain character values of symmetric groups in terms of so-called maya diagrams. We also investigate a relation between our result and Bernstein's creation operators for Schur functions, and consider analogous relations for projective characters of symmetric groups through creation operators for Schur $Q$-functions. We also consider analogous relations for characters of Brauer algebras and walled Brauer algebras.
Schur modules give the irreducible polynomial representations of the general linear group $\mathrm{GL}_t$. Viewing the symmetric group $\mathfrak{S}_t$ as a subgroup of $\mathrm{GL}_t$, we may restrict Schur modules to $\mathfrak{S}_t$ and decompose the result into a direct sum of Specht modules, the irreducible representations of $\mathfrak{S}_t$. We give an equivariant Möbius inversion formula that we use to invert this expansion in the representation ring for $\mathfrak{S}_t$ for $t$ large. In addition to explicit formulas in terms of plethysms, we show the coefficients that appear alternat…
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…
The present paper is a detailed version of math/0003031. We introduce and study a new basis in the algebra of symmetric functions. The elements of this basis are called the Frobenius-Schur functions (FS-functions, for short). Our main motivation for studying the FS-functions is the fact that they enter a formula expressing the combinatorial dimension of a skew Young diagram in terms of the Frobenius coordinates. This formula plays a key role in the asymptotic character theory of the symmetric groups. The FS-functions are inhomogeneous, and their top homogeneous components coincide with the con…
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.
Classical Schur P-functions are the particular case of Hall-Littlewood polynomials when the parameter is equal to -1. We introduce factorial (interpolation) analogues of Schur P-functions. A dimension of a skew shifted Young diagram is the number of standard tableaux of the given shape. Also these numbers are equal up to simple factors to the decomposition coefficients of the restriction of an irreducible representation of a spin-symmetric group to a smaller spin-symmetric group. In terms of the factorial Schur P-functions we obtain an explicit formula for the dimension of a skew shifted Young…
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…
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.
In this paper we show that for an important class of non-trivial Hopf algebras, the Schur indicator is a computable invariant. The Hopf algebras we consider are all abelian extensions; as a special case, they include the Drinfeld double of a group algebra. In addition to finding a general formula for the indicator, we also study when it is always positive. In particular we prove that the indicator is always positive for the Drinfeld double of the symmetric group, generalizing the classical result for the symmetric group itself.
Relative dimensions of isotypic components of N-th order tensor representations of the symmetric group on n letters give a Plancherel-type measure on the space of Young diagrams with n cells and at most N rows. It was conjectured by G. Olshanski that dimensions of isotypic components of tensor representations of finite symmetric groups, after appropriate normalization, converge to a constant with respect to this family of Plancherel-type measures in the limit when N/sqrt{n} converges to a constant. The main result of the paper is the proof of this conjecture.
We classify and explicitly describe homomorphisms of Verma modules for conformal Galilei algebras $\mathfrak{cga}_\ell(d,{\mathbb C})$ with $d=1$ for any integer value $\ell \in \mathbb{N}$. The homomorphisms are uniquely determined by singular vectors as solutions of certain differential operators of flag type, and identified with specific polynomials arising as coefficients in the expansion of a parametric family of symmetric polynomials into power sum symmetric polynomials.