DOCSLIB.ORG

The Stabilizer of Immanants Ke Ye

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Stabilizer of Immanants Ke Ye View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Linear Algebra and its Applications 435 (2011) 1085–1098 Contents lists available at ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa The stabilizer of immanants Ke Ye Texas A&M University, Dept. of Mathematics, College Station, TX 77843-3368, United States ARTICLE INFO ABSTRACT Article history: Immanants are homogeneous polynomials of degree n in n2 vari- Received 6 May 2010 ables associated to the irreducible representations of the symmetric Accepted 15 February 2011 group S of n elements. We describe immanants as trivial S mod- Available online 17 March 2011 n n ules and show that any homogeneous polynomial of degree n on SubmittedbyR.Loewy the space of n × n matrices preserved up to scalar by left and right AMS classification: action by diagonal matrices and conjugation by permutation ma- 15 linear and multilinear algebra trices is a linear combination of immanants. Building on works of 51 geometry Duffner [5] and Purificação [3], we prove that for n ≥ 6 the identity component of the stabilizer of any immanant (except determinant, Keywords: permanent, and π = (4, 1, 1, 1))is(Sn) T(GLn × GLn) Z2, Immanants where T(GLn ×GLn) is the group consisting of pairs of n×n diagonal Stabilizers matrices with the product of determinants 1, acting by left and right Representation theory matrix multiplication, (S ) is the diagonal of S × S , acting by Lie algebra n n n conjugation (Sn is the group of symmetric group) and Z2 acts by sending a matrix to its transpose. Based on the work of Purificação and Duffner [4], we also prove that for n ≥ 5 the stabilizer of the immanant of any non-symmetric partition (except determinant and permanent) is (Sn) T(GLn × GLn) Z2. © 2011 Elsevier Inc. All rights reserved. 1. Introduction Littlewood [7] defined polynomials of degree n in n2 variables generalizing the notion of determi- nant and permanent, called immanants, and are defined as follows. Definition 1.1. For any partition π n, define a polynomial of degree n in matrix variables (xij)n×n associated to π as follows: n Pπ := χπ (σ ) xiσ(i). σ ∈Sn i=1 This polynomial is called the immanant associated to π. E-mail address: [email protected] 0024-3795/$ - see front matter © 2011 Elsevier Inc. All rights reserved. doi:10.1016/j.laa.2011.02.029 1086 K. Ye / Linear Algebra and its Applications 435 (2011) 1085–1098 Example 1.2. If π = (1, 1,...,1) then Pπ is exactly the determinant of the matrix (xij)n×n. π = ( ) π n σ() Example 1.3. If n then P is the permanent σ ∈Sn i=1 xi i . Remark 1.4. Let E and F be Cn. Since immanants are homogeneous polynomials of degree n in n2 variables, we can identify them as elements in Sn(E ⊗ F) (Identify the space E ⊗ F with the space of n×n matrices). The space Sn(E ⊗F) is a representation of GL(E ⊗F), in particular, it is a representation of GL(E) × GL(F) ⊂ GL(E ⊗ F). So we can use the representation theory of GL(E) × GL(F) to study immanants. The explicit expression of an immanant Pπ in Sn(E ⊗ F) is: n χπ (σ ) ei ⊗ fσ(i), σ ∈Sn i=1 where is interpreted as the symmetric tensor product. In Section 3, we remark that immanants can be defined as trivial Sn modules (Proposition 3.3). Duffner found the system of equations determining the stabilizer of immanants (except determinant and permanent) for n ≥ 4in[5] in year 1994. Two years later, Purificação proved in [3] that if the system of equations in [5] has a solution, then permutations τ1 and τ2 in the system must be the same. Building on works of Duffner and Coelho, We prove the main results Theorems 1.5 and 1.7 of this paper in Section 4. Theorem 1.5. Let π be a partition of n ≥ 6 such that π = (1,...,1), (4, 1, 1, 1) or (n), then the identity component of the stabilizer of the immanant Pπ is (Sn) T(GLn × GLn) Z2,whereT(GLn × GLn) is the group consisting of pairs of n × n diagonal matrices with the product of determinants 1,actingbyleft and right matrix multiplication, (Sn) is the diagonal of Sn × Sn, acting by conjugation, (Sn is the group of symmetric group.) and Z2 acts by sending a matrix to its transpose. Remark 1.6. It is well-known that Theorem 1.5 is true for permanent as well, but our proof does not recover this case. Theorem 1.7. Let n ≥ 5 and let π be a partition of n which is not symmetric, that is, π is not equal to its transpose, and π = (1,...,1) or (n), then the stabilizer of the immanant is (Sn) T(GLn × GLn)Z2. Remark 1.8. One can compute directly from the system of equations determined by Duffner for the case n = 4 and π = (2, 2) and see that in this case, Theorem 1.7 fails, since there will be many additional components. For example, ⎛ ⎞ − − ⎜e e ee⎟ ⎜ ⎟ ⎜ ⎟ ⎜1111⎟ C = ⎜ ⎟ ⎜ − − ⎟ ⎝11 1 1⎠ 1 − 1 1 − 1 e e e e stabilizes the immanant P(2,2), but it is not in the identity component. 2. Notations and preliminaries (1) E and F are n-dimensional complex vector spaces. { }n { }n (2) ei i=1 and fi i=1 are fixed basis of E and F, respectively. (3) Sn is the symmetric group on n elements. Given σ ∈ Sn, we can express σ as disjoint product of cycles, and we can denote the conjugacy class of σ by (1i1 2i2 ,...,nin ), meaning that σ is a disjoint product of i1 1-cycles, i2 2-cycles,…, in n-cycles. Sometimes we might use (k1, k2,...,kp) K. Ye / Linear Algebra and its Applications 435 (2011) 1085–1098 1087 ≥ ≥ ≥ ··· ≥ ≥ p = σ (where n k1 k2 kp 1 and i=1 ki n) to indicate the cycle type of .This notation means that σ contains a k1-cycle, a k2-cycle and a kp-cycle. (4) π n is a partition of n, we can write π = (π ,...,π ) with π ≥···≥π . 1 k 1 k (5) π is the conjugate partition of π. (6) Mπ (sometimes we might use [π] as well) is the irreducible representation of the symmetric group Sn corresponding to the partition π. (7) Sπ (E) is the irreducible representation of GL(E) corresponding to π. (8) χπ is the character of Mπ . (9) Let V be a representation of SL(E), then the weight-zero-subspace of V is denoted as V . ⊗ 0 (10) For Sπ (E), we have a realization in the tensor product E n via the young symmetrizer cπ : Sπ (E) ∼ ⊗ = cπ (E n),where π is any young tableau of shape π. (11) The action of Sn on E is the action of the Weyl group of SL(E), that is, the permutation repre- sentation on Cn. (12) Fix a young tableau π,definePπ¯ := {σ ∈ Sn | σ preserves each row of π¯ } and Qπ¯ := {σ ∈ Sn | σ preserves each column of π¯ }. (13) For a polynomial P in variables (xij)n×n, denote the stabilizer of P in GL(E ⊗ F) by G(P). 3. The description of immanants as modules Consider the action of T(E) × T(F) on immanants, where T(E),T(F) are maximal tori (diagonal matrices) of SL(E), SL(F), respectively. For any (A, B) ∈ T(E) × T(F), ⎛ ⎞ ⎛ ⎞ ... ... ⎜a1 0 0 ⎟ ⎜b1 0 0 ⎟ ⎜ ⎟ ⎜ ⎟ ⎜ ... ⎟ ⎜ ... ⎟ ⎜ 0 a2 0 ⎟ ⎜ 0 b2 0 ⎟ = ⎜ ⎟ , = ⎜ ⎟ . A ⎜ . ⎟ B ⎜ . ⎟ ⎜ . .. ⎟ ⎜ . .. ⎟ ⎝ ⎠ ⎝ ⎠ 00... an 00... bn π = χπ (σ ) n σ() ( , ) π For the immanant P σ ∈Sn i=1 xi i , the action of A B on P is given by n (A, B).Pπ := χπ (σ ) aibσ(i)xiσ(i) = Pπ . σ ∈Sn i=1 That is, immanants are in the SL(E) × SL(F) weight-zero-subspace of Sn(E ⊗ F). On the other hand, the decomposition of Sn(E ⊗ F) as GL(E) × GL(F)-modules: Sn(E ⊗ F) = Sλ(E) ⊗ Sλ(F). λn Accordingly, we have a decomposition of the weight-zero-subspace: n (S (E ⊗ F))0 = (Sλ(E))0 ⊗ (Sλ(F))0. λn ∼ Proposition 3.1. For λ n, (Sλ(E))0 = Mλ as Sn-modules. Proof. See [8,p.272]. Thus we can identify (Sλ(E))0 ⊗ (Sλ(F))0 with Mλ ⊗ Mλ as an Sn × Sn module. Also, the diagonal n (Sn) of Sn × Sn is isomorphic to Sn,soMλ ⊗ Mλ is a S -module. Mλ ⊗ Mλ is an irreducible Sn × Sn module, but it is reducible as and Sn-module, so that we can decompose it. Consider the action of Sn on Sn(E ⊗ F),letσ ∈ Sn, then: 1088 K. Ye / Linear Algebra and its Applications 435 (2011) 1085–1098 σ.xij = xσ(i)σ (j). n So immanants are invariant under the action of S , hence are contained in the isotypic component of ( ( )) ⊗ ( ( )) ⊗ the trivial Sn representation of λn Sλ E 0 Sλ F 0 = λn Mλ Mλ. Proposition 3.2. As a Sn module, Mλ ⊗ Mλ contains only one copy of trivial representation. Proof. Denote the character of σ ∈ Sn on Mλ ⊗ Mλ by χ(σ), and let χtrivial be the character of the trivial representation. From the general theory of characters, it suffices to show that the inner product (χ, χtrivial) = 1. First, the character χ(σ,τ)of (σ, τ) ∈ Sn × Sn on the module Mλ ⊗ Mλ is χλ(σ )χλ(τ).
Load more

Recommended publications
  • Representations of the Symmetric Group and Its Hecke Algebra Nicolas Jacon
    Representations of the symmetric group and its Hecke algebra Nicolas Jacon To cite this version: Nicolas Jacon. Representations of the symmetric group and its Hecke algebra. 2012. hal-00731102v1 HAL Id: hal-00731102 https://hal.archives-ouvertes.fr/hal-00731102v1 Preprint submitted on 12 Sep 2012 (v1), last revised 10 Nov 2012 (v2) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Representations of the symmetric group and its Hecke algebra N. Jacon Abstract This paper is an expository paper on the representation theory of the symmetric group and its Hecke algebra in arbitrary characteristic. We study both the semisimple and the non semisimple case and give an introduction to some recent results on this theory (AMS Class.: 20C08, 20C20, 05E15) . 1 Introduction Let n N and let S be the symmetric group acting on the left on the set 1, 2, . , n . Let k be a field ∈ n { } and consider the group algebra kSn. This is the k-algebra with: k-basis: t σ S , • { σ | ∈ n} 2 multiplication determined by the following rule: for all (σ, σ′) S , we have t .t ′ = t ′ . • ∈ n σ σ σσ The aim of this survey is to study the Representation Theory of Sn over k.
    [Show full text]
  • GRADED LEVEL ZERO INTEGRABLE REPRESENTATIONS of AFFINE LIE ALGEBRAS 1. Introduction in This Paper, We Continue the Study ([2, 3
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 360, Number 6, June 2008, Pages 2923–2940 S 0002-9947(07)04394-2 Article electronically published on December 11, 2007 GRADED LEVEL ZERO INTEGRABLE REPRESENTATIONS OF AFFINE LIE ALGEBRAS VYJAYANTHI CHARI AND JACOB GREENSTEIN Abstract. We study the structure of the category of integrable level zero representations with finite dimensional weight spaces of affine Lie algebras. We show that this category possesses a weaker version of the finite length property, namely that an indecomposable object has finitely many simple con- stituents which are non-trivial as modules over the corresponding loop algebra. Moreover, any object in this category is a direct sum of indecomposables only finitely many of which are non-trivial. We obtain a parametrization of blocks in this category. 1. Introduction In this paper, we continue the study ([2, 3, 7]) of the category Ifin of inte- grable level zero representations with finite-dimensional weight spaces of affine Lie algebras. The category of integrable representations with finite-dimensional weight spaces and of non-zero level is semi-simple ([16]), and the simple objects are the highest weight modules. In contrast, it is easy to see that the category Ifin is not semi-simple. For instance, the derived Lie algebra of the affine algebra itself provides an example of a non-simple indecomposable object in that category. The simple objects in Ifin were classified in [2, 7] but not much else is known about the structure of the category. The category Ifin can be regarded as the graded version of the category F of finite-dimensional representations of the corresponding loop algebra.
    [Show full text]
  • Representation Theory
    M392C NOTES: REPRESENTATION THEORY ARUN DEBRAY MAY 14, 2017 These notes were taken in UT Austin's M392C (Representation Theory) class in Spring 2017, taught by Sam Gunningham. I live-TEXed them using vim, so there may be typos; please send questions, comments, complaints, and corrections to [email protected]. Thanks to Kartik Chitturi, Adrian Clough, Tom Gannon, Nathan Guermond, Sam Gunningham, Jay Hathaway, and Surya Raghavendran for correcting a few errors. Contents 1. Lie groups and smooth actions: 1/18/172 2. Representation theory of compact groups: 1/20/174 3. Operations on representations: 1/23/176 4. Complete reducibility: 1/25/178 5. Some examples: 1/27/17 10 6. Matrix coefficients and characters: 1/30/17 12 7. The Peter-Weyl theorem: 2/1/17 13 8. Character tables: 2/3/17 15 9. The character theory of SU(2): 2/6/17 17 10. Representation theory of Lie groups: 2/8/17 19 11. Lie algebras: 2/10/17 20 12. The adjoint representations: 2/13/17 22 13. Representations of Lie algebras: 2/15/17 24 14. The representation theory of sl2(C): 2/17/17 25 15. Solvable and nilpotent Lie algebras: 2/20/17 27 16. Semisimple Lie algebras: 2/22/17 29 17. Invariant bilinear forms on Lie algebras: 2/24/17 31 18. Classical Lie groups and Lie algebras: 2/27/17 32 19. Roots and root spaces: 3/1/17 34 20. Properties of roots: 3/3/17 36 21. Root systems: 3/6/17 37 22. Dynkin diagrams: 3/8/17 39 23.
    [Show full text]
  • Notes on Representations of Finite Groups
    NOTES ON REPRESENTATIONS OF FINITE GROUPS AARON LANDESMAN CONTENTS 1. Introduction 3 1.1. Acknowledgements 3 1.2. A first definition 3 1.3. Examples 4 1.4. Characters 7 1.5. Character Tables and strange coincidences 8 2. Basic Properties of Representations 11 2.1. Irreducible representations 12 2.2. Direct sums 14 3. Desiderata and problems 16 3.1. Desiderata 16 3.2. Applications 17 3.3. Dihedral Groups 17 3.4. The Quaternion group 18 3.5. Representations of A4 18 3.6. Representations of S4 19 3.7. Representations of A5 19 3.8. Groups of order p3 20 3.9. Further Challenge exercises 22 4. Complete Reducibility of Complex Representations 24 5. Schur’s Lemma 30 6. Isotypic Decomposition 32 6.1. Proving uniqueness of isotypic decomposition 32 7. Homs and duals and tensors, Oh My! 35 7.1. Homs of representations 35 7.2. Duals of representations 35 7.3. Tensors of representations 36 7.4. Relations among dual, tensor, and hom 38 8. Orthogonality of Characters 41 8.1. Reducing Theorem 8.1 to Proposition 8.6 41 8.2. Projection operators 43 1 2 AARON LANDESMAN 8.3. Proving Proposition 8.6 44 9. Orthogonality of character tables 46 10. The Sum of Squares Formula 48 10.1. The inner product on characters 48 10.2. The Regular Representation 50 11. The number of irreducible representations 52 11.1. Proving characters are independent 53 11.2. Proving characters form a basis for class functions 54 12. Dimensions of Irreps divide the order of the Group 57 Appendix A.
    [Show full text]
  • Introduction to the Representation Theory of Finite Groups
    Basic Theory of Finite Group Representations over C Adam B Block 1 Introduction We introduce the basics of the representation theory of finite groups in characteristic zero. In the sequel, all groups G will be finite and all vector spaces V will be finite dimensional over C. We first define representa- tions and give some basic examples. Then we discuss morphisms and subrepresentations, followed by basic operations on representations and character theory. We conclude with induced and restricted representa- tions and mention Frobenius Reciprocity. These notes are intended as the background to the UMS summer seminar on the representation theory of symmetric groups from [AMV04]. The author learned this material originally from [FH] and recommends this source for more detail in the following; many of the proofs in the sequel likely come from this source. 2 Definitions and Examples Representation theory is the study of groups acting on vector spaces. As such, we have the following definition: Definition 1. A representation of a group G is a pair (V; ρ) where V is a vector space over C and ρ is a homomorphism ρ : G ! GL(V ). We will often refer to representations by their vector space and assume that the morphism ρ is clear from context. Every representation defines a unique C[G]-module, with the action of G on V being g · v = ρ(g)(v) and vice versa. We refer to the dimension of the representation, defined to be dim V . With the definition in mind, we begin with a few examples. Example 2. Let G be any group and V any vector space.
    [Show full text]
  • Class Numbers of Orders in Quartic Fields
    Class Numbers of Orders in Quartic Fields Dissertation der FakultÄat furÄ Mathematik und Physik der Eberhard-Karls-UniversitÄat TubingenÄ zur Erlangung des Grades eines Doktors der Naturwissenschaften vorgelegt von Mark Pavey aus Cheltenham Spa, UK 2006 Mundliche Prufung:Ä 11.05.2006 Dekan: Prof.Dr.P.Schmid 1.Berichterstatter: Prof.Dr.A.Deitmar 2.Berichterstatter: Prof.Dr.J.Hausen Dedicated to my parents: Deryk and Frances Pavey, who have always supported me. Acknowledgments First of all thanks must go to my doctoral supervisor Professor Anton Deit- mar, without whose enthusiasm and unfailing generosity with his time and expertise this project could not have been completed. The ¯rst two years of research for this project were undertaken at Exeter University, UK, with funding from the Engineering and Physical Sciences Re- search Council of Great Britain (EPSRC). I would like to thank the members of the Exeter Maths Department and EPSRC for their support. Likewise I thank the members of the Mathematisches Institut der UniversitÄat Tubingen,Ä where the work was completed. Finally, I wish to thank all the family and friends whose friendship and encouragement have been invaluable to me over the last four years. I have to mention particularly the Palmers, the Haywards and my brother Phill in Seaton, and those who studied and drank alongside me: Jon, Pete, Dave, Ralph, Thomas and the rest. Special thanks to Paul Smith for the Online Chess Club, without which the whole thing might have got done more quickly, but it wouldn't have been as much fun. 5 Contents Introduction iii 1 Euler Characteristics and In¯nitesimal Characters 1 1.1 The unitary duals of SL2(R) and SL4(R) .
    [Show full text]
  • Expander Graphs and Kazhdan's Property (T) Giles Gardam
    Expander Graphs and Kazhdan's Property (T) Giles Gardam An essay submitted in partial fulfillment of the requirements for the degree of B.Sc. (Honours) Pure Mathematics University of Sydney October 2012 Contents Introduction ........................................................................ iv Acknowledgements ................................................................. vi Chapter 1. Expander Graphs.................................................... 1 1.1. Graph Theory Background . 1 1.2. Introduction to Expander Graphs . 5 1.3. Diameter in Expanders. 8 1.4. Alternative Definitions of Expansion . 10 1.5. Existence of Expanders . 13 1.6. Cayley Graphs . 14 1.7. Some Negative Results for Cayley Graph Expansion. 15 1.8. Expansion in SL(2; Z=pZ)..................................................... 17 Chapter 2. Random Walks on Expanders ...................................... 19 2.1. Random Walks and the Graph Spectrum . 19 2.2. Spectral Expansion . 20 2.3. Efficient Error Reduction for RP .............................................. 23 Chapter 3. Kazhdan's Property (T) ............................................ 27 3.1. Unitary Representations of Locally Compact Groups . 27 3.2. Property (T). 33 3.3. Compact Groups Have Property (T) . 37 3.4. Kazhdan Sets and Generation . 41 3.5. Lattices and Property (T). 44 3.6. Some Non-compact Kazhdan Groups . 46 Chapter 4. Constructions of Expanders ........................................ 51 4.1. Kazhdan Expanders. 51 4.2. Margulis's Construction of Expanders . 54 Appendix A. Asymptotic Representations
    [Show full text]
  • Kazhdan's Property (T) and Related Properties of Locally Compact and Discrete Groups
    Kazhdan's Property (T) and Related Properties of Locally Compact and Discrete Groups. Annabel Deutsch. Presented for the Degree of Doctor of Philosophy, Department of Mathematics and Statistics, University of Edinburgh, 1992. 1" \1r? q1 Declaration. This thesis was composed by myself and has not been submitted for any other degree orprofessional qualification. All work not otherwise attributed is original. Acknowledgements. First of all I would like to express my gratitude to both my supervisors for all their help and encouragement during the last three years. Dr.A.Guyan Robertson introduced me to the topic of this thesis and advised and supported me throughout the formation of its contents. Prof. Allan M.Sinclair took over in the final stages. Special thanks are also due to my office mate, John, for all his advice about the use of the word processor. I would also like to thank everyone in the mathematics department, academic staff, computing officers, secretaries and my fellow students as well as the staff of the James Clerk Maxwell Library. I am also grateful so the Science and Engineering Research Council who funded my three years of research. On a more personal level, thanks are also due to all the people who helped to keep me sane over the last three years: my parents, Chris, Debbie and Rachel whose home I shared for two years, Ken, Fran, Catherine, the Anglican Students' Society and all the other friends who have reminded me that there is more to life than a thesis. 2 Abstract. In this thesis we look at a number of properties related to Kazhdan's property (T), for a locally compact, metrisable, o-compact group.
    [Show full text]
  • A Full Complexity Dichotomy for Immanant Families
    A full complexity dichotomy for immanant families Radu Curticapean∗ February 9, 2021 Abstract Given an integer n ≥ 1 and an irreducible character χλ of Sn for some partition λ of n, the immanant n×n n×n immλ : C ! C maps matrices A 2 C to n X Y immλ(A) = χλ(π) Ai,π(i): π2Sn i=1 Important special cases include the determinant and permanent, which are the immanants associated with the sign and trivial character, respectively. It is known that immanants can be evaluated in polynomial time for characters that are “close” to the sign character: Given a partition λ of n with s parts, let b(λ) := n − s count the boxes to the right of the first column in the Young diagram of λ. For a family of partitions Λ, let b(Λ) := maxλ2Λ b(λ) and write Imm(Λ) for the problem of evaluating immλ(A) on input A and λ 2 Λ. • If b(Λ) < 1, then Imm(Λ) is known to be polynomial-time computable. This subsumes the case of the determinant. • If b(Λ) = 1, then previously known hardness results suggest that Imm(Λ) cannot be solved in polynomial time. However, these results only address certain restricted classes of families Λ. In this paper, we show that the parameterized complexity assumption FPT 6= W[1] rules out polynomial- time algorithms for Imm(Λ) for any computationally reasonable family of partitions Λ with b(Λ) = 1. We give an analogous result in algebraic complexity under the assumption VFPT 6= VW[1]. Furthermore, if b(λ) even grows polynomially in Λ, we show that Imm(Λ) is hard for #P and VNP.
    [Show full text]
  • Arxiv:1502.06543V4 [Math.OA] 30 Aug 2015 Infinite Depth Categories May Exhibit Interesting Analytical Behavior Analogous to Infinite Discrete Groups
    ANNULAR REPRESENTATION THEORY FOR RIGID C*-TENSOR CATEGORIES SHAMINDRA KUMAR GHOSH AND COREY JONES Abstract. We define annular algebras for rigid C∗-tensor categories, providing a unified framework for both Ocneanu's tube algebra and Jones' affine annular category of a planar algebra. We study the representation theory of annular algebras, and show that all sufficiently large (full) annular algebras for a category are isomorphic after tensoring with the algebra of matrix units with countable index set, hence have equivalent representation theories. Annular algebras admit a universal C∗-algebra closure analogous to the universal C∗-algebra for groups. These algebras have interesting corner algebras indexed by some set of isomorphism classes of objects, which we call centralizer algebras. The centralizer algebra corresponding to the identity object is canonically isomorphic to the fusion algebra of the category, and we show that the admissible representations of the fusion algebra of Popa and Vaes are precisely the restrictions of arbitrary (non- degenerate) ∗-representations of full annular algebras. This allows approximation and rigidity properties defined for categories by Popa and Vaes to be interpreted in the context of annular representation theory. This perspective also allows us to define \higher weight" approximation properties based on other centralizer algebras of an annular algebra. Using the analysis of annular representations due to Jones and Reznikoff, we identify all centralizer algebras for the T LJ(δ) categories for δ ≥ 2. 1. Introduction Rigid C∗-tensor categories provide a unifying language for a variety of phenomena encoding \quantum symmetries". For example, they appear as the representation categories of Woronowicz' compact quantum groups, and as \gauge symmetries" in the algebraic quantum field theory of Haag and Kastler.
    [Show full text]
  • REPRESENTATIONS of the SYMMETRIC GROUP Contents 1. Introduction 1 2. Basic Definitions and Complete Reducibility 2 3. Characters
    REPRESENTATIONS OF THE SYMMETRIC GROUP DAPHNE KAO Abstract. I will introduce the topic of representation theory of finite groups by investigating representations of S3 and S4 using character theory. Then I will generalize these examples by describing all irreducible representations of any symmetric group on n letters. Finally, I will briefly discuss how to dis- cover irreducible representations of any group using Schur Functors, which are constructed using the irreducible representations of Sn. This paper assumes familiarity with group theory, FG-modules, linear algebra, and category the- ory. Contents 1. Introduction 1 2. Basic Definitions and Complete Reducibility 2 3. Characters and Hands-on Examples Involving Them 4 4. Representations of Sn 9 5. Schur Functors 13 Acknowledgments 14 References 14 1. Introduction A representation of a group G is a homomorphism ρ from G into the general linear group of some vector space V . When such a map exists, if we write g · v rather than ρ(g)(v) to denote the image of a vector v in V under the automorphism ρ(g), then we can think of V as a CG-module, since for any vectors v and w, any group elements g and h, and any scalar c, the following properties hold: (1) ρ(g)(v) = g · v is in V . (2) ρ(1) = I 2 GL(V ) by the homomorphism property, so ρ(1)(v) = I(v) = v, which means 1 · v = v. (3) (ρ(g) ◦ ρ(h))(v) = ρ(g)(ρ(h)(v)), so (gh) · v = g · (h · v). (4) ρ(g)(cv) = cρ(g)(v) by linearity, so g · cv = c(g · v).
    [Show full text]
  • Solutions to Example Sheet 3
    Solutions to Example Sheet 3 1. Let G = A5. For each pair of irreducible representations ρ, ρ0, (i) decompose ρ ρ0 into a sum of irreducible representations, ⊗ (ii) decompose 2 ρ and S2 ρ into irreducible representations, V (iii) decompose n ρ into irreducible representations, for n 3, V ≥ (iv) check that if ρ is a non-trivial representation of A5 (hence faithful), every representation of A5 2 occurs with non-zero multiplicity in at least one of ; ρ, ρ⊗ ;::: . Solution. Straightforward but tedious. Use Problem 3(iii) for n ρ. The last part follows from V Problem 11. 2. (i) Let CG be the space of class functions on G, and δ be the basis of \delta functions on conjugacy O classes". show that the functions δ are orthogonal idempotents, and hence CG is isomorphic as an algebra to a direct sum of copiesO of the one-dimensional algebra C. (ii) Let G = Z=nZ, and λ be the one-dimensional representation of G which sends 1 G to 2πi=n n 2 multiplication by e . show CG = C[λ]=(λ 1). Check this is consistent with part (i). − 3 2 (iii) Let G = S3, and ρ be the two-dimensional representation of G. Show CG = C[ρ]=(ρ ρ 2ρ). − − Solution. (i) Let 1;:::; n be the conjugacy classes of G. We define δ : G C by O O O ! 1 if x ; δ (x) = ( 2 O O 0 if x = : 2 O 2 Clearly δ = δ and so δ is an idempotent element in the ring CG (with respect to addition and multiplicationO O of classO functions).
    [Show full text]