- Information
- AI Chat
Was this document helpful?
Representation Theory 2016-2017 Example Sheet 4
Module: Representation Theory
8 Documents
Students shared 8 documents in this course
University: University of Cambridge
Was this document helpful?
PART II REPRESENTATION THEORY
SHEET 4
Unless otherwise stated, all vector spaces are finite-dimensional over C. In the first seven
questions we let G= SU(2).Questions 9 onwards deal with a variety of topics at Tripos
standard.
1Let Vnbe the vector space of complex homogeneous polynomials of degree nin the
variables xand y. Describe a representation ρnof Gon Vnand show that it is irreducible.
What is its character? Show that Vnis isomorphic to its dual V∗
n.
2Decompose the representation V4⊗V3into irreducible G-spaces (that is, find a direct
sum of irreducible representations which is isomorphic to V4⊗V3; in this and the following
questions, you are not being asked to find such an isomorphism explicitly). Decompose V⊗n
1
into irreducibles.
3Determine the character of SnV1for n>1.
Decompose S2Vnand Λ2Vninto irreducibles for n>1.
Decompose S3V2into irreducibles.
4Let Gact on the space M3(C) of 3 ×3 complex matrices, by conjugation:
A:X7→ A1XA−1
1,
where A1is the 3 ×3 block diagonal matrix with block diagonal entries A, 1. Show that this
gives a representation of Gand decompose it into irreducibles.
5Let χnbe the character of the irreducible representation ρnof Gon Vnof dimension
n+ 1.
Show that 1
2πZ2π
0
K(z)χnχmdθ =δnm,
where z=eiθ and K(z) = 1
2(z−z−1)(z−1−z).
[ Note that all you need to know about integrating on the circle is orthogonality of characters:
1
2πR2π
0zndθ =δn,0. This is really a question about Laurent polynomials. ]
6Check that the usual formula for integrating functions defined on S3⊆R4defines a
G-invariant inner product on the vector space of integrable functions on
G= SU(2) = a b
−¯
b¯a:a¯a+b¯
b= 1,
and normalize it so that the integral over the group is one.
7Compute the character of the representation SnV2of Gfor any n>0. Calculate
dimC(SnV2)G(by which we mean the subspace of SnV2where Gacts trivially).
Deduce that the ring of complex polynomials in three variables x, y, z which are invariant
under the action of SO(3) is a polynomial ring. Find a generator for this polynomial ring.
1