The centralizer algebra of the action of the unitary group on the real tensor powers of its natural module, is described by means of a modification in the multiplication of the signed Brauer algebras.
The relationships of this algebra with the invariants for U(n), and with the decomposition of the above tensor powers into irreducible modules, is considered.
We provide an explicit isomorphism between a quotient of the Bannai--Ito algebra and the Brauer algebra. We clarify also the connection with the action of the Lie superalgebra osp(1|2) on the threefold tensor product of its fundamental representation. Finally, a conjecture is proposed to describe the centralizer of osp(1|2) acting on three copies of an arbitrary finite irreducible representation in terms of a quotient of the Bannai-Ito algebra.
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 pursue an analogy of the Schur-Weyl reciprocity for the spinor groups and pick up the irreducible spin representations in the tensor space $Δ\textstyle{\bigotimes \bigotimes^k V}$. Here $Δ$ is the fundamental representation of $Pin(N)$ and $V$ is the natural (vector) representation of the orthogonal group O(N). We consider the centralizer algebra $\mathbf{CP_k} = Pin(N)(Δ\textstyle{\bigotimes \bigotimes^k V})$ for $Pin(N)$, the double covering group of O(N) and define two kinds of linear basis in $\mathbf{CP_k}$ (one comes from invariant theory and the other from representation theory), bot…
Among the unitary reflection groups, the one on the title is singled out by its importance in, for example, coding theory and number theory. In this paper we start with describing the irreducible representations of this group and then examine the semi-simple structure of the centralizer algebra in the tensor representation.
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 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 use Cvitanovic's diagrammatic techniques to construct the rational solutions of the Yang-Baxter equation associated with the $e_6$ and $e_7$ families of Lie algebras, and thus explain Westbury's observations about their uniform spectral decompositions. In doing so we explore the extensions of the Brauer and symmetric group algebras to the centralizer algebras of $e_7$ and $e_6$ on their lowest-dimensional representations and (up to three-fold) tensor products thereof, giving bases for them and a number of identities satisfied by the algebras' defining invariant tensors.
The diagram algebra introduced by Brauer that describes the centralizer algebra on tensor products of the natural representation of an orthogonal group has a presentation by generators and relations that only depends on the graph of type An on n nodes. Here we describe an algebra depending on an arbitrary graph of type M. We study its structure when the type is An, Dn, E6, E7, E8. We determine the representations and find the dimensions. The algebra is generically semisimple and contains the group algebra of the Coxeter type M as a subalgebra. It is a ring homomorphism of the Birman-Murakami-W…
Diagram algebras (e.g. graded braid groups, Hecke algebras, Brauer algebras) arise as tensor power centralizer algebras, algebras of commuting operators for a Lie algebra action on a tensor space. This work explores centralizers of the action of a complex reductive Lie algebra $\mathfrak{g}$ on tensor space of the form $M \otimes N \otimes V^{\otimes k}$. We define the degenerate two-boundary braid algebra $\mathcal{G}_k$ and show that centralizer algebras contain quotients of this algebra in a general setting. As an example, we study in detail the combinatorics of special cases corresponding …
We review and introduce several approaches to the study of centralizer algebras of the infinite symmetric group $S_\infty$. Our study is led by the double commutant relationships between finite symmetric groups and partition algebras; each approach produces a centralizer algebra that is contained in a partition algebra. Our goal is to incorporate invariants of $S_\infty$, which ties our work to the study of symmetric functions in non-commuting variables. We resultantly explore sequence spaces as permutation modules, which yields families of non-unitary representations of $S_\infty$.
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 …
A Langlands parameter, in the Langlands dual group, can be decomposed into a product of a tempered parameter and a positive quasi-character. Fixing a tempered parameter, Arthur conjectured that positive quasi-characters corresponding to certain weighted Dynkin diagrams for the centralizer of the tempered parameter will yield unitary representations. In this paper, we treat one basic case in Arthur's conjecture for the special orthogonal groups. We establish the unitarity for a class of Langlands-Vogan parameters in Arthur's packet.
In this article, we study the elements with disconnected centralizer in the Brauer complex associated to a simple algebraic group G defined over a finite field with corresponding Frobenius map F and derive the number of F-stable semisimple classes of G with disconnected centralizer when the order of the fundamental group has prime order. We also discuss extendibility of semisimple characters to their inertia group in the full automorphism group. As a consequence, we prove that "twisted" and "untwisted" simple groups of type E_6 are "good" in defining characteristic, which is a contribution to …
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…
In continuation of our recent work arXiv:2006.07312, we classify the extremal traces on infinite diagram algebras that appear in the context of Schur-Weyl duality for Banica and Speicher's easy groups. We show that the branching graphs of these algebras describe walks on new variations of the Young graph which describe curious ways of growing Young diagrams. As a consequence, we prove that the extremal traces on generic rook-Brauer algebras are always extensions of extremal traces on the group algebra $\mathbb{C}[S_{\infty}]$ of the infinite symmetric group. Moreover, we conjecture that the sa…
For a finite subgroup $G$ of the special unitary group $SU_2$, we study the centralizer algebra $Z_k(G) = End_G(V^{\otimes k})$ of $G$ acting on the $k$-fold tensor product of its defining representation $V= \mathbb{C}^2$. These subgroups are in bijection with the simply-laced affine Dynkin diagrams. The McKay correspondence relates the representation theory of these groups to the associated Dynkin diagram, and we use this connection to show that the structure and representation theory of $Z_k(G)$ as a semisimple algebra is controlled by the combinatorics of the corresponding Dynkin diagram.
Given an $n\times n$ matrix $c$ over a unitary ring $R$, the centralizer of $c$ in the full $n\times n$ matrix ring $M_n(R)$ is called a principal centralizer matrix ring, denoted by $S_n(c,R)$. We investigate its structure and prove: $(1)$ If $c$ is an invertible matrix with a $c$-free point, or if $R$ has no zero-divisors and $c$ is a Jordan-similar matrix with all eigenvalues in the center of $R$, then $M_n(R)$ is a separable Frobenius extension of $S_{n}(c,R)$ in the sense of Kasch. $(2)$ If $R$ is an integral domain and $c$ is a Jordan-similar matrix, then $S_n(c,R)$ is a cellular $R$-alg…
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…