Representation of Lorentz Group

This section introduces some very basic representation theory of Lorentz Group. In fact, the representation theory of Lorentz Group can be abundant, and here we only care about the non-trivial and pragmatic parts, namely the spinor representation and vector representation.

Note

Before Continuing, you need to cover at least Basic Group Theory.

Usually, a Lorentz transformation can be divided to boost and rotation. The boost along the \(x\)-axis can be written as

\[\begin{split}K_x = \left[ \begin{matrix} \mathrm{ch}\lambda & \mathrm{sh}\lambda & 0 & 0\\ \mathrm{sh}\lambda & \mathrm{ch}\lambda & 0 & 0\\ 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 1 \end{matrix} \right]\end{split}\]

where \(\mathrm{ch}\lambda\) is the hyperbolic cosine and \(\mathrm{sh}\lambda\) is the hyperbolic sine. It is easy to verify that this is equivalent to the normal form of Lorentz transformation once notice that \(\mathrm{ch}\lambda = \gamma, \mathrm{sh}\lambda = \gamma v, \mathrm{th}\lambda = v\). Also, for the rotation along the \(z\)-axis, we have

\[\begin{split}J_z = \left[ \begin{matrix} 0 & 0 & 0 & 0\\ 0 & \cos\eta& \sin\eta & 0\\ 0 & -\sin\eta & \cos\eta & 0\\ 0 & 0 & 0 & 1 \end{matrix} \right]\end{split}\]

which should be familiar to all. You should be able to write down the boosts and rotations along the other axis. All the Lorentz transformation can be formed by these boosts and rotations.

We now want to find out the generators of the above boost. According to the form of infinitesimal transformation, the generator should be the first order derivative of the transformation at identity point, namely

\[\begin{split}\vec K_x = \left.\frac{\partial K_x}{\partial\lambda}\right|_{\lambda=0} = \left[ \begin{matrix} 0 & 1 & 0 & 0\\ 1 & 0 & 0 & 0\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 \end{matrix} \right]\end{split}\]

You are encouraged to write down the generators for the other boosts and rotations. Moreover, you can also calculate explicitly \(\exp\{\lambda\vec K_x\}\) as described in Basic Group Theory and verify that it equals \(K_x(\lambda)\).

Now that we have the generators, the infinitesimal transformation will have the form

\[1 + \eta_x\vec K_x + \eta_y \vec K_y + ...\]

To simplify the formulation, we introduce a anti-symmetric lists of matrix \(L_{ab}\) as

\[\begin{split}L_{01} &= -L_{10} = \mathrm{i}\vec K_x,\ \ \ L_{02} = -L_{20} = \mathrm{i}\vec K_y,\ \ \ L_{03} = -L_{30} = \mathrm{i}\vec K_z\\ L_{12} &= -L_{21} = \mathrm{i}\vec J_z,\ \ \ L_{23} = -L_{32} = \mathrm{i}\vec J_x,\ \ \ L_{13} = -L_{31} = \mathrm{i}\vec J_y\\\end{split}\]

Note

Anti-symmetric means \(L_{ab} = -L_{ba}\), which implies the diagonal elements \(L_{ii} = 0\).

Therefore, the infinitesimal transformation is simplified to

\[1 - \frac{1}{2}\mathrm{i}\epsilon^{ab}L_{ab}\]

where \(\epsilon^{ab}\) is the corresponding parameters (\(\epsilon^{01} = \eta_x\) for example), and it is also anti-symmetric. The \(1/2\) is necessary because we need to eliminate the factor \(2\) in \(\epsilon^{01}L_{01} + \epsilon^{10}L_{10} = 2\epsilon^{01}L_{01}\).

Consequently, all Lorentz transformation can be written under the form

\[\varLambda(\epsilon) = \exp\{-\frac{1}{2}\mathrm{i}\epsilon^{ab}L_{ab}\}\]

This formula is called the vector representation of the Lorentz Group. This is the default representation for the tetrad.

Note

Rigorously speaking, the representation should be a map from the group element to the automorphism of a vector space. Thus, the above equation should be viewed as a map to map the group element (LHS) to an automorphism (RHS).

As we know, the generators \(L_{ab}\) can be viewed as a “basis” of the Lorentz group. However, this is not the only “basis”. Next, we are going to find out another one.

Before continuing, let’s first define four matrices \(\gamma_a, a=0,1,2,3\) that satisfy

\[\{\gamma_a, \gamma_b\} = \gamma_a\gamma_b + \gamma_b\gamma_a = -2\eta_{ab}\]

where \(\eta_{ab}\) is the Minkowski metrics. Then, we would like to point out that the following matrices are also generators of Lorentz group

\[S_{ab} = \frac{1}{4}\mathrm{i}[\gamma_a, \gamma_b]\]

Note

Why? Well, we are not able to explain now since it needs Lie algebra theory. Go and find a reference about Lie algebra if you really wonder why.

Therefore, we can express the Lorentz transformation as

\[\varLambda(\epsilon) = \exp\{-\frac{1}{2}\mathrm{i}\epsilon^{ab}S_{ab}\}\]

This formulation is called spinor representation of the Lorentz group.

Finished. But I do want to add that the representation theory of Lorentz group is quite a enchanting theory. So I suggest a careful review on this theory if you are able. It will greatly deepen your understanding through the algebraic structure of the physical field.