2019-01-09 17:09:55 8 Comments

Every quantum field theory textbook I've encountered seems to have the same logical oversight, because of the particular order they cover topics.

First, the books introduce the Dirac Lagrangian, $$\mathcal{L} = \bar{\psi}(i \not\partial - m) \psi.$$ To compute the canonical momentum, we note that $$\mathcal{L} \supset \psi^\dagger \gamma^0 (i \partial_0 \gamma^0 \psi) = i \psi^\dagger \dot{\psi}$$ in mostly negative signature. Therefore, the canonical momentum is $$\frac{\partial \mathcal{L}}{\partial \dot{\psi}} = i \psi^\dagger.$$ One then goes on to perform canonical quantization.

Later, the books introduce the Majorana Lagrangian, which in Peskin and Schroeder (problem 3.4) has the form
$$\mathcal{L} = \chi^\dagger i \bar{\sigma} \cdot \partial \chi + \frac{im}{2} (\chi^T \sigma^2 \chi - \chi^\dagger \sigma^2 \chi^*).$$
The Majorana mass term vanishes at the classical level because $\sigma^2$ is an antisymmetric matrix. The only way out is to postulate that the two-component spinor $\chi$ is really a Grassmann variable, so that the two terms in the mass term have the same sign after anticommutation. It is usually stated that, in general, *every* spinor in a classical Lagrangian has to be a Grassmann number.

However, this contradicts the earlier treatment of the Dirac Lagrangian. If we treat $\psi$ as a Grassmann number, then we pick up a sign upon anticommuting the Grassmann derivative, so
$$\frac{\partial \mathcal{L}}{\partial \dot{\psi}} = \frac{\partial}{\partial \dot{\psi}} (i \psi^\dagger \dot{\psi}) = - i \psi^\dagger \frac{\partial}{\partial \dot{\psi}} \dot{\psi} = - i \psi^\dagger.$$
This extra negative sign completely changes the result of canonical quantization, e.g. it leads to a disastrous negative definite energy. The same problem seems to occur in problem 3.4 of Peskin. If one correctly accounts for the Grassmann sign flip when performing canonical quantization, then one arrives at anticommutation relations that are *opposite* those given in the problem.

I've searched through a stack of quantum field theory textbooks, and frustratingly, not one of them even mentions this apparent inconsistency, because they *all* cover the Majorana Lagrangian (and Grassmann numbers) after they've finished the Dirac Lagrangian, so there's no opportunity for this issue to come up. One could avoid this issue by saying that Grassmann numbers only appear in the path integral, but then it becomes impossible to canonically quantize the Majorana theory because the mass term vanishes, which seems even worse. What's going on here?

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] Why is the Dirac mass term Hermitian if Grassmann-valued fields anticommute?

**2015-08-28 05:26:54****Name YYY****201**View**1**Score**1**Answer- Tags: homework-and-exercises mass fermions dirac-equation grassmann-numbers

#### 0 Answered Questions

### A Naive Question about SUSY Variation

**2019-02-04 22:01:11****The Last Knight of Silk Road****34**View**1**Score**0**Answer- Tags: supersymmetry spinors variational-calculus majorana-fermions grassmann-numbers

#### 1 Answered Questions

### [SOLVED] Plugging Majorana Spinor into Dirac Lagrangian does not give Majorana Lagrangian?

**2018-09-16 04:49:44****user1379857****163**View**2**Score**1**Answer- Tags: quantum-field-theory dirac-equation majorana-fermions grassmann-numbers

#### 2 Answered Questions

### [SOLVED] Expansion of a Majorana field operator in creation and annihilation operators

**2017-07-15 19:45:08****Frederic Thomas****258**View**3**Score**2**Answer- Tags: quantum-field-theory spinors majorana-fermions

#### 1 Answered Questions

### [SOLVED] Complicated Lagrangian - checking Feynman rules

**2017-06-03 15:29:22****Spine Feast****557**View**6**Score**1**Answer- Tags: homework-and-exercises quantum-field-theory feynman-diagrams propagator

#### 1 Answered Questions

### [SOLVED] Spinor quantization: contradiction between covariant anticommutator and canonical rules?

**2017-03-14 14:58:53****M. M. R.****85**View**1**Score**1**Answer- Tags: homework-and-exercises quantum-field-theory fermions spinors second-quantization

#### 0 Answered Questions

### Lagrangian density for Majorana particles

**2017-01-21 12:14:56****MKO****382**View**1**Score**0**Answer- Tags: quantum-field-theory dirac-equation majorana-fermions

#### 1 Answered Questions

### [SOLVED] A question about the Dirac mass and Majorana mass

**2016-02-13 19:05:48****Wein Eld****435**View**1**Score**1**Answer- Tags: quantum-field-theory mass neutrinos dirac-equation majorana-fermions

#### 1 Answered Questions

### [SOLVED] Wrong sign anticommutation relation for the Dirac field?

**2015-05-31 12:41:35****John Fredsted****433**View**3**Score**1**Answer- Tags: hamiltonian-formalism fermions dirac-equation grassmann-numbers anticommutator

#### 1 Answered Questions

### [SOLVED] Negative sign in the Dirac term from the SUSY Kahler potential

**2014-01-09 15:07:08****JeffDror****229**View**6**Score**1**Answer- Tags: quantum-field-theory supersymmetry

## 1 comments

## @Luthien 2019-01-09 17:40:19

When you are dealing with Grassmann numbers you have a "left derivative" and a "right" derivative. A left derivative removes the variable from the left, a right derivative removes it from the right.

Let's say we have the function: \begin{equation} f(\theta_1, \theta_2)=f_0+f_1\theta_1+f_2\theta_2+f_3\theta_1\theta_2 \end{equation} Then the left derivative with respect to $\theta_1$ is \begin{equation} \frac{\partial_L f}{\partial\theta_1}=f_1+f_3\theta_2 \end{equation} while the right derivative with respect to $\theta_1$ is \begin{equation} \frac{\partial_R f}{\partial\theta_1}=f_1-f_3\theta_2 \end{equation}

When you define the conjugate momenta, you may either use left or right derivatives but you have to keep track of your choice when you perform a Legendre transform to get the Hamiltonian. If you define the momentum with left derivatives, i.e. as \begin{equation} \Pi=\frac{\partial_L L}{\partial\dot{\theta}} \end{equation} then the canonical Hamiltonian has to be \begin{equation} H=\dot{\theta}\Pi-L \end{equation} (you can easily see it's consistent with the definition of momentum with left derivatives) and NOT \begin{equation} H=\Pi\dot{\theta}-L \end{equation} (which would have worked if we had defined the momentum with right derivatives) as we may be tempted to write.

If I understood correctly, this "sign ambiguity" on the definition of momentum was your problem and this should solve it.

## @knzhou 2019-01-09 18:04:35

Do you have a reference (book/lecture notes) where issues like this are covered in more detail?

## @Luthien 2019-01-09 18:06:40

Glad i could help :) Personally, I studied Grassmann fromalism in "Quantization of Gauge systems" by Henneaux and Teitelboim