SR and LT (Read the above for a recap of Special Relativity and Lorentz Transformations)

  • Scalars Similarly, and therefore, \partial_\mu\phi(x)\partial^\mu\phi(x)=\partial_\mu\phi(x)\partial_\nu\phi(x)g^{\mu\nu}\rightarrow \Lambda^\rho_\mu\partial_\rho\phi'(x')\Lambda^\sigma_\nu\partial_\sigma\phi'(x')g^{\mu\nu}$$$$=\partial_\rho\phi(x)\partial_\sigma\phi(x)\Lambda^\rho_\mu\Lambda^\sigma_\nu g^{\mu\nu}=\partial_\rho\phi(x)\partial_\sigma\phi(x)g^{\rho\sigma} so that the Lagrangian transforms simply as a scalar, and theKlein-Gorden equation is also invariant.

  • Vectors A^\mu(x)\rightarrow A'^\mu(x')=\Lambda^\mu_\nu A^\nu(x)$$$$F^{\mu\nu}(x)\rightarrow F'^{\mu\nu}(x')=\Lambda^\mu_\rho\Lambda^\nu_\sigma F^{\rho\sigma}(x)

  • Fermions where a,b = 1,…,4 denote the components of the Dirac Spinor and D(Λ) is 4x4 matrix in Dirac space. is the spinor representation of the LT D(Λ). How does the Dirac matrices transform? Now, from Dirac algebra,

  • Invariance of the Dirac equation Under a LT, (i\gamma^\mu\partial_\mu-m)\Psi(x)\rightarrow(i\gamma^\mu\Lambda^\nu_\mu\partial_\nu-m)\Psi'(x')=(i\gamma^\mu\Lambda^\nu_\mu\partial_\nu-m)\Lambda_\tfrac{1}{2}\Psi(x')$$$$=\Lambda_\tfrac{1}{2}\Lambda_\tfrac{1}{2}^{-1}(i\gamma^\mu\Lambda^\nu_\mu\partial_\nu-m)\Lambda_\tfrac{1}{2}\Psi(x')=\Lambda_\tfrac{1}{2}(i\underbrace{\Lambda_\tfrac{1}{2}^{-1}\gamma^\mu\Lambda_\tfrac{1}{2}}_{\Lambda^\mu_\sigma\gamma^\sigma}\Lambda^\nu_\mu\partial_\nu-m)\Psi(x')$$$$=\Lambda_\tfrac{1}{2}(i\Lambda_\sigma^\mu\gamma^\sigma\Lambda^\nu_\mu\partial_\nu-m)\Psi(x')=\Lambda_\tfrac{1}{2}(i\gamma^\sigma\partial_\sigma-m)\Psi(x')=0 In other words, the Dirac equation is Lorentz Invariant.

  • What is Ŝ? Weyl basis for Dirac matrices

    In the Weyl Representation, \hat{S}^{0i}=\frac{i}{4}[\gamma^0,\gamma^i]=-\frac{i}{2}\begin{pmatrix}\sigma_i&0\\0&-\sigma_i\end{pmatrix}$$$$\hat{S}^{ij}=\frac{i}{4}[\gamma^i,\gamma^j]=\frac{1}{2}\epsilon^{ijk}\begin{pmatrix}\sigma_k&0\\0&\sigma_k\end{pmatrix} The LT is not unitary because although the rotation generators are Hermitian, the boost generators are not. Hence, we define where such that