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
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
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
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
To simplify the formulation, we introduce a anti-symmetric lists of matrix \(L_{ab}\) as
Note
Anti-symmetric means \(L_{ab} = -L_{ba}\), which implies the diagonal elements \(L_{ii} = 0\).
Therefore, the infinitesimal transformation is simplified to
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
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
where \(\eta_{ab}\) is the Minkowski metrics. Then, we would like to point out that the following matrices are also generators of Lorentz group
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
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.