Fys3120: On the LORENTZ GROUP DEFINITION OF A GROUP: A group G = gi is a set (collection of elements) with the following properties: { } * multiplication such that gigj G ; * ∃ a unity element g = 1 such that∈ g g = g g = g ; ∃ 0 i 0 0 i i * (g1g2) g3 = g1 (g2g3) (Associative law) * an inverse· (g )·−1 for all g G ∃ i i ∈ LIE GROUPS In theoretical physics one most often need to study continuous groups, called Lie groups. A Lie group is a group where the elements are functions of continuous parameters: g(α1, α2, ...., αn) , (1) where all αi might be chosen real. Important groups are for instance U(1) = eiα ; α R , (2) ∈ n o i.e. the collection of all phase factors, and SU(n)= U = n n matrix (n =2, 3, ..) ; U C , U †U = 1 , detU =1 × kl ∈ n (3)o Here R is the set of all real numbers, C is the set of all complex numbers, and k and l run from 1 to n. One may show that the group elements of SU(n) have (n2 1) inde- − pendent real parameters. later we will use the group SU(2) to study three- dimensional rotations. THE LORENTZ GROUP Most often, we think of a Lorentz transformation as a boost (special Lorentz transformation) along an axis, for instance the x-axis, with the fol- lowing relations between the following position and time coordinates: x′ = γ (x v t) , t′ = γ (t v x/c2) ; γ = (1 v2/c2) , (4) − − − between the inertial frames S and S′. The easiest way to obtain the trans- formations in (4) might be the following: First we write down the relations x′ = γ (x v t) ; x = γ (x′ + v t′) , (5) − where γ is an unknown constant. Here we have assumed that the relations between the position and time coordinates are linear (A linear movement in one inertial frame is also linear in another frame.) Further, x′ must be 1 proportional to (x vt) because the origo x′ = 0 of S′ is moving with constant velocity v in− the frame S,- i.e. x′ = 0 must imply (x v t) = 0. − Then this plus linearity implies the first equation in (5). The second equation in (5) follows from the symmetry of the problem: The frame S moves with velocity ( v) with respect to S′. Next we consider a light signal travelling − to the right, starting at time t = t′ = 0 in both frames (the clocks in S and S′are assumed to be synchronized when they pass each other at x = x′ = 0 and t = t′ = 0). Then we use the postulate that the velocity of light is the same in both frames, such that x = c t ; x′ = c t′ . (6) From the equations in (5) and (6) one easily finds the value for γ and t′ in equation(4). But Lorentz transformations are defined much wider than in (5). Lorentz transformations are all coordinate transformations which conserve the quadrate µ µ 2 2 2 of a four vector x , i.e. conserve x x x xµ = (~x) c t , where 0 · ≡ − 2 x = x0 = c t. Among such are also rotations (which conserve (~x) sepa- rately)− a subgroup. We will first discuss the Rotation group,- and afterwards study the boosts. The rotation group A 3-dimensional rotation may be expressed as: x x′ = R x . (7) i → i ij j Here and hereafter sum over repeated indices is understood. (Einstein’s sum convention). The matrix R has the property that the length of the position vector is conserved under the transformation: (x~′)2 = (~x)2 . (8) The rotation group may be considered to be the set of all 3 3 matrices R where the inverse R−1 is the same as the transpose RT : × O(3) = R ; R R ; RT R = 1 . (9) kl ∈ · n o Simple spesial cases are rotations R~n(φ) an angle φ around (the same) axis ~n (where ~n = 1), for example around the x-, y-, or the z-xis: | | 1 0 0 c 0 s c s 0 φ − φ φ φ R = 0 c s , R = 01 0 , R = s c 0 (10) x φ φ y z − φ φ 0 s c s 0 c 0 01 φ φ φ φ − where cφ cosφ og sφ sinφ. Rotations which are continous with the unit element (as≡ the transformations≡ in (10)) are in the group SO(3), different from O(3) which also contains space invertion, ~x ~x. → − 2 Rotations around an axis ~n constitute a subgroup R (φ ) R (φ ) = R (φ + φ ) , (11) ~n 1 · ~n 2 ~n 1 2 which follows from cosφ cosφ sinφ sinφ = cos(φ + φ ) , 1 2 − 1 2 1 2 cosφ1 sinφ2 + sinφ1 cosφ2 = sin(φ1 + φ2) . (12) Such rotations about the same axis commute with each other and we say that they constitute an Abelian sub-group. In general, rotations around different axes will not commute. Lorentz transformations A Lorentz transformation of a four vector xµ =(x0, ~x) is in analogy with (7) given by xµ x′µ = Lµ xν , (13) → ν where (x′)2 x′µx′ = xµx x2 L µLα = gµ (L−1) ν = Lν . (14) ≡ µ µ ≡ ⇒ α ν ν ⇒ µ µ The Lorentz-group may be intepreted as the set of all 4 4 matrices where × the inverse is equal to its transpose: O(3, 1) = L ; Lµ R ; LT L = 1 , (15) L ≡ ν ∈ · n o Special cases are the boosts L~e(χ) an hyperbolic angle χ along an axis, for instance the x-, y-, or z -axis: c s 0 0 c 0 s 0 c 0 0 s χ − χ χ − χ χ − χ sχ cχ 0 0 0 1 0 0 0 10 0 Lx = − , Ly = , Lz = (16) 0 0 10 sχ 0 cχ 0 0 01 0 − 0 0 01 0 0 0 1 s 0 0 c χ χ − where c coshχ og s sinhχ, and further χ ≡ χ ≡ coshχ = γ = (1 β2)−1/2 ; sinhχ = βγ, β v/c , (17) − ≡ where v is the speed for the boost and c is the speed of light. Transformations which exclude space and time inversion are within the more restictive group SO(3, 1). For boosts along the same axis along ~e is L (χ ) L (χ ) = L (χ + χ ) , (18) ~e 1 · ~e 2 ~e 1 2 Which follows from addition of hyperbloic angles. coshφ1 coshχ2 + sinhχ1 sinhχ2 = cosh(χ1 + χ2) , coshχ1 sinhχ2 + sinhχ1 coshχ2 = sinh(χ1 + χ2) . (19) 3 The speed v for the total boost corresponding to the hyperbolic angle χ = χ1 + χ2 will be β + β v + v v = c β = c tanh(χ + χ ) = c 1 2 = 1 2 (20) · · 1 2 1+ β β 1+ v v /c2 1 · 2 1 2 Boosts along the same axis commute (They constitute an Abelian sub group). In general, boosts along different axes will not commute. The set of all boosts is not a group in the mathematical sense, that is, the product of two boosts is not a pure boost. Rotations constitute (in the matematical sense) a sub-set of the Lorenzt- group. As 4 4 matrices, they are given by × 0 0 k k k L 0 =1 , L k = L 0 = 0 , L l = R l = Rkl (21) Lie Algebra The group elements in a Lie group may be written X = exp i αk Mk , (22) ( ) Xk where αj ; j =1, 2, ..., N is a set real parameters. and the generators ∂X M = i , (23) k − ∂α k !{αj =0} satisfiy a Lie algebra (sum over m is understood): [Mk , Ml] = ifklmMm , (24) where fklm is a set coefficients (structure constants of the group) completely antisymmetric in the indices klm. If Mk is a set of generators for a group, we may obtain a new set of generators{ } M ′ (-which also satisfies the Lie algebra in (24)) by means of a { k} similarity transformation: M M ′ = S M S−1 , (25) k → k k where S is an n n matrix (with existing inverse). Because × X = eY detX = eTrY , (26) ⇒ we obtain from (when) detX = 1 that T rMk = 0 , (27) for all k =1, 2, ..., N. 4 Lie-algebra for the rotation group We find the generators for the rotation group from the expression for an infinitesimal rotation around an axis along the unit vektor ~n: R (δφ) = 1 + δφ i ~n J~ + ((δφ)2) (28) ~n · O From this we obtain the generators for rotations around the x, y- and the z-axis: 00 0 0 0 i 0 i 0 − J1 = 0 0 i ,J2 = 0 00 ,J3 = i 0 0 (29) 0 i −0 i 0 0 0 0 0 − which can also be written: . (J ) = iε , (30) k ln − kln which gives the well known algebra which is the same as for angular momenta h¯J~: [Jk ,Jl]= iεkln Jn . (31) A rotation around the unit vector ~n may be written: R = exp(iφ ~n J~) = 1 + i sinφ ~n J~ +(cosφ 1)(~n J~)2 (32) · · − · where we have expanded the exponential function , used (~n J~)3 = ~n J~ , (33) · · and then summed the series. The above expressions for Ji are not those usually used in quantum me- chanics, where one most often uses the spherical notation with a diagonal s J3 = J3 , which can be obtained by means of a transformations as in (25): 0 1 0 0 i 0 10 0 1 1 − J s = 1 0 1 ,J s = i 0 i ,J s = 00 0 ,(34) 1 √ 2 √ 3 2 0 1 0 2 0 i −0 0 0 1 − which will also satisfy the Lie-algebra.