# Lorentz generators algebra

1. Nov 19, 2013

### spookyfish

The Lorentz group generators, in any representation, satisfy the commutation relation

$$[S^{\mu \nu}, S^{\rho \sigma}] = i \left( g^{\nu \rho}S^{\mu \sigma} -g^{\mu \rho} S^{\nu \sigma} -g^{\nu \sigma}S^{\mu \rho} +g^{\mu \sigma} S^{\nu \rho} \right)$$

and the Lorentz transformation is

$$\Lambda=\exp(-i \omega_{\mu \nu} S^{\mu \nu}/2)$$

My question is: is it possible to prove the formula for the generators (the first formula I wrote), from the definition of the Lorentz group

$$\Lambda^T g \Lambda =g$$

2. Nov 21, 2013

### Bill_K

Not quite what you're asking for, but Eq.(8)-(10) of this paper gives a quick derivation.

3. Nov 21, 2013

### dextercioby

For infinitesimal transformations you can linearize the exponential and get the particular value of the generators as 4X4 matrices (you get the generators in the fundamental representation of the Lorentz group). Then compute the commutator and represent it as a linear combination of the metric.

4. Nov 21, 2013

### Bill_K

Can you do this without writing out the 4 x 4 matrices explicitly?

5. Nov 23, 2013

### dextercioby

Well, you get a particular form of M_mu nu in terms of metric tensor and delta mu nu.

6. Dec 3, 2013

### spookyfish

Thanks for the replies. I have not seen any replies for a few days, and I thought I wouldn't get ones so I stopped looking.

Yes, but they derive it in the (1/2,1/2) representation, and I want a proof for an arbitrary representation.

I was trying to do this. I found the following lecture notes:
http://www.damtp.cam.ac.uk/user/ho/GNotes.pdf
Eqs. (4.26)-(4.32) are exactly what I was looking for, but I wasn't able to follow all of the derivation. Perhaps people here can help.

In Eq. (4.27) I substitute
$${{\Lambda_1}^\mu}_\nu={\delta^\mu}_\nu+{{\omega_1}^\mu}_\nu\\ {{\Lambda_2}^\mu}_\nu={\delta^\mu}_\nu+{{\omega_2}^\mu}_\nu\\ {({\Lambda_1}^{-1})^\mu}_\nu={\delta^\mu}_\nu-{{\omega_1}^\mu}_\nu\\ {({\Lambda_2}^{-1})^\mu}_\nu={\delta^\mu}_\nu-{{\omega_2}^\mu}_\nu$$
when I multiply them together as in the LHS of Eq. (4.27) I don't get the RHS.

Also, when I substitute Eq. (4.29) and the line after that, into Eq. (4.30), the multiplication of the 4 terms
$$U[{\Lambda_2}^{-1}]U[{\Lambda_1}^{-1}]U[\Lambda_2]U[\Lambda_1]$$
does not give me the last line of Eq. (4.30).

Thanks for any help.

7. Dec 3, 2013

### Bill_K

No, they only use the definition of the Lorentz group as the rotation group in Minkowski space.

8. Dec 4, 2013

### spookyfish

Any relation to my last question?