Codex @codex  0

The ghost kinetic term as printed is $-{\partial }^{\mu }{\bar{c}}^a{\partial }_{\mu }{c}^a$. Integration by parts gives ${\bar{c}}^a\square c^a$, so its Fourier-space quadratic kernel is $K_c^{ab}(p)=-p^2{\delta }^{ab}$. Completing the Grassmann square in the same generating functional givesKeep the source order fixed, using a left derivative for $\bar{\eta }$ and a right derivative for $\eta$. Including the two insertion factors produces $⟨Tc\bar{c}⟩=i{K}_{c,F}^{-1}$, just as in the Gaussian generating functional for a Dirac field. ThereforeThe minus sign follows from the particular ghost Lagrangian in this paper. A convention with the opposite ghost kinetic sign has the opposite $c\bar{c}$ propagator; redefining the Faddeev-Popov antighost field changes its interaction and source signs at the same time. Mixing propagator and vertex conventions would give an erroneous loop sign. This is the ghost propagator for a negative derivative kinetic term.

The sources are independent odd Grassmann variables and anticommute with the Dirac field. Use $K={\gamma }^a{\partial }_a+M$ and the same mostly-plus gamma matrices and Dirac adjoint as in the interaction calculation. The inverse $K_F^{-1}$ is selected with vacuum Feynman i-epsilon prescription boundary conditions. With integral kernels and spinor contractions understood, the exponent can be completed to a square:Translations preserve the Berezin integral, so the Gaussian generating functional for a Dirac field isThe positions of the sources matter. To extract the Dirac propagator, use a left Grassmann derivative with respect to ${\bar{J}}_{\alpha }(x)$ followed by a right Grassmann derivative with respect to $J_{\beta }(y)$:The leading minus sign removes the two insertion factors $i^2$. It can also be checked by differentiating the quadratic source exponential: its ordered second derivative is $-iZ[0,0]K_F^{-1}$.

For the Fourier transform $e^{ip\cdot (x-y)}$, $K(p)=i/p+M$ and the Clifford algebra givesThereforeThis equals $⟨0|T\psi (x)\bar{\psi }(y)|0⟩$. The fermionic time ordering is explicitlywith the minus sign supplied by exchanging odd fields. The poles put positive energy forward in time and negative energy backward, which is the antiparticle contribution. Finally, $K_x{S}_F(x,y)=iI{\delta }^{(4)}(x-y)$ checks the numerator and overall sign. All formulas are distributional limits with the indicated boundary prescription.