CHAPTER 6. Representations of compact groups
|
|
- Tracy Black
- 6 years ago
- Views:
Transcription
1 CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive integer) is compact if and only if it is closed and bounded. The group U(n) := { g L n (C) t ḡg = 1 } is a closed and bounded subset of M n n (C) C n2. Hence U(n) is a compact group. The real orthogonal group O n (R) := U(n) L n (R) is another example of a compact group. Because of the definition of group of t.d. type, there are many such groups which are compact. Some examples of compact groups of t.d. type are L n (Z p ) := { g L n (Q p ) g M n n (Z p ), det g Z p } Sp 2n (Z p ) = Sp 2n (Q p ) M 2n 2n (Z p ) { g Sp 2n (Q p ) g 1 M 2n 2n (p j Z p ) }, j Z, j > Finite-dimensional representations of compact groups If happens to be finite, then normalized Haar measure on assigns measure 1 X to each nonempty subset X of. When discussing representations of finite groups, we often used left and right invariance of Haar measure on finite groups. Many results concerning finite-dimensional continuous representations of compact groups are proved the same way as the analogous results for finite groups, simply by replacing the normalized Haar measure on the finite group by normalized Haar measure on the compact group. Note that the continuity of a finite-dimensional representation of implies continuity of its matrix coefficients and character, so these functions are integrable. A finite-dimensional representation of is said to be continous if all of its matrix coefficients are continuous functions. Let A() be the space spanned by all matrix coefficients of continuous finite-dimensional representations of. This is a subspace of the space C() of continuous complex-valued functions on, and we will see in 6.3 that A() is dense in C(). If is finite, the results of Chapter 2 tell us that A() is the set of complex-valued functions on, so this notation is consistent with the notation used for finite groups. Theorem. Let (π, V ) be a continuous finite-dimensional representation of. Then π is unitary. Proof. Let, 1 be any inner product on V. By continuity of π, given v, w V, the function g π(g)v, π(g)w 1 is a continuous function. Hence it is integrable. Set 1
2 v, w = π(g)v, π(g)w 1 dg, where dg is Haar measure on. This defines an inner product on V. It follows from -invariance of dg that π(g)v, π(g)w = v, w. qed As shown in Chapter 1, a finite-dimensional unitary representation is completely reducible. Corollary. π is completely reducible. Let L 2 () be the space of functions on that are square-integrable relative to Haar measure. Then L 2 () is a Hilbert space relative to the inner product f 1, f 2 L 2 = f 1(g) f 2 (g) dg. Of course this inner product restricts to an inner product on the subspace A(). Theorem (Orthogonality relations for matrix coefficients). Let (π 1, V 1 ) and (π 2, V 2 ) be irreducible continuous finite-dimensional representations of. Let a i jk (g) be the matrix entries of the matrix of π i (g) relative to an orthonormal basis of V i (relative to an inner product on V i which makes π i unitary). Then (1) If π 1 π 2, then a 1 jk, a2 lm L2 = 0 for all j, k, l and m. (2) a 1 jk, a1 lm L 2 = δ jlδ km /n 1, where n 1 = dim V 1. Proof. Mimic the proof of Theorem 3 of Chapter 2, except where B is a linear transformation from V 2 to V 1, set A = π 1(g)Bπ 2 (g) 1 dg. Throughout the rest of the proof, replace the expression 1 g by integration over (relative to normalized Haar measure on ). qed Corollary. Let (π 1, V 1 ) and (π 2, V 2 ) be as in the theorem. If π 1 π 2, then the subspace of A() spanned by all matrix coefficients of π 1 is orthogonal to the subspace spanned by all matrix coefficients of π 2. The following is equivalent to part 2 of the above theorem. Corollary. Let (π, V ) be an irreducible continuous finite-dimensional representation of. Let v, w, v, w V, and let, be a -invariant inner product on V. Then π(g)w, v π(g)w, v dg = (dim V ) 1 w, w v, v. Theorem. Let (π 1, V 1 ) and (π 2, V 2 ) be (finite-dimensional continuous) representations of. Then χ π1 (g)χ π2 (g) dg = dim Hom(π 1, π 2 ). If π 1 and π 2 are irreducible, then χ π1 (g)χ π2 (g) dg = 2 { 1, if π1 π 2 0, otherwise..
3 6.3. The Peter-Weyl Theorem As above, let L 2 () be the space of measurable functions on for which f(g) 2 dg <. (Here, the integral is relative to Haar measure on ). If f L 2 (), set f 2 = ( f(g) 2 dg ) 1/2. Let L 1 () be the space of measurable functions on for which f(g) dg <. For f L 1 (), set f 1 = f(g) dg. If f 1, f 2 L 2 (), then f 1 f 2 L 1 () and f 1 f 2 1 f 1 2 f 2 2. iven f 1, f 2 L 2 (), the inner product f 1, f 2 L 2 is defined by f 1, f 2 L 2 = f 1 (g) f 2 (g) dg. With this inner product, L 2 () is a Hilbert space. The inequality f 1, f 2 L 2 f 1 2 f 2 2 is known as the Schwarz inequality. If f : C and g, set (L(g)f)(g 0 ) = f(g 1 g 0 ), g 0. Lemma 1. Let f L 2 (). Then the map g L(g)f is a continuous map from to L 2 (). Proof. It is clear that the function L(g)f belongs to L 2 (). Let ε > 0. Using the fact that C() is dense in L 2 (), choose a continuous function ϕ C() such that f ϕ 2 < ε/3. Because is compact and ϕ is continuous, ϕ is uniformly continuous. Hence there exists an open neighbourhood U of 1 in such that if g1 1 g 2 U, then ϕ(g1 1 g) ϕ(g 1 2 g) < ε/3 for all g. Now L(g 1 )f L(g 2 )f 2 L(g 1 )f L(g 1 )ϕ 2 + L(g 1 )ϕ L(g 2 )ϕ 2 + L(g 2 )ϕ L(g 2 )f 2 2 ϕ f 2 + L(g 1 )ϕ L(g 2 )ϕ 2 < 2ε/3 + sup g L(g 1 )ϕ L(g 2 )ϕ < ε Lemma 2. Let f L 2 (). For every ε > 0, there exist finitely many g i and Borel sets S i such that is the disjoint union of the S i s and L(g)f L(g i )f 2 < ε for all i and for all g S i. Proof. By Lemma 1, there exists an open neighbourhood U of 1 such that L(g)f f 2 < ε for all g U. Let g U and g 0. Then L(gg 0 )f L(g 0 )f 2 < ε. Now Ug 0 is an open neighbourhood of g 0. Hence { Ug 0 g 0 } is an open cover of. By compactness of ( 1., there are finitely many g 1,..., g n such that = n i=1 Ug i. Let S j = U j \ j 1 i=1 i) U qed Lemma 3. Let f L 2 () and f L 1 (). Set F (g 0 ) = f(g)f(g 1 g 0 ) dg. Then F is a limit in L 2 () of a sequence of functions, each of which is a finite linear combination of left translates of f. 3
4 Proof. Let ε > 0. Choose g i and S i as in Lemma 2. Set c i = S i f(g) dg. Then n F c i L(g i )f 2 i=1 n f(g) L(g)f L(g i )f 2 dg S i n f(g) ε dg = ε f 1. S i i=1 i=1 qed As in 6.2, the space spanned by all matrix coefficients of continuous finite-dimensional representations of is denoted by A(). Theorem (Peter-Weyl Theorem). A() is dense in L 2 (). Proof. Let (π, V ) be a continuous finite-dimensional representation that is unitary relative to an inner product, on V. Then, given v, w V, the function g π(g)v, w is a matrix coefficient of π. Let f(g) = π(g)v, w, g. The functions g f(g 1 ), g f(gg 0 ) and g f(g 0 g) are also matrix coefficients of π. Hence the space A() is closed under the map taking f to the function g f(g 1 ) and also under left and right translation. The closure A() of A() in L 2 () is also invariant under these operations. Suppose that A() L 2 (). Then A() {0}, and A() is closed under the above operations. Suppose that f 0 A() is nonzero. If U is an open neighbourhood of 1, let 1 U be the characteristic function of U, and let U be the Haar measure of U. Define f U (g) = U 1 1 U (g 0 )f 0 (g0 1 g) dg 0. Since 1 U, f 0 L 2 (), the Schwarz inequality can be used to prove that f U is a continuous function. As U shrinks to {1}, f U f 0 in L 2 (). Because f 0 0, we know that some f U is nonzero. Since A() is -invariant (that is, invariant under left translation by elements of ) and the left regular representation is unitary, it follows that A() is also -invariant. Hence linear combinations of translates of f 0 belong to A(). Applying Lemma 3, we see that f U A(). Therefore A() contains a nonzero continuous function. After translating and multiplying by a scalar, if necessary, we can produce a continuous function f 1 A() such that f 1 (1) is a nonzero real number. Set f 2 (g) = f 1(g 0 gg0 1 ) dg 0. Then f 2 is continuous, f 2 is a class function, and f 2 (1) is a nonzero real number. To see that f 2 A(), note that if h A() then f 2, h L 2 = f 2 (g) h(g) dg = f 1 (g 0 gg0 1 ) h(g) dg 0 dg = f 1 (g)h(g0 1 gg 0) dg dg 0 = 0 because the function g h(g 1 0 gg 0) belongs to A(). 4
5 Next, set f 3 (g) = f 2 (g) + f 2 (g 1 ). Then f 3 (g) = f 3 (g 1 ). Let K(g, g 0 ) = f 3 (g 1 g 0 ), g,, g 0. Set (T f)(g) = K(g, g 0 )f(g 0 ) dg 0, f L 2 (). Then T is an operator on L 2 (). Note that K(g, g 0 ) = f 3 (g 1 g 0 ) = f 3 (g0 1 g) = K(g 0, g). Thus T is a Hilbert-Schmidt operator(see comments following the proof). Now T is nonzero, so, according to the Hilbert-Schmidt Theorem, T has a nonzero real eigenvalue λ. and the eigenspace V λ L 2 () is finite-dimensional. If f V λ, then (T L(g 0 )f)(g) = K(g, g 1 )(L(g 0 )f)(g 1 ) dg 1 = f 3 (g 1 g 1 )f(g0 1 g 1) dg 1 = f 3 (g 1 g 0 g 1 )f(g 1 ) dg 1 = K(g0 1 g, g 1)f(g 1 ) dg 1 = (T f)(g 1 0 g) = λ f(g 1 0 g) = λ (L(g 0)f)(g). Hence T L(g 0 )f = λl(g 0 )f for all f V λ. Therefore V λ is invariant under left translation. According to Lemma 1, g L(g)f is continuous. Because the restriction of left translation to V λ is a finite-dimensional representation of, there exists a finitedimensional irreducible -invariant (nonzero) subspace W of V λ. Choose an orthonormal basis { e 1,..., e n } of W (with respect to which left translation is unitary). Then g L(g)e j, e i L 2 = e j(g 1 g 0 )e i (g 0 ) dg 0 is a matrix coefficient of this representation, hence belongs to A(). Since f 3 A(), we have ( ) ( ) 0 = f 3 (g) e j (g 1 g 0 )e j (g 0 ) dg 0 dg = f 3 (g)e j (g 1 g 0 ) dg e j (g 0 ) dg 0 ( ) ( ) = f 3 (g 0 g 1 )e j (g) dg e j (g 0 ) dg 0 = f 3 (g 1 g 0 )e j (g 0 )dg 0 e j (g) dg = (T e j )(g)e j (g) dg = λ e j, e j L 2 (For the fourth equality above, we used the fact that f 3 is a class function: f 3 (g 0 g 1 ) = f 3 (g 1 (g 0 g 1 )g) = f 3 (g 1 g 0 )). Hence λ = 0. Contradiction. Hence the assumption that A() is nonzero is false. qed If K L 2 ( ), then the operator on L 2 () defined by (T f)(g) = K(g, g 0)f(g 0 ) dg 0 is called a Hilbert-Schmidt operator. Such an operator is self-adjoint when K(g, g 0 ) = K(g 0, g) for all g, g 0. The Hilbert-Schmidt Theorem is a theorem from functional analysis which says that a nonzero self-adjoint Hilbert-Schmidt operator has some nonzero eigenvalues, and the eigenspace corresponding to each nonzero eigenvalue is finitedimensional. For a proof of the Hilbert-Schmidt Theorem, see Appendix B of the book by Simon (listed in the references). 5
6 As we will soon see, the Peter-Weyl Theorem can be applied to prove that an infinitedimensional unitary representation of a compact group is a direct sum of finite-dimensional irreducible representations. Let Ĝ be a collection of finite-dimensional irreducible unitary representations of having the property that each finite-dimensional irreducible representation of is equivalent to exactly one of the representations in Ĝ. If ρ Ĝ, let d ρ be the degree of ρ, and let a ρ (g) ij be the matrix coefficients of ρ relative to an orthonormal basis of the space of ρ, such that the corresponding inner product on the space of ρ is -invariant. Let H be a separable Hilbert space. Let π be a unitary representation of in the space H, having the property that the map (g, v) π(g)v is a continuous map from H to H. Define a linear operator P ρ ij on H by P ρ ij (v) = d 1 α aρ (g) ij π(g)v dg, v H. This is the analogue of the definition used in Chapter 2 when studying the decompositions of representations of finite groups. Arguing as in Chapter 2, we can easily prove: Lemma 4. Let ρ Ĝ. Let π be as above. (1) If g, then π(g)p ρ ij = k aρ (g) ki P ρ kj (2) Pmn ρ P ρ ij = δρ ni P ρ mj. If ρ Ĝ and ρ ρ, then Pmn ρ P ρ ij = 0 for all m, n, i, and j. (3) (P ρ ij ) = P ρ ji Let P ρ = i P ρ ii = d 1 ρ χ ρ(g)π(g) dg. (Here, χ ρ denotes the character of ρ.) Lemma 5. (1) P ρ Hom (π, π), (2) If ρ Ĝ and ρ ρ, then P ρ P ρ = 0. (3) (P ρ ) 2 = P ρ and (P ρ ) = P ρ. It follows from Lemma 5 that { P ρ ρ Ĝ } is a set of mutually orthogonal projections. Theorem. Let H be a separable Hilbert space. Let π be a unitary representation of in the space H, having the property that the map (g, v) π(g)v is a continuous map from H to H. Then H = n=1h n, where each H n is a finite-dimensional -invariant irreducible subspace of H. Proof. Let, be a -invariant inner product on H. Suppose that v H belongs to P ρ (H) for all ρ Ĝ. Because P ρ (v), v = 0 and I P ρ is the orthogonal projection of H onto P ρ (H), we have (I P ρ )(v) = v. From Lemma 4(2), we can see that Pmn(I ρ P ρ ) = 0. It follows that Pmn(v) ρ = 0 for all ρ Ĝ and all m and n. Let { e k } be an orthonormal basis of H. Set f k (g) = e k, π(g)v. Our hypotheses guarantee that f k is a continuous function, hence lies in L 2 (). By the Peter-Weyl theorem, we have an L 2 -expansion f k (g) = c ρ;ij (k)a ρ (g) ij, ρ;ij 6
7 with c ρ;ij (k) = e k, P ρ ij (v). Because P ρ ij (v) = 0 for all ρ, i and j, it follows that c ρ;ij(k) = 0 for all k. Therefore f k (g) = 0 for almost all g. Continuity of f k then guarantees that f k is identically zero for all k. In particular, f k (1) = e k, v = 0 for all k. Hence v = 0. We have shown that the only vector with is orthogonal to every P ρ (H) is the zero vector. Hence H is the direct sum of the subspaces P ρ (H). According to Lemma 5(1), P ρ (H) is a -invariant subspace of H. Hence to complete the proof of the theorem it suffices to prove that the restriction π ρ of π to P ρ (H) is a direct sum of irreducible representations of, for every ρ Ĝ. Let m ρ = dim P ρ 11 (H). Arguing as in Chapter 2, we can show that dim P ρ ii (H) = m ρ, for all i, and π ρ is equivalent to the representation m ρ ρ (the m ρ -fold direct sum ρ ρ -m ρ times). qed Corollary. A continuous irreducible unitary representation of is finite-dimensional Weyl s character formula Let be a compact connected Lie group. A Cartan subgroup of such a group is a closed subgroup of that is isomorphic to a direct product of the form R/Z R/Z and is maximal with respect to this property. (That is, it cannot be a proper subgroup of another closed subgroup that is also isomorphic to a direct product of the same form). A Cartan subgroup is a maximal abelian subgroup and consists of semisimple elements. (Recall that an element of a matrix Lie group is semisimple if it is semisimple as a matrix, that is, it is diagonalizable over the complex numbers.) A Cartan subgroup is equal to its own centralizer in. The Cartan subgroups of are all conjugate in. Examples: (1) = U(n). The subgroup T of diagonal matrices in consists of diagonal matrices in L n (C) whose diagonal entries are e iθ 1,..., e iθ n for some θ 1,..., θ n R. The group T is a Cartan subgroup of U(n). (2) Let = SO 4 (R) = O 4 (R) SL 4 (R). The subgroup cos θ 1 sin θ sin θ T = 1 cos θ θ 0 0 cos θ 2 sin θ 1, θ 2 R sin θ 2 cos θ 2 is a Cartan subgroup of Fix a Cartan subgroup T of. The set ˆT of unitary characters of T is a locally compact group with the discrete topology. Let N (T ) be the normalizer of T in, and W (, T ) = N (T )/T. The group W (, T ) is a finite group, called the Weyl group of T. Each w W (, T ) acts on T and hence on ˆT by (w χ)(t) = χ(w 1 t), χ ˆT, t T. Let ˆT be the set of χ ˆT such that w χ χ for any nontrivial w W. 7
8 The set of irreducible unitary representations of can be parametrized by the set of W (, T )-orbits in ˆT. iven χ ˆT, there is an irreducible unitary representation π χ of. Every irreducible unitary representation of is equivalent to π χ for some χ ˆT. Furthermore, given χ, χ ˆT, π χ and π χ are equivalent if and only if χ = w χ for some w W (, T ). Weyl s character formula. Let χ ˆT. Let Θ χ be the character of π χ. The function Θ χ is determined by its values on T. There is a sign ɛ(χ) = ±1 such that Θ χ (t) = ɛ(χ) w W (,T ) = ɛ(χ) (t) 1 (w t) 1 χ(w t), w W (,T ) det(w)(w 1 χ)(t), t T. Here, T = { t T w W (, T ), w 1 w t t, } and is the so-called Weyl denominator. It has the property that (w t) = det(w) (t), t T, with det(w) = ±1. 8
MAT 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 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 informationTopics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem
Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret
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 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 informationTopics in Representation Theory: Roots and Weights
Topics in Representation Theory: Roots and Weights 1 The Representation Ring Last time we defined the maximal torus T and Weyl group W (G, T ) for a compact, connected Lie group G and explained that our
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 informationWeyl Group Representations and Unitarity of Spherical Representations.
Weyl Group Representations and Unitarity of Spherical Representations. Alessandra Pantano, University of California, Irvine Windsor, October 23, 2008 β ν 1 = ν 2 S α S β ν S β ν S α ν S α S β S α S β ν
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 informationMath 306 Topics in Algebra, Spring 2013 Homework 7 Solutions
Math 306 Topics in Algebra, Spring 203 Homework 7 Solutions () (5 pts) Let G be a finite group. Show that the function defines an inner product on C[G]. We have Also Lastly, we have C[G] C[G] C c f + c
More informationNotes 10: Consequences of Eli Cartan s theorem.
Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation
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 informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
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 information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
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 informationTopics in Representation Theory: The Weyl Integral and Character Formulas
opics in Representation heory: he Weyl Integral and Character Formulas We have seen that irreducible representations of a compact Lie group G can be constructed starting from a highest weight space and
More informationNotation. For any Lie group G, we set G 0 to be the connected component of the identity.
Notation. For any Lie group G, we set G 0 to be the connected component of the identity. Problem 1 Prove that GL(n, R) is homotopic to O(n, R). (Hint: Gram-Schmidt Orthogonalization.) Here is a sequence
More information0 A. ... A j GL nj (F q ), 1 j r
CHAPTER 4 Representations of finite groups of Lie type Let F q be a finite field of order q and characteristic p. Let G be a finite group of Lie type, that is, G is the F q -rational points of a connected
More informationSPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS
SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the
More informationRepresentations of semisimple Lie algebras
Chapter 14 Representations of semisimple Lie algebras In this chapter we study a special type of representations of semisimple Lie algberas: the so called highest weight representations. In particular
More informationON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS
1 2 3 ON MATRIX VALUED SQUARE INTERABLE POSITIVE DEFINITE FUNCTIONS HONYU HE Abstract. In this paper, we study matrix valued positive definite functions on a unimodular group. We generalize two important
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationRepresentation theory and quantum mechanics tutorial Spin and the hydrogen atom
Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition
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 informationPeter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.
and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra
More informationIr O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )
Section 3.2 Theorem 3.6. Let A be an m n matrix of rank r. Then r m, r n, and, by means of a finite number of elementary row and column operations, A can be transformed into the matrix ( ) Ir O D = 1 O
More informationFactorization of unitary representations of adele groups Paul Garrett garrett/
(February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in
More informationimplies that if we fix a basis v of V and let M and M be the associated invertible symmetric matrices computing, and, then M = (L L)M and the
Math 395. Geometric approach to signature For the amusement of the reader who knows a tiny bit about groups (enough to know the meaning of a transitive group action on a set), we now provide an alternative
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationMATH 223A NOTES 2011 LIE ALGEBRAS 35
MATH 3A NOTES 011 LIE ALGEBRAS 35 9. Abstract root systems We now attempt to reconstruct the Lie algebra based only on the information given by the set of roots Φ which is embedded in Euclidean space E.
More information5 Irreducible representations
Physics 129b Lecture 8 Caltech, 01/1/19 5 Irreducible representations 5.5 Regular representation and its decomposition into irreps To see that the inequality is saturated, we need to consider the so-called
More informationMATH 240 Spring, Chapter 1: Linear Equations and Matrices
MATH 240 Spring, 2006 Chapter Summaries for Kolman / Hill, Elementary Linear Algebra, 8th Ed. Sections 1.1 1.6, 2.1 2.2, 3.2 3.8, 4.3 4.5, 5.1 5.3, 5.5, 6.1 6.5, 7.1 7.2, 7.4 DEFINITIONS Chapter 1: Linear
More informationA CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS by J. Szenthe Abstract. In case of Riemannian manifolds isometric actions admitting submanifolds
More information1. General Vector Spaces
1.1. Vector space axioms. 1. General Vector Spaces Definition 1.1. Let V be a nonempty set of objects on which the operations of addition and scalar multiplication are defined. By addition we mean a rule
More informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
More information4 Group representations
Physics 9b Lecture 6 Caltech, /4/9 4 Group representations 4. Examples Example : D represented as real matrices. ( ( D(e =, D(c = ( ( D(b =, D(b =, D(c = Example : Circle group as rotation of D real vector
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 informationCHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES
CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES MICHAEL BJÖRKLUND AND ALEXANDER FISH Abstract. We show that for every subset E of positive density in the set of integer squarematrices
More informationLINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM
LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator
More informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
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 informationNOTES ON REPRESENTATIONS OF COMPACT GROUPS
NOTES ON REPRESENTATIONS OF COMPACT ROUPS DRAAN MILIČIĆ 1. Haar measure on compact groups 1.1. Compact groups. Let be a group. We say that is a topological group if is equipped with hausdorff topology
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
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 informationON A SPECTRAL ANALOGUE OF THE STRONG MULTIPLICITY ONE THEOREM. 1. Introduction
ON A SPECTRAL ANALOUE OF THE STRON MULTIPLICITY ONE THEOREM CHANDRASHEEL BHAWAT AND C. S. RAJAN Abstract. We prove spectral analogues of the classical strong multiplicity one theorem for newforms. Let
More informationMATH 235. Final ANSWERS May 5, 2015
MATH 235 Final ANSWERS May 5, 25. ( points) Fix positive integers m, n and consider the vector space V of all m n matrices with entries in the real numbers R. (a) Find the dimension of V and prove your
More informationSymmetries, Fields and Particles 2013 Solutions
Symmetries, Fields and Particles 013 Solutions Yichen Shi Easter 014 1. (a) Define the groups SU() and SO(3), and find their Lie algebras. Show that these Lie algebras, including their bracket structure,
More informationarxiv: v1 [math.rt] 14 Nov 2007
arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof
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 of moderate growth Paul Garrett 1. Constructing norms on groups
(December 31, 2004) Representations of moderate growth Paul Garrett Representations of reductive real Lie groups on Banach spaces, and on the smooth vectors in Banach space representations,
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationx i e i ) + Q(x n e n ) + ( i<n c ij x i x j
Math 210A. Quadratic spaces over R 1. Algebraic preliminaries Let V be a finite free module over a nonzero commutative ring F. Recall that a quadratic form on V is a map Q : V F such that Q(cv) = c 2 Q(v)
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationGROUP THEORY PRIMER. D(g 1 g 2 ) = D(g 1 )D(g 2 ), g 1, g 2 G. and, as a consequence, (2) (3)
GROUP THEORY PRIMER New terms: representation, irreducible representation, completely reducible representation, unitary representation, Mashke s theorem, character, Schur s lemma, orthogonality theorem,
More information1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det
What is the determinant of the following matrix? 3 4 3 4 3 4 4 3 A 0 B 8 C 55 D 0 E 60 If det a a a 3 b b b 3 c c c 3 = 4, then det a a 4a 3 a b b 4b 3 b c c c 3 c = A 8 B 6 C 4 D E 3 Let A be an n n matrix
More informationQuantum Physics and the Representation Theory of SU(2)
Quantum Physics and the Representation Theory of SU(2 David Urbanik University of Waterloo Abstract. Over the past several decades, developments in Quantum Physics have provided motivation for research
More informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationA Crash Course in Topological Groups
A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1
More informationSpectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem
Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem L u x f x BC u x g x with the weak problem find u V such that B u,v
More informationRepresentations Are Everywhere
Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.
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 informationNotes 9: Eli Cartan s theorem on maximal tori.
Notes 9: Eli Cartan s theorem on maximal tori. Version 1.00 still with misprints, hopefully fewer Tori Let T be a torus of dimension n. This means that there is an isomorphism T S 1 S 1... S 1. Recall
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 informationChapter 6: Orthogonality
Chapter 6: Orthogonality (Last Updated: November 7, 7) These notes are derived primarily from Linear Algebra and its applications by David Lay (4ed). A few theorems have been moved around.. Inner products
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 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 informationBackground on Chevalley Groups Constructed from a Root System
Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
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 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 informationIntroduction to Representations Theory of Lie Groups
Introduction to Representations Theory of Lie roups Raul omez October 14, 2009 Introduction The purpose of this notes is twofold. The first goal is to give a quick answer to the question What is representation
More informationBranching rules of unitary representations: Examples and applications to automorphic forms.
Branching rules of unitary representations: Examples and applications to automorphic forms. Basic Notions: Jerusalem, March 2010 Birgit Speh Cornell University 1 Let G be a group and V a vector space.
More informationOptimization Theory. A Concise Introduction. Jiongmin Yong
October 11, 017 16:5 ws-book9x6 Book Title Optimization Theory 017-08-Lecture Notes page 1 1 Optimization Theory A Concise Introduction Jiongmin Yong Optimization Theory 017-08-Lecture Notes page Optimization
More informationINVARIANT PROBABILITIES ON PROJECTIVE SPACES. 1. Introduction
INVARIANT PROBABILITIES ON PROJECTIVE SPACES YVES DE CORNULIER Abstract. Let K be a local field. We classify the linear groups G GL(V ) that preserve an probability on the Borel subsets of the projective
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More information235 Final exam review questions
5 Final exam review questions Paul Hacking December 4, 0 () Let A be an n n matrix and T : R n R n, T (x) = Ax the linear transformation with matrix A. What does it mean to say that a vector v R n is an
More informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationSemistable Representations of Quivers
Semistable Representations of Quivers Ana Bălibanu Let Q be a finite quiver with no oriented cycles, I its set of vertices, k an algebraically closed field, and Mod k Q the category of finite-dimensional
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 2.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined
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 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 informationLinear Algebra. Workbook
Linear Algebra Workbook Paul Yiu Department of Mathematics Florida Atlantic University Last Update: November 21 Student: Fall 2011 Checklist Name: A B C D E F F G H I J 1 2 3 4 5 6 7 8 9 10 xxx xxx xxx
More informationAnalysis Preliminary Exam Workshop: Hilbert Spaces
Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H
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 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 informationDiscrete Series Representations of Unipotent p-adic Groups
Journal of Lie Theory Volume 15 (2005) 261 267 c 2005 Heldermann Verlag Discrete Series Representations of Unipotent p-adic Groups Jeffrey D. Adler and Alan Roche Communicated by S. Gindikin Abstract.
More informationLINEAR ALGEBRA SUMMARY SHEET.
LINEAR ALGEBRA SUMMARY SHEET RADON ROSBOROUGH https://intuitiveexplanationscom/linear-algebra-summary-sheet/ This document is a concise collection of many of the important theorems of linear algebra, organized
More informationA method for construction of Lie group invariants
arxiv:1206.4395v1 [math.rt] 20 Jun 2012 A method for construction of Lie group invariants Yu. Palii Laboratory of Information Technologies, Joint Institute for Nuclear Research, Dubna, Russia and Institute
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 informationDecay to zero of matrix coefficients at Adjoint infinity by Scot Adams
Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams I. Introduction The main theorems below are Theorem 9 and Theorem 11. As far as I know, Theorem 9 represents a slight improvement
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 informationLECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
More informationMATHEMATICS 217 NOTES
MATHEMATICS 27 NOTES PART I THE JORDAN CANONICAL FORM The characteristic polynomial of an n n matrix A is the polynomial χ A (λ) = det(λi A), a monic polynomial of degree n; a monic polynomial in the variable
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 informationSpectral Theorem for Self-adjoint Linear Operators
Notes for the undergraduate lecture by David Adams. (These are the notes I would write if I was teaching a course on this topic. I have included more material than I will cover in the 45 minute lecture;
More informationAbelian topological groups and (A/k) k. 1. Compact-discrete duality
(December 21, 2010) Abelian topological groups and (A/k) k Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ 1. Compact-discrete duality 2. (A/k) k 3. Appendix: compact-open topology
More informationCHAPTER 3. Hilbert spaces
CHAPTER 3 Hilbert spaces There are really three types of Hilbert spaces (over C). The finite dimensional ones, essentially just C n, for different integer values of n, with which you are pretty familiar,
More information