DOCSLIB.ORG

Schur-Weyl Duality for the Brauer Algebra and the Ortho-Symplectic

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Schur-Weyl Duality for the Brauer Algebra and the Ortho-Symplectic SCHUR-WEYL DUALITY FOR THE BRAUER ALGEBRA AND THE ORTHO-SYMPLECTIC LIE SUPERALGEBRA MICHAEL EHRIG AND CATHARINA STROPPEL Abstract. We give a proof of a Schur-Weyl duality statement between the Brauer algebra and the ortho-symplectic Lie superalgebra osp(V ). 1. Introduction In this paper we describe the centralizer of the action of the ortho- symplectic Lie superalgebra osp(V ) on the tensor powers of its defining representation V . Here V is a vector superspace of superdimension sdimV equal to 2m|2n or 2m + 1|2n equipped with a supersymmetric bilinear form, and osp(V ) denotes the Lie superalgebra of all endomorphisms preserving this form. In particular, the extremal cases n = 0 respectively m = 0 give the classical orthogonal respectively symplectic simple Lie algebras. Our main result is the following generalization of Brauer’s centralizer theorem in the classical case, see e.g. [GW], to a Lie superalgebra version. Theorem A. Let m and n be nonnegative integers and let V be as above. Let δ = 2m−2n respectively δ = 2m+1−2n be the supertrace of V . Assume that one of the following assumptions holds • sdimV 6= 2m|0 and d ≤ m + n or • sdimV = 2m|0 with m> 0 and d<m. Then there is a canonical isomorphism of algebras ⊗d ∼ Endosp(V )(V ) = Brd(δ). (1.1) arXiv:1412.7853v3 [math.RT] 3 Feb 2016 Here Brd(δ) denotes the Brauer algebra on d strands with parameter δ which was originally introduced by Brauer in [Br], see Definition 3.5. Note that in case m = 0 or n = 0 we obtain the Lie algebra version of Brauer’s classical centralizer theorem explained in modern language for instance in [GW]. In contrast to these classical cases, the endomorphism algebras of finite dimensional representations of a Lie superalgebra are in general not semsimple. Hence, our theorem covers also the (most interesting) cases in which Brd(δ) is not semisimple. These non-semisimple Brauer algebras also appear as idempotent truncations of endomorphism rings of modules in category O for the classical Lie algebras, see [ES1], [ES2]. In [ES1] it M.E. was financed by the Deutsche Forschungsgemeinschaft Priority program 1388, C.S. thanks the MPI in Bonn for excellent working conditionss and financial support. 1 2 MICHAELEHRIGANDCATHARINASTROPPEL was shown that the Brauer algebra can be equipped with a nonnegative Z- grading (which is even Koszul in case δ 6= 0), see [ES1], [ES2], [Li]. As a consequence of our theorem, the endomorphism rings (1.1) inherit a grading. The existence of such a grading on Brauer algebras is rather unexpected and up to now this grading cannot be described intrinsically in terms of the representation theory of the Lie superalgebra. The existence of a ring homomorphism (1.1) from the Brauer algebra to the endomorphism ring of V ⊗d is not new. It is for instance a special case of the Brauer algebra actions defined in [BCHLLS] and also follows from the more abstract theory of Deligne categories, [De]. However, the isomorphism theorem is, as far as we know, new. The crucial point here is that in general (and in particular in contrast to the classical case), the tensor space is not completely reducible and then unfortunately the methods from [GW] and [BCHLLS] do not apply. As far as we know there is not much known about the indecomposable summands appearing in this tensor space and even less is known about the general structure of the category of finite dimensional representations of osp(V ), see [GS], [Sea], and also [Co] for some partial results. This is very much in contrast to the case of the general Lie superalgebra gl(m|n), where the corresponding (mixed) tensor spaces were recently studied and described in detail, [CW], [BS2]. There, the role of the Brauer algebra is played by the walled Brauer algebra respectively walled Brauer category, sometimes also called oriented Brauer category, see [BS2], [BCNR], [SS]. As our main tool we construct an embedding of the Brauer algebra into an additive closure of the walled Brauer category and then use the above mentioned results for the general linear case to deduce Theorem A in the ortho-symplectic case. More precisely we restrict the action of osp(V ) to a suitably embedded gl(m|n) and decompose the occurring representation V ⊗d as a direct sum of mixed tensor products on which the walled Brauer category acts naturally. One of the crucial steps is the following generalization from [BS2]: Theorem B. Let m,n ∈ Z≥0, d > 0. The corresponding oriented Brauer ⊗d category OBd(m − n) acts on V and its action commutes with the action of gl(m|n). We then embed the Brauer algebra into the endomorphism ring of V ⊗d viewed as an object inside the additive closure of the oriented Brauer cate- gory. The injectivity of Theorem A is then deduced from the corresponding injectivity result [BS2, Theorem 7.1] for walled Brauer algebras. Finally we show (by very elementary arguments) that any gl(m|n) endomorphism that commutes also with the action of osp(V ) is already contained in the image of the embedding and gives the desired isomorphism. (This method of proof does not give optimal bounds. Optimal bounds could be established recently in [LZ3], however on the cost of using less elementary arguments.) We also like to stress that our proof does not rely on a Schur-Weyl du- ality for the ortho-symplectic supergroup as considered independently by SCHUR-WEYL DUALITY FOR THE BRAUER ALGEBRA 3 Lehrer and Zhang in [LZ1] using methods from graded-commutative alge- braic geometry. Our proof of the isomorphism theorem is considerably more elementary and only relies on a rather simple reduction to the general linear Lie superalgebra case, see (5.13) and the mixed Schur-Weyl duality from [BS2] which in turn is deduced from the Schur-Weyl duality of Sergeev [Sev] and Berele-Regev [BR] for the general linear Lie superalgebras. A different reduction argument (to the general linear group) was recently used in [DLZ]. Using however the non-elementary grading results of [BS2], it is possible to describe also the kernel of our action in general, but it requires to work with a graded version of the Brauer algebra as defined in [ES1] and will appear in a separate article where this graded Brauer algebra is studied. The extra grading refines the results from [LZ1], [LZ2]. We expect that our approach generalizes easily to the quantized (super) case using the quantised walled Brauer algebras Acknowledgement We thank Gus Lehrer for pointing out an inaccuracy in an earlier version of the paper as well as Kevin Coulembier and Daniel Tubbenhauer for various comments on a preliminary version. 2. The Lie superalgebra We fix as ground field the complex numbers C. By a superspace we mean a Z/2Z -graded vector space V = V0 ⊕ V1; for any homogeneous element v ∈ V we denote by |v| ∈ {0, 1} its parity. The integer dim V0 − dim V1 is called the supertrace of V and we denote by sdimV = dim V0| dim V1 its superdimension. Given a superspace V let gl(V ) be the corresponding general Lie superalgebra, i.e. the superspace EndC(V ) of all endomorphism with the superbracket [X,Y ]= X ◦ Y − (−1)|X|·|Y |Y ◦ X. For the whole paper we fix now n ∈ Z≥0 and a finite dimensional super- space V = V0 ⊕ V1 with dim V1 = 2n, and equipped with a non-degenerate supersymmetric bilinear form h−, −i, i.e. a bilinear form V × V → C which is symmetric when restricted to V0 × V0, skew-symmetric on V1 × V1 and zero on mixed products. It will sometimes be convenient to work with a fixed homogeneous basis vi, i ∈ I of V , for a suitable indexing set I, and ∗ ∗ right dual basis vi , i.e. vi, vj = δi,j. Attached to this data we have the following: D E Definition 2.3. The ortho-symplectic Lie superalgebra osp(V ) is the Lie supersubalgebra of gl(V ) consisting of all endomorphisms which respect the supersymmetric bilinear form. Explicitly, a homogeneous element X ∈ osp(V ) has to satisfy hXv, wi + (−1)|X|·|v| hv, Xwi = 0, (2.2) for homogeneous v ∈ V . 4 MICHAELEHRIGANDCATHARINASTROPPEL From now on we make the convention that, whenever the parity of an element appears in a formula, the element is assumed to be homogeneous. Remark 2.4. If X ∈ osp(V ), then hXv, wi 6= 0 implies |X| = |v| + |w|. 3. The Brauer algebra The following algebra was originally defined by Brauer [Br] in his study of the orthogonal group. Definition 3.5. Let d ∈ Z≥0 and δ ∈ C. The Brauer algebra Brd(δ) is the associative unital C-algebra generated by the elements si, ei for 1 ≤ i ≤ d − 1, subject to the relations 2 si = 1, sisj = sjsi, sksk+1sk = sk+1sksk+1, 2 ei = δei, eiej = ejei, ekek+1ek = ek+1, ek+1ekek+1 = ek, (3.3) siei = ei = eisi, skek+1ek = sk+1ek, sk+1ekek+1 = skek+1, for 1 ≤ i, j ≤ d − 1, | i − j |> 1, and 1 ≤ k ≤ d − 2. Following Brauer we realize Brd(δ) as a diagram algebra: A Brauer di- agram on 2d vertices is a partitioning b of the set {1, 2,...,d, 1∗, 2∗,...d∗} into d subsets of cardinality 2. Let B[d] be the set of such Brauer diagrams. An element can be displayed graphically by arranging 2d vertices in two rows 1, 2,...,d and 1∗, 2∗,...,d∗, with each vertex linked to precisely one other vertex. Two such diagrams are considered to be the same or equivalent if they link the same d pairs of points.
Load more

Recommended publications
  • SCHUR-WEYL DUALITY Contents Introduction 1 1. Representation
    SCHUR-WEYL DUALITY JAMES STEVENS Contents Introduction 1 1. Representation Theory of Finite Groups 2 1.1. Preliminaries 2 1.2. Group Algebra 4 1.3. Character Theory 5 2. Irreducible Representations of the Symmetric Group 8 2.1. Specht Modules 8 2.2. Dimension Formulas 11 2.3. The RSK-Correspondence 12 3. Schur-Weyl Duality 13 3.1. Representations of Lie Groups and Lie Algebras 13 3.2. Schur-Weyl Duality for GL(V ) 15 3.3. Schur Functors and Algebraic Representations 16 3.4. Other Cases of Schur-Weyl Duality 17 Appendix A. Semisimple Algebras and Double Centralizer Theorem 19 Acknowledgments 20 References 21 Introduction. In this paper, we build up to one of the remarkable results in representation theory called Schur-Weyl Duality. It connects the irreducible rep- resentations of the symmetric group to irreducible algebraic representations of the general linear group of a complex vector space. We do so in three sections: (1) In Section 1, we develop some of the general theory of representations of finite groups. In particular, we have a subsection on character theory. We will see that the simple notion of a character has tremendous consequences that would be very difficult to show otherwise. Also, we introduce the group algebra which will be vital in Section 2. (2) In Section 2, we narrow our focus down to irreducible representations of the symmetric group. We will show that the irreducible representations of Sn up to isomorphism are in bijection with partitions of n via a construc- tion through certain elements of the group algebra.
    [Show full text]
  • Partition Algebras
    Partition Algebras Tom Halverson† Arun Ram∗ Mathematics and Computer Science Department of Mathematics Macalester College University of Wisconsin–Madison Saint Paul, MN 55105 Madison, WI 53706 [email protected] [email protected] June 24, 2003 0. Introduction A centerpiece of representation theory is the Schur-Weyl duality, which says that, (a) the general linear group GLn(C) and the symmetric group Sk both act on tensor space ⊗k ⊗···⊗ V = V V, with dim(V )=n, k factors (b) these two actions commute and (c) each action generates the full centralizer of the other, so that (d) as a (GLn(C),Sk)-bimodule, the tensor space has a multiplicity free decomposition, ⊗k ∼ ⊗ λ V = LGLn (λ) Sk , (0.1) λ C λ where the LGLn (λ) are irreducible GLn( )-modules and the Sk are irreducible Sk-modules. The decomposition in (0.1) essentially makes the study of the representations of GLn(C) and the study of representations of the symmetric group Sk two sides of the same coin. The group GLn(C) has interesting subgroups, GLn(C) ⊇ On(C) ⊇ Sn ⊇ Sn−1, and corresponding centralizer algebras, CSk ⊆ CBk(n) ⊆ CAk(n) ⊆ CA 1 (n), k+ 2 which are combinatorially defined in terms of the “multiplication of diagrams” (see Section 1) and which play exactly analogous “Schur-Weyl duality” roles with their corresponding subgroup † Research supported in part by National Science Foundation Grant DMS-0100975. ∗ Research supported in part by the National Science Foundation (DMS-0097977) and the National Security Agency (MDA904-01-1-0032). 2 t. halverson and a. ram of GLn(C).
    [Show full text]
  • The Multiset Partition Algebra
    The Multiset Partition Algebra Sridhar Narayanan, Digjoy Paul, and Shraddha Srivastava Abstract. We introduce the multiset partition algebra MPk(ξ) over F [ξ], where F is a field of characteristic 0 and k is a positive integer. When ξ is specialized to a positive integer n, we establish the Schur–Weyl duality between the actions of resulting algebra MPk(n) and the symmetric group Sn k n on Sym (F ). The construction of MPk(ξ) generalizes to any vector λ of non- negative integers yielding the algebra MPλ(ξ) over F [ξ] so that there is Schur– λ n Weyl duality between the actions of MPλ(n) and Sn on Sym (F ). We find the generating function for the multiplicity of each irreducible representation λ n of Sn in Sym (F ), as λ varies, in terms of a plethysm of Schur functions. As consequences we obtain an indexing set for the irreducible representations of MPk(n), and the generating function for the multiplicity of an irreducible polynomial representation of GLn(F ) when restricted to Sn. We show that MPλ(ξ) embeds inside the partition algebra P|λ|(ξ). Using this embedding, over F , we prove that MPλ(ξ) is a cellular algebra, and MPλ(ξ) is semisimple when ξ is not an integer or ξ is an integer such that ξ ≥ 2|λ|− 1. We give an insertion algorithm based on Robinson–Schensted–Knuth correspondence realizing the decomposition of MPλ(n) as MPλ(n) × MPλ(n)-module. Contents 1. Introduction 2 2. Preliminaries 4 arXiv:1903.10809v4 [math.RT] 17 Dec 2020 3.
    [Show full text]
  • Representation Theory of Lie Colour Algebras and Its Connection with Brauer Algebras
    Representation theory of Lie colour algebras and its connection with Brauer algebras Mengyuan Cao Thesis submitted to the Faculty of Graduate and Postdoctoral Studies in partial fulfillment of the requirements for the degree of Master of Science in Mathematics1 Department of Mathematics and Statistics Faculty of Science University of Ottawa c Mengyuan Cao, Ottawa, Canada, 2018 1The M.Sc. program is a joint program with Carleton University, administered by the Ottawa- Carleton Institute of Mathematics and Statistics Abstract In this thesis, we study the representation theory of Lie colour algebras. Our strategy follows the work of G. Benkart, C. L. Shader and A. Ram in 1998, which is to use the Brauer algebras which appear as the commutant of the orthosymplectic Lie colour algebra when they act on a k-fold tensor product of the standard representation. We give a general combinatorial construction of highest weight vectors using tableaux, and compute characters of the irreducible summands in some borderline cases. Along the way, we prove the RSK-correspondence for tableaux and the PBW theorem for Lie colour algebras. ii Dedications To the ones that I love. iii Acknowledgements I offer my most sincere gratitude to my supervisors, Dr. Monica Nevins and Dr. Hadi Salmasian, for their exceptional guidance and immense enthusiasm. I would also like to thank Dr. Alistair Savage and Dr. Yuly Billig for their careful reading, motivating questions and comments, and my family and friends for their support and encouragement. iv Contents 1 Introduction 1 2 Lie colour algebras and spo(V; β) 4 2.1 Lie colour algebras .
    [Show full text]
  • Characters of the Partition Algebras
    Journal of Algebra 238, 502᎐533Ž. 2001 doi:10.1006rjabr.2000.8613, available online at http:rrwww.idealibrary.com on Characters of the Partition Algebras Tom Halverson1 Department of Mathematics and Computer Science, Macalester College, Saint Paul, CORE Minnesota 55105 Metadata, citation and similar papers at core.ac.uk E-mail: [email protected] Provided by Elsevier - Publisher Connector Communicated by Peter Littelmann Received January 10, 2000 Frobeniuswx Fr determined the irreducible characters of the symmetric group by showing that they form the change of basis matrix between power symmetric functions and Schur functions. Schurwx Sc1, Sc2 later showed that this is a consequence of the fact that the symmetric group and the general linear group generate full centralizers of each other on tensor space. In his book, ‘‘The Classical Groups,’’ Weylwx Wy uses this duality to study representations and invariants for the general linear, orthogonal, symplectic, and symmetric groups. In 1937, Brauerwx Br analyzed Schur᎐Weyl duality for the symplectic and orthogonal groups and gave a combinatorial description of their centralizer algebras on tensor space. These centralizers are now called Brauer algebras. Only recently has Schur᎐Weyl duality been studied for the last of Weyl’s classical groups. If V s ރ r is the permutation representation for the symmetric group Sr , then its centralizer algebra has a combinatorial basis given by the collection of set partitions ofÄ4 1, 2, . , 2n . The algebra is denoted PrnrŽ.and is called the partition algebra. Since S lives inside the general linear and orthogonal groupŽ as the subgroup of permutation matrices. , the partition algebra contains the Brauer algebra and the mn symmetric group Sn Žthis is a different symmetric group which acts on V by tensor place permutations.
    [Show full text]
  • Affine Walled Brauer Algebras and Super Schur–Weyl Duality
    Advances in Mathematics 285 (2015) 28–71 Contents lists available at ScienceDirect Advances in Mathematics www.elsevier.com/locate/aim Affine walled Brauer algebras and super ✩ Schur–Weyl duality Hebing Rui a, Yucai Su b,∗ a School of Natural Sciences and Humanities, Harbin Institute of Technology, Shenzheng Graduate School, Shenzhen 508155, China b Department of Mathematics, Tongji University, Shanghai, 200092, China a r t i c l e i n f o a b s t r a c t Article history: A new class of associative algebras referred to as affine walled Received 13 June 2013 Brauer algebras are introduced. These algebras are free with Received in revised form 22 July infinite rank over a commutative ring containing 1. Then level 2015 two walled Brauer algebras over C are defined, which are some Accepted 23 July 2015 cyclotomic quotients of affine walled Brauer algebras. We Available online 24 August 2015 Communicated by Roman establish a super Schur–Weyl duality between affine walled Bezrukavnikov Brauer algebras and general linear Lie superalgebras, and realize level two walled Brauer algebras as endomorphism MSC: algebras of tensor modules of Kac modules with mixed tensor 17B10 products of the natural module and its dual over general linear 16S37 Lie superalgebras, under some conditions. We also prove the weakly cellularity of level two walled Brauer algebras, and give Keywords: a classification of their simple modules over C. This in turn Affine walled Brauer algebra enables us to classify the indecomposable direct summands of Level two walled Brauer algebra the said tensor modules. Super Schur–Weyl duality © 2015 Elsevier Inc.
    [Show full text]
  • Representation Theory of Diagram Algebras: Subalgebras and Generalisations of the Partition Algebra
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by White Rose E-theses Online Representation Theory of Diagram Algebras: Subalgebras and Generalisations of the Partition Algebra Chwas Abas Ahmed Submitted in accordance with the requirements for the degree of Doctor of Philosophy The University of Leeds School of Mathematics August 2016 ii iii The candidate confirms that the work submitted is his own and that appropriate credit has been given where reference has been made to the work of others. Work from the following jointly-authored preprint is included in this thesis: C. Ahmed, P. Martin and V. Mazorchuk, On the number of principal ideals in d-tonal partition monoids. arXiv preprint arXiv:1503.06718 Chapter 2 of this thesis is based on the above pre-print. The above work came after a visit of Prof. Mazorchuk (Uppsala University) to the Department of Mathematics in the University of Leeds in October 2014. The Mathematics in this paper comes from some discussions between the three authors after this visit. One third of the Mathematics of this work is contributed to me, and the online version of this preprint is agreed on by all the authors. However, Chapter 2 of this thesis is written entirely by me. This copy has been supplied on the understanding that it is copyright material and that no quotation from the thesis may be published without proper acknowledgement. c 2016 The University of Leeds and Chwas Abas Ahmed. iv v Acknowledgements I would like to show my deepest gratitude for my main supervisor Prof.
    [Show full text]
  • Arxiv:0712.0944V3 [Math.RT] 8 Oct 2008 B Eiipecs,Ie,When I.E., Case, Semisimple H Ymti Ru Ilb Elcdb Eti Pcaie Ruralg Brauer Specialized [ Certain in by Case
    Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Schur–Weyl duality for orthogonal groups Stephen Doty and Jun Hu Abstract We prove Schur–Weyl duality between the Brauer algebra Bn(m) and the orthogonal group Om(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 ⊗n of n-tensor space V in the Brauer algebra Bn(m) is also given. 1. Introduction Let m,n N. Write λ n to mean that λ = (λ , λ ,... ) is a partition of n, and denote by ∈ ⊢ 1 2 ℓ(λ) the largest integer i such that λi = 0. Let K be an infinite field and V an6 m-dimensional K-vector space. The natural left action of the general linear group GL(V ) on V ⊗n commutes with the right permutation action of the symmetric group Sn. Let ϕ, ψ be the corresponding natural representations ϕ : (KS )op End V ⊗n , ψ : KGL(V ) End V ⊗n , n → K → K respectively. The well-known Schur–Weyl duality (see [8], [17], [37], [46 ], [47 ]) says that op ⊗n (a) ϕ (KSn) = EndKGL(V ) V , and if m n then ϕ is injective, and hence an ⊗n ≥ isomorphism onto EndKGL(V ) V , ⊗n (b) ψ KGL(V ) = End S V , K n (c) if char K = 0, then there is an irreducible KGL(V )-KS -bimodule decomposition n V ⊗n = ∆ Sλ, λ ⊗ λ=(λ1 ,λ2,··· )⊢n ℓ(Mλ)≤m λ where ∆λ (resp., S ) denotes the irreducible KGL(V )-module (resp., irreducible KSn- module) associated to λ.
    [Show full text]
  • Schur-Weyl Duality for the Brauer Algebra and the Ortho-Symplectic Lie Superalgebra
    1 SCHUR-WEYL DUALITY FOR THE BRAUER ALGEBRA AND THE ORTHO-SYMPLECTIC LIE SUPERALGEBRA MICHAEL EHRIG AND CATHARINA STROPPEL Abstract. We give a proof of a Schur-Weyl duality statement between the Brauer algebra and the ortho-symplectic Lie superalgebra osp(V ). Brauer algebra and Lie superalgebra and double centralizer and mixed tensor space and invariant theory 1. Introduction In this paper we describe the centralizer of the action of the ortho- symplectic Lie superalgebra osp(V ) on the tensor powers of its defining representation V . Here V is a vector superspace of superdimension sdimV equal to 2mj2n or 2m+1j2n equipped with a supersymmetric bilinear form, and osp(V ) denotes the Lie superalgebra of all endomorphisms preserving this form. In particular, the extremal cases n = 0 respectively m = 0 give the classical orthogonal respectively symplectic simple Lie algebras. Our main result is the following generalization of Brauer's centralizer theorem in the classical case, see e.g. [GW], to a Lie superalgebra version. Theorem A. Let m and n be nonnegative integers and let V be as above. Let δ = 2m−2n respectively δ = 2m+1−2n be the supertrace of V . Assume that one of the following assumptions holds • sdimV 6= 2mj0 and d ≤ m + n or • sdimV = 2mj0 with m > 0 and d < m. Then there is a canonical isomorphism of algebras ⊗d ∼ Endosp(V )(V ) = Brd(δ): (1.1) Here Brd(δ) denotes the Brauer algebra on d strands with parameter δ which was originally introduced by Brauer in [Br], see Definition 3.5. Note that in case m = 0 or n = 0 we obtain the Lie algebra version of Brauer's classical centralizer theorem explained in modern language for instance in [GW].
    [Show full text]
  • The Rook-Brauer Algebra Elise G
    Macalester College DigitalCommons@Macalester College Mathematics, Statistics, and Computer Science Mathematics, Statistics, and Computer Science Honors Projects Spring 5-1-2012 The Rook-Brauer Algebra Elise G. delMas Macalester College, [email protected] Follow this and additional works at: https://digitalcommons.macalester.edu/mathcs_honors Part of the Algebra Commons, and the Discrete Mathematics and Combinatorics Commons Recommended Citation delMas, Elise G., "The Rook-Brauer Algebra" (2012). Mathematics, Statistics, and Computer Science Honors Projects. 26. https://digitalcommons.macalester.edu/mathcs_honors/26 This Honors Project - Open Access is brought to you for free and open access by the Mathematics, Statistics, and Computer Science at DigitalCommons@Macalester College. It has been accepted for inclusion in Mathematics, Statistics, and Computer Science Honors Projects by an authorized administrator of DigitalCommons@Macalester College. For more information, please contact [email protected]. Honors Project The Rook-Brauer Algebra Advisor: Author: Dr. Tom Halverson, Elise delMas Macalester College Readers: Dr. Dan Flath, Macalester College Dr. Kristina Garrett, St. Olaf College May 3, 2012 2 Contents Introduction . .7 1 Preliminaries 11 1.1 Algebraic Structures . 11 1.1.1 Groups and Monoids . 11 1.1.2 Associative Algebras . 12 1.1.3 Group Algebras . 12 1.2 Representations and Modules . 12 1.2.1 Representations . 13 1.2.2 Modules . 13 1.2.3 Irreducible Submodules and Decomposition . 14 1.2.4 Algebra Representations and Modules . 15 1.2.5 Tensor Product Spaces and Modules . 16 2 The Rook Brauer Algebra RBk(x) 17 2.1 The Symmetric Group, the Rook Monoid, and the Brauer Algebra . 17 2.1.1 The Symmetric Group .
    [Show full text]
  • A Modified Brauer Algebra As Centralizer Algebra of the Unitary Group
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 356, Number 10, Pages 3963{3983 S 0002-9947(04)03602-5 Article electronically published on May 10, 2004 A MODIFIED BRAUER ALGEBRA AS CENTRALIZER ALGEBRA OF THE UNITARY GROUP ALBERTO ELDUQUE Abstract. The centralizer algebra of the action of U(n) on the real tensor r n powers ⊗RV of its natural module, V = C , is described by means of a modifi- cation in the multiplication of the signed Brauer algebras. The relationships of r this algebra with the invariants for U(n) and with the decomposition of ⊗RV into irreducible submodules is considered. 1. Introduction The motivation for this work comes from a paper by Gray and Hervella [7]: Let (M;g;J) be an almost Hermitian manifold; that is, M is a Riemannian manifold with Riemannian metric g, and endowed with an almost complex structure J.Let r be the Riemannian connection and F the K¨ahler form: F (X; Y )=g(JX;Y)for any X; Y 2 χ(M) (the set of smooth vector fields). The tensor G = rF satisfies G(X; Y; Z)=−G(X; Z; Y )=−G(X; JY; JZ) for any X; Y; Z 2 χ(M). Therefore, at any point p 2 M, α = Gp belongs to f 2 ∗ ⊗ ∗ ⊗ ∗ (1.1) Wp = α Mp R Mp R Mp : α(x; y; z)=−α(x; z; y)=−α(x; Jy; Jz) 8x; y; z 2 Mpg; ∗ where Mp denotes the tangent space at p and Mp denotes its dual (the cotangent ∗ ⊗ ∗ ⊗ ∗ space), and Mp R Mp R Mp is identified naturally with the space of trilinear forms on Mp.
    [Show full text]
  • BRAUER ALGEBRAS, SYMPLECTIC SCHUR ALGEBRAS and SCHUR-WEYL DUALITY 1. Introduction Let K Be an Infinite Field. Let M, N ∈ N. Le
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 360, Number 1, January 2008, Pages 189–213 S 0002-9947(07)04179-7 Article electronically published on August 16, 2007 BRAUER ALGEBRAS, SYMPLECTIC SCHUR ALGEBRAS AND SCHUR-WEYL DUALITY RICHARD DIPPER, STEPHEN DOTY, AND JUN HU Abstract. In this paper we prove the Schur-Weyl duality between the sym- plectic group and the Brauer algebra over an arbitrary infinite field K.We show that the natural homomorphism from the Brauer algebra Bn(−2m)to the endomorphism algebra of the tensor space (K2m)⊗n as a module over the symplectic similitude group GSp2m(K) (or equivalently, as a module over the symplectic group Sp2m(K)) is always surjective. Another surjectivity, that of the natural homomorphism from the group algebra for GSp2m(K)totheen- 2m ⊗n domorphism algebra of (K ) as a module over Bn(−2m), is derived as an easy consequence of S. Oehms’s results [S. Oehms, J. Algebra (1) 244 (2001), 19–44]. 1. Introduction Let K be an infinite field. Let m, n ∈ N.LetU be an m-dimensional K- vector space. The natural left action of the general linear group GL(U)onU ⊗n commutes with the right permutation action of the symmetric group Sn.Letϕ, ψ be the natural representations op ⊗n ⊗n ϕ :(KSn) → EndK U ,ψ: KGL(U) → EndK U , respectively. The well-known Schur-Weyl duality (see [Sc], [W], [CC], [CL]) says that ⊗n ≥ (a) ϕ KSn =EndKGL(U) U ,andif m n,thenϕ is injective, and hence ⊗n an isomorphism onto End KGL(U) U , ⊗n (b) ψ KGL(U) =EndKSn U , op (c) if char K = 0, then there is an irreducible (KGL(U), (KSn) )-bimodule decomposition ⊗n λ U = ∆λ ⊗ S , λ=(λ1,λ2,··· )n (λ)≤m λ where ∆λ (resp., S ) denotes the irreducible KGL(U)-module (resp., irre- ducible KSn-module) associated to λ,and(λ) denotes the largest integer i such that λi =0.
    [Show full text]