Representation theory
|
|
- Moris Mason
- 5 years ago
- Views:
Transcription
1 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 from S n to S n 1 is multiplicity-free given irreducible S n -module V λ, branching is simple, so the decomposition of V λ into irreducible S n 1 -modules is canonical. Each module decomposes canonically into irreducible S n 2 -modules, and then iterating this we get a canonical decomposition of V λ into irreducible S 1 -modules, which are just trivial reps. So there exists a canonical basis of V λ determined modulo scalars, called the Gelfand-Tsetlin basis (GZ-basis) Let Z n = Z(CS n ) be the center of the group algebra of S n. The Gelfand-Tsetlin algebra GZ n is a commutative subalgebra of CS n generated by Z 1... Z n. The idea is to show that GZ n consists of all the element of the group algebra CS n that act diagonally in the Gelfand-Tsetlin basis that we defined above in every irreducible representation. GZ n is a maximal commutative subalgebra of CS n and its dimension is the sum of the dimensions of the distinct inequivalent irreducible S n -modules. Thus, any vector in the GZ-basis (in any irreducible representation) is uniquely determined by the eigenvalues of the elements of the GZ-algebra on this vector. For i = 1,..., n, let X i = (1, i) + (2, i) (i 1, i) CS n, known as the Young- Jucys-Murphy (YJM) elements. We ll show these generate the GZ algebra. (around 74, Jucys produced a paper on symmetric functions, in Russian, and kind of got buried. And then Murphy came around in 81 interpreting a special basis for symmetric functions). To a Gelfand-Tsetlin vector v (meaning an element of the GZ-basis which lies in some irreducible representation) we associate a tuple α(v) = (a 1, a 2,..., a n ) where a i is the eigenvalue of X i on v, and let spec(n) = { α(v) v is a GZ-vector. By the previous bullet point, for GZ-vectors u, v, u = v α(u) = α(v), hence spec(n) = sum of the dimensions of the distinct irreducible inequivalent representations of S n. Construct a bijection spec(n) SYT(n) such that tuples in spec(n) whose GZ-vectors belong to the same irreducible representation go to standard Young tableaux of the same shape. We ll proceed by induction, using s 2 i = 1, X i X i+1 = X i+1 X i and s i X i + 1 = X i+1 s i where s i = (i, i + 1) are the Coxeter transpositions. 1
2 2 DR. STUART MARTIN Some extra notation! Let P 1 (n) be the set of all pairs (µ, i) where µ n and i is a part of µ. A part is non-trivial if it s 2, and we let #µ be the sum of the sizes of it s non-trivial parts. Also recall that σ S n can be written as product of l(σ) Coxeter transpositions and can t be written in any fewer. Conventions all algebras are finite dimensional over C and they have units subalgebras contain the unit, and algebra homomorphisms preserve units. given elements or subalgebras A 1,..., A n of an algebra A, denote by A 1,..., A n be the subalgebra of A generated by A 1... A n. Let G be a group. Let {1 = G 1 G 2... G n... be an (inductive) chain of (finite) subgroups of G. Let G n = set of equivalence classes of f.d. C-irreps of G n and let V λ = irred G n -module corresponding to λ G n Definition 2.1. The branching multigraph (the Bratelli diagram) of has vertices elements of the set n 1 G n (disjoint union), and λ and µ are joined by k directed edges from λ to µ whenever µ G n 1 and λ G n for some n and the multiplicity of µ in the restriction of λ to G n 1 is k. Call G n the n-th level of the Bratelli diagram. Write λ µ if (λ, µ) is an edge of the diagram. Assume that the Bratelli diagram is a graph, i.e., all multiplicities of all restrictions are 0 or 1 (multiplicity-free, or simple branching). Take a G n -module V λ, with λ G n. By simple branching, the decomposition of V λ is V λ = µ V µ where the sum is over all µ G n 1 with λ µ is canonical. Iterating the decomposition, we obtain a canonical decomposition of V λ into irreducible G 1 -modules, i.e. 1-dimensional subspaces: V λ = V T T where the sum is over all possible chains of connections λ (n)... λ (1) with λ (n) Gî and λ(n) = λ. Choosing a non-zero vector v T in each 1-dimensional space V T, we obtain a basis {v T of V λ, and this is called the Gelfand-Tsetlin (GZ) basis in this case. By definition of v T, we have (CG i ) v T = V λ (i) for 1 i n. Then chains are in bijection with directed paths in the Bratelli diagram from λ to the unique element λ (1) of G 1. We have a canonical basis (up to scalars), the GZ-basis, in each irreducible representation of G n. Can we identify those elements in CG n that act diagonally in this basis (in every irrep)? In other words, consider the algebra isomorphism CG n = EndV λ given by g λg n ( ) g V λ V λ : λ G n, g G n Let D(V λ ) be the operators on V λ which are diagonal in the GZ-basis of V λ.
3 REPRESENTATION THEORY 3 Question: what is the image under the isomorphism of the subalgebra D(V λ ) of λ G n EndV λ? λ G n Notation Let Z n = Z(CG n ). Easily GZ n = Z 1,..., Z n is a commutative subalgebra of CG n, the Gelfand-Tsetlin algebra associated with the inductive chain of subgoups. Theorem 2.2. GZ n is indeed the image of D(V λ ) under the isomorphism, i.e. GZ n consists of elements of CG n that act diagonally in the GZ-basis in every irreducible representation of G n. Thus GZ n is a maximal commutative subalgebra of CG n and its dimension is λ G n dim λ. Proof. Consider a chain T from. For i = 1,..., n, let p λ (i) Z i denote the central idempotent corresponding to the representation defined by λ (i) Gî (a corollary of Wedderburn s theorem). Define p T = p λ (1)... p λ (n) GZ n The image of p T under is (f µ : µ G n) where f µ = 0 if µ λ and otherwise f λ = projection on V T with respect to the decomposition. Hence the image of GZ n under includes D(V λ), λ G n which is a commutative maximal subalgebra of EndV λ. since GZ n is itself commutative, λ G n the result follows. Definition A GZ-vector of G n, modulo scalars, is a vector in the GZ-basis corresponding to some irreducible representation of G n. An immediate corollary of?? is Corollary 2.3. (1) Let v V λ, λ G n. Then if v is an eigenvector (for the action) of every element of GZ n, then (a scalar multiple of) v belongs to the GZ-basis. (2) Let u, v be two GZ-vectors. If u, v have the same eigenvalues for every element of GZ n, they re equal. Remark Later we will find an explicit set of generators for the GZ-algebras of the symmetric groups. Symmetric groups have simple branching. The idea is to give a straightforward criterion for simple branching, and use some C -algebra stuff on involutions. It comes from the following result, which is not very well-known, and also kind of a consequence of Wedderburn s theorem Theorem 2.4. Let M be a finite dimensional semisimple complex algebra and let N be a semisimple subalgebra. Let Z(M, N) be the centralizer of the pair (M, N) consisting of all elements of M that commute with N. Then Z(M, N) is semisimple, and the following are equivalent: (1) The restrictions of any finite dimensional complex irreducible representation of M to N is multiplicity-free. (2) The centralizer Z(M, N) is commutative. Proof. Without loss of generality (Wedderburn) M = k i=1 M i where each M i is some matrix algebra. Write elements of M as tuples (m 1,..., m k ) with m i M i. Let N i be the image of N under the projection M M i. It s a homomorphic image of a semisimple algebra, so N i is semisimple (omomorphic images of semisimple things are semisimple). Now Z(M, N) = k i=1 Z(M i, N i ). By the double centralizer theorem (DCT), Z(M, N) is semisimple. Digression: If B A, B C A (C A (B)) is always true, and the DCT gives you conditions under which there s equality in this inclusion. Let V i = { (m 1,..., m k ) M mj = 0 for j i and with all entries of m i not in the 1st column equal to 0
4 4 DR. STUART MARTIN. Then the V i for 1 i k are all the distinct inequivalent irreducible M-modules and the decomposition of V i into irreducible N-modules is identical to the decomposition of V i into irreducible N i modules. Again, by DCT, V i is multiplicity free as an N i -module for all i iff all irreducible modules of Z(M i, N i ) have dimension 1 for all i iff Z(M i, N i ) is abelian for all i iff Z(M, N) is abelian. Let F = R or C. If F = C, and α C, we ll denote the conjugate by α. If α R, then α = α. An F -algebra is involutive if it has a conjugate linear anti-automorphism (reversing the order of products) of order 2, i.e. there exists a bijective map x x such that (x + y) = x + y (αx) = αx (xy) = y x (x ) = x for all x, y A and α F. The element x is called the adjoint of x. We say x is normal if xx = x x; and self-adjoint (also Hermitian) if x = x. Let A be involutive over R. Define an involutive C-algebra, the *-complexification of A, as follows: The elements are (x, y) A A, written x + iy. The operations are the obvious ones: and (x + iy) = x iy. (x 1 + iy 1 ) + (x 2 + iy 2 ) = (x 1 + x 2 ) + i(y 1 + y 2 ), etc. A real element of the complexification is an element of the form x + i0 for some x A. Example If F = R or C and G is finite, then F G is involutive under ( i α ig i ) = i α ig 1 i and CG is the complexification of RG. First examples sheet will be uploaded on the website. *** Recap: we let Z n = Z(CG n ) and the GZ-algebra is Z 1,..., Z n, and CG n = λ G n EndV λ. We proved that: (1) GZ n is commutative because everything in the i-th term commutes with everything before it, (2) GZ n is an algebra of diagonal matrices with respect to the GZ-basis in each V λ. (3) GZ n is a maximal commutative subalgebra in CG n (4) v V λ is in GZ-basis iff v is a common eigenvector of the elements of GZ n. (5) Each basis element is uniquely determined by eigenvalues of elements of GZ n. If B A is a subalgebra, we defined the centralizer Z(A, B) = { a A ab = ba b B. We proved lemma 2.4., which said that if H G then the following are equivalent: (1) Res G H is multiplicity-free (2) Z(CG, CH) is commutative. Exercise (mostly definition chasing) Let A be an involutive C-algebra. Then: (1) An element of A is normal iff it s of the form x = y + iz for some self-adjoint y, z A such that yz = zy.
5 REPRESENTATION THEORY 5 (2) A is commutative iff every element of A is normal. (3) If A is the -complexification of some real involutive algebra, then A is commutative if every real element of A is self-adjoint. Theorem 2.5. The centralizer Z(CS n, CS n 1 ) is commutative Proof. The involutive subalgebra Z(CS n, CS n 1 ) is the -complexification of Z(RS n, RS n 1 ) (needs a bit of proof). So it s enough to show that every element of (RS n, RS n 1 ) is self-adjoint. Let f = π S n α π π, α π R, be an element of the centralizer Z(RS n, RS n 1 ). Fix some σ S n. Recall that S n is ambivalent (meaning that σ and σ 1 are conjugate, which is true in the case of S n because they have the same cycle type). To produce a permutation in S n conjugating σ to σ 1 : write the permutation σ in cycle form, and below it σ 1 in cycle form so that the lengths correspond to each other. Then the permutation in S n taking an element of the top row to the element below it on the bottom row conjugates σ to σ 1. We can always choose a conjugating τ that fixes any one of the numbers that σ moves, i.e. there exists a τ such that τ(n) = n and τστ 1 = σ 1. Thus we can choose a τ S n 1 such that τστ 1 = σ 1. Since τ S n 1, τf = fτ, or f = τfτ 1 = π S n α π (τπτ 1 ), hence α σ = α σ 1. Since σ is arbitrary, we have verified that f = f, hence the complexification is commutative by the above exercise. We will denote the centralizer Z(CS n, CS n 1 ) by Z (n 1,1). We ll give a second proof of commutativity in (3.8). Young-Jucys-Murphy elements (YJM-elements). Henceforth G n = S n, so chains in the Bratelli diagram refer to chains in the Bratelli diagram of the symmetric groups. For i = 2,..., n, define Y i = sum of all i-cycles in S n 1. By convention, Y n = 0. Define Y i = sum of all i-cycles in S n containing n. For (µ, i) P 1 (n), let c (µ,i) CS n be the sum of permutations π S n such that So: the cycle type of π is µ the size of the cycle of π containing n is i. So each of Y 2,..., Y n 1, Y 2,..., Y n equals c (µ,i) for some µ and some i. Lemma 2.6. We have the following many things: (i) { c (µ,i) (µ, i) P1 (n) is a basis of Z (n 1,1). Hence Y 2,..., Y n 1, Y 2,..., Y n Z (n 1,1). (ii) c (µ,i) Y 2,..., Y k, Y 2,..., Y k for k = #µ. (iii) Z (n 1,1) = Y 2,..., Y n 1, Y 2,..., Y n (iv) Z n 1 = Y 2,..., Y n 1 Proof. First bit is an exercise on the example sheet; similar to the proof that { c µ µ P (n) is a basis for Z n. The second bit follows from. The rest are very similar. For (ii), we ll use induction on #µ. If #µ = 0: c (µ,i) is the identity permutation. Now assume it s true when #µ k. Consider (µ, i) P 1 (n) with #µ = k + 1. Let the non-trivial parts of µ be µ 1,..., µ l in some order. ***
6 6 DR. STUART MARTIN There are two cases: (a) i = 1. Consider the product Y µ1... Y µl. By (i), we know that Y µ1... Y µl = α (µ,1) c (µ,1) + (τ,1) α (τ,1) c (τ,1) where α (µ,1) 0 and the sum is over all (τ, 1) where τ < µ. Then we re done by induction. (b) i > 1. WLOG, assume that i corresponds to µ 1. Consider the product By (i), Y µ 1 Y µ2... Y µl Y µ 1 Y µ2... Y µl = α (µ,i) c (µ,i) + (τ,j) α (τ,j) c (τ,j) where α (µ,i) 0 and the sum is over all (τ, j) with τ < µ, and again we re done by induction. Finally, (iii) comes from (i) and (ii), and (iv) is very similar to (iii). Definition 2.7. For each 1 i n, define X i = (1, i) + (2, i) (i 1, i) CS n the sum of all the 2-cycles in S i - sum of 2-cycles in S i 1. By convention, X 1 = 0. Note that X i is the difference of an element of Z i and an element of Z i 1. These are the Young-Lucys-Murphy elts (YJM). Note that X i / Z i (1 i n). Theorem 2.8 (Okounkov-Vershik, 04). We have: (i) Z (n 1,1) = Z n 1, X n (ii) GZ n = X 1,..., X n. Proof. We have (i) Evidently, Z n 1, X n Z (n 1,1) because X n = Y 2 and we apply the previous result. Conversely, it s enough to show that Y 2,..., Y n Z n 1, X n by the previous result. Since Y 2 = X n, so Y 2 Z n 1, X n. Assume inductively that Y 2,..., Y k+1 Z n 1, X n ; we aim to show that Y k+2 Z n 1, X n. Write Y k+1 as Y k+1 = (i 1, i 2,..., i k, n) i 1,i 2,...,i k summed over distinct i j. Consider Y k+1 X n Z n 1, X n : it is ( n 1 ) (i 1,..., i k, n) (i, n) (5) i 1,i 2,...,i k i=1 and take a typical element in the product, which looks like (i 1,..., i k, n)(i, n). There are two cases: If i i j for j = 1,..., k, the product is (i, i 1,..., i k, n), and if i = i j for some j, the product is (i 1,..., i j )(i j+1,..., n). Hence (5) is k (i, i 1,..., i k, n) + (i 1,..., i j )(i j+1,..., i k, n) (6) i,i 1,i 2,...,i k j=1 i 1,...,i k
7 REPRESENTATION THEORY 7 where the first sum is over all distinct i,..., i k {1,..., n 1 and the second over all distinct i 1,..., i k {1,..., n 1. Rewrite (6) as Y k+2 + (µ,i) α (µ,i) c (µ,i) with the sum over all (µ, i) such that µ k + 1. So by induction and part (ii) of??, we have Y k+2 Z n 1, X n. (ii) Induction on n. The case n = 1, 2 are trivial. Assume GZ n 1 = X 1, X 2,..., X n 1. We have to show that GZ n = GZ n 1, X n. Clearly LHS RHS, so we need to check LHS RHS, and for this it s enough to show that Z n GZ n 1, X n, which is clear by (i), since Z n Z (n 1,1). Remark Part (i) implies that Z (n 1,1) is commutative because Z (n 1,1) = Z n 1, X n and X n commutes with everything in Z n 1, so we get the simple branching in a different way. The GZ-basis in the case G = S n is called the Young basis. By (3.3)(i), the Young/GZ vectors are common eigenvectors for the GZ n. Let v be a Young vector (an element of the Young basis) for S n. Definition 2.9. Given such a v, let α(v) = (a 1,..., a n ) C n where a i is the eigenvalue of X i acting on v. We call α(v) the weight of v. Note that a 1 = 0 because X 1 = 0. Let be the spectrum of the YJM-elements. spec(n) = { α(v) v is a Young vector By (3.3)(ii), we know that dim GZ n = spec(n) = λ S n dim λ By definition, spec(n) is in natural bijection with chains T as in (3). Explicitly, given α spec(n), denote by v α the Young vector with weight α, i.e. α(v α ) = α, and by T α the corresponding chain in the Bratelli diagram. Given a chain T as in (3), we denote the corresponding weight vector α(v T ) by α(t ). Hence, we have a 1-1 correspondence associating T α(t ), or going the other way α T α between chains (3) and spec(n). And there s a natural equivalence relation on spec(n): for α, β spec(n), we say α β v α, v β belong to the same irreducible S n -module T α, T β start at the same vertex. Clearly, spec(n)/ = S n. We now want to describe the set spec(n) describe the relation calculate the matrix elements in the Young basis could calculate the characters of the irreducible representations ***
8 8 DR. STUART MARTIN References on general Wederburn theory: Curtis-Reiner 62, 81 Story so far: Each representation V λ has nice basis: GZ-basis {v T where (T ) : λ (n)... λ (1) = (1) YJM elements: X k = k 1 i=1 (i, k) CS n for 1 k n generate the GZ-algebra, a maximal commutative subalgebra of CS n GZ-basis is unique basis such that basis elements are common eigenvectors of the X k : We defined α(t ) = (a 1,..., a n ) C n X i v T = a i v T We re interested in spec(n) = { α(t ) paths T.
Notes 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 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 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 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 informationThe Image of Weyl Group Translations in Hecke Algebras
The Image of Weyl Group Translations in Hecke Algebras UROP+ Final Paper, Summer 2015 Arkadiy Frasinich Mentor: Konstantin Tolmachov Project Suggested By Roman Bezrukavnikov September 1, 2015 Abstract
More information33 Idempotents and Characters
33 Idempotents and Characters On this day I was supposed to talk about characters but I spent most of the hour talking about idempotents so I changed the title. An idempotent is defined to be an element
More informationAction of degenerate Bethe operators on representations of the symmetric group
Action of degenerate Bethe operators on representations of the symmetric group by Sifat Rahman A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of
More informationClassification of semisimple Lie algebras
Chapter 6 Classification of semisimple Lie algebras When we studied sl 2 (C), we discovered that it is spanned by elements e, f and h fulfilling the relations: [e, h] = 2e, [ f, h] = 2 f and [e, f ] =
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 informationSupplement to Multiresolution analysis on the symmetric group
Supplement to Multiresolution analysis on the symmetric group Risi Kondor and Walter Dempsey Department of Statistics and Department of Computer Science The University of Chicago risiwdempsey@uchicago.edu
More information1.4 Solvable Lie algebras
1.4. SOLVABLE LIE ALGEBRAS 17 1.4 Solvable Lie algebras 1.4.1 Derived series and solvable Lie algebras The derived series of a Lie algebra L is given by: L (0) = L, L (1) = [L, L],, L (2) = [L (1), L (1)
More informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
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 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 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 informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
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 informationLIE ALGEBRAS: LECTURE 7 11 May 2010
LIE ALGEBRAS: LECTURE 7 11 May 2010 CRYSTAL HOYT 1. sl n (F) is simple Let F be an algebraically closed field with characteristic zero. Let V be a finite dimensional vector space. Recall, that f End(V
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 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 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 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 informationvon Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr
More informationREPRESENTATIONS OF S n AND GL(n, C)
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
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 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 informationTHE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS
Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 67 (2006) 2006, Pages 225 259 S 0077-1554(06)00156-7 Article electronically published on December 27, 2006 THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL
More informationThe Cartan Decomposition of a Complex Semisimple Lie Algebra
The Cartan Decomposition of a Complex Semisimple Lie Algebra Shawn Baland University of Colorado, Boulder November 29, 2007 Definition Let k be a field. A k-algebra is a k-vector space A equipped with
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More informationMic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003
Handout V for the course GROUP THEORY IN PHYSICS Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003 GENERALIZING THE HIGHEST WEIGHT PROCEDURE FROM su(2)
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 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 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 informationMATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.
MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators. Adjoint operator and adjoint matrix Given a linear operator L on an inner product space V, the adjoint of L is a transformation
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introduction to Cluster Algebra Ivan C.H. Ip Update: May 16, 2017 5 Review of Root Systems In this section, let us have a brief introduction to root system and finite Lie type classification
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 informationGroup Theory - QMII 2017
Group Theory - QMII 017 Reminder Last time we said that a group element of a matrix lie group can be written as an exponent: U = e iαaxa, a = 1,..., N. We called X a the generators, we have N of them,
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 informationFundamental theorem of modules over a PID and applications
Fundamental theorem of modules over a PID and applications Travis Schedler, WOMP 2007 September 11, 2007 01 The fundamental theorem of modules over PIDs A PID (Principal Ideal Domain) is an integral domain
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 informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
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 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 informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations
More informationLinear Algebra 2 Spectral Notes
Linear Algebra 2 Spectral Notes In what follows, V is an inner product vector space over F, where F = R or C. We will use results seen so far; in particular that every linear operator T L(V ) has a complex
More informationEXERCISE SHEET 1 WITH SOLUTIONS
EXERCISE SHEET 1 WITH SOLUTIONS (E8) Prove that, given a transitive action of G on Ω, there exists a subgroup H G such that the action of G on Ω is isomorphic to the action of G on H\G. You may need to
More informationSUPPLEMENT ON THE SYMMETRIC GROUP
SUPPLEMENT ON THE SYMMETRIC GROUP RUSS WOODROOFE I presented a couple of aspects of the theory of the symmetric group S n differently than what is in Herstein. These notes will sketch this material. You
More informationCHAPTER 2 -idempotent matrices
CHAPTER 2 -idempotent matrices A -idempotent matrix is defined and some of its basic characterizations are derived (see [33]) in this chapter. It is shown that if is a -idempotent matrix then it is quadripotent
More informationREPRESENTATION THEORY. WEEK 4
REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators
More informationREPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES. Notation. 1. GL n
REPRESENTATIONS OF FINITE GROUPS OF LIE TYPE: EXERCISES ZHIWEI YUN Fix a prime number p and a power q of p. k = F q ; k d = F q d. ν n means ν is a partition of n. Notation Conjugacy classes 1. GL n 1.1.
More informationLIE ALGEBRAS: LECTURE 3 6 April 2010
LIE ALGEBRAS: LECTURE 3 6 April 2010 CRYSTAL HOYT 1. Simple 3-dimensional Lie algebras Suppose L is a simple 3-dimensional Lie algebra over k, where k is algebraically closed. Then [L, L] = L, since otherwise
More informationREPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 2001
9 REPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 21 ALLEN KNUTSON 1 WEIGHT DIAGRAMS OF -REPRESENTATIONS Let be an -dimensional torus, ie a group isomorphic to The we
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
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 informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More information3 Representations of finite groups: basic results
3 Representations of finite groups: basic results Recall that a representation of a group G over a field k is a k-vector space V together with a group homomorphism δ : G GL(V ). As we have explained above,
More informationCategory O and its basic properties
Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α
More informationSimple Lie algebras. Classification and representations. Roots and weights
Chapter 3 Simple Lie algebras. Classification and representations. Roots and weights 3.1 Cartan subalgebra. Roots. Canonical form of the algebra We consider a semi-simple (i.e. with no abelian ideal) Lie
More informationRepresentation Theory
Representation Theory Lectures by Stuart Martin Notes by David Mehrle dfm33@cam.ac.uk Cambridge University Mathematical Tripos Part III Lent 206 Contents Introduction................................. 3
More informationSolutions of exercise sheet 8
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra
More informationLINEAR ALGEBRA AND iroup THEORY FOR PHYSICISTS
LINEAR ALGEBRA AND iroup THEORY FOR PHYSICISTS K.N. SRINIVASA RAO Professor of Theoretical Physics (Retd) University of Mysore, Mysore, INDIA JOHN WILEY «SONS NEW YORK CHICHESTER BRISBANE TORONTO SINGAPORE
More informationCUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK
CUTOFF FOR THE STAR TRANSPOSITION RANDOM WALK JONATHAN NOVAK AND ARIEL SCHVARTZMAN Abstract. In this note, we give a complete proof of the cutoff phenomenon for the star transposition random walk on the
More informationLECTURE NOTES AMRITANSHU PRASAD
LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
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 informationTESTING MODULES OF GROUPS OF EVEN ORDER FOR SIMPLICITY
TESTING MODULES OF GROUPS OF EVEN ORDER FOR SIMPLICITY GERHARD O. MICHLER AND ØYVIND SOLBERG Abstract. In this paper we exhibit an intimate relationship between the simplicity of an F G-module V of a finite
More informationIVAN LOSEV. KEK 1 = q 2 E, KF K 1 = q 2 F, EF F E = K K 1 q q 1.
LECTURE 13: REPRESENTATIONS OF U q (g) AND R-MATRICES IVAN LOSEV Introduction In this lecture we study the representation theory of U q (g) when q is not a root of 1. In Section 1, we classify the finite
More informationClassification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO
UTMS 2011 8 April 22, 2011 Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs by Toshiyuki Kobayashi and Yoshiki Oshima T UNIVERSITY OF TOKYO GRADUATE SCHOOL OF
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 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 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 informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
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 information2.4 Root space decomposition
34 CHAPTER 2. SEMISIMPLE LIE ALGEBRAS 2.4 Root space decomposition Let L denote a semisimple Lie algebra in this section. We will study the detailed structure of L through its adjoint representation. 2.4.1
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationAN UPPER BOUND FOR SIGNATURES OF IRREDUCIBLE, SELF-DUAL gl(n, C)-REPRESENTATIONS
AN UPPER BOUND FOR SIGNATURES OF IRREDUCIBLE, SELF-DUAL gl(n, C)-REPRESENTATIONS CHRISTOPHER XU UROP+ Summer 2018 Mentor: Daniil Kalinov Project suggested by David Vogan Abstract. For every irreducible,
More informationSolutions to the August 2008 Qualifying Examination
Solutions to the August 2008 Qualifying Examination Any student with questions regarding the solutions is encouraged to contact the Chair of the Qualifying Examination Committee. Arrangements will then
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationThe Outer Automorphism of S 6
Meena Jagadeesan 1 Karthik Karnik 2 Mentor: Akhil Mathew 1 Phillips Exeter Academy 2 Massachusetts Academy of Math and Science PRIMES Conference, May 2016 What is a Group? A group G is a set of elements
More informationREPRESENTATIONS AND CHARACTERS OF FINITE GROUPS
SUMMER PROJECT REPRESENTATIONS AND CHARACTERS OF FINITE GROUPS September 29, 2017 Miriam Norris School of Mathematics Contents 0.1 Introduction........................................ 2 0.2 Representations
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 informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
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 informationGaussian automorphisms whose ergodic self-joinings are Gaussian
F U N D A M E N T A MATHEMATICAE 164 (2000) Gaussian automorphisms whose ergodic self-joinings are Gaussian by M. L e m a ńc z y k (Toruń), F. P a r r e a u (Paris) and J.-P. T h o u v e n o t (Paris)
More information16.2. Definition. Let N be the set of all nilpotent elements in g. Define N
74 16. Lecture 16: Springer Representations 16.1. The flag manifold. Let G = SL n (C). It acts transitively on the set F of complete flags 0 F 1 F n 1 C n and the stabilizer of the standard flag is the
More informationTopics in Representation Theory: Roots and Complex Structures
Topics in Representation Theory: Roots and Complex Structures 1 More About Roots To recap our story so far: we began by identifying an important abelian subgroup of G, the maximal torus T. By restriction
More informationLecture 11 The Radical and Semisimple Lie Algebras
18.745 Introduction to Lie Algebras October 14, 2010 Lecture 11 The Radical and Semisimple Lie Algebras Prof. Victor Kac Scribe: Scott Kovach and Qinxuan Pan Exercise 11.1. Let g be a Lie algebra. Then
More informationTopics in Representation Theory: SU(n), Weyl Chambers and the Diagram of a Group
Topics in Representation Theory: SU(n), Weyl hambers and the Diagram of a Group 1 Another Example: G = SU(n) Last time we began analyzing how the maximal torus T of G acts on the adjoint representation,
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 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 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 informationComplexity of the Fourier transform on the Johnson graph
Complexity of the Fourier transform on the Johnson graph arxiv:1704.06299v3 [math.co] 8 Mar 2018 Rodrigo Iglesias Departamento de Matemática Universidad Nacional del Sur Bahía Blanca, Argentina. March
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 informationThe Ring of Monomial Representations
Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
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 informationTHE THEOREM OF THE HIGHEST WEIGHT
THE THEOREM OF THE HIGHEST WEIGHT ANKE D. POHL Abstract. Incomplete notes of the talk in the IRTG Student Seminar 07.06.06. This is a draft version and thought for internal use only. The Theorem of the
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 information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More information