Download lecture (3) - MIT OpenCourseWare

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts

Symmetric cone wikipedia , lookup

Cayley–Hamilton theorem wikipedia , lookup

Capelli's identity wikipedia , lookup

Four-vector wikipedia , lookup

Perron–Frobenius theorem wikipedia , lookup

Transcript
If V, W are representations of G, then V � W is also a representation, via
δV �W (g) = δV (g) � δW (g).
Therefore, νV �W (g) = νV (g)νW (g).
An interesting problem discussed below is to decompose V � W (for irreducible V, W ) into the
direct sum of irreducible representations.
3.5
Orthogonality of characters
We define a positive definite Hermitian inner product on F c (G, C) (the space of central functions)
by
1 �
f1 (g)f2 (g).
(f1 , f2 ) =
|G|
g �G
The following theorem says that characters of irreducible representations of G form an orthonormal
basis of Fc (G, C) under this inner product.
Theorem 3.8. For any representations V, W
(νV , νW ) = dim HomG (W, V ),
and
(νV , νW ) =
�
1, if V ∪
= W,
0, if V � W
if V, W are irreducible.
Proof. By the definition
(νV , νW ) =
1 �
1 �
νV (g)νW (g) =
νV (g)νW � (g)
|G|
|G|
g�G
=
g�G
1 �
νV �W � (g) = Tr |V �W � (P ),
|G|
g�G
1 ⎨
where P = |G|
g�G g � Z(C[G]). (Here Z(C[G]) denotes the center of C[G]). If X is an irreducible
representation of G then
�
Id, if X = C,
P |X =
0, X ⇒= C.
Therefore, for any representation X the operator P | X is the G-invariant projector onto the subspace
X G of G-invariants in X. Thus,
Tr |V �W � (P ) = dim HomG (C, V � W ⊕ )
= dim(V � W ⊕ )G = dim HomG (W, V ).