Verifying Lorentz Algebra with Clifford/Dirac Algebra

[Onamor]

Paraphrasing Peskin and Schroeder:

By repeated use of
$\left\{ \gamma^{\mu} , \gamma^{\nu} \right\}= 2 g^{\mu\nu} \times \textbf{1}_{n \times n}$ (Clifford/Dirac algebra),
verify that the n-dimensional representation of the Lorentz algebra,
$S^{\mu \nu}=\frac{i}{4}\left[\gamma^{\mu},\gamma^{\nu}\right]$,
satisfies the commutation relation
$\left[J^{\mu \nu},J^{\rho \sigma}\right]=i\left(g^{\nu \rho}J^{\mu \sigma}-g^{\mu \rho}J^{\nu \sigma}-g^{\nu \sigma}J^{\mu \rho}+g^{\mu \sigma}J^{\nu \rho}\right)$.

I've tried many lengthy computations and always seem to be missing something.
Most obvious thing to try is just
$\left[S^{\mu \nu},S^{\rho \sigma}\right]=S^{\mu \nu}S^{\rho \sigma}-S^{\rho \sigma}S^{\mu \nu}=\frac{-1}{16}\left(\left[\gamma^{\mu},\gamma^{\nu}\right]\left[\gamma^{\rho},\gamma^{\sigma}\right]-\left[\gamma^{\rho},\gamma^{\sigma}\right]\left[\gamma^{\mu},\gamma^{\nu}\right]\right)$
$=\frac{-1}{16}\left(\left(\gamma^{\mu}\gamma^{\nu}-\gamma^{\nu}\gamma^{\mu}\right)\left(\gamma^{\rho}\gamma^{\sigma}-\gamma^{\sigma}\gamma^{\rho}\right)-\left(\gamma^{\rho}\gamma^{\sigma}-\gamma^{\sigma}\gamma^{\rho}\right)\left(\gamma^{\mu}\gamma^{\nu}-\gamma^{\nu}\gamma^{\mu}\right)\right)$
$=\frac{-1}{16}\left( \gamma^{\mu} \gamma^{\nu} \gamma^{\rho} \gamma^{\sigma} - \gamma^{\mu} \gamma^{\nu} \gamma^{\sigma} \gamma^{\rho} - \gamma^{\nu} \gamma^{\mu} \gamma^{\rho} \gamma^{\sigma} + \gamma^{\nu} \gamma^{\mu} \gamma^{\sigma} \gamma^{\rho} - \gamma^{\rho} \gamma^{\sigma} \gamma^{\mu} \gamma^{\nu} + \gamma^{\rho} \gamma^{\sigma} \gamma^{\mu} \gamma^{\nu} + \gamma^{\sigma} \gamma^{\rho} \gamma^{\mu} \gamma^{\nu} - \gamma^{\sigma} \gamma^{\rho} \gamma^{\nu} \gamma^{\mu} \right)$

and then I've tried a few different commutation relations but to no avail.
Would be very grateful for any help in finishing this off.

 

[dextercioby]

This is indeed a difficult computation. You must cheat in a way, in the sense that you already know what the final answer looks like. So the the LHS with those 8 terms must lead to the RHS which has also 8 terms (4 times J, but each J has 2 times gammas). The g's will appear when you use the clifford algebra as

$$\gamma^{\mu}\gamma^{\nu} = 2g^{\mu\nu}-\gamma^{\nu}\gamma^{\mu}$$

So try to group the 8 terms of 4 gammas into the desired form according to how the J's indices occur in the RHS of what you're trying to prove.