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)$, is derived as an easy consequence of S.~Oehms' results [S. Oehms, J. Algebra (1) 244 (2001), 19--44].
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 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 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 define a Schur-Clifford subgroup of Turull's Brauer-Clifford group, similar to the Schur subgroup of the Brauer group. The Schur-Clifford subgroup contains exactly the equivalence classes coming from the intended application to Clifford theory of finite groups. We show that the Schur-Clifford subgroup is indeed a subgroup of the Brauer-Clifford group, as are certain naturally defined subsets. We also show that this Schur-Clifford subgroup behaves well with respect to restriction and corestriction maps between Brauer-Clifford groups.
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.
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 consider Casimir elements for the orthogonal and symplectic Lie algebras constructed with the use of the Brauer algebra. We calculate the images of these elements under the Harish-Chandra isomorphism and thus show that they (together with the Pfaffian-type element in the even orthogonal case) are algebraically independent generators of the centers of the corresponding universal enveloping algebras.
After reviewing classical Schur-Weyl duality, we present some other contexts which enjoy similar features, relating to Brauer algebras and classical groups.
This note is a sequel to Shu-Xue-Yao's paper \cite{BYY} where the author studied the so-called enhanced groups and related dualities for type $A$. In this note, we continue to investigate the enhanced dualities for classical groups of type $B$, $C$, and $D$. To show this, we first introduce an enhanced Brauer algebra. Due to Proposition \ref{B dual}, we can easily obtain the restricted and Levi dualities, hence the parabolic duality is naturally described. Moreover, a special case is listed in §\ref{3} by some explicit calculations.
Let $A$ be a standardly stratified algebra over a field $K$ and $T$ a tilting module over $A$. Let $Λ^+$ be an indexing set of all simple modules in $A\lmod$. We show that if there is an integer $r\in\N$ such that for any $λ\inΛ^+$, there is an embedding $Δ(λ)\hookrightarrow T^{\oplus r}$ as well as an epimorphism $T^{\oplus r}\twoheadrightarrow\overline{\nabla}(λ)$ as $A$-modules, then $T$ is a faithful $A$-module and $A$ has the double centraliser property with respect to $T$. As applications, we prove that if $A$ is quasi-hereditary with a simple preserving duality and $T$ a given faithful …
We prove Schur--Weyl duality between the Brauer algebra $\mathfrak{B}_n(m)$ and the orthogonal group $O_{m}(K)$ over an arbitrary infinite field $K$ of odd characteristic. If $m$ is even, we show that each connected component of the orthogonal monoid is a normal variety; this implies that the orthogonal Schur algebra associated to the identity component is a generalized Schur algebra. As an application of the main result, an explicit and characteristic-free description of the annihilator of $n$-tensor space $V^{\otimes n}$ in the Brauer algebra $mathfrak{B}_n(m)$ is also given.
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 define a degenerate affine version of the walled Brauer algebra, that has the same role plaid by the degenerate affine Hecke algebra for the symmetric group algebra. We use it to prove a higher level mixed Schur-Weyl duality for gl_N. We consider then families of cyclotomic quotients of level two which appear naturally in Lie theory and we prove that they inherit from there a natural grading and a graded cellular structure.
It is well known that the number of real irreducible characters of a finite group G coincides with the number of real conjugacy classes of G. Richard Brauer has asked if the number of irreducible characters with Frobenius-Schur indicator 1 can also be expressed in group theoretical terms. We show that this can done by counting solutions of $g_1^2\ldots g_n^2=1$ with $g_1,\ldots,g_n\in G$.
Let $V$ be a $2m$-dimensional symplectic vector space over an algebraically closed field $K$. Let $\mbb_n^{(f)}$ be the two-sided ideal of the Brauer algebra $\mbb_n(-2m)$ over $K$ generated by $e_1e_3... e_{2f-1}$, where $0\leq f\leq [n/2]$. Let $\mathcal{HT}_{f}^{\otimes n}$ be the subspace of partially harmonic tensors of valence $f$ in $V^{\otimes n}$. In this paper, we prove that $\dim\mathcal{HT}_f^{\otimes n}$ and $\dim\End_{KSp(V)}\Bigl(V^{\otimes n}/V^{\otimes n}\mbb_n^{(f)}\Bigr)$ are both independent of $K$, and the natural homomorphism from $\mbb_n(-2m)/\mbb_n^{(f)}$ to $\End_{KSp(…
We introduce the marked Brauer algebra and the marked Brauer category. These generalize the analogous constructions for the ordinary Brauer algebra to the setting of a homogeneous bilinear form on a $\mathbb{Z}_2$-graded vector space. We classify the simple modules of the marked Brauer algebra over any field of characteristic not two. Under suitable assumptions we show that the marked Brauer algebra is in Schur-Weyl duality with the Lie superalgebra, $\mathfrak{g}$, of linear maps which leave the bilinear form invariant. We also provide a classification of the indecomposable summands of the te…
In this paper, we establish explicit relationship between decomposition numbers of quantized walled Brauer algebras and those for either Hecke algebras associated to certain symmetric groups or (rational) $q$-Schur algebras over a field $κ$. This enables us to use Ariki's result \cite{Ar} and Varagnolo-Vasserot's result \cite{VV} to compute such decomposition numbers via inverse Kazhdan-Lusztig polynomials associated with affine Weyl groups of type $A$ if the ground field is $\mathbb C$.
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.
BPS coherent states closely resemble semiclassical states and they have gravity dual descriptions in terms of semiclassical geometries. The half BPS coherent states have been well studied, however less is known about quarter BPS coherent states. Here we provide a construction of quarter BPS coherent states. They are coherent states built with two matrix fields, generalizing the half BPS case. These states are both the eigenstates of annihilation operators and in the kernel of dilatation operator. Another useful labeling of quarter BPS states is by representations of Brauer algebras and their p…
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.
Let $G$ be the finite simple Chevalley group of type $^2E_6(2)$. It has a Schur multiplier of type $C_2^2 \times C_3$. We determine the ordinary character tables of the central extensions $3.G$, $6.G$, $(2^2\times 3).G$ of $G$ and their extensions by an automorphism of order $2$, that is $3.G.2$, $6.G.2$ and $(2^2\times 3).G.2$. Furthermore we determine all Brauer trees of all groups of type $Z.G.A$ (where $Z$ is central in $Z.G \lhd Z.G.A$ and $A \cong Z.G.A/Z.G$) for which the ordinary character table is known.
We show that the algebras describing blocks of the category of cuspidal weight (respectively generalized weight) $\mathfrak{sl}_n$-modules are one-parameter (respectively multi-parameter) deformations of certain Brauer tree algebras. We explicitly determine these deformations both graded and ungraded. The algebras we deform also appear as special centralizer subalgebras of Temperley-Lieb algebras or as generalized Khovanov algebras. They show up in the context of highest weight representations of the Virasoro algebra, in the context of rational representations of the general linear group and S…
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…
The classical characteristic map associates symmetric functions to characters of the symmetric groups. There are two natural analogues of this map involving the Brauer algebra. The first of them relies on the action of the orthogonal or symplectic group on a space of tensors, while the second is provided by the action of this group on the symmetric algebra of the corresponding Lie algebra. We consider the second characteristic map both in the orthogonal and symplectic case, and calculate the images of central idempotents of the Brauer algebra in terms of the Schur polynomials. The calculation …
A randomisation of the Berele insertion algorithm is proposed, where the insertion of a letter to a symplectic Young tableau leads to a distribution over the set of symplectic Young tableaux. Berele's algorithm provides a bijection between words from an alphabet and a symplectic Young tableau along with a recording oscillating tableau. The randomised version of the algorithm is achieved by introducing a parameter $0 < q < 1$. The classic Berele algorithm corresponds to letting the parameter $q \to 0$. The new version provides a probabilistic framework that allows to prove Littlewood-type ident…
We study the representation theory of the rook-Brauer algebra RB_k(x), also called the partial Brauer algebra. This algebra has a basis of "rook-Brauer" diagrams, which are Brauer diagrams that allow for the possibility of missing edges. The Brauer, Temperley-Lieb, Motzkin, rook monoid, and symmetric group algebras are all subalgebras of the rook-Brauer algebra. We prove that RB_k(n) is the centralizer algebra of the complex orthogonal group O(n) acting on the k-fold tensor power of the sum of its 1-dimensional trivial module and its n-dimensional defining module, and thus the rook-Brauer alge…
We investigate the spin-Brauer diagram algebra, denoted ${\bf SB}_n(δ)$, that arises from studying an analogous form of Schur-Weyl duality for the action of the pin group on ${\bf V}^{\otimes n} \otimes Δ$. Here ${\bf V}$ is the standard $N$-dimensional complex representation of ${\bf Pin}(N)$ and $Δ$ is the spin representation. When $δ= N$ is a positive integer, we define a surjective map ${\bf SB}_n(N) \twoheadrightarrow {\rm End}_{{\bf Pin}(N)}({\bf V}^{\otimes n} \otimes Δ)$ and show it is an isomorphism for $N \geq 2n$. We show ${\bf SB}_n(δ)$ is a cellular algebra and use cellularity to …
A class of mathematical dualities have played a central role in mapping states in gauge theory to states in the spacetime string theory dual. This includes the classical Schur-Weyl duality between symmetric groups and Unitary groups, as well as generalisations involving Brauer and Hecke algebras. The physical string dualities involved include examples from the AdS/CFT correspondence as well as the string dual of two-dimensional Yang Mills.
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.
We describe how traceless projection of tensors of a given rank can be constructed in a closed form. On the way to this goal we invoke the representation theory of the Brauer algebra and the related Schur-Weyl dualities. The resulting traceless projector is constructed from purely combinatorial data involving Young diagrams. By construction, the projector manifestly commutes with the symmetric group and is well-adapted to restrictions to $GL$-irreducible tensor representations. We develop auxiliary computational techniques which serve to take advantage of the obtained results for applications.…
We show, using either Fock space techniques or Macdonald difference operators, that certain symplectic and orthogonal analogues of Okounkov's Schur measure are determinantal with kernels given by explicit double contour integrals. We give two applications: one equates certain Toeplitz+Hankel determinants of random matrix theory with appropriate Fredholm determinants and computes Szegő asymptotics for the former; another finds that the simplest examples of said measures exhibit discrete sine kernel asymptotics in the bulk and Airy 2 to 1 kernel---along with a certain dual---asymptotics at the e…
The radical of the Brauer algebra B_f^x is known to be non-trivial when the parameter x is an integer subject to certain conditions (with respect to f). In these cases, we display a wide family of elements in the radical, which are explicitly described by means of the diagrams of the usual basis of B_f^x . The proof is by direct approach for x=0, and via classical Invariant Theory in the other cases, exploiting then the well-known representation of Brauer algebras as centralizer algebras of orthogonal or symplectic groups acting on tensor powers of their standard representation. This also give…
We study the notion of essential dimension for a linear representation of a finite group. In characteristic zero we relate it to the canonical dimension of certain products of Weil transfers of generalized Severi-Brauer varieties. We then proceed to compute the canonical dimension of a broad class of varieties of this type, extending earlier results of the first author. As a consequence, we prove analogues of classical theorems of R. Brauer and O. Schilling about the Schur index, where the Schur index of a representation is replaced by its essential dimension. In the last section we show that …
By considering the specialisation $s_λ(1,q,q^2,...,q^{n-1})$ of the Schur function, Stanley was able to describe a formula for the number of semistandard Young tableaux of shape $λ$ in terms of two properties of the boxes in the diagram for $λ$. Using specialisations of symplectic and orthogonal Schur functions, we derive corresponding formulae, first given by El Samra and King, for the number of semistandard symplectic and orthogonal $λ$-tableaux.
We use Hopf algebras to prove a version of the Littlewood-Richardson rule for skew Schur functions, which implies a conjecture of Assaf and McNamara. We also establish skew Littlewood-Richardson rules for Schur P- and Q-functions and noncommutative ribbon Schur functions, as well as skew Pieri rules for k-Schur functions, dual k-Schur functions, and for the homology of the affine Grassmannian of the symplectic group.
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…
Vertex operator realizations of symplectic and orthogonal Schur functions are studied and expanded. New proofs of determinant identities of irreducible characters for the symplectic and orthogonal groups are given. We also give a new proof of the duality between the universal orthogonal and symplectic Schur functions using vertex operators.
This thesis deals with some $(1+1)$-dimensional lattice path models from the KPZ universality class: the directed random polymer with inverse-gamma weights (known as log-gamma polymer) and its zero temperature degeneration, i.e. the last passage percolation model, with geometric or exponential waiting times. We consider three path geometries: point-to-line, point-to-half-line, and point-to-line with paths restricted to stay in a half-plane. Through exact formulas, we establish new connections between integrable probabilistic models and the ubiquitous Whittaker and Schur functions. More in deta…
Let k be an algebraically closed field of characteristic p>0. We compute the Weyl filtration multiplicities in indecomposable tilting modules and the decomposition numbers for the general linear group over k in terms of cap diagrams under the assumption that p is bigger than the greatest hook length in the partitions involved. Then we introduce and study the rational Schur functor from a category of GL_n-modules to the category of modules for the walled Brauer algebra. As a corollary we obtain the decomposition numbers for the walled Brauer algebra when p is bigger than the greatest hook lengt…
Given a Schubert class on $Gr(k,V)$ where $V$ is a symplectic vector space of dimension $2n$, we consider its restriction to the symplectic Grassmannian $SpGr(k,V)$ of isotropic subspaces. Pragacz gave tableau formulae for positively computing the expansion of these $H^*(Gr(k,V))$ classes into Schubert classes of the target when $k=n$, which corresponds to expanding Schur polynomials into $Q$-Schur polynomials. Coskun described an algorithm for their expansion when $k\leq n$. We give a puzzle-based formula for these expansions, while extending them to equivariant cohomology. We make use of a n…
The gauge invariant degrees of freedom of matrix models based on an N x N complex matrix, with U(N) gauge symmetry, contain hidden free particle structures. These are exhibited using triangular matrix variables via the Schur decomposition. The Brauer algebra basis for complex matrix models developed earlier is useful in projecting to a sector which matches the state counting of N free fermions on a circle. The Brauer algebra projection is characterized by the vanishing of a scale invariant laplacian constructed from the complex matrix. The special case of N=2 is studied in detail: the ring of …
Let k be an algebraically closed field of characteristic p>2. We compute the Weyl filtration multiplicities in indecomposable tilting modules and the decomposition numbers for the symplectic group over k in terms of cap-curl diagrams under the assumption that p is bigger than the greatest hook length in the largest partition involved. As a corollary we obtain the decomposition numbers for the Brauer algebra under the same assumptions. Our work combines ideas from work of Cox and De Visscher and work of Shalile with techniques from the representation theory of reductive groups.
We compute the irreducible constitutents of the product of the Weil character and the Steinberg character in those finite classical groups for which a Weil character is defined, namely the symplectic, unitary and general linear groups. It turns out that this product is multiplicity free for the symplectic and general unitary groups, but not for the general linear groups. As an application we show that the restriction of the Steinberg character of such a group to the subgroup stabilizing a vector in the natural module is multiplicity free. The proof of this result for the unitary groups uses an…
A representation of $\mathfrak{gl}(V)=V \otimes V^*$ is a linear map $μ\colon \mathfrak{gl}(V) \otimes M \to M$ satisfying a certain identity. By currying, giving a linear map $μ$ is equivalent to giving a linear map $a \colon V \otimes M \to V \otimes M$, and one can translate the condition for $μ$ to be a representation to a condition on $a$. This alternate formulation does not use the dual of $V$, and makes sense for any object $V$ in a tensor category $\mathcal{C}$. We call such objects representations of the curried general linear algebra on $V$. The currying process can be carried out fo…
We introduce Brauer characters for representations of the bismash products of groups in characteristic p > 0, p not 2 and study their properties analogous to the classical case of finite groups. We then use our results to extend to bismash products a theorem of Thompson on lifting Frobenius-Schur indicators from characteristic p to characteristic 0
We give an elementary proof of the first fundamental theorem of the invariant theory for the orthosymplectic supergroup by generalising the method of Atiyah, Bott and Patodi to the supergroup context. We use methods from super-algebraic geometry to convert invariants of the orthosymplectic supergroup into invariants of the corresponding general linear supergroup on a different space. In this way, a super Schur-Weyl-Brauer duality is established between the orthosymplectic supergroup of superdimension $(m|2n)$ and the Brauer algebra with parameter $m-2n$. The result may be interpreted in terms …
We introduce a new family of superalgebras $\overrightarrow{B}_{r,s}$ for $r, s \ge 0$ such that $r+s>0$, which we call the walled Brauer superalgebras, and prove the mixed Scur-Weyl-Sergeev duality for queer Lie superalgebras. More precisely, let $\mathfrak{q}(n)$ be the queer Lie superalgebra, ${\mathbf V} =\mathbb{C}^{n|n}$ the natural representation of $\mathfrak{q}(n)$ and ${\mathbf W}$ the dual of ${\mathbf V}$. We prove that, if $n \ge r+s$, the superalgebra $\overrightarrow{B}_{r,s}$ is isomorphic to the supercentralizer algebra $_{\mathfrak{q}(n)}({\mathbf V}^{\otimes r} \otimes {\mat…
