Lecture notes for Introduction to Representation Theory
Lecture notes for Introduction to Representation Theory
Lecture notes for Introduction to Representation Theory
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
If V, W are representations of G, then V W is also a representation, via<br />
There<strong>for</strong>e, ν V W (g) = ν V (g)ν W (g).<br />
δ V W (g) = δ V (g) δ W (g).<br />
An interesting problem discussed below is <strong>to</strong> decompose V W (<strong>for</strong> irreducible V, W ) in<strong>to</strong> the<br />
direct sum of irreducible representations.<br />
3.5 Orthogonality of characters<br />
We define a positive definite Hermitian inner product on F c (G, C) (the space of central functions)<br />
by<br />
1<br />
(f 1 , f 2 ) =<br />
f 1 (g)f 2 (g).<br />
|G| gG<br />
The following theorem says that characters of irreducible representations of G <strong>for</strong>m an orthonormal<br />
basis of F c (G, C) under this inner product.<br />
Theorem 3.8. For any representations V, W<br />
(ν V , ν W ) = dim Hom G (W, V ),<br />
and 1, if V ∪ = W,<br />
(ν V , ν W ) =<br />
0, if V W<br />
if V, W are irreducible.<br />
Proof. By the definition<br />
(ν V , ν W ) =<br />
1 ν V (g)ν W (g) =<br />
|G| gG<br />
1 ν V (g)ν W (g)<br />
|G| gG<br />
1<br />
⎨<br />
where P = |G| gG<br />
= 1 ν V W (g) = Tr | V W (P ),<br />
|G| gG<br />
g Z(C[G]). (Here Z(C[G]) de<strong>notes</strong> the center of C[G]). If X is an irreducible<br />
representation of G then Id, if X = C,<br />
P | X =<br />
0, X = ⇒ C.<br />
There<strong>for</strong>e, <strong>for</strong> any representation X the opera<strong>to</strong>r P | X is the G-invariant projec<strong>to</strong>r on<strong>to</strong> the subspace<br />
X G of G-invariants in X. Thus,<br />
Tr | V W (P ) = dim Hom G (C, V W ⊕ )<br />
= dim(V W ⊕ ) G = dim Hom G (W, V ).<br />
37