15.11.2014 Views

Lecture notes for Introduction to Representation Theory

Lecture notes for Introduction to Representation Theory

Lecture notes for Introduction to Representation Theory

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!