TransWikia.com

Is fermion mass Lagrangian term imaginary instead of real?

Physics Asked on January 29, 2021

This seems to be an absurd question, but bear with me.

In quantum field theory, the Dirac fermion mass Lagrangian term reads
$$
mbarpsi psi = m(barpsi_L psi_R + barpsi_R psi_L) = m(psi_L^dagger gamma_0psi_R + psi_R^dagger gamma_0psi_L)
$$

Assuming this fermion mass Lagrangian term is used as the integrand (in the exponential) in functional integral formalism of Dirac-fermion-related QFT, in the following we will regard $psi$ components as anti-commuting Grassmann variables given the anti-symmetric nature of the fermions, rather than classical commuting complex variables.

Note that $m$ is supposed to be real throughout this post. The question here is about whether the mass Lagrangian term $mbarpsi psi$ is real or imaginary, not about $m$ parameter itself. (Note that there could be legitimate pseudscalor mass term as in $mbar{psi} igamma_5psi$. But we will not discuss about pseudscalor mass in the current post. The interested readers can see here for more details.)

However, if you look under the hood of the familiar mass term $mbarpsi psi$, there are some surprises lurking around. Let’s look at a simple example in the Weyl basis
$$
psi = (xi, 0, chi, 0)^T
$$

where $xi$ and $chi$ are real Grassmann numbers ($xi^*= xi$, $chi^*= chi$, they are not 2 component columns). In the Weyl basis, $(xi, 0)^T$ and $(chi, 0)^T$ represent left ($psi_L$) and right ($psi_R$) handed part of the Dirac spinor, respectively.

Let’s calculate the mass term:
$$
mbarpsi psi = m(psi_L^dagger gamma_0psi_R + psi_R^dagger gamma_0psi_L)
= m(xi^*chi + chi^*xi) = m(xichi + chixi) = 0
$$

Oops, it’s identical to zero since $xi$ and $chi$ are anti-commuting Grassmann numbers! Note that the $gamma_0$ matrix just flip the left-handed components to the right-handed components and vice versa in the Weyl basis.

Now, let’s tweak the the trial spinor to make one of its component imaginary Grassmann (multiplying $chi$ by an $i$)
$$
psi = (xi, 0, ichi, 0)^T
$$

Low and behold (I will omit the $m$ parameter hereafter):
$$
barpsi psi = psi_L^dagger gamma_0psi_R + psi_R^dagger gamma_0psi_L
= xi^*(ichi) + (ichi)^*xi = ixichi – ichixi = 2ixichi neq 0
$$

The mass term is non-zero.

The remarkable and weird feature is that the mass term is imaginary with an $i$!

The interested reader can try all sorts of $psi$ configurations in any representation (Weyl basis or not), and you will end up with the same result of imaginary mass. Any efforts of building a real mass term will be a wild goose chase, since the $psi_L^dagger gamma_0psi_R$ portion will always cancel out the $psi_R^dagger gamma_0psi_L$ portion.

Let’s double check whether the imaginary mass term is Hermitian:
$$
(2ixichi)^dagger = -2 ichi^*xi^* = -2ichixi = 2ixichi
$$

So the Hermitian property is secured.

On the other hand, a real mass term (if it existed)
$$
(2xichi)^dagger = 2 chi^*xi^* = 2chixi = -2xichi
$$

would be non-Hermitian.

The key point here is that the Hermitian operator is by definition
$$
(AB)^dagger = B^dagger A^dagger
$$

Note that there is NO minus sign, even if both $A$ and $B$ are Grassmann odd. (As a side note, transpose is defined as: $(AB)^T = -B^T A^T$, if $A$ and $B$ are Grassmann valued. Note that there is a minus sign! See here.)

At the end of the day, physicists seem not troubled by the imaginary nature of the mass term as long as it’s Hermitian. I have to underscore (in response to @octonion’s comments) that being Hermitian and being real are two disparate notions.

You might wonder why the imaginary mass is not mentioned in the usual text books. It’s because when we deal fermions, the common practice is to use complex Grassmann numbers
$$
xi = xi_1 + ixi_2
chi = chi_1 + ichi_2
$$

where $xi_1$, $xi_2$, $chi_1$, and $chi_2$ are real Grassmann numbers

And thus the mass term of $psi = (xi, 0, chi, 0)^T$ is
$$
barpsi psi = psi_L^dagger gamma_0psi_R + psi_R^dagger gamma_0psi_L
= xi^*chi + chi^*xi
$$

the imaginary nature is hidden in plain sight. Only when we write out the explicit terms
$$
xi^*chi + chi^*xi = (xi_1 + ixi_2)^*(chi_1 + ichi_2) + (chi_1 + ichi_2)^*(xi_1 + ixi_2) = 2i(xi_1chi_2 + chi_1xi_2)
$$

the imaginary mass is manifest.


Added note in response to the wrong answer below (by @alexarvanitakis) saying that "The signs and/or presence of factors of i in fermion lagrangians is somewhat superfluous and convention dependent".

Of course, one can have a Dirac Lagrangian with no $i$. For example, one can simply changing the metric from (+, -, -, -) to (-, +, +, +), see more details here. However, using what ever convention you choose, you still end up with a imaginary mass term! This is because that each column element of the Dirac wave function is valued in complex Grassmann space. Whereas a real Grassmann valued Dirac wave function will imply zero mass.

The wrong answer further says that "For example you can work with a convention where complex conjugation does not reverse the order of a product of fermions which changes radically the appearances of factors of i".

Please note that in deriving the imaginary mass above, there is no reverse invoked for any product of fermions. So the mass term is still imaginary. The only place the complex conjugation convention in reverse of a product of fermions is relevant is the proof that the mass term is Hermitian, albeit imaginary. If one takes the wrong answer’s convention, the mass term will be both non-Hermitian and imaginary!

Additionally, the wrong answer says that "You instead want to look at the Klein-Gordon equation satisfied by the fermion field…You need to correlate the sign of $m^2$ with the convention for the gamma matrices so that the above operator does not admit tachyonic-type solutions."

I am talking about $mbarpsi psi$ being imaginary, not $m$ being imaginary. The wrong answer’s proof of $m$ being real (or $m^2$ being positive) is totally irrelevant to the question here!

2 Answers

The signs and/or presence of factors of $i$ in fermion lagrangians is somewhat superfluous and convention dependent. (For example you can work with a convention where complex conjugation does not reverse the order of a product of fermions which changes radically the appearances of factors of $i$. Most of the time this is not a convention you want to use though.)

You instead want to look at the Klein-Gordon equation satisfied by the fermion field. Assume your fermion EOM is $$ (gamma^mu{partial_mu}+m)psi=0 $$ Then it follows that $$ (gamma^mu{partial_mu}+m)^2psi=0implies left(frac{1}{2}{gamma^mu,gamma^nu}partial_mupartial_nu +m^2right) psi=0 $$ so the equation of motion for the fermion implies also a Klein-Gordon type equation for each of the components of $psi$. You need to correlate the sign of $m^2$ with the convention for the gamma matrices so that the above operator does not admit tachyonic-type solutions.

Answered by alexarvanitakis on January 29, 2021

I am going to consider the problem in $d=0+1$ dimensions to simplify the notation. For higher $d$ the discussion is identical except that you also include momentum modes, which are not relevant to the question.

Take a free Dirac fermion. The most general lagrangian is $$ L=ipsi^daggerdotpsi+mpsi^daggerpsi $$ This lagrangian is hermitian iff $minmathbb R$.

The associated hamiltonian, obtained by the usual (constrained) Legendre transform, is $$ H=mpsi^daggerpsi $$ This is an hermitian operator, naturally.

The quantum theory is obtained by canonical quantization, giving the (again, constrained) Dirac-Poisson brackets $$ {psi,psi}={psi^dagger,psi^dagger}=0,qquad{psi,psi^dagger}=1 $$

The Hilbert space is two-dimensional: $$ |0ranglequadtext{and}quadpsi^dagger|0rangle $$ where the vacuum $|0rangle$ is defined as $$ psi|0rangle=0 $$ It is trivial to compute the action of the Hamiltonian on these states, with the result $$ mpsi^daggerpsi=begin{pmatrix}0&0&mend{pmatrix} $$ (with respect to the basis $|0rangle$, $psi^dagger|0rangle$).

We learn several lessons:

  • In this basis, the mass term is real and hermitian.

  • In other bases, the mass term is still hermitian but need not remain real. In an arbitrary basis $mpsi^daggerpsi=Ubegin{pmatrix}0&0&mend{pmatrix}U^dagger$ for some unitary $U$.

  • There is no basis-independent notion of being real. Only hermiticity is basis independent. And the mass term is definitely hermitian, almost by definition (thou shall always take a hermitian lagrangian).


In higher $d$ the result is the same, except that there are some extra gamma matrices, and the Hilbert space is obtained by acting with the momentum modes $psi_{vec k}$ on the zero-modes. This does not change the fact that the mass term is hermitian, and that it is meaningless to ask whether it is real.

Answered by AccidentalFourierTransform on January 29, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP