Group Theory - QMII 2017
Total Page:16
File Type:pdf, Size:1020Kb
Group Theory - QMII 2017 Reminder Last time we said that a group element of a matrix lie group can be written as an exponent: a U = eiαaX ; a = 1; :::; N: We called Xa the generators, we have N of them, they span a basis for the Lie algebra, and they can be found by taking the derivative with respect to αa at α = 0. The generators are closed under the Lie product (∼ [·; ·]), and related by the structure constants [Xa;Xb] = ifabcXc: (1) We end with the Jacobi identity [Xa; [Xb;Xc]] + [Xb; [Xc;Xa]] + [Xc; [Xa;Xb]] = 0: (2) 1 Representations of Lie Algebra 1.1 The adjoint rep. part- I One of the most important representations is the adjoint. There are two equivalent ways to defined it. Here we follow the definition by Georgi. By plugging Eq. (1) into the Jacobi identity Eq. (2) we get the following: fbcdfade + fabdfcde + fcadfbde = 0 (3) Proof: 0 = [Xa; [Xb;Xc]] + [Xb; [Xc;Xa]] + [Xc; [Xa;Xb]] = ifbcd [Xa;Xd] + ifcad [Xb;Xd] + ifabd [Xc;Xd] = − (fbcdfade + fcadfbde + fabdfcde) Xe (4) 1 Now we can define a set of matrices Ta s.t. [Ta]bc = −ifabc: (5) Then by using the relation of the structure constants Eq. (3) we get [Ta;Tb] = ifabcTc: (6) Proof: [Ta;Tb]ce = [Ta]cd[Tb]de − [Tb]cd[Ta]de = −facdfbde + fbcdfade = fcadfbde + fbcdfade = −fabdfcde = fabdfdce = ifabd[Td]ce (7) which means that: [Ta;Tb] = ifabdTd: (8) Therefore the structure constants themselves generate a representation. This representation is called the adjoint representation. The adjoint of su(2) We already found that the structure constants of su(2) are given by the Levi-Civita tensor. Therefore we get: 00 0 01 00 0 −i1 0 0 i 01 B C B C B C T1 = @0 0 iA ;T2 = @0 0 0 A ;T3 = @−i 0 0A (9) 0 −i 0 i 0 0 0 0 0 Back to the adjoint We can define a scalar product on the linear space of the generators in the adjoint representation as tr(TaTb). This is a real symmetric matrix, and hence can be diagonalized with orthogonal matrix. By performing a linear 2 transformation on the generators: 0 Xa ! X a = SabXb (10) with some orthogonal matrix S, Eq. (10) induces the following transformation of the structure constants 0 −1 fabc ! f abc = SadSbefdegSgc : (11) The matrices Ta of the adjoint representation transform by 0 −1 Ta ! T a = Sab STbS (12) which is a combination of a similarity transformation and simultaneously a linear transformation of the form (10). In the trace, however, only the latter transformation matters and we obtain 0 0 T tr(TaTb) ! tr(T aT b) = SacSbdtr(TcTd) = Sactr(TcTd)(S )db (13) , tr(TT ) ! S · tr(TT ) · ST Selecting a diagonal basis, we write tr(TaTb) = κaδab (no sum!) (14) However, we still have freedom to re-scale our generators. We shall assume 1 that all of the κa are positive. This will be the case if the algebra is compact and semisimple2. Then we can just go ahead and write tr(TaTb) = λδab (15) with some positive λ. 1 Non-compact Lie algebras, in which some of the κa are negative, do not have non- trivial, finite dimensional unitary representations. They still, however, play an important role in physics: The lorentz algebra is an example. 2A semisimple group contains no nontrivial abelian invariant subgroup. 3 A nice feature of this basis comes from the following: −1 tr([Ta;Tb]Tc) = ifabdtr(TdTc) = iλfabc ) fabc = −iλ tr([Ta;Tb]Tc): (16) Thanks to the trace we find that the structure constants in this basis are completely anti-symmetric! 1.2 Adjoint, states, and why we call it a rep. So far we didn't define a representation of a Lie algebra. In fact the definition is straight forward once we defined it for a group: Representation - A rep. of a Lie algebra g is a linear map π : g ! gl(n; C) (17) that preserves the product, 8X; Y 2 g π([X; Y ]) = [π(X); π(Y )]: (18) A linear map between two Lie algebras that preserves the product is called a Lie algebra homomorphism. If this map is 1-to-1 and onto it is called an isomorphism. 1.2.1 States and the adjoint Here we would like to generalize our construction of the regular representation to semi-simple Lie groups. 1. For each generator Ta 2 g associate a vector jTai s.t. they form an −1 y 3 orthonormal basis, hTajTbi = λ tr(Ta Tb) = δab . 2. Define the adjoint representation on this vector space as ad(Ta) jTbi = j[Ta;Tb]i (19) 3The dagger will become important in the following sections. 4 exercise check that this is a rep, i:e: [ad(X); ad(Y )] = ad([X; Y ]). 3. The components of the matrices are given by [ad(Ta)]bc ≡ hTbjad(Ta)jTci = ifacd hTbjTdi = −ifabc = [Ta]bc (20) So the remarkable thing is that ad(Ta) = Ta. Therefore it sometimes said that the adjoint representation is the action of the algebra on itself. Note that there are few different (but equivalent) definitions for the ad- joint representation. We will make use of the construction given above in For completeness we define the following: Irrep. - A Lie algebra rep π : g ! gl(V ) is irreducible if there is no nontrivial subspace W ⊂ V such that 8X 2 g π(X)W ⊂ W: (21) 2 Subalgebra and the Cartan subalgebra Lie Subalgebra - For a given Lie algebra g, if a subspace h ⊂ g is a Lie subalgebra if it is closed under the Lie product, 8X; Y 2 h ; − i[X; Y ] 2 h: (22) Example -su(3) and su(2) You saw in class that the Gell-Mann matrices are a good basis for su(3): 0 0 1 00 0 11 00 0 −i1 1 σ 1 1 λ = B i 0 C ; i = 1; 2; 3 λ = B0 0 0C λ = B0 0 0 C i 2 @ A 4 2 @ A 5 2 @ A 0 0 0 1 0 0 i 0 0 00 0 01 00 0 0 1 01 0 0 1 1 1 1 λ6 = B0 0 1C λ7 = B0 0 −iC λ8 = p B0 1 0 C 2 @ A 2 @ A 2 3 @ A 0 1 0 0 i 0 0 0 −2 5 It's easy to see that [λi; λj] = iijkλk for i; j; k = 1; 2; 3. This is also the algebra of su(2). Therefore su(2) is a subalgebra of su(3). 2.1 Cartan subalgebra Cartan Subalgebra - A Cartan Subalgebra h, is the maximal commuting subalgebra of a Lie algebra g. Namely, 1. 8H1;H2 2 h ; [H1;H2] = 0. 2. If X 2 g and [X; H] = 0 for all H 2 h, then X 2 h. Example -su(3) The Cartan subalgebra of su(3) can be chosen as 01 0 01 01 0 0 1 1 1 λ3 = B0 −1 0C λ8 = p B0 1 0 C 2 @ A 2 3 @ A 0 0 0 0 0 −2 All Cartan subalgebras of g have the same dimension. We define the rank of an algebra to be the dimension of its Cartan subalgebra. 2.1.1 Casimir operator A Casimir operator is an operator (in the enveloping algebra) that commutes 2 2 2 2 with all members of the algebra. For example, J = Jx +Jy +Jz is a Casimir of su(2). The number of Casimirs is equal to the rank of the algebra. 6 3 Roots and Weights The philosophy of Roots and weights is to give a geometrical interpretation to a minimal (to be defined later) number of generators, and then by using this geometrical interpretation to construct the whole algebra, and to construct all irreps. of the group. 3.1 Weights Recall that any number of commuting linear operators is simultaneously diag- onalizable, thus we can choose a basis in which all of the Hi are diagonalized. In this basis their action on the states of some irrep of dim − D is Hi jµ, Di = µi jµ, Di : (23) • The entries µi are the weights. Since Hi are hermitian µi 2 R. • The vector µ is called the weight vector. It's a real vector of length M. • We have D of those. • In different irreps we will get different weight vectors. 3.2 Roots The weights of the adjoint representation are called Roots. 1. We choose an orthonormal basis for the Cartan states −1 hHijHji = λ tr(HiHj) = δij: (24) 2. The Cartan generators have zero roots since Hi jHji = j[Hi;Hj]i = 0: (25) 7 3. The other states of the adjoint, those not corresponding to the Cartan, have non-zero roots. Hi jEαi = αi jEαi ) [Hi;Eα] = αiEα: (26) α is called the root vector. 4. Since α is real y y y Hi;Eα = −αiEα ) Eα = E−α: (27) It means that in the basis where the Cartan generators are diagonal, the rest of the generators are no longer hermitian! As we will see, E±α will play the role of J ± in SU(2). 5. Since Eα are not hermitian we defined their inner product as −1 y hEαjEβi = λ tr(EαEβ) = δαβ: (28) 6. The state Eα jE−αi has zero root. Therefore [Eα;E−α] is in the Cartan [Eα;E−α] = βiHi (29) By using orthonormality of the Cartan generators we can calculate βi −1 −1 βi = hHijEαjE−αi = λ tr (Hi [Eα;E−α]) = λ tr (E−α [Hi;Eα]) = αi So we conclude that [Eα;E−α] = αiHi: (30) 8.