3. group representations
DESCRIPTION
3. Group Representations. 3.1Representations 3.2Irreducible, Inequivalent Representations 3.3Unitary Representations 3.4Schur's Lemmas 3.5Orthonormality and Completeness Relations of Irreducible Representation Matrices - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/1.jpg)
3. Group Representations
3.1 Representations3.2 Irreducible, Inequivalent Representations3.3 Unitary Representations3.4 Schur's Lemmas3.5 Orthonormality and Completeness Relations of Irreducible
Representation Matrices3.6 Orthonormality and Completeness Relations of Irreducible
Characters3.7 The Regular Representation3.8 Direct Product Representations, Clebsch-Gordan Coefficients
![Page 2: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/2.jpg)
3.1. Representations
Definition 3.1: Group Representations
Let be the space of linear operators on an n-D vector space V.
Let U: G , g U(g) be a homomorphism, i.e,
U(g g') = U(g) U(g') g, g' G
Then U(G) = { U(g) | gG } is a n-D representation (rep) of G.
The rep is faithful if U is an isomorphism.
Def: Group of Operators / Linear Transformations
= Set of invertible linear operators on a linear space that is also a group
![Page 3: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/3.jpg)
Let { ej | j = 1, 2, …, n } be a basis for the n-D vector space V.
U(g) can be realized as n n matrices D(g) according to
1
n
k jk
U g j k D g
j jeg G
k jk D g (Einstein's summation notation)
k jU g U g j U g k D g i k
k ji D g D g i ji D gg
i k i
k j jD g D g D gg D g D g D gg
D(G) forms a matrix representation of G.
Example 1: Trivial 1-D Rep for Every Group, V =
U: g U(g) = 1 gG
![Page 4: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/4.jpg)
Example 2: Non-Trivial 1-D Rep for Group of Matrices
G = group of matrices & V = C. U(g) = det g.
Example 3: 1-D Rep for Td
U [ T(n) ] = e – i n { – < )Example 4: 2-D Rep for D2 = { e, C2, x, y } = Symm of Rectangle
1 0
0 1D e
2
1 0
0 1D C
1 0
0 1xD
1 0
0 1yD
kj j k jU g D g e e e
1
1
1
1
1
1
ni
n n j
n
n
n
D g
D g
D g
D g
D g
e e e e
![Page 5: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/5.jpg)
Example 5: R(2) = { R(), 0 < 2 } , V = 2
1 1U e e 1 2cos sin e e
2 2U e e 1 2sin cos e e
cos
si
si
c sn
n
oD
2
1i i
i
x
x e iixe 2 x E
U x x iiU x e i
ixe j ij iD xe j
jxe
jj i
ix D x 1 1
2 2
cos sin
sin cos
x x
x x
1 1 2cos sinU U U e e e
1 2 1 2cos sin cos sin cos sin e e e e
1 2cos cos sin sin sin cos cos sin e e
1 2cos sin e e 1U e
D x x
![Page 6: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/6.jpg)
2 2U U U e eSimilarly U U U
{ U() , 0 < 2 } is a 2-D representation of R(2) on 2
{ D() , 0 < 2 } is a 2-D matrix rep of R(2) wrt basis {e1, e2 }
D D D Also
Example 6: D3 or C3v = { E, C3, C32, σ1, σ2, σ3 } , V = 2
The 2-D matrix rep is
1 0
0 1D E
3
1 3
2 2
3 1
2 2
D C
231 3
2 2
3 1
2 2
D C
11 0
0 1D
2
1 3
2 2
3 1
2 2
D
3
1 3
2 2
3 1
2 2
D
![Page 7: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/7.jpg)
Example 7: f = { f(x,y) = a x + b y | x,y , a,b }f is the space of complex–valued linear homogeneous functions of 2 real variables.
Let G be any one of the groups in the previous examples.
Let U be a rep of G on 2 so that
ggf f f U
g U g x x x x = {x,y} 2 & g G
This induces a rep of G on f as follows
where f f x x 1f U g
x
1
g f f f U g x x xU
This mapping is indeed a homomorphism
Let g = h k, then
1
h k hf f U k x xUU U 1 1
f U k U h x 1
f U hk x hk f xU
The ensuring 2-D matrix rep's are identical to those found earlier ( prove it ! )
f is an (scalar) example of a field.
Higher dim versions vector, spin, isospin, …
![Page 8: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/8.jpg)
Theorem 3.1: G/H
1. If G has a non–trivial invariant subgroup H, then any rep of K = G/H is also a degenerate rep of G.
2. Conversely, if U(G) is a degenerate rep of G, then G has at least one invariant subgroup H such that U(G) defines a faithful rep of G/H.
Proof:
1. Let U be a rep of K on V so that
U: K , k U(k) = space of linear operators on V.
: G , g (g) = U(k) where g h = k K for some hH
is a homomorphism.
is a rep for G.
Mapping is many–1 since H is non-trivial.
2. Follows from Theorem 2.5Theorem 2.5:
Let : G G' be a homomorphism and Kernel = K = { g | (g) = e' }
Then K is an invariant subgroup of G and G/K G'
![Page 9: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/9.jpg)
Example: S3 = { e, (123), (132), (23), (13), (12) }
Invariant subgroup: H = { e, (123), (321) } C3.
Factor group: S3 / H C2 = { e, a }
Non-trivial 1–D rep for C2: { e, a } {1, –1}
Induced degenerate rep for S3 :
{ e, (123), (132), (23), (13), (12) } { 1,1,1, –1,–1,–1 }
e (123) (132) (23) (13) (12)
(123) (132) e (12) (23) (13)
(132) e (123) (13) (12) (23)
(23) (13) (12) e (123) (132)
(13) (12) (23) (132) e (123)
(12) (23) (13) (123) (132) e
Corollary: All rep's, except the trivial one, of simple groups are faithful.
e.g., Cn with n prime
![Page 10: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/10.jpg)
3.2. Irreducible, Inequivalent Representations
Definition 3.2: Equivalent Representations
Two rep's of G are equivalent if they are related by a similarity transform.
Definition 3.3: Characters
The character of gG in rep U(G) is defined as
Since trace is preserved in a similarity transform, all elements in a class have the same character.
Definition 3.4: Invariant Subspace
Let U(G) be a rep of G on V. A subspace V1 of V is invariant wrt U(G) if
U(g) | x V1 xV1 & gG
V1 is proper / minimal if it doesn't contain any non-trivial invariant subspace
g TrU g j
j U g jFor a matrix rep D(G), i i
i
g D g i
iD g
j U g j
![Page 11: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/11.jpg)
Definition 3.5: Irreducible Representations (IR)
A rep U(G) of G on V is irreducible if there is no non-trivial invariant subspace in V wrt U(G).
Otherwise, U(G) is reducible.
A reducible rep is decomposable if the orthogonal complement of the invariant subspace is also invariant.
Example 1: D2 C2v = { e, C2, x, y } V = 2 c.f. Eg 4, §3.1
The x-axis, or span( e1), is a minimal invariant subspace wrt D2.
Ditto y-axis = span(e2).
2-D rep in Eg 4, §3.1, is decomposable.
1 0
0 1D e
2
1 0
0 1D C
1 0
0 1xD
1 0
0 1yD
![Page 12: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/12.jpg)
Example 2: R(2) V = 2 c.f. Eg 5, §3.1
1-D invariant subspaces wrt R(2) are spanned by 1 2
1
2i e e e
1 2 1 2
1cos sin sin cos
2U i e e e e e
1 1 2cos sinU e e e 2 1 2sin cosU e e e
1 2
1cos sin cos sin
2i i i e e ie
e
Matrix rep wrt { e+, e– } is 0
0
i
i
eD
e
Example 3: D3 = { E, C3, C32, C2, C2', C2'' } V = 2
2 is minimal wrt D3
2-D rep in Problem 3.1 is an IR
![Page 13: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/13.jpg)
Let V1 be an n1-D invariant subspace wrt a reducible U(G).
Choose basis { ej | j = 1,…,n } so that 1st n1 vectors are in V1.
1
1
nj j
i ij
U g i j D g j D g
11, ,i n
0j
iD g 1 11, , ; 1, ,i n j n n
1
2
D g D gD g
O D g
where D1(g) is n1 n1
Since ' ' ' ' '
' '
A B A B AA AB BC
O C O C O CC
D(g g') = D(g) D(g') is also upper triangular
If V2 = span { ej | j = n1+1,…,n } is also invariant,
then U(G) is decomposable & all D'(g) = O
Restricting U(G) to an invariant subspace results in a rep of lower dim.
0 0
A B x Ax
O C
0 0A O
B C y Cy
![Page 14: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/14.jpg)
3.3. Unitary Representations
Definition 3.6: Unitary Representation
A rep U(G) of G on V is unitary if
• V is an inner product space
• U(g) are unitary g G
Unitary operators preserve inner products & thereby,
lengths & angles
![Page 15: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/15.jpg)
V1 is invariant 1U g j g j V 11, ,j n
U(g) is unitary †0 k j k U g U g j
Orthogonal complement 0k j 1 11, , & 1, ,k n n j n
g k g j
2U g k g k V QED
Theorem 3.2: Unitarity: Reducibility Decomposability
If a unitary representation is reducible, then it is also decomposable.
Proof:
Let U(G) be the unitary reducible rep of G on inner prod space
V = span{ ei | i = 1, …, n }
Let V1 = span{ ej | j = 1, …, n1 } be the relevant invariant subspace &
V2 = span{ ek | k = n1+1, …, n } its orthogonal complement.
![Page 16: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/16.jpg)
Theorem 3.3:
Every rep D(G) of a finite group on an inner prod space is equiv to a unitary rep.
Proof :
We shall show that S D(g) S–1 = U(g) is unitary gG if S satisfies
g G
S x S y D g x D g y
The existence of S is established by showing that ( , ) is an inner product so that S is just the relevant basis transformation.
( Proof of this is left as an exercise: see Prob 3.4 )
,x y
Proof of unitarity of U(G) is as follows:
1 1U g x U g y SD g S x SD g S y
1 1
g G
D g D g S x D g D g S y
1 1
g G
D g S x D g S y
1 1,S x S y x y g g g
![Page 17: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/17.jpg)
Comments:
• Theorem can be extended to infinite groups for which an invariant measure can be defined, e.g., compact & semi-simple Lie groups.
• All reducible rep's of a finite group are decomposable.
The inner product space is a direct sum of the invariant subspaces.
Definition 3.7: Direct Sum Representation
Let U(G) be decomposable on V. Then
V = V1 V2 U(G) = U1(G) U2(G)
jj
j j
V V U G U G n U G
where U is an IR that occurs n times.
D(G) will be block diagonal for a properly chosen basis
![Page 18: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/18.jpg)
3.4. Schur's Lemmas
Schur's Lemma 1:
Let U(G) be an IR of G on V, and A . Then
AU(g) = U(g)A gG A = E
Proof:
• Let U(G) be unitary, else replaced by its unitary equivalence S U(G) S–1.
• Let A be hermitian, else replaced by one of its hermitian components
A+ = ( A + A+) / 2 or A– = ( A – A+) / 2i
• Since A is hermitian, it is diagonalizable & its eigenvalues are all real.
Let | j be the eigenstate corresponding to the eigenvalue j of A :
jA j j
where { | j } can be chosen to be orthonormal:
kjk j
![Page 19: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/19.jpg)
Label is introduced to account for possible degeneracies, viz.,
jU g j AU g j U g A j A U(g) = U(g) A
is also an eigenvector belonging to j U g j
Let n be the degree of degeneracies.
; 1, ,jV span j n is an invariant subspace wrt U(G).
U(G) is IR V has no non-trivial invariant subspaces
Vj = V & j = 1 only
A = 1 E where D(E) is n n
If A itself is hermitian, we have A = E, where = 1 is real.
Otherwise, A = ( + + i – ) E, where is the (real) eigenvalue of A
![Page 20: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/20.jpg)
Theorem 3.4:
IR of any abelian group must be 1-D.
Proof:
Let U(G) be an IR of the Abelian G. For a given pG,
U(p) U(g) = U(g) U(p) gG
Schur‘s 1st lemma U(p) = p E pG
U(G) is equivalent to the 1-D rep { p p }
![Page 21: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/21.jpg)
Schur's Lemma 2:
Let U(G) & U'(G) be IRs of G on V & V' , resp.
Let A: V' V be linear & satisfies
A U' (g) = U(g) A gG
Then, either
1) A = O , or
2) V V' (A is isomorphism)
& U(G) U'(G) (equivalent)
Proof:
Let R = Range A = { x V | x = A x' , x' V' }
U g x U g A x AU g x A U g x R g G
R is an invariant subspace of V wrt U(G)
U(G) is IR
1) Either R = { 0 } & hence A = O
2) or R = V so that map A is onto
Proof is done if for 2), A is also 1-1
![Page 22: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/22.jpg)
Let N' = Null ( V' ) = { x' V' | A x' = 0 }
AU g x U g A x
0 0U g &N g G x
i.e., N' is an invariant subspace of V' wrt U’(G)
N U g x N x
U' (G) is IR
1) Either N' = V' & hence A = O
2) or N' = { 0 } so that map A is 1–1 since
0 0A x y x y
A x A y x y
Thus, A O is an isomorphism &
A U' (g) = U(g) A U(g) = A U' (g) A–1
![Page 23: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/23.jpg)
3.5.Orthonormality & Completeness Relations of IR Matrices
Notations:
nG order of the group G
, labels for inequivalent IRs of G
n dimension of the -rep
D(g) matrix version of gG in the -rep wrt an orthonormal basis
j character of elements of class j in the -rep
nj number of elements in the class j
nC number of classes in G
![Page 24: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/24.jpg)
Theorem 3.5a : Orthonormality of IR Matrices
1 i k i km jmj
g GG
nD g D g
n
1
1 1 11
G
G
k n
k n
g g g
g g g
kmG
nD g
n is an nG–D orthonormal vector for given ( , k, m )
dual
Proof to be given after some examples
![Page 25: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/25.jpg)
Theorem 3.5: Orthonormality of Unitary IR Matrices
*i k ik
jmj mg GG
nD g D g
n
† j k k ji mi m
g GG
nD g D g
n
kmG
nD g
n is an nG–D orthonormal vector for given ( , k, m )
1
* * *
1
G
G
k n
k n
g g g
g g g
dual
![Page 26: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/26.jpg)
Example 1: C2 = { e, a } nG = 2
Identity rep: 1, 1, 1de a
1-D rep orthonormal to d1 : 2, 1, 1de a
C2 e a
1 1 1
2 1 –1
Example 2: D2 = { e, a = a–1, b = b–1, c = a b } nG = 4
e a b c
a e c b
b c e a
c b a e
Identity rep: 1, , , 1, 1,1, 1de a b c
Invariant subgroup { e, a } C2
Factor group D2 / C2 C2
D2 e a b c
1 1 1 1 1
2 1 1 –1 –1
3 1 –1 1 –1
4 1 –1 –1 1
e a
a e
For Abelian groups, all IRs are 1–D: *1
GG g
d g d gn
Example 3: Td = { T(n) | n } nG = c.f. Chap 1
i nd T n e
Td Abelian All IRs are 1–D
Orthonormality:
* i n in
n n
d T n d T n e e
![Page 27: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/27.jpg)
23 3 1 2 3
1
2
3 11
3 1
3 2
3
3
2
1
22
1 1 1 1 1 1
1 1 1 1 1 1
1 1 1 11 1
2 2 2 2
3 3 3 30 0
2 2 2 2
3 3 3 30 0
2 2 2 21 1 1 1
1 12 2 2 2
v E C CC
23 3 1 2 3
1
2
3
3
3 3 3 30 02 2
1 1 1 1 1 1
1 1 1 1 1 1
0 1 0 13 1 3 1 3 1 3 1
1 1 1 1
2 2 2 2
1 12 2 2 2
2
2 2
2 2 2
vC E C C
Example 4: C3v = { E, C3, C32, σ1, σ2, σ3 } nG = 6
*
g
j k k jGi mi m
nD g D g
n
![Page 28: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/28.jpg)
Proof of Theorem 3.5a:
Let X be any nn matrix and 1X
g
M D g X D g
1 1 1
gXD p M D p D p D g X D g D p
1
g
D g X D g
g g p
XM p G
Schur's lemmas:
Either & MX = 0
or = & MX = cX E
Let ik k k im m j mj
X X
1km
k km mX
g
M M D g X D g
,
1i li nk km mj
gl jn
l n
M D g X D g 1 i k
mg
jD g D g
1
g
i k k im jm j
D g D g c
Take trace on both sides 1 i kkm m i
g i
c n D g D g
kG mn
k kGm m
nc
n
QED
![Page 29: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/29.jpg)
Corollary 1: 2Gn n
Proof:
kmG
nD g
n is an nG–D orthonormal vector for given ( , k, m )
Since for a given rep , there are n2 choices of ( k, m ).
2n is the number of orthonormal vectors in this nG–D space
QED
Comments:
• Corollary allows meaningful search for all inequivalent IRs for finite / compact / semi-simple groups.
• Next theorem shows that
2Gn n
![Page 30: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/30.jpg)
Theorem 3.6: Completeness of IR Matrices
1)2
Gn n
2) †
, ,
k j ggj k
Gk j
nD g D g
n
*
, ,
kk ggj j
j kG
nD g D g
n
Proof of 1) is deferred to § 3.7.
Given 1) , 2) is just the completeness relation of nG orthonormal vectors in an nG–D vector space.
Comments:
• If G is Abelian, n = 1 nG inequivalent IRs.
• Application of Thm 3.5-6 to infinite groups requires existence of an invariant measure to replace group sum with an integral
• Thm 3.5-6 are basis-dependent; character versions of them are not.
![Page 31: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/31.jpg)
Example : C3v = { E, C3, C32, σ1, σ2, σ3 } nG = 6
23 3 1 2 3
1
2
3 11
3 1
3 2
3
3
2
1
22
1 1 1 1 1 1
1 1 1 1 1 1
1 1 1 11 1
2 2 2 2
3 3 3 30 0
2 2 2 2
3 3 3 30 0
2 2 2 21 1 1 1
1 12 2 2 2
v E C CC
*
g
i k ikGjmj m
nD g D g
n
*
, ,
kk
G g gj jj k
n D g D g n
23 3 1 2 3
1
2
3
11
3
12
3
21
3
22
3
1 1 1 1 1 1
6 6 6 6 6 6 61 1 1 1 1 1
6 6 6 6 6 6 6
1 1 1 1 1 1
3 3 2 3 2 3 3 2 3 2 3
1 1 1 10 0
2 2 2 23
1 1 1 10 0
2 2 2 23
1 1 1 1 1 1
3 3 2 3 2 3 3 2 3 2 3
v EC C C
*
i k i kjmj
G Ggm
n nD g D g
n n
*
, ,
k k
g gj jj k G G
n nD g D g
n n
![Page 32: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/32.jpg)
3.6. Orthonormality and Completeness Relations of Irreducible Characters
Lemma: Sum over a Class
Let U(G) be an IR of G . Then j
jj
h
nU h E
n
Proof:
j
jh
A U h
Let
then 1 1
j
jh
U g A U g U g U h U g
jh
U h
1h ghg
jA g G
Schur's 1st lemma: j jA c E
Take trace : . . .j
j jh
L H S h n
. . . jR H S c n j
j j
nc
n
QED
![Page 33: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/33.jpg)
Theorem 3.7: Orthonormality & Completeness of
*
j
jj j Gn n
*k kj j G jn n
(Orthonormal
)(Complete)
Proof: †
g
j k k jG i mi m
n D g D g n
†
, ,g
i k k iG i
ikk
ii
k k
n D g D g n
*
gGn g g n n
*
j
jj j Gn n
†
, ,
jk
G gj k
gj kn D g D g n
, ,
*
,
. . .m i j
k i jm im j k
kg g
n nL H S n
n n
*im i mn n
,
. . .m i
iG m i
g g
R H S n n
*i im m G mn n
QED
1, , Cj n
![Page 34: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/34.jpg)
Define the normalized character as jj j
G
n
n
* j
jj
Orthonormality†k k
j j
Completeness
Corollary: ( for finite groups )
Number of inequiv IRs = Number of classes = nC
Since j = 1, …, nC , { j } is an nCnC matrix ( character table ).
Example: Abelian groups
Each group element forms a class by itself and all IRs are 1–D,
i.e., D(gj) = j
Tables of D(G) are also tables of characters
Note: Tables of characters are independent of basis.
![Page 35: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/35.jpg)
Example: S3 = { e, (123), (132), (23), (13), (12) }
3 classes 3 inequiv IRs
Identity rep: 1 = ( 1, 1, 1 )
e (123) (132) (23) (13) (12)
(123) (132) e (12) (23) (13)
(132) e (123) (13) (12) (23)
(23) (13) (12) e (123) (132)
(13) (12) (23) (132) e (123)
(12) (23) (13) (123) (132) e
1–D rep 2 = ( 1, a, b ). Orthonormality 1 2 3 0a b
2 = ( 1, 1, –1 )2 2 21 1 6d Dim d of
3 :2d
3 = ( 2, a, b ). Orthonormality 2 2 3 0a b 3 = ( 2, –1, 0 )
S3 e 2 (123) 3 (23)
1 1 1 1
2 1 1 –1
3 2 –1 0
e n
3
1
2
3
2 123 3 23
1 1 1
3 26
1 1 1
3 26
2 10
36
S e
![Page 36: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/36.jpg)
Theorem 3.8:
U G a U G
† j
j
jj
G
na
n † jj
j †
j ja
Proof: Take trace of U G a U G
†
,
j jjj
j
jj
Gj G
n na
n n
a
Example: C2 = { e = a2, a }
D(G):
1 0
0 1e
1 0
0 1a
= ( 2, 0 )
C2 e a
1 1 1
2 1 –1
2 01 2a b
11 2 1 0
2a 1 1
1 2 1 02
b 1
1 2U G U G U G D(G) D'(G):
1 0
0 1e
0 1
1 0a
Prob 3.6
![Page 37: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/37.jpg)
Example: Vibration of NH3
C3v e 2C3 3 v
A1 1 1 1 z
A2 1 1 –1 Rz
E 2 –1 0 (x,y), (Rx, Ry)
Nxy 2 –1 0 E
Nz 1 1 1 A1
Hxy 6 0 0 A1+ A2 + 2E
Hz 3 0 1 A1 + E
NH3 12 0 2 3A1 + A2
+ 4E
Translation:
A1+ E
Rotation:
A2 + E
Vibration:
2A1+ 2E
![Page 38: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/38.jpg)
Example: Electronic states of NH3
C3v e 2C3 3 v
A1 1 1 1 z
A2 1 1 –1 Rz
E 2 –1 0 (x,y), (Rx, Ry)
Ns 1 1 1 A1
Np 3 0 1 A1 + E
Hs 3 0 1 A1 + E
NH3 7 1 3 3A1 + 2E
Bonds 3 0 1 A1 + E
N: 1s2 2s22p3
H: 1s
![Page 39: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/39.jpg)
Theorem 3.9: Condition for Irreducibility
U(G) is IR 2
1
Cn
j j Gj
n n
i.e.,† 1
Proof: Let a
*
,
a a
,
*a a
2
1
Cn
a
If U(G) = U(G), then1
0a
otherwise
† 1
Conversely † 1 2
1
1Cn
a
so that 1
0a
otherwise
for some
i.e., U(G) = U(G)
Character tables of all crystallographic point-groups are given in most texts
![Page 40: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/40.jpg)
3.7. The Regular Representation
More details concerning group algebra are in Appendix III. See also Chap 5
Notations for group multiplications in finite G = { gj ; j = 1, …, nG } :
i j kg g g mi j m i jg g g 1
0m i jm
i j
g g g
otherwise
Theorem 3.10: Regular Representation
ab c mm abab g 1
0mm
ab
g ab c
otherwise
1 , ,kR R k k
i j i j i GjD G D g i n is an nG–D matrix rep of G
Proof: Let a b = c , where a, b, c G
k k
a b cj j
mj m b jabg ag k m
k am b jg kj k c jcg g
a b = c k m kam b j c j a b c
QED
![Page 41: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/41.jpg)
Comments:
• Theorem 3.10 is just a version of the Cayley's theorem ( Thm 2.1 ).
1
1a n
n
na G p S
a a
Cayley:
Reg rep:
aa G
withia ig ag
i ia a jj
withj
ia i
a j P
where Pa is the nn matrix rep of pa.
• Alternative proof for Theorem 3.10:
k k ma b am b jj
b j
ka
m j
k ma b k
ab jj
kab kab j
ia ig ag i
k ka a i
1 1
1 1ab a b
n n
n np p p
a a b b
1
1
1
1
n
n
nb b
b b n
b ba a
1
1
nb b
n
a a
where
![Page 42: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/42.jpg)
Theorem 3.11: Decomposition of the regular rep R
Proof 1:
R n
R ja a a
jjTr j
j
ja
0
j
jj G
Ra
n a efor
a e
LetR c
†j
j
j Rj
G
nc
n †e Ree
G
n
n 1
GG
n nn nThm 3.8:
1. 2.
2Gn n
Proof 2:
Ree n e
From 1:
Take trace
1, , Cn
2Gn n
![Page 43: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/43.jpg)
Example: C2 = { e, a }
1 0
0 1
e a
a e i i
g g jj
e eae aaR
a a aae aa
D a
e eee eaR
e a aee ea
D e
0 1
1 0
2Re
0Ra
1 2R
C2 e a
1 1 1
2 1 –1
R 2 0
R can be diagonalized by a similarity transform
1 1
1 1S
1g gS S
with so that
1 0
0 1e
1 0
0 1a
![Page 44: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/44.jpg)
i ia a jj
j
ia
1
0i jg a g
ifotherwise
i jg a g 1i jg g a
DR(a) can be obtained from the multiplication table gi vs gj1
by setting all entries that equal to a to 1, and all others to 0.
Calculation of DR
![Page 45: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/45.jpg)
Example : C3v = { E, C3, C32, σ1, σ2, σ3 } e C3
2 C3 1 2 3
C3 e C32 3 1 2
C32 C3 e 2 3 1
1 3 2 e C3 C32
2 1 3 C32 e C3
3 2 1 C3 C32 e
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 0 0 0
0 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1
RD e
3
0 0 1 0 0 0
1 0 0 0 0 0
0 1 0 0 0 0
0 0 0 0 1 0
0 0 0 0 0 1
0 0 0 1 0 0
RD C
23
0 1 0 0 0 0
0 0 1 0 0 0
1 0 0 0 0 0
0 0 0 0 0 1
0 0 0 1 0 0
0 0 0 0 1 0
RD C
1
0 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 0 0 0
RD
2
0 0 0 0 1 0
0 0 0 0 0 1
0 0 0 1 0 0
0 0 1 0 0 0
1 0 0 0 0 0
0 1 0 0 0 0
RD
3
0 0 0 0 0 1
0 0 0 1 0 0
0 0 0 0 1 0
0 1 0 0 0 0
0 0 1 0 0 0
1 0 0 0 0 0
RD
C3v e 2C3 3 v
A1 1 1 1
A2 1 1 –1
E 2 –1 0
R 6 0 0 A1+A2+2E
![Page 46: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/46.jpg)
Comments:
For any finite group G, its DR is equivalent to the block diagonal form
1
2
2
2
1
C
C
C
n
n
n
D
D O
D
D
O
D
n Blocks n Blocks
See App III
![Page 47: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/47.jpg)
3.8. Direct Product Rep, Clebsch- Gordan Coefficients
Definition 3.8: Direct Product Vector Space U V
Let U & V be inner product spaces with orthonormal bases
1, ,i Ui nu 1, ,j Vj nv & respectively
The direct product space of U & V is defined as the inner product space
i j i j i j i jk l k l k l k lU V
w w u v u u u u v v
W U V 1, , ; 1, ,i j i j U Vspan i n j n w u v
with
Thus i ji jx w x W x
† i ji jx y x y *i j i j
i j
x y
![Page 48: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/48.jpg)
Example: 2-particle system
1 2,x x x1 2H H H
3j j j j jd x x x
j jH
1-particle states:
2-particle system:
3 31 2 1 2 1 2d x d x x x x x H
3j j j jd x x x
3 31 2 1 2 1 2,d x d x x x x x 6d x x x
![Page 49: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/49.jpg)
Def: Direct Product Operators
Let U & V be the operator spaces on U & V, resp.
Then the operator space on UV is the set
,U V U VD A B A B L L L
with i j i jD w A B u v i jA u B v
k lk l i jw D k l
k i l ju A v B k lk l i ju v A B
k l k l k li j i j i jD A B A B
Definition 3.9: Direct Product Representation
Let D(G) & D(G) be reps of G on U & V, resp. Then
D G D G D G is a rep of G on U V
![Page 50: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/50.jpg)
k Tr D g
i j
i jD g
k k
kg
i j
i jD g D g
Let D(G) be IRs of G. Then
D a D
with †a †kk
k kk G
n
n
Note: D(G) can be reducible even if D(G) & D(G) are IRs.
![Page 51: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/51.jpg)
Example: S3 S3 e 2 (123) 3 (23)
1 1 1 1
2 1 1 –1
3 2 –1 0
11 1 1 1 1
12 1 1 –1 2
13 2 –1 0 3
22 1 1 1 1
23 2 –1 0 3
33 4 1 0
1
14 2 1 3 0
6a 1
2
14 2 1 3 0
6a 1
3
18 2 1 3 0
6a 1
3 3 1 2 3
![Page 52: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/52.jpg)
Comments:
D a D
1 1
Cn a
W U V W
are invariant subspacesW
For a properly chosen basis, D is block diagonal.
E.g.
1, , ; 1, , ; 1, ,k Cw k n a n
with the order of varying indices being: k
Definition 3.10: Clebsch-Gordan Coefficients ( CGC )
i jk i j kw w w w
, , i jki j k w w
[ wi j = uivj complete ]
, ,k i jw w i j k
( sum over i, j )
( sum over i, j )
![Page 53: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/53.jpg)
Theorem 3.12: Orthonormality & Completeness of CGCs
, , , , i ji ji j k k i j
, , , , kkk i j i j k
*, , , ,k i j i j k where
Proof:
, , i jki j k w w
Follows directly from the orthonormality & completeness of wi j since
sum: ,,k
sum: i, j
![Page 54: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/54.jpg)
Comments: , ,k i jw w i j k
, ,i j kw w k i j
' '
' '
i j
i j i j i jU g w w D g D g
k
k k kU g w w D g
Setkk w
, i ji j w
, , ,i j k i j k
, ,U g i j U g k k i j
,k
kk D g k i j
, , ,k
ki j i j k D g k i j
, ,i j k
i j kD g D g i j k D g k i j
![Page 55: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/55.jpg)
Theorem 3.13: Reduction of Product Representation
, ,i j k
i j kD g D g i j k D g k i j
, ,k i j
k i jD g k i j D g D g i j k
Applications:
• Broken symmetry
• Addition of angular momenta ~ Wigner-Eckert theorem ( Chap 7 )
![Page 56: 3. Group Representations](https://reader035.vdocuments.us/reader035/viewer/2022062422/56813b67550346895da46ad7/html5/thumbnails/56.jpg)
Short-cut to Theorem 3.13: D a DD
,
, , , ,i j D g D g i j Di j g i j
, , , ,k
kk i j i j D g D g i j i j k D g
, , ,
, ,i j
i jk k
D gD g D g i j k k k k i j
, ,k
kk k
i j k D g k i j
, ,i j k
i j kk i j D g D g i j k D g
,
k D Dg D g k k g k