14. Products of representations

advertisement
14. Products of representations
1
14. Products of representations
It has been shown that the infinitesimal generators {Mi } determine the
changes in vectors or operators induced by a group of transformations, by way
of Mi φ or [Mi , O]. In particular, if some vector or operator is left entirely
unchanged by any of the transformations of the group, i.e. it is invariant
under the action of the group, then it satisfies Mi φ = 0 or [Mi , O] = 0 for all
infinitesimal generators Mi . It is a basis for the trivial one-dimensional irrep
with Dynkin coefficients (0, 0, . . . , 0), called a singlet or scalar irrep.
As in the case of finite groups, larger representations can be formed by
multiplying irreps. Under this multiplication the basis can take the form of
the product of two vectors, φ(1) φ(2) , of an operator and a vector, Oφ, or of two
operators, O(1) O(2) . The representation so produced is generally reducible,
and one of the interesting questions is which irreps it contains. This can be
determined straightforwardly by the appropriate use of the known Dynkin
coefficients of the weights of the irreps.
Since, schematically, φ(1) φ(2) → Rφ(1) Rφ(2) → φ(1) φ(2) + (ǫMφ(1) )φ(2) +
φ (ǫMφ(2) ); while Oφ → ROR−1 Rφ → Oφ + [ǫM, O]φ + O(ǫMφ); and
O(1) O(2) → RO(1) O(2) R−1 → O(1) O(2) + [ǫM, O(1) ]O(2) + O(1) [ǫM, O(2)]; it is
clear that the weights associated with the product representation are simply
all the pairwise sums of weights of the irreps being multiplied, with their corresponding multiplicities. The level of a weight in the product representation
is the sum of the levels of weights added to produce it. In particular, the
highest weight of the product representation is just the sum of the highest
weights of the irreps being multiplied, with multiplicity one, and is at level
0.
(1)
This highest weight identifies the highest irrep contained in the product.
It, together with all the weights associated with it in the irrep, can be removed from the list of weights of the product irrep. The highest weight then
remaining (the one at the lowest level remaining), with its multiplicity, identifies the next highest irrep contained in the product representation, with its
multiplicity. Upon removal of all the weights of this irrep, with their corresponding multiplicities, the highest weight then remaining identifies the next
highest irrep in the product representation. The process continues until all
the weights of the product representation have been accounted for.
[As an illustrative example, consider the product of the (1, 0)
irrep of A2 with itself. This irrep contains three weights, of multiplicity one, with Dynkin coefficients (1, 0), (−1, 1), (0, −1), in
Introductory Algebra for Physicists
Michael W. Kirson
14. Products of representations
2
order of decreasing weight. The product (1, 0) ⊗ (1, 0) therefore contains nine weights — the highest weight (2, 0), once; the
next highest weight (0, 1), twice; the next highest weights (1, −1),
twice, and (−2, 2), once; the next highest weight (−1, 0), twice;
and the lowest weight (0, −2), once. The highest irrep contained
here is that associated with the highest weight, (2, 0). This 6dimensional irrep contains the weights (2, 0), (0, 1), (−2, 2), (1, −1),
(−1, 0), (0, −2), each once. Upon removing the (2, 0) irrep, there
remain the weights (0, 1), (1, −1), (−1, 0), each once, in order of
decreasing weight. These are precisely the weights of the (0, 1)
irrep. So, finally, (1, 0) ⊗ (1, 0) = (2, 0) ⊕ (0, 1).]
For any algebra, the product of any irrep with the singlet irrep is evidently
just the original irrep: Λ ⊗ (0, 0, . . . , 0) = Λ. It may also be noted that the
generators of the algebra, acting on the carrier space of an irrep, leave it
unchanged. (By definition, the carrier space is invariant under the action
of the generators.) But the generators constitute the adjoint representation,
denoted Λad , so their action on the irrep Λ is a concrete realisation of the
product Λad ⊗ Λ and produces Λ. But the reduction of Λad ⊗ Λ to irreps,
by the procedure outlined above, will generally give rise to a sum of irreps,
since the set of generators is not the only realisation of the irrep Λad . For
consistency, the general product Λad ⊗ Λ must contain Λ.
[For example, the adjoint representation of A2 is (1,1). According
to the argument just outlined, (λ, µ) ⊗ (1, 1) must contain (λ, µ),
for any irrep (λ, µ).]
Given the product of two irreps, labeled by their Dynkin indices, the
highest weight irrep can be read off by just adding the Dynkin indices of
the two factors, i.e. Λ(1) ⊗ Λ(2) contains the irrep Λ(1) + Λ(2) . Another irrep
contained in the product can be straightforwardly identified via Dynkin’s
second highest weight theorem. The method is based on an extension of the
Dynkin diagram of the algebra considered.
• Construct an extended Dynkin diagram by appending to the usual
Dynkin diagram two small circles representing the weights Λ(1) and
Λ(2) . Recall that each highest weight Λ(i) is a list of ℓ Dynkin in(i)
(i)
(i)
dices (λ1 , λ2 , . . . , λℓ ), all of which are non-negative integers, while
the usual Dynkin diagram shows all the simple roots of the algebra.
Introductory Algebra for Physicists
Michael W. Kirson
14. Products of representations
3
Λ(1)
Λ(2)
e
e
1e 2e 3e . . . . . . . . . . . . ℓe
Dynkin diagram
-
Here the box represents the usual Dynkin diagram and the little circles
it contains represent the simple roots.
• Two elements β, γ of root space are said to be connected if β · γ 6= 0.
(i)
But the Dynkin index λj = 2Λ(i) · α(j) /α(j) · α(j) , so Λ(i) is connected
(i)
to the simple root α(j) if and only if λj > 0. To the extended Dynkin
diagram there are now added lines joining Λ(1) and Λ(2) to all the simple
(i)
roots to which they are connected, i.e. one line for each positive λj .
Λ(1)
Λ(2)
e
e
P
A
PPP
P
P
PP A
PA
P
1e 2e 3e . . . . . . . . . . . . ℓe
Dynkin diagram
-
• There is a chain of simple roots connecting Λ(1) and Λ(2) if there is a
sequence of connected simple roots α(i) → α(i+1) → α(i+2) → · · · → α(j)
whose ends are connected to Λ(1) and Λ(2) respectively and none of
whose internal roots are connected to Λ(1) or Λ(2) . Such a chain defines
a minimal connected path from Λ(1) to Λ(2) through the simple roots.
• If such a chain exists, then Λ(1) + Λ(2) − α(i) − α(i+1) − · · · − α(j) is the
highest weight of an irrep contained in Λ(1) ⊗ Λ(2) .
There is a consistency check on the reduction of the product of two irreps
to irreps, arising from the availability of the Weyl dimension formula. If
Λ(1) and Λ(2) have dimensions D1 and D2 respectively, and if the irreps Λi
in the reduction Λ(1) ⊗ Λ(2) = Λ1 ⊕ Λ2 ⊕ · · · ⊕ Λn have dimensions di , then
P
D1 D2 = ni=1 di . This can help determine when the reduction has been
completed.
Introductory Algebra for Physicists
Michael W. Kirson
14. Products of representations
4
[Analogously to the case of finite groups, the reduction of a product of irreps to a direct sum of irreps produces a Clebsch-Gordan
series, with its associated Clebsch-Gordan coefficients. The WignerEckart theorem can be shown to hold for Lie groups and algebras
as well.]
Examples
1. The irreps of A1 are specified by the Dynkin coefficient (λ), where λ is a
non-negative integer and the irrep contains the λ+1 weights (λ), (λ−2), (λ−
4), . . . , (−λ), once each. It is then easy to see that the product (λ1 ) ⊗ (λ2 )
contains the weights (λ1 + λ2 ), once; (λ1 + λ2 − 2), twice; (λ1 + λ2 − 4), three
times; · · · (λ1 + λ2 − 2k), k + 1 times; · · ·. The highest irrep is (λ1 + λ2 ),
occurring once. When it is removed, the highest irrep remaining is (λ1 +
λ2 − 2), occurring once. When this is removed, the highest irrep remaining
is (λ1 + λ2 − 4), occurring once. This continues until all the weights are
exhausted. There are (λ1 + 1)(λ2 + 1) weights in the product representation,
of which λ1 + λ2 − 2k + 1 are removed in the k th step. The process terminates
P
for k = µ, where µk=0 (λ1 + λ2 − 2k + 1) = (λ1 + 1)(λ2 + 1). The solutions of
this equation are µ = λ1 , λ2 and it is evident that termination occurs when
k reaches the lower of λ1 and λ2 . So (λ1 ) ⊗ (λ2 ) = (λ1 + λ2 ) ⊕ (λ1 + λ2 − 2) ⊕
(λ1 + λ2 − 4) ⊕ · · · ⊕ (|λ1 − λ2 |). Recalling the standardization λ = 2j, this is
recognized as the familiar (j1 )⊗(j2 ) = (j1 +j2 )⊕(j1 +j2 −1)⊕· · ·⊕(|j1 −j2 |).
[Note the trivial application of Dynkin’s second highest weight
theorem. A1 has a single simple root with Dynkin index 2. Any
two irreps (λ1 ) and (λ2 ) with λi 6= 0 are connected to the simple
root and there is a chain λ1 → (2) → λ2 . So (λ1 ) ⊗ (λ2 ) contains
the irrep (λ1 + λ2 − 2), as found above.]


2 −1
0

2 −2 
2. The algebra so(7) (or B3 ), has Cartan matrix A =  −1
 and
0 −1
2
Dynkin diagram h h x. This is a rank-3 algebra with irreps (λ, µ, ν) of
dimension d(λ, µ, ν) = (λ + 1)(µ + 1)(ν + 1)(λ + µ + 2)(µ +ν + 2)(λ +µ+ ν + 3)
(2µ + ν + 3)(λ + 2µ + ν + 4)(2λ + 2µ + ν + 5)/720. The building-up process
identifies the adjoint representation as (0, 1, 0), of dimension 21. Consider
the product of irreps (1, 0, 0) ⊗ (0, 1, 0), which has highest weight (1, 0, 0) +
(0, 1, 0) = (1, 1, 0). Note d(1, 0, 0) = 7; d(0, 1, 0) = 21; d(1, 1, 0) = 105, so
the product irrep has d = 147 and there are 42 weights not accounted for
by the highest weight irrep it contains. In the extended Dynkin diagram
Introductory Algebra for Physicists
Michael W. Kirson
14. Products of representations
e
5
e
h x there
is a chain (1, 0, 0) → α(1) → α(2) → (0, 1, 0) and α(1) +
α(2) = (1, 1, −2) (the sum of the first two rows of the Cartan matrix.). By
the second highest weight theorem, the product contains the irrep (0, 0, 2),
of dimension 35. There remain 7 weights unaccounted for in the product.
But (0, 1, 0) is the adjoint representation, so the product must contain the
second factor, (1, 0, 0), of dimension 7. All weights are now accounted for —
(1, 0, 0) ⊗ (0, 1, 0) = (1, 1, 0) ⊕ (0, 0, 2) ⊕ (1, 0, 0).
h
Introductory Algebra for Physicists
Michael W. Kirson
Download