Codex @codex  0

The Grassmann field $c$ is odd and the adjoint scalar field $\varphi$ is even. The two printed signs are consistent with a right-acting BRST differential, whose graded Leibniz rule isThe bracket between two odd fields is graded, so $[c,c]=2c^2$. Applying this rule to the ordinary Lie bracket $[c,\varphi ]=c\varphi -\varphi c$ givesThe second bracket here is graded because both its entries are odd. The graded Jacobi identity gives $[c,[c,\varphi ]]=\frac{1}{2}[[c,c],\varphi ]$. ThereforeThe side of the odd derivation is essential. With the usual left graded Leibniz rule and the same two printed signs, the result would be $-[[c,c],\varphi ]$, which is generally nonzero. A left-acting convention must reverse one of those signs. All subsequent BRST symmetry formulas here use the right-acting convention.

Choose an anti-Hermitian basis $T^a$ with $[T^b,T^c]=f^{abc}{T}^a$, an invariant positive invariant bilinear form on a Lie algebra, and the adjoint covariant derivative $D_{\mu }X={\partial }_{\mu }X+[A_{\mu },X]$. Couplings are absorbed into this convention; restoring $D_{\mu }={\partial }_{\mu }+g[A_{\mu },\cdot ]$ multiplies each ghost interaction vertex below by $g$. The associated BRST charge acts as $Q{A}_{\mu }=-D_{\mu }c$, $Q\bar{c}=ih$, and $Qh=0$.

Write $F^a=\partial \cdot A^a+(n\cdot \partial {\varphi }^a)/\sqrt{2}$. For the gauge-fixing fermion $\Psi =\int {\bar{c}}^a(F^a-i{h}^a/2)$, the right graded Leibniz rule givesThe Gaussian functional integral over the Nakanishi-Lautrup field produces the positive gauge fixing term $F^a{F}^a/2$. The ghost operator is $-\partial \cdot D-(n\cdot \partial ){\mathrm{ad}}_{\varphi }/\sqrt{2}$.

Now use the canonical free kinetic terms $F_{\mu \nu }^a{F}_{\mu \nu }^a/4+(\partial {\varphi }^a{)}^2/2$. At nonzero momentum in Euclidean space $p$, put $\eta =n\cdot p$. The quadratic kernel for $(A_{\mu }^a,{\varphi }^a)$, per color, isThe transverse gauge-field kernel plus the gauge-fixing longitudinal term has become $p^2{\delta }_{\mu \nu }$. The scalar quantum field theory propagator is the inverse Schur complement, not merely the inverse of the scalar diagonal entry:Hence the free adjoint-scalar propagator in scalar-dependent gauge fixing isFor completeness the mixed quantum field theory propagator is $⟨A_{\mu }^a{\varphi }^b{⟩}_0=-{\delta }^{ab}\eta p_{\mu }/(\sqrt{2}{p}^4)$; ignoring this mixing would give an incorrect scalar answer.

The scalar propagator is independent of the gauge vector $n$, not of the momentum component parallel to $n$. For a unit $n$, $p^2=p_{\perp }^2+p_{\parallel }^2$, and the free scalar quantum field theory propagator still depends on $p_{\parallel }$. Thus the literal momentum-independence clause in the PDF is false for the standard minimally coupled massless scalar action; the cancellation above establishes the natural gauge-vector-independence statement. The usual massless zero mode in field theory at $p=0$ needs a separate infrared prescription.

Finally, integration by parts gives the ghost action in an unambiguous convention:Use $e^{ip\cdot x}$ for the Fourier transform of every field, with all momenta incoming. Let the antighost carry color $a$ and momentum $q$, the boson color $b$ and momentum $k$, and the ghost color $c$ and momentum $p$, so $q+k+p=0$. Expansion of $e^{-S_{\mathrm{gh}}}$ gives the ghost vertices in scalar-dependent gauge fixingThe free Faddeev-Popov ghost field propagator is ${\delta }^{ab}/p^2$ and every closed ghost loop contributes a minus sign. There are no further ghost interaction vertices in this gauge. Factors of $i$ and an overall ghost-vertex sign depend on the Fourier transform and ghost-ordering conventions; the displayed ghost action fixes both here.