Let's have Dirac mass term in lagrangian: $$ L_{M} = \bar{\Psi}\Psi $$ Lagrangian must be real-valued, i.e., its Hermitian conjugation doesn't change it. But due to Grassmann nature of spinor fields, $[\psi_{a}^{*}, \psi_{b}]_{+} = 0$, $$ L_{M}^{\dagger} = -\bar{\Psi}\Psi $$ Where I have made a mistake?
2 Answers
Taking the Hermitian conjugate reverses the order of the $\psi$'s. You have
$$ L_M^\dagger = \left( \bar{\psi}\psi\right)^\dagger = \left( \psi^\dagger \gamma^0\psi\right)^\dagger = \psi^\dagger{\gamma^0}^\dagger \psi = \psi^\dagger\gamma^0\psi = \bar{\psi}\psi = L_M \ , $$
where we use that $\gamma^0$ is Hermitian.
- 1,351
While the answer by @Clever is correct, it glosses over an important subtlety, namely the fact that when calculating $(\overline \psi \psi)^\dagger$ the exchange of the spinors happens via the complex conjugate and not via the transpose (as one might think)!
Therefore in the calculation of $(\overline \psi \psi)^\dagger$ one does not need to make use of the anticommutation relations, and there will be no minus sign in the result. Why? Because for Grassmann numbers $\theta_i$ the complex conjugate is defined such that it exchanges the order of the mutliplication:
$$ (\theta_1 \theta_2)^* := \theta_2^* \theta_1^*$$
This is standard for Grassmann variables because it ensures the product $\theta_1^* \theta_1$ being both real and not Grassmann. It allows us to see what is going on behind the scenes:
$$(\bar \psi \psi)^\dagger = (\bar \psi \psi)^* = (\psi^\dagger \gamma^0 \psi)^* = (\psi^*_i \gamma^0_{ij} \psi_j)^* = \psi_j^* (\gamma^0_{ij})^* \psi_i = \psi_j^* \gamma^0_{ji}\psi_i = \psi^\dagger \gamma_0 \psi = \bar \psi \psi$$
What happened?
- First we use the fact that for a number the $\dagger$ operation is the same as the complex conjugate
- Then we use the definition of $\bar \psi = \psi^\dagger \gamma^0$ and write out everything with spinor/Dirac indices
- Next we distribute the complex conjugate over the product and use the fact that this interchanges Grassmann numbers
- Then we use $(\gamma^0)^\dagger = \gamma^0$ in index notation
- Finally we rewrite everything with $\bar \psi $ and $\psi$
Side note: When computing transposes instead of adjoints of fermion bilinears one has to actually anticommute and generate a minus sign. This is needed e.g. in the context of Majorana spinors.
- 147