We show that the centraliser of the maximal compact subgroup of the real orthogonal or symplectic groups acting on tensors of their standard representation are isomorphic to cyclotomic Brauer algebras. We also show that for the symplectic group this cyclotomic Brauer algebra splits into summands of walled Brauer algebras.
We realize (via an explicit isomorphism) the walled Brauer algebra for an arbitrary integral parameter delta as an idempotent truncation of a level two cyclotomic degenerate affine walled Brauer algebra. The latter arises naturally in Lie theory as the endomorphism ring of so-called mixed tensor products, i.e. of a parabolic Verma module tensored with some copies of the natural representation and its dual. This provides us a method to construct central elements in the walled Brauer algebras and can be applied to establish the Koszulity of the walled Brauer algebra if delta is not zero.
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 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)$…
Let $K$ be an abelian extension of the rationals. Let $S(K)$ be the Schur group of $K$ and let $CC(K)$ be the subgroup of $S(K)$ generated by classes containing cyclic cyclotomic algebras. We characterize when $CC(K)$ has finite index in $S(K)$ in terms of the relative position of $K$ in the lattice of cyclotomic extensions of the rationals.
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.
We prove that any projective Schur algebra over a field $K$ is equivalent in $Br(K)$ to a radical abelian algebra. This was conjectured in 1995 by Sonn and the first author of this paper. As a consequence we obtain a characterization of the projective Schur group by means of Galois cohomology. The conjecture was known for algebras over fields of positive characteristic. In characteristic zero the conjecture was known for algebras over fields with an Henselian valuation over a local or global field of characteristic zero.
Let k be an algebraically closed field of characteristic p>0, let m,r be integers with m\ge1, r\ge0 and m\ge r and let S_0(2m,r) be the symplectic Schur algebra over k as introduced by the first author. We introduce the symplectic Schur functor, derive some basic properties of it and relate this to work of Hartmann and Paget. We do the same for the orthogonal Schur algebra. We give a modified Jantzen sum formula and a block result for the symplectic Schur algebra under the assumption that r and the residue of 2m mod p are small relative to p. From this we deduce a block result for the orthogon…
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 define an extension of the affine Brauer algebra, the type B/C affine Brauer algebra. This new algebra contains the hyperoctahedral group and it naturally acts on $END_K(X \otimes V^{\otimes k})$ for Orthogonal and Symplectic groups. Thus we obtain a compact analogue of Schur-Weyl duality. We study functors $F_{μ,k}$ from the category of admissible $O(p,q)$ or $Sp_{2n}(\mathbb{R})$ modules to representations of the type B/C affine Brauer algebra $\mathfrak{B}_k^θ$. Thus providing a Akawaka-Suzuki-esque link between $O(p,q)$ (or $Sp_{2n}(\mathbb{R})$) and $\mathfrak{B}_k^θ$. Furthermore thes…
We develop a graded version of the theory of cyclotomic q-Schur algebras, in the spirit of the work of Brundan-Kleshchev on Hecke algebras and of Ariki on q-Schur algebras. As an application, we identify the coefficients of the canonical basis on a higher level Fock space with q-analogues of the decomposition numbers of cyclotomic q-Schur algebras. We present cyclotomic q-Schur algebras as a quotient of a convolution algebra arising in the geometry of quivers; hence we call these quiver Schur algebras. These algebras are also presented diagrammatically, similar in flavor to a recent constructi…
We show that the Brauer algebra over the complex numbers for an integral parameter delta can be equipped with a grading, in the case of delta being non-zero turning it into a graded quasi-hereditary algebra. In which case it is Morita equivalent to a Koszul algebra. This is done by realizing the Brauer algebra as an idempotent truncation of a certain level two VW-algebra for some large positive integral parameter N. The parameter delta appears then in the choice of a cyclotomic quotient. This cyclotomic VW-algebra arises naturally as an endomorphism algebra of a certain projective module in pa…
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.
A classical theorem due to Brauer and Witt implies that every simple component of the rational group algebra QG of a finite group G is Brauer equivalent to a cyclotomic algebra containing Q in its centre. The precise description of this cyclotomic algebra is not available from the proof of the Brauer-Witt theorem and it has been a problem of interest to determine the same in view of its central role in the study of central simple algebras. In this paper, an approach using Shoda pair theory is described, which is quite efficient from computational perspective.
We establish a framework for cellularity of algebras related to the Jones basic construction. Our framework allows a uniform proof of cellularity of Brauer algebras, ordinary and cyclotomic BMW algebras, walled Brauer algebras, partition algebras, and others. Our cellular bases are labeled by paths on certain branching diagrams rather than by tangles. Moreover, for the class of algebras that we study, we show that the cellular structures are compatible with restriction and induction of modules. Applied to cyclotomic BMW algebras, our method allows a new a shorter proof of the finite spanning r…
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.
A new class of associative algebras referred to as affine walled Brauer algebras are introduced. These algebras are free with infinite rank over a commutative ring containing 1. Then level two walled Brauer algebras over C are defined, which are some cyclotomic quotients of affine walled Brauer algebras. We establish a super Schur-Weyl duality between affine walled Brauer algebras and general linear Lie superalgebras, and realize level two walled Brauer algebras as endomorphism algebras of tensor modules of Kac modules with mixed tensor products of the natural module and its dual over general …
We describe a algorithms and their implementations that calculate local and global Schur indices of ordinary irreducible characters of finite groups, cyclotomic algebras over abelian number fields, and rational quaternion algebras. These functions are available with the latest release of the GAP package wedderga, versions 4.6 and higher.
We identify the dimension of the centralizer of the symmetric group $\mathfrak{S}_d$ in the partition algebra $\mathcal{A}_d(δ)$ and in the Brauer algebra $\mathcal{B}_d(δ)$ with the number of multidigraphs with $d$ arrows and the number of disjoint union of directed cycles with $d$ arrows, respectively. Using Schur-Weyl duality as a fundamental theory, we conclude that each centralizer is related with the $G$-invariant space $P^d(M_n(\mathbf{k}))^G$ of degree $d$ homogeneous polynomials on $n \times n$ matrices, where $G$ is the orthogonal group and the group of permutation matrices, respecti…
We show that every central simple algebra A over a field k is Brauer equivalent to a quotient of a finite dimensional Hopf algebra over the same field (that is- A is Hopf Schur). If the characteristic of the field is zero, or if the algebra has a Galois splitting field of degree prime to the characteristic of k, we can take this Hopf algebra to be semisimple. We also show that if F is any finite extension of k, then F is a quotient of a finite dimensional Hopf algebra over k. We use it in order to show why the algebric closeness assumption is necessary in a weak form of Kaplansky's tenth conje…
We define a graded quasi-hereditary covering for the cyclotomic quiver Hecke algebras $\mathcal{R}^Λ_n$ of type $A$ when $e=0$ (the linear quiver) or $e\ge n$. We show that these algebras are quasi-hereditary graded cellular algebras by giving explicit homogeneous bases for them. When $e=0$ we show that the KLR grading on the quiver Hecke algebras is compatible with the gradings on parabolic category $\mathcal{O}$ previously introduced in the works of Beilinson, Ginzburg and Soergel and Backelin. As a consequence, we show that when $e=0$ our graded Schur algebras are Koszul over field of chara…
In this paper we investigate a multi-parameter deformation $\mathfrak{B}_{r,s}^n(a,λ,δ)$ of the walled Brauer algebra which was previously introduced by Leduc (\cite{leduc}). We construct an integral basis of $\mathfrak{B}_{r,s}^n(a,λ,δ)$ consisting of oriented tangles which is in bijection with walled Brauer diagrams. Moreover, we study a natural action of $\mathfrak{B}_{r,s}^n(q)= \mathfrak{B}_{r,s}^n(q^{-1}-q,q^n,[n]_q)$ on mixed tensor space and prove that the kernel is free over the ground ring $R$ of rank independent of $R$. As an application, we prove one side of Schur--Weyl duality for…
We describe how certain cyclotomic Nazarov-Wenzl algebras occur as endomorphism rings of projective modules in a parabolic version of BGG category O of type $D$. Furthermore we study a family of subalgebras of these endomorphism rings which exhibit similar behaviour to the family of Brauer algebras even when they are not semisimple. The translation functors on this parabolic category O are studied and proven to yield a categorification of a coideal subalgebra of the general linear Lie algebra. Finally this is put into the context of categorifying skew Howe duality for these subalgebras.
The affine and degenerate affine Birman-Murakami-Wenzl (BMW) algebras arise naturally in the context of Schur-Weyl duality for orthogonal and symplectic quantum groups and Lie algebras, respectively. Cyclotomic BMW algebras, affine and cyclotomic Hecke algebras, and their degenerate versions are quotients. In this paper we explain how the affine and degenerate affine BMW algebras are tantalizers (tensor power centralizer algebras) by defining actions of the affine braid group and the degenerate affine braid algebra on tensor space and showing that, in important cases, these actions induce acti…
In this paper, a notion of cyclotomic (or level $k$) walled Brauer algebras $\mathscr B_{k, r, t}$ is introduced for arbitrary positive integer $k$. It is proven that $\mathscr B_{k, r, t}$ is free over a commutative ring with rank $k^{r+t}(r+t)!$ if and only if it is admissible. Using super Schur-Weyl duality between general linear Lie superalgebras $\mathfrak{gl}_{m|n}$ and $\mathscr B_{2, r, t}$, we give a classification of highest weight vectors of $\mathfrak{gl}_{m|n}$-modules $M_{pq}^{rt}$, the tensor products of Kac-modules with mixed tensor products of the natural module and its dual. …
Let $(K, v)$ be a Henselian valued field satisfying the following conditions, for a given prime number $p$: (i) central division $K$-algebras of (finite) $p$-primary dimensions have Schur indices equal to their exponents; (ii) the value group $v(K)$ properly includes its subgroup $pv(K)$. The paper shows that if $\hat K$ is the residue field of $(K, v)$ and $\hat R$ is an intermediate field of the maximal $p$-extension $\hat K (p)/\hat K$, then the natural homomorphism Br$(\hat K) \to $ Br$(\hat R)$ of Brauer groups maps surjectively the $p$-component Br$(\hat K)_{p}$ on Br$(\hat R)_{p}$. It p…