DOCSLIB.ORG

Characters of the Partition Algebras

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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. The partition algebra appears independently in the work of Martin wxMa1᎐Ma4 and Jones wx Jo . They both study the partition algebra as a 1 Research supported in part by National Science Foundation Grant DMS-9800851 and in part by the Institute for Advanced Study under National Science Foundation Grant DMS 97-29992. 502 0021-8693r01 $35.00 Copyright ᮊ 2001 by Academic Press All rights of reproduction in any form reserved. CHARACTERS OF THE PARTITION ALGEBRAS 503 generalization of the Temperley᎐Lieb algebra and the Potts model in statistical mechanics. The algebra appears implicitly inw Ma1; Ma2, Chap. 3xwxwx and explicitly in Ma3 . Jones Jo explicitly lays out the Schur᎐Weyl wx duality between PrnrŽ.and the symmetric group S . Martin Ma3, Ma4 and Martin and Woodcockwx MW1, MW2 extensively study the structure of the ␰ ␰ g ރ general partition algebra PnŽ., with parameter . They show that ␰ ␰ wxy PnŽ.is semisimple whenever is not an integer in 0, 2n 1 , and they analyze the irreducible representations in both the semisimple and non- semisimple cases. Ramwx Ra2 uses the duality between the orthogonal group and the Brauer algebra to derive a Frobenius formula for the Brauer algebra, and uses symmetric functions to determine a recursive Murnaghan᎐Nakayama rule for Brauer algebra characters. In this paper, we determine analogues of the Frobenius formula and the Murnaghan᎐Nakayama rule for the characters of the partition algebras. The Frobenius formulas for the symmetric group and the Brauer algebra are identities in the ring of symmetric functions. Our analog lives in the character ring of the symmet- ric group. Our Murnaghan᎐Nakayama rule contains, as a special case, the Murnaghan᎐Nakayama rule for the symmetric group. The Schur᎐Weyl duality between the symmetric group and the general linear group and between the orthogonal group and the Brauer algebra each have quantum generalizationsŽ for generic values of q, seew CP, Theorem 10.2.5x and the references there. The Iwahori᎐Hecke algebra of type A is a q-generalization of the symmetric group, and it is in Schur᎐Weyl duality with the quantum general linear group on tensor space. The Birman᎐Murakami᎐Wenzl algebra is a q-generalization of the Brauer algebra, and for q generic it is in Schur᎐Weyl duality with the quantum orthogonal group on tensor space. Moreover, Frobenius formulas and Murnaghan᎐Nakayama rules for the Iwahori᎐Hecke algebrawx Ra1 and the Birman᎐Murakami᎐Wenzl algebrawx HR have been computed. However, to our knowledge, there is no q-generalization of the partition algebra. Summary of Results Ž.1 In Section 1 we develop the representation theory of the parti- tion algebra PrnŽ.using double centralizer theory and the representation theory of the symmetric group Sr . Ž.2 In Section 2, we generalize the cycle type of a permutation in the symmetric group to work for elements in the partition algebra. The ‘‘type’’ ␮ of a basis element in PrnŽ.is given by an integer partition with 0 F <<␮ F n. We show that the value of any character on a basis element d is determined by its value on d␮, where ␮ is the type of d. These special 504 TOM HALVERSON elements d␮ are analogous to conjugacy class representatives in the symmetric group. Ž.3 In Section 3, we derive a formula, ny< ␮ < ␭ ␭ r f␮ ␳ s ␹ ␥␹␳ d␮ , Ž.Ý Srn Ž.P Žr . Ž. ␭& U r <<␭ Fn relating Srncharacters and PrŽ.characters. The function f␮ is a class function on the symmetric group Sr which is explicitly computed in ␭ Theorem 3.2.2. The partition algebra ␹ Ž.d␮ can then be computed PnŽr. ny< ␮ < ␭ using the usual inner product ²rf␮, ␹ : on symmetric group charac- Sr ters. This formula is analogous to Frobenius’ formula for Sn characters. Ž.4 In Section 4, we compute an inner productŽ Proposition 4.2.1. in the character ring of Sr which allows us to derive a recursive formula ␭ Ž.Theorem 4.2.2 for ␹ Ž.d␮ . An interesting thing about this formula is PnŽr. that, like the Murnaghan᎐Nakayama rule for symmetric group characters, the recursion works by removing border strips from the partition ␭, only in this case we remo¨e border strips and then put them back on. Ž.5 For an indeterminate x, the generic partition algebra Pxn Ž .over ރ ␰ g ރ ␰ Ž.x is semisimple, and for the specialized algebra PnŽ.is semisimple whenever ␰ is not an integer in the rangewx 0, 2n y 1 . We show ␰ g ރ ␰ that for all but a finite number of , the characters of PnŽ.are the s ␰ evaluation of the corresponding PxnŽ.characters at x . We use this ᎐ fact to lift the Murnaghan Nakayama rule from PrnnŽ.to Px Ž .in Theo- rem 4.2.4. Ž.6 Let ⌶ denote the character table of the partition algebra PnŽ x. PxnŽ., that is, the table of characters which has rows indexed by the irreducible representations and columns indexed by the elements de- scribed inŽ. 1 . Using our character formula and suitable orderings on the rows and columns, we see that x⌶ . ) Pny 1Ž x. ⌶ s иии иии ,0.1 PnŽ x. Ž. 0.. ⌶ . Sn where ⌶ is the character table of S . Our rule allows us to efficiently Snn compute the values for ), and, in the lower-right corner of the table, it ᎐ specializes to the Murnaghan Nakayama rule for Sn. We give character s tables for PxnŽ.when n 2, 3, 4, 5 in Section 6. : Ž.7 There is a natural embedding Pxny1Ž.Pxn Ž.which has special properties that are exploited by Martinwx Ma3, Ma4 to construct the CHARACTERS OF THE PARTITION ALGEBRAS 505 irreducible representations of PxnŽ.. In Section 5, we prove general results about the characters of algebras with these properties. In particular, Proposition 5.1.9 tells us that the character table ⌶ must have the PnŽ x. form shown inŽ. 0.1 . The Murnaghan᎐Nakayama rule is still needed, however, to directly compute the entries from ). The general construction in Section 5 holds for the rook monoidŽ see wxMu1, Mu2, So2. , the Solomon᎐Iwahori algebraswx So1, So3, Pu, DHP , and the ‘‘rook’’ version of the Brauer and Birman᎐Murakami᎐Wenzl algebras. The construction is similar to the basic construction of Jones, which is used inwx HR to compute the characters of the Temperley᎐Lieb, Brauer, Birman᎐Murakami᎐Wenzl, and Okada algebras. 1. PARTITION ALGEBRAS In this section we give the combinatorial definition of the partition algebras and describe its irreducible representations using its duality with the symmetric group on tensor space. 1.1. Integer Partitions and Symmetric Functions A composition ␭ of the positive integer n, denoted ␭ * n, is a sequence ␭ s ␭ ␭ ␭ <<␭ s ␭ q иии q␭ s of nonnegative integers Ž.12, ,..., t such that 1 t ␭ ␭ & ␭ G ␭ G иии G ␭ n. The composition is a partition, denoted n,if 12 t. The length l Ž.␭ is the number of nonzero parts of ␭. Given two partitions ␭ ␮ ␮ : ␭ ␮ F ␭ ␮ : ␭ ␭r␮ , , we say that if iifor all i.If , let denote the skew shape given by removing ␮ from ␭. The size of a skew shape is <<<<<<␭r␮ s ␭ y ␮ . The YoungŽ. or Ferrers diagram of ␭ is the left-justified ␭ array of boxes with i boxes in the ith row. For example, Ž.5,5,3,1 s Ž.Ž.5,5,3,1 r 3,2,1 s ␭ ␭ ␭ Let miiŽ.denote the number of parts of which are equal to i.We ␭ ␭ sometimes use the notation ␭ s Ž1m1Ž . , 2m 2Ž . , . .. In this notation the partition above is given byŽ 1, 3, 52 . 506 TOM HALVERSON For a positive integer k define the power symmetric function in the variables x1,..., xr to be s k q иии q k pxk Ž.1 ,..., xr x1 xr , and for a partition ␮ define p␮ s pp␮␮иии p ␮ . 12 l Ž ␮. For a partition ␭ & r, a column strict tableau T of shape ␭ is a filling of the boxes of the Young diagram of ␭ with entries fromÄ4 1, .
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]
  • 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].
    [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]
  • 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]