It is the time to invoke our convention of indices here. In short, the Greek letter indices are the abstract or/and spacetime indices, Latin letter indices are specific, internal or ordinary indices.
Unlike to the Klein-Gordon equation, Dirac equation is an equation of spinor field. Under the requirement of Physics, the equation of spinor field should satisfy the following conditions - It can imply Klein-Gordon equation - It remains unchanged under the Lorentz transformation The first requirement is due to the fact that the Klein-Gordon equation will imply the relativistic energy-momentum relation. Historically, Dirac put forward the equation under the consideration of performing the formal square root of the Klein-Gordon equation. The Dirac equation reads
where \(\gamma_\mu = \gamma^a e_a^\mu\) and \(e_a^\mu\) is the tetrad. Next we briefly confirm that the equation does comply with the requirements.
It is easy to see that the first requirement is met once notice
The second condition requires
where \(\psi' = S\psi\), \(S\) is the matrix of spinor representation of Lorentz transformation and \(\psi\) satisfies the Dirac equation. This could be achieved if
We shall not prove the above identity but to provide a sketch of the proof. Since \(\gamma^\mu = \gamma^a e_a^\mu\), the above equation would require
This relation can be verified if take \(S\) and \(\varLambda\) to be infinitesimal transformation. And you will find the following trick useful
Next, we construct the Lagrangian of the spinor field. An intuitive construction is just to multiply the Dirac equation by the Hermitian conjugate \(\psi^\dagger\) of the spinor field
However, this Lagrangian is not invariant under the Lorentz transformation, since
The representation \(S\) is not necessarily unitary and thus \(S^\dagger S\) is not necessarily identity. Therefore, we construct the Dirac conjugate of spinor field as
and construct the Lagrangian as
Now you can verify that this Lagrangian is Lorentz invariant if notice
The theory of spinor field is somehow abundant, and this section only covers very basic conclusion about it. Therefore, you are suggested to refer to other textbooks about the Quantum Field Theory or spinor geometry for further information about spinor field theory.