Скачать книгу

href="#fb3_img_img_68e73df5-0308-5b2b-adb7-7ffce475a736.png" alt="image"/>

      Rather, it is what is known as a semi-direct sum of the two algebras. (The general convention is to denote groups by capital letters while the algebras are represented by lower case letters.)

      Let us next come back to the homogeneous Lorentz group and note that the Lie algebra in this case is given by (4.30)

image

      We recall from (4.12), (4.26) and (4.27) that we can identify the angular momentum and the boost operators as

image

      Written out in terms of these generators, the Lorentz algebra takes the form

      where we have used (4.13) in the last relation.

      This is a set of coupled commutation relations. Let us define a set of new generators as linear superpositions of Ji and Ki as (this is also known as changing the basis of the algebra)

      which also leads to the inverse relations

      Parenthetically, let us note from the form of the algebra in (4.42) that we can assign the following hermiticity properties to the generators, namely,

      This unconventional hermiticity for Ji arises because, in choosing the coordinate representation for the generators, we have not been particularly careful about choosing Hermitian operators. As a consequence of (4.45), we have

image

      amely, the generators in the new basis are all anti-Hermitian. The opposite hermiticity property of the generators of boosts, Ki, (compared to Ji) is connected with the fact that such transformations are non-compact and, consequently, the finite dimensional representations of boosts are non-unitary (hence the opposite Hermiticity of Ki). However, infinite dimensional representations are unitary, as can be seen from the hermiticity of the generators in the coordinate basis, namely, if we define the generators with a factor of “i”,

      In the new basis (4.43), the Lorentz algebra (4.42) takes the form

      In other words, in this new basis, the algebra separates into two angular momentum algebras which are decoupled. Mathematically, one says that the Lorentz algebra is isomorphic to the direct sum of two angular momentum algebras,

image

      Incidentally, as we have already seen in the last chapter, the Lorentz group is double valued (doubly connected). Therefore, it is more meaningful to consider the simply connected universal covering group of SO(3, 1) which is image to describe the Lorentz transformations, much the same way we consider the universal covering group SU(2) of SO(3) to describe rotations.

      The finite dimensional unitary representations of each of the angular momentum algebras are well known. Denoting by jA and jB the eigenvalues of the Casimir operators A2 and B2 respectively for the two algebras, we have

      An irreducible nonunitary representation of the homogeneous Lorentz group, therefore, can be specified uniquely once we know the values of jA and jB and is labelled as D(jA,jB) (just as the representation of the rotation group is denoted by D(j)). Namely, this represents the operator implementing finite transformations on the Hilbert space of states or wave functions as

image

      where Λ represents the finite Lorentz transformation parameter. (Note that we can write D(jA,jB) = D(jA)D(jB), which is obvious in the first line of the following equation (4.52), since the operators Ai commute with Bi.) Explicitly, we can write (this is the generalization of the S(Λ) matrix that we studied in (3.37) in connection with the covariance of the Dirac equation)

      where the finite parameters of rotation and boost can be identified with

image

      Such a representation labelled by (jA, jB) will have the dimensionality (since it is a product representation)

      and its spin content follows from the fact that (see (4.44))

image

      Consequently, from our knowledge of the addition of angular momenta, we conclude that the values of the spin in a given representation characterized by (jA, jB) can lie between

      The first few low lying representations of the Lorentz group are as follows. For jA = jB = 0, we see from (4.54) and (4.56) that

image

Скачать книгу