In the Weyl representation of the gamma matrices,
A Lorentz transformation acts as with . In this basis a boost is block diagonal and gives and .
For boosts, the two exponentials cancel in ; for rotations, the unitary rotation and its inverse cancel. Hence this bilinear is a Lorentz scalar. The Pauli matrices obey the identity
shows that acquires the right-handed boost matrix and the usual rotation matrix, so it is right-handed.
For , a Dirac spinor and vector field transform as
where . Hence the spinor terms and are Lorentz scalars. The Maxwell term is real. Integration by parts and show that the adjoint of differs from it by . Finally, is Dirac-Hermitian, so the real coefficient makes the Pauli bilinear real. Thus the action is real.
The antisymmetric transforms as a Lorentz tensor, so its complete contraction
is a Lorentz scalar. Hence
Parts ii and v give . It therefore commutes with every generator of the Super-Poincaré algebra and is a Casimir element, called the superspin Casimir.