 Solution

Use the Minkowski metric, path-integral weight $e^{iS}$ and the Abelian gauge theory transformation $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\omega$. The gauge functional $F[A]=\partial \cdot A+A^2$ varies asThus the Faddeev-Popov operator is ${\mathcal{M}}_A=\square +2A\cdot \partial$. It depends on the gauge field despite the gauge group being Abelian: the ghosts interact because this gauge condition is nonlinear.

Choose the gauge-fixing fermion $\Psi =\int d^{4}x\bar{c}(F[A]+\xi h/2)$. The gauge-fixed action $S=S_{\mathrm{Maxwell}}+s\Psi$ isHere the tensor $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }$ is distinct from the scalar gauge functional $F[A]$. With $\xi =0$, integrating over $h$ imposes the exact printed constraint. For nonzero $\xi$, eliminating $h=-F[A]/\xi$ instead givesThis version displays the additional gauge-dependent cubic and quartic gauge-field vertices as well as the ghost interaction; the strict condition is its $\xi \to 0$ limit.

For the Fourier transform convention $c(x)=\int d^{4}p(2\pi {)}^{-4}{e}^{-ipx}c(p)$, the quadratic ghost kernel is $p^2$. With the ordering $⟨c(p)\bar{c}(q)⟩$,The term $-2\bar{c}{A}^{\mu }{\partial }_{\mu }c$ has Fourier coefficient $2i{p}_{\mu }$, where $p$ is the incoming ghost momentum. Multiplication by $i$ in the Feynman rule givesThese signs refer to the displayed action, Fourier convention and ghost ordering. Reversing the ghost/antighost convention changes corresponding signs consistently. A closed ghost loop has the additional minus sign from Grassmann variables.