REPRESENTATIONS OF S n AND GL(n, C)
|
|
- Phyllis Ramsey
- 6 years ago
- Views:
Transcription
1 REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although numerically equal, there is no general formula to map the conjugacy classes of a group to its irreducible representations For the case of the symmetric group S n, however, there is a remarkably simple correspondence; we will see that each irreducible representation of S n is determined uniquely by a combinatorial object called a Young diagram corresponding to a given conjugacy class In section 2, we will introduce these diagrams and show how they determine a representation V λ of S n In section 3, we will show that each such representation is irreducible and, in fact, the collection of V λ s accounts for every irreducible representation of S n Finally, in section 4, we will discuss how these representations can be used to give a large class of irreducible representations of the general linear group GL k For more details, please refer to Chapters 4, 6, and 15 of Representation Theory: A First Course by William Fulton and Joe Harris 2 Group algebras, Young diagrams, Young tableaux, and Young symmetrizers Our goal is to describe the irreducible representations of S n We first define the group algebra CS n to be the set of all finite formal sums of the form σ S n z σ e σ, z σ C, where the e σ are basis elements indexed by the σ S n The group algebra is equipped with a natural addition and multiplication which work as follows: i) z i e σi + y i e σi = (z i + y i )e σi ii) ( z i e σi ) ( ) y j e σj = z i y j e σiσ j For example, in the case of CS 3 we have and i,j 3e (12) + 7e (132) + 5e (12) + 2e (132) = 2e (12) + 9e (132), (2e 1 3e (12) )(e (123) + 5e (12) ) = 2e 1(123) + 10e 1(12) 3e (12)(123) 15e (12)(12) = 2e (123) + 10e (12) 3e (23) 15e 1 We can also view CS n as a complex vector space with basis elements indexed by the e σ s There is a natural linear action of CS n (the group algebra) on CS n 1
2 2 SEAN MCAFEE (the vector space) given by the multiplication rule above In other words, we have a representation ρ : S n GL(CS n ) = GL(C n! ), called the regular representation of S n The rest of this section will be devoted to describing certain elements c λ of CS n (the group algebra), called Young symmetrizers The images of these elements in CS n (the vector space) will be subspaces V λ of CS n that are invariant under the action of S n Thus we will arrive at representations ρ λ : S n GL(V λ ) which, we will see in section 3, are irreducible Recall that a partition λ = λ λ k, (λ 1 λ k ) of an integer n gives rise to a collection of stacked squares called a Young diagram; where the length of each row is given by λ i For example, the partition of n = 9 induces the Young diagram By filling in the boxes of a Young diagram in any way with one each of the numbers 1,, n, we get what is known as a Young tableau For our purposes, the arrangement of numbers will not matter (this is not obvious and takes some work to prove), so we will fill in our Young diagrams in the natural way, starting with 1 in the upper left and increasing by 1 as we move from left to right and top to bottom: Given such a tableau, we define P λ = {σ S n σ preserves each row } Q λ = {σ S n σ preserves each column } We then use these sets to define elements a λ, b λ in the group algebra CS n : a λ := σ P λ e σ b λ := sgn(σ)e σ σ Q λ Finally, we define the Young symmetrizer: c λ := a λ b λ For an easy example, consider the partition 3 = 2 + 1; this gives us the following Young tableau: 1 2 3
3 3 so and We then have P λ = {1, (12)} and Q λ = {1, (13)}, a λ = e 1 + e (12) and b λ = e 1 e (13), c λ = (e 1 + e (12) )(e 1 e (13) ) = e 1 + e (12) e (13) e (132) As discussed above, c λ acts on the vector space CS 3 ; we take this action to be on the right The matrix of this action (using the ordered basis {1, (12), (13), (23), (123), (132)}) is The first and third columns form a basis for the column space of this matrix, thus the image V λ = CS n c λ of c λ is the span of e 1 + e (12) e (13) e (132) and e 1 + e (13) e (23) + e (123) Assuming for the moment that we have proven each such V λ is irreducible, this gives us a two dimensional irreducible representation of S 3, ie V λ is equivalent to the standard representation As a final remark, notice that any element d CS n gives us a subspace CS n d of CS n which is invariant under the (left) action of CS n Thus the Young symmetrizers c λ are not special in this respect; what does make them special is that the CS n - invariant subspaces which they determine will turn out to be irreducible under the CS n -action (and, actually, unique for each partition λ) Exercise 21 Explicitly show that the representation above is equivalent to the standard representation of S 3, where S 3 acts on the subspace of R 3 spanned by the vectors e 1 e 2, e 2 e 3 by permuting indices Exercise 22 Show that the Young diagrams and give rise to the trivial and alternating representations of S 3, respectively Exercise 23 Show that, for S n, the partitions (n) and ( ) give rise to the trivial and alternating representations of S n, respectively Exercise 24 Show that, for arbitrary n, the partition ((n 1) + 1) gives rise to the standard representation of S n
4 4 SEAN MCAFEE We will prove the following: 3 proof that CS n c λ is irreducible Theorem 31 Given S n, let λ be a partition of n Let V λ be the subspace of CS n spanned by the Young symmetrizer c λ (so V λ = CS n c λ ) Then i) V λ is an irreducible CS n -module (ie V λ is an irreducible representation of S n ) ii) If λ, µ are distinct partitions of n, then V λ = Vµ iii) The V λ account for all irreducible representations of S n The objects involved are combinatorial in nature, so the proof relies on a couple unavoidably ugly lemmata The proofs of these will be omitted, but can be found in chapter 4 of Fulton and Harris Lemma 32 For all x CS n, c λ xc λ is a scalar multiple of c λ Lemma 33 If λ µ, then c λ CS n c µ = 0 Assuming the above have been shown, we are ready to prove the theorem: Proof of theorem 31: i) Let V λ = CS n c λ for a given Young symmetrizer c λ By Lemma 32, we have that c λ V λ Cc λ Let W be a nonzero subrepresentation of V λ We will show that W = V λ First, we claim that both c λ V λ, c λ W are nonzero To see this, suppose that c λ V λ = 0 Then V λ V λ = CS n (c λ V λ ) = 0 As vector spaces, there exists a projection π : CS n CS n c λ that commutes with the action of S n (this can be obtained by taking the projection induced by c λ and averaging over the action of S n ) This projection can be described as right multiplication on CS n (the group algebra) by an element x CS n by letting x := π(1) This x must lie in V λ, since x = 1 x By the definition of a projection, x = x 2 V λ V λ = 0, thus x = 0, a contradiction since the nonzero c λ itself lies in CS n c λ Thus we must have c λ V λ 0 Similarly, we show c λ W 0 So we have W is a subspace of V λ, c λ V λ Cc λ, and c λ W 0; thus we must have c λ W = Cc λ Therefore, V λ = CS n c λ = CS n (Cc λ ) = CS n (c λ W ) W, where the inclusion on the right follows from the fact that W is a subrepresentation of V λ, ie it is invariant under the action of CS n Thus, we have V λ = W, completing the proof that V λ is irreducible ii) Let λ, µ be distinct partitions of n, and let V λ, V µ their corresponding representations By the above, we have that c λ V λ = Cc λ 0 By Lemma 33, we have that c λ V µ = c λ CS n c µ = 0 Therefore, V λ and V µ cannot be isomorphic as CS n modules, proving ii)
5 5 iii) Each partition λ of n corresponds to a distinct conjugacy class of S n We have shown in ii) that the V λ determined by such partitions are all inequivalent Thus, since the number of conjugacy classes of a finite group is equal to the number of irreducible representations, we have accounted for all of the irreducible representations of S n 4 irreducible representations of GL n (C) Equipped with our construction of the irreducible representations of S n, it is actually fairly simple to describe all irreducible, finite-dimensional, rational representations of the general linear group GL n (C) By rational, we mean the following: given a finite dimensional representation ρ : GL(n, C) GL(m, C), we say that the representation is polynomial if, for each A GL(n, C), we have that ρ(a) has entries which are polynomial in the entries of A We say that the representation is rational if, for each A GL(n, C), we have that ρ(a) has entries which are rational polynomials in the entries of A Example 41 For any GL(n, C), we have the standard representation, given by ρ : GL(n, C) GL(n, C) A A This is clearly a polynomial (and thus rational) representation Exercise 42 Show that the standard representation of GL(n, C) is irreducible Exercise 43 Show that the representation ρ(g) = (g 1 ) T is a representation of GL(n, C) on C 2 which is rational, but not polynomial In studying the irreducible representations of S n, we started by observing that any σ S n acts (by right multiplication) on the group algebra CS n by permuting the basis elements We then used linearity to extend this action to a CS n action on CS n The image of this action under the element c λ ended up being an irreducible representation V λ of S n The process for studying the irreducible representations of GL(n, C) will be similar We will start by giving a sketch of the construction, then we will proceed to fill in some of the details Consider GL(n, C) acting on the vector space V = C n by matrix multiplication For any positive integer d, this multiplication can be extended to the dth tensor power of V, written V d For such a fixed d, we can look at a partition λ = (d 1,, d k ) and (just like in the S n case) construct the Young symmetrizer c λ This symmetrizer acts on the right of V d in the same way that it did on the group algebra CS n : by permuting elements The image V d c λ will turn out to be a GL(n, C)-invariant subspace of V d We write S λ V to denote this subspace, and call the map V S λ V the Schur functor These S λ V s will turn out to be precisely the irreducible polynomial representations of GL(n, C) Let s begin to unpack the above paragraph by looking at the action of GL(n, C) on V d For a basis vector v 1 v 2 v d of V d, and for g GL(n, C), we define g (v 1 v 2 v d ) := gv 1 gv 2 gv d By linearity, we can extend this to an action on any linear combination of such basis vectors
6 6 SEAN MCAFEE Exercise 44 Check that the above defines a representation of GL(n, C) on V d Now, let s analyze the right action of S d on V d For σ S d and v 1 v 2 v d a basis element of V d, define (v 1 v 2 v d ) σ := v σ(1) v σ(2) v σ(d) Again, by linearity we can extend this to a right action of the group algebra CS d on all of V d This action clearly commutes with the left action of GL(n, C) defined above We define two important subspaces of V d, called the symmetric tensors Sym d V and the alternating tensors Alt d V (this is often denoted d V, and its elements are written as v 1 v 2 v d ): { } Sym d V := v σ(1) v σ(2) v σ(d) σ S d { } Alt d V := sgn(σ)v σ(1) v σ(2) v σ(d) σ S d For example, if d = 2, then (for arbitrary vectors v 1, v 2 V ) and v 1 v 2 + v 2 v 1 Sym 2 V, v 1 v 2 v 2 v 1 Alt 2 V Intuitively, we have that Sym d V is the set of vectors in V d that are not changed by permuting their components, and Alt d V is the set of vectors in V d that change sign whenever two components are switched (this is due to S d being generated by transpositions, which have negative signature) Exercise 45 Verify that Sym d V and Alt d V are invariant subspaces of V d under the action of CS d Under the (right) action of CS d, we can redefine Sym d V and Alt d V as ( ) Sym d V := V d Alt d V := V d ( σ S d e σ σ S d sgn(σ)e σ Exercise 46 Check that the above definitions coincide with our original definitions of Sym d V and Alt d V Exercise 47 Check that Sym d V and Alt d V are invariant under the (left) action of GL(n, C) Exercise 47 gives two examples of a more general (and extremely useful) phenomenon: for any element c of the group algebra CS d, we have that V d c is invariant under the action of GL(n, C) Indeed, since the actions of GL(n, C) and CS d commute, then, for any g GL(n, C), v V d, g(vc) = (gv)c V d c )
7 7 This gives us an entire family of invariant (and potentially irreducible) subspaces of V d obtained by simply choosing an element at random from CS d As mentioned before, the only elements we need will be the Young symmetrizers c λ There is another thing to point out about Sym d V and Alt d V : they are the images V d c λ = S λ V of the Young symmetrizers corresponding to the partitions (d) and (1, 1,, 1), respectively As subspaces of V d, they have zero intersection, ie they are direct summands in the decomposition of V d : V d = Sym d V Alt d V (Sym d V Alt d V ) Notice the relation between this and the irreducible spaces V (d) and V (1,1,,1) in CS d in our representation of S d There is a very simple correspondence between the decomposition of CS d into irreducible representations V λ of S d and the decomposition of V d into irreducible representations S λ V of GL(n, C) The above discussion and more is summarized in the following theorem, which we will not prove here For details, refer to pages of Fulton and Harris Theorem 48 i) Let k = dim V Then S λ V = 0 if λ k+1 0; that is, if the Young diagram corresponding to λ has more than k rows ii) Let m λ be the dimension of the irreducible representation V λ of S d corresponding to a partition λ of d Then V d = (S λ V ) m λ λ iii) Each S λ V is an irreducible polynomial representation of GL(n, C) iv) All rational representations of GL(n, C) can be described by a tensor product S λ V (det) k, where z Z >0 and det is the (one dimensional) determinant representation of GL(n, C) Example 49 Consider GL(2, C) with its natural representation on V = C 2 Let d = 3, and consider the partition λ = (1, 1, 1) Then we have Then, for v 1 v 2 v 3 V 3, c (1,1,1) = e 1 e (12) e (13) e (23) + e (123) + e (132) (v 1 v 2 v 3 ) c (1,1,1) = v 1 v 2 v 3 v 2 v 1 v 3 v 3 v 2 v 1 v 1 v 3 v 2 + v 3 v 1 v 2 + v 2 v 3 v 1 Since V is two dimensional, we may write v 3 = av 1 + bv 2 ; the above then becomes v 1 v 2 av 1 + v 1 v 2 bv 2 v 2 v 1 av 1 v 2 v 1 bv 2 av 1 v 2 v 1 bv 2 v 2 v 1 v 1 av 1 v 2 v 1 bv 2 v 2 + av 1 v 1 v 2 + bv 2 v 1 v 2 + v 2 av 1 v 1 + v 2 bv 2 v 1 If we use the properties of tensors to move the constants a, b to the front of each monomial, we see that the above sum collapses to 0, illustrating part i) of the theorem
8 8 SEAN MCAFEE Example 410 We use the setup of the previous example, this time with partition λ = (2, 1) Then we have Thus, for v 1 v 2 v 3 V 3, c (2,1) = 1 + e (12) e (13) e (132) (v 1 v 2 v 3 ) c (2,1) = v 1 v 2 v 3 + v 2 v 1 v 3 v 3 v 2 v 1 v 3 v 1 v 2 We have an embedding of Alt 2 V V into V V V given by (v 1 v 3 ) v 2 v 1 v 2 v 3 v 3 v 2 v 1 This realizes the image of c (2,1) as the subspace of Alt 2 V V spanned by vectors of the form (v 1 v 3 ) v 2 + (v 2 v 3 ) v 1 These vectors (check this!) are the kernel of the canonical map φ : Alt 2 V Alt 3 V, (v 1 v 2 ) v 3 v 1 v 2 v 3, thus S (2,1) V = Ker φ By part ii) of the theorem, and by our discussion of S 3 in section 2, we have the decomposition V V V = Sym 3 V Alt 3 V Ker φ Ker φ, where the two copies of Ker φ are due to the fact that CS 3 c (2,1) is a two-dimensional (irreducible) representation of S 3, ie m (2,1) = 2 To summarize this section: we can parametrize the irreducible rational representations of GL(n, C) by a triple (d, λ d, z), where d is any positive integer, λ d is a partition of d whose Young diagram has no more than n rows, and k is any positive integer The resulting representation is the tensor product S λd V (det) k There is much, much more to say about representations of GL(n, C) than is contained in this paper For instance, the use of Schur polynomials to describe the characters of S λ V, or the decomposition of the tensor product S λ V S µ V, or the connection between the representations of GL(n, C) and those of SL(n, C) and U(n) We encourage the reader to investigate these on their own
Schur Functors (a project for class)
Schur Functors (a project for class) R. Vandermolen 1 Introduction In this presentation we will be discussing the Schur functor. For a complex vector space V, the Schur functor gives many irreducible representations
More informationSCHUR-WEYL DUALITY FOR U(n)
SCHUR-WEYL DUALITY FOR U(n) EVAN JENKINS Abstract. These are notes from a lecture given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in December 2009.
More informationSCHUR FUNCTORS OR THE WEYL CONSTRUCTION MATH 126 FINAL PAPER
SCHUR FUNCTORS OR THE WEYL CONSTRUCTION MATH 126 FINAL PAPER ELI BOHMER LEBOW 1. Introduction We will consider a group G with a representation on a vector space V. The vector space should be a finite dimensional
More informationREPRESENTATION THEORY WEEK 5. B : V V k
REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationPOLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS
POLYNOMIAL BEHAVIOUR OF KOSTKA NUMBERS DINUSHI MUNASINGHE Abstract. Given two standard partitions λ + = (λ + 1 λ+ s ) and λ = (λ 1 λ r ) we write λ = (λ +, λ ) and set s λ (x 1,..., x t ) := s λt (x 1,...,
More informationRepresentation Theory. Ricky Roy Math 434 University of Puget Sound
Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.
More informationYOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP
YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction
More informationREPRESENTATION THEORY FOR FINITE GROUPS
REPRESENTATION THEORY FOR FINITE GROUPS SHAUN TAN Abstract. We cover some of the foundational results of representation theory including Maschke s Theorem, Schur s Lemma, and the Schur Orthogonality Relations.
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationTHE REPRESENTATIONS OF THE SYMMETRIC GROUP. Contents
THE REPRESENTATIONS OF THE SYMMETRIC GROUP JE-OK CHOI Abstract. Young tableau is a combinatorial object which provides a convenient way to describe the group representations of the symmetric group, S n.
More informationRepresentation theory & the Hubbard model
Representation theory & the Hubbard model Simon Mayer March 17, 2015 Outline 1. The Hubbard model 2. Representation theory of the symmetric group S n 3. Representation theory of the special unitary group
More informationSCHUR-WEYL DUALITY JAMES STEVENS
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
More informationCitation Osaka Journal of Mathematics. 43(2)
TitleIrreducible representations of the Author(s) Kosuda, Masashi Citation Osaka Journal of Mathematics. 43(2) Issue 2006-06 Date Text Version publisher URL http://hdl.handle.net/094/0396 DOI Rights Osaka
More informationSAMPLE TEX FILE ZAJJ DAUGHERTY
SAMPLE TEX FILE ZAJJ DAUGHERTY Contents. What is the partition algebra?.. Graphs and equivalence relations.. Diagrams and their compositions.. The partition algebra. Combinatorial representation theory:
More informationSCHUR-WEYL DUALITY QUANG DAO
SCHUR-WEYL DUALITY QUANG DAO Abstract. We will switch gears this week and talk about the relationship between irreducible representations of the symmetric group S k and irreducible finite-dimensional representations
More informationRepresentations. 1 Basic definitions
Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then
More informationIRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents
IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two
More informationCombinatorial bases for representations. of the Lie superalgebra gl m n
Combinatorial bases for representations of the Lie superalgebra gl m n Alexander Molev University of Sydney Gelfand Tsetlin bases for gln Gelfand Tsetlin bases for gl n Finite-dimensional irreducible representations
More informationTHE REPRESENTATIONS OF THE SYMMETRIC GROUP
THE REPRESENTATIONS OF THE SYMMETRIC GROUP LAUREN K. WILLIAMS Abstract. In this paper we classify the irreducible representations of the symmetric group S n and give a proof of the hook formula for the
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationGrassmann Coordinates
Grassmann Coordinates and tableaux Matthew Junge Autumn 2012 Goals 1 Describe the classical embedding G(k, n) P N. 2 Characterize the image of the embedding quadratic relations. vanishing polynomials.
More informationThe Littlewood-Richardson Rule
REPRESENTATIONS OF THE SYMMETRIC GROUP The Littlewood-Richardson Rule Aman Barot B.Sc.(Hons.) Mathematics and Computer Science, III Year April 20, 2014 Abstract We motivate and prove the Littlewood-Richardson
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More informationREPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012
REPRESENTATION THEORY NOTES FOR MATH 4108 SPRING 2012 JOSEPHINE YU This note will cover introductory material on representation theory, mostly of finite groups. The main references are the books of Serre
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationYOUNG-JUCYS-MURPHY ELEMENTS
YOUNG-JUCYS-MURPHY ELEMENTS MICAH GAY Abstract. In this lecture, we will be considering the branching multigraph of irreducible representations of the S n, although the morals of the arguments are applicable
More informationLecture 6 : Kronecker Product of Schur Functions Part I
CS38600-1 Complexity Theory A Spring 2003 Lecture 6 : Kronecker Product of Schur Functions Part I Lecturer & Scribe: Murali Krishnan Ganapathy Abstract The irreducible representations of S n, i.e. the
More informationRadon Transforms and the Finite General Linear Groups
Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 1-1-2004 Radon Transforms and the Finite General Linear Groups Michael E. Orrison Harvey Mudd
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationThe Jordan Canonical Form
The Jordan Canonical Form The Jordan canonical form describes the structure of an arbitrary linear transformation on a finite-dimensional vector space over an algebraically closed field. Here we develop
More informationCurtis Heberle MTH 189 Final Paper 12/14/2010. Algebraic Groups
Algebraic Groups Curtis Heberle MTH 189 Final Paper 12/14/2010 The primary objects of study in algebraic geometry are varieties. Having become acquainted with these objects, it is interesting to consider
More informationREPRESENTATION THEORY OF THE SYMMETRIC GROUP (FOLLOWING [Ful97])
REPRESENTATION THEORY OF THE SYMMETRIC GROUP (FOLLOWING [Ful97]) MICHAEL WALTER. Diagrams and Tableaux Diagrams and Tableaux. A (Young) diagram λ is a partition of a natural number n 0, which we often
More informationNOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS
NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS MARK WILDON Contents 1. Definition of polynomial representations 1 2. Weight spaces 3 3. Definition of the Schur functor 7 4. Appendix: some
More informationEQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES
EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE TWO: DEFINITIONS AND BASIC PROPERTIES WILLIAM FULTON NOTES BY DAVE ANDERSON 1 For a Lie group G, we are looking for a right principal G-bundle EG BG,
More informationAlgebras. Chapter Definition
Chapter 4 Algebras 4.1 Definition It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) that is an R-module
More informationComputational Approaches to Finding Irreducible Representations
Computational Approaches to Finding Irreducible Representations Joseph Thomas Research Advisor: Klaus Lux May 16, 2008 Introduction Among the various branches of algebra, linear algebra has the distinctions
More informationCHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS
CHARACTER THEORY OF FINITE GROUPS Chapter 1: REPRESENTATIONS G is a finite group and K is a field. A K-representation of G is a homomorphism X : G! GL(n, K), where GL(n, K) is the group of invertible n
More informationTraces, Cauchy identity, Schur polynomials
June 28, 20 Traces, Cauchy identity, Schur polynomials Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Example: GL 2 2. GL n C and Un 3. Decomposing holomorphic polynomials over GL
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More information(Ref: Schensted Part II) If we have an arbitrary tensor with k indices W i 1,,i k. we can act on it 1 2 k with a permutation P = = w ia,i b,,i l
Chapter S k and Tensor Representations Ref: Schensted art II) If we have an arbitrary tensor with k indices W i,,i k ) we can act on it k with a permutation = so a b l w) i,i,,i k = w ia,i b,,i l. Consider
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension
More informationYoung s Natural Representations of S 4
Young s Natural Representations of S Quinton Westrich arxiv:111.0687v1 [math.rt] Dec 011 December 008 Abstract We calculate all inequivalent irreducible representations of S by specifying the matrices
More informationThe Cayley-Hamilton Theorem and the Jordan Decomposition
LECTURE 19 The Cayley-Hamilton Theorem and the Jordan Decomposition Let me begin by summarizing the main results of the last lecture Suppose T is a endomorphism of a vector space V Then T has a minimal
More informationThe Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)
The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph) David Grabovsky June 13, 2018 Abstract The symmetric groups S n, consisting of all permutations on a set of n elements, naturally contain
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationReal, Complex, and Quarternionic Representations
Real, Complex, and Quarternionic Representations JWR 10 March 2006 1 Group Representations 1. Throughout R denotes the real numbers, C denotes the complex numbers, H denotes the quaternions, and G denotes
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationNOTES FOR 128: COMBINATORIAL REPRESENTATION THEORY OF COMPLEX LIE ALGEBRAS AND RELATED TOPICS
NOTES FOR 128: COMBINATORIAL REPRESENTATION THEORY OF COMPLEX LIE ALGEBRAS AND RELATED TOPICS (FIRST COUPLE LECTURES MORE ONLINE AS WE GO) Recommended reading [Bou] N. Bourbaki, Elements of Mathematics:
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More information4. Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products.
4. Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products. The idea is that one can require a bilinear map to be either symmetric or alternating. Definition
More informationAbstract Vector Spaces and Concrete Examples
LECTURE 18 Abstract Vector Spaces and Concrete Examples Our discussion of linear algebra so far has been devoted to discussing the relations between systems of linear equations, matrices, and vectors.
More informationA proof of the Jordan normal form theorem
A proof of the Jordan normal form theorem Jordan normal form theorem states that any matrix is similar to a blockdiagonal matrix with Jordan blocks on the diagonal. To prove it, we first reformulate it
More informationASSEMBLING HOMOLOGY CLASSES IN AUTOMORPHISM GROUPS OF FREE GROUPS
ASSEMBLING HOMOLOGY CLASSES IN AUTOMORPHISM GROUPS OF FREE GROUPS JAMES CONANT, ALLEN HATCHER, MARTIN KASSABOV, AND KAREN VOGTMANN Abstract. The observation that a graph of rank n can be assembled from
More informationIrreducible Representations of symmetric group S n
Irreducible Representations of symmetric group S n Yin Su 045 Good references: ulton Young tableaux with applications to representation theory and geometry ulton Harris Representation thoery a first course
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationDiscriminants of Brauer Algebra
Discriminants of Brauer Algebra Dr.Jeyabharthi, Associate Professor Department of Mathematics, Thiagarajar Engineering College, Madurai. J.Evangeline Jeba, Assistant Professor Department of Mathematics,
More informationDUAL IMMACULATE QUASISYMMETRIC FUNCTIONS EXPAND POSITIVELY INTO YOUNG QUASISYMMETRIC SCHUR FUNCTIONS
DUAL IMMACULATE QUASISYMMETRIC FUNCTIONS EXPAND POSITIVELY INTO YOUNG QUASISYMMETRIC SCHUR FUNCTIONS EDWARD E. ALLEN, JOSHUA HALLAM, AND SARAH K. MASON Abstract. We describe a combinatorial formula for
More informationCOMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES
COMMUTING PAIRS AND TRIPLES OF MATRICES AND RELATED VARIETIES ROBERT M. GURALNICK AND B.A. SETHURAMAN Abstract. In this note, we show that the set of all commuting d-tuples of commuting n n matrices that
More informationNotes on the Vershik-Okounkov approach to the representation theory of the symmetric groups
Notes on the Vershik-Okounkov approach to the representation theory of the symmetric groups 1 Introduction These notes 1 contain an expository account of the beautiful new approach to the complex finite
More informationBare-bones outline of eigenvalue theory and the Jordan canonical form
Bare-bones outline of eigenvalue theory and the Jordan canonical form April 3, 2007 N.B.: You should also consult the text/class notes for worked examples. Let F be a field, let V be a finite-dimensional
More informationDot Products, Transposes, and Orthogonal Projections
Dot Products, Transposes, and Orthogonal Projections David Jekel November 13, 2015 Properties of Dot Products Recall that the dot product or standard inner product on R n is given by x y = x 1 y 1 + +
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationSignatures of GL n Multiplicity Spaces
Signatures of GL n Multiplicity Spaces UROP+ Final Paper, Summer 2016 Mrudul Thatte Mentor: Siddharth Venkatesh Project suggested by Pavel Etingof September 1, 2016 Abstract A stable sequence of GL n representations
More information13. Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products.
13 Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products The idea is that one can require a bilinear form to be either symmetric or alternating Definition
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationTitle. Author(s)Morita, Hideaki; Watanabe, Junzo. CitationHokkaido University Preprint Series in Mathematics, Issue Date DOI 10.
Title Zero dimensional Gorenstein algebras with the action Author(s)Morita, Hideaki; Watanabe, Junzo CitationHokkaido University Preprint Series in Mathematics, Issue Date 2005-05-17 DOI 10.14943/83871
More information1 Irreducible Representations of S n
Math 250 Final Paper Jan. 4, 2005 Steven Byrnes REPRESENTATION THEORY OF S n Steven Byrnes Abstract We use Young tableaux and Young symmetrizers to classify the irreducible representations over C of the
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationk times l times n times
1. Tensors on vector spaces Let V be a finite dimensional vector space over R. Definition 1.1. A tensor of type (k, l) on V is a map T : V V R k times l times which is linear in every variable. Example
More information(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for
Solutions to Homework #7 0. Prove that [S n, S n ] = A n for every n 2 (where A n is the alternating group). Solution: Since [f, g] = f 1 g 1 fg is an even permutation for all f, g S n and since A n is
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More informationRepresentation theory
Representation theory Dr. Stuart Martin 2. Chapter 2: The Okounkov-Vershik approach These guys are Andrei Okounkov and Anatoly Vershik. The two papers appeared in 96 and 05. Here are the main steps: branching
More informationINTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS
INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationTitle. Author(s)Morita, Hideaki; Wachi, Akihito; Watanabe, Junzo. CitationHokkaido University Preprint Series in Mathematics, Issue Date
Title Zero-dimensional Gorenstein algebras with the action Author(s)Morita, Hideaki; Wachi, Akihito; Watanabe, Junzo CitationHokkaido University Preprint Series in Mathematics, Issue Date 2005-08-24 DOI
More informationAdjoint Representations of the Symmetric Group
Adjoint Representations of the Symmetric Group Mahir Bilen Can 1 and Miles Jones 2 1 mahirbilencan@gmail.com 2 mej016@ucsd.edu Abstract We study the restriction to the symmetric group, S n of the adjoint
More informationChapter 2: Linear Independence and Bases
MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationWeil Representations of Finite Fields
Weil Representations of Finite Fields Tim Tzaneteas December, 005 1 Introduction These notes present some of the results of a paper by Paul Gérardin [1] concerning the representations of matrix groups
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 1.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear
More informationTHE HARISH-CHANDRA ISOMORPHISM FOR sl(2, C)
THE HARISH-CHANDRA ISOMORPHISM FOR sl(2, C) SEAN MCAFEE 1. summary Given a reductive Lie algebra g and choice of Cartan subalgebra h, the Harish- Chandra map gives an isomorphism between the center z of
More informationSupplementary Notes March 23, The subgroup Ω for orthogonal groups
The subgroup Ω for orthogonal groups 18.704 Supplementary Notes March 23, 2005 In the case of the linear group, it is shown in the text that P SL(n, F ) (that is, the group SL(n) of determinant one matrices,
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationComputing inclusions of Schur modules
JSAG 1 (2009), 5 10 The Journal of Software for Algebra and Geometry Computing inclusions of Schur modules STEVEN V SAM ABSTRACT. We describe a software package for constructing minimal free resolutions
More informationGEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS
GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS ANA BALIBANU DISCUSSED WITH PROFESSOR VICTOR GINZBURG 1. Introduction The aim of this paper is to explore the geometry of a Lie algebra g through the action
More information5 Structure of 2-transitive groups
Structure of 2-transitive groups 25 5 Structure of 2-transitive groups Theorem 5.1 (Burnside) Let G be a 2-transitive permutation group on a set Ω. Then G possesses a unique minimal normal subgroup N and
More information