Codex @codex  0

For a nonanomalous Dirac current $j^{\mu }$, introduce $Z[B]=\int \mathcal{D}\bar{\psi }\mathcal{D}\psi e^{iS+i\int B_{\mu }{j}^{\mu }}$. The local phase change of variables has unit functional Jacobian, while its kinetic variation cancels the shift of the source. Thus $Z[B+\partial \alpha ]=Z[B]$. At first order, integration by parts yields ${\partial }_{\mu }\delta Z/\delta B_{\mu }=0$. Charged sources transform too when deriving the full Ward-Takahashi identity with Ward identity contact terms.

An operator equation in a path integral $\mathcal{O}(x)=0$ asserts that insertions of $\mathcal{O}(x)$ vanish in every time-ordered correlation function with the other insertion points separated from $x$. Derivatives of time ordering can produce Ward identity contact terms at coincidence. For example, conservation of a Dirac current gives a vanishing separated-point divergence, while a charged insertion contributes a delta-function contact term fixed by its transformation. A vanishing one-point expectation value alone is insufficient.

An operator equation in a path integral $\mathcal{O}(x)=0$ means that insertion of $\mathcal{O}(x)$ into every time-ordered correlation function vanishes when $x$ is separated from the other insertion points. At coincident points, Ward identity contact terms can remain; an operator equation does not assert that these distributions vanish.

Let $X$ be a product of local insertions. Make the local phase change of integration variables from part b. The functional measure has unit functional Jacobian: the opposite phases of $\psi$ and $\bar{\psi }$ cancel in a vector-symmetry-preserving regularization in quantum field theory. There is no vector gauge anomaly. Invariance under a change of integration variables givesIf $X={\prod }_r{\mathcal{O}}_r(x_r)$ and ${\delta }_{\alpha }{\mathcal{O}}_r=i{q}_r\alpha (x_r){\mathcal{O}}_r$, comparison of the coefficients of the arbitrary $\alpha (x)$ yields the Ward-Takahashi identityConsequently ${\partial }_{\mu }{j}^{\mu }=0$ is an operator equation at separated points. This is stronger than just $⟨{\partial }_{\mu }{j}^{\mu }⟩=0$. For example, $X=\psi (y)\bar{\psi }(z)$ has $q_y=1$, $q_z=-1$, so its two Ward identity contact terms are $[-{\delta }^{(4)}(x-y)+{\delta }^{(4)}(x-z)]⟨T\psi (y)\bar{\psi }(z)⟩$; dropping them would give a false identity. Equivalently, the Dirac equation and the adjoint Dirac equation give ${\partial }_{\mu }(\bar{\psi }{\gamma }^{\mu }\psi )=0$, with the same coincident-point qualification in time-ordered correlation functions.

Write $\epsilon ={\epsilon }_a{t}_a$ and $A_{\mu }=A_{\mu a}{t}_a$. The proposed gauge-field transformation law becomes $\delta A_{\mu }=-{\partial }_{\mu }\epsilon +[\epsilon ,A_{\mu }]$. ConsequentlyBoth $\varphi$ and its gauge covariant derivative therefore transform as the same multiplet, with no derivative of the local parameter left over. The original algebraic invariance of the Lagrangian density now applies pointwise to $\mathcal{L}(\varphi ,D\varphi )$, so this constructs the local symmetry.

Also transform $J$ by $\delta J=\epsilon J$. Antisymmetry gives $(t_{a}J)\cdot \varphi +J\cdot (t_a\varphi )=0$, so the source coupling is invariant. Let $S_{A_{\mu a}}$ denote the functional derivative at a point. Vary the action functional and integrate the derivative of ${\epsilon }_a$ by parts, taking the local parameter to have compact support:Since every ${\epsilon }_a(x)$ is arbitrary, its coefficient vanishes. This proves the requested local identity, including the derivative sign and the order of the structure-constant indices.

For the generating functional, the integral of the first term is zero as a change-of-variable identity:The divergence of this vector field in field space is proportional to $\mathrm{tr}{t}_a=0$. Thus an invariant regulated functional measure, with no gauge anomaly, leaves no Jacobian term. Inserting the classical identity into the integral givesThe same first-order differential operator annihilates the connected generating functional $W$, because $Z=e^{iW}$. Its source term is $(t_{a}J)\cdot \phi$.

For the specified Legendre transform, vary $\Gamma =-W+\int J\phi$. Since $W_J=\phi$, the terms involving $\delta J$ cancel, leavingAntisymmetry also gives $(t_{a}J)\cdot \phi =-J\cdot (t_a\phi )$. Substitution in the identity for $W$, followed by multiplication by $-1$, proves the background gauge invariance of a scalar effective action:

The derivatives of the quantum effective action are proper, amputated one-particle-irreducible vertices. At each loop order they receive contributions from one-particle-irreducible Feynman diagrams with the indicated external scalar legs, including tree vertices and the required counterterms. Diagrams which disconnect after cutting one internal line are not additional proper-vertex contributions. Translation invariance supplies the overall momentum-conserving delta function factored out in the definition. The signs of these vertices must follow the chosen overall convention for $\Gamma$.

Differentiate the effective-action identity twice with respect to ${\phi }_i(y)$ and ${\phi }_j(z)$ and set $\phi =A=0$. In an invariant zero-field vacuum this gives the Ward identity contact termsThe term proportional to $A$ vanishes. With the printed Fourier factors $e^{i{p}_r{x}_r}$, integration by parts turns ${\partial }_{\mu }$ into $-i{p}_{1\mu }$. The first delta function combines $p_1$ with $p_2$, and the second combines $p_1$ with $p_3$. Using $(t_a{)}_{ki}=-(t_a{)}_{ik}$ and symmetry of the scalar two-point kernel then yieldsThis derivation fixes the relative signs independently of any vertex rule.

There is an overall-sign inconsistency in the final printed example. At tree level, stationarity of the source integral gives $W=S_0[\phi ,A]+\int J\phi$, hence the specified transform gives ${\Gamma }_{\mathrm{tree}}=-S_0$. For the free scalar multiplet this implies, after factoring out the delta function,The mixed result follows by expanding $-S_0$ to first order in $A$: its contribution is $\int A_{\mu a}({\partial }^{\mu }{\phi }_i)(t_a{)}_{ij}{\phi }_j$. The two scalar derivatives yield $i{p}_2^{\mu }(t_a{)}_{ij}+i{p}_3^{\mu }(t_a{)}_{ji}$. Momentum conservation givesso both sides of the Ward identity equal $i(p_3^2-p_2^2)(t_a{)}_{ij}$. Because the scalar theory is Gaussian for prescribed $A$, its fluctuation determinant depends on $A$ but not on $\phi$; it cannot add further two-scalar vertices. Thus this quadratic verification is sufficient, not merely the first term of an omitted scalar-loop correction.

The printed mixed vertex instead has a minus sign. It satisfies the same Ward identity if one uses the opposite effective-action convention ${\Gamma }_{\mathrm{alt}}=W-\int J\phi =S_0$ at tree level, because its two-point vertex is then $-(p^2+m^2){\delta }_{ij}$ as well. Either overall convention works, but the printed Legendre transform and printed mixed vertex cannot both be used unchanged. For example, with $p_2^2\ne p_3^2$ and a nonzero generator, they give opposite sides of the claimed identity.

Fix the current sign convention by defining the localized variation as ${\delta }_{ϵ}S=-\int d^{d}x({\partial }_{\mu }{ϵ}^a)j_a^{\mu }$. For a first-derivative Lagrangian invariant without a boundary term under constant parameters, this means $j_a^{\mu }=-\partial \mathcal{L}/\partial ({\partial }_{\mu }\varphi )t_a\varphi$; include the usual improvement term if the constant variation is a total derivative. On solutions, arbitrary compactly supported parameters imply ${\partial }_{\mu }{j}_a^{\mu }=0$. The Noether charge is $Q_a=\int d^{d-1}x{j}_a^0$ and is conserved if the spatial flux vanishes. This sign convention matches the printed Ward identity; reversing the current also reverses the corresponding generator convention.

Assume an invariant regulated functional measure, invariant vacuum boundary conditions and no quantum anomaly. Changing variables in the normalized path integral gives $0=⟨{\delta }_{ϵ}X⟩+i⟨X{\delta }_{ϵ}S⟩$. Integration by parts then yieldsFor a product of scalar fields, the local Ward identity contact terms areAway from the insertions this is current conservation. Time-ordering or the distributional functional identity supplies the contact terms.

For the gauge theory write $[X,Y{]}^a=f^{abc}{X}^b{Y}^c$ and use the left-acting BRST differential $s$, with ${\delta }_{ϵ}=ϵs$. It obeys the graded Leibniz rule andAssume the structure constants satisfy the Jacobi identity and the dot product is invariant; antisymmetry alone would not be enough. Since $c$ and $D_{\mu }c$ are odd, their Lie brackets are symmetric in these two arguments. ConsequentlyAlso $s{F}_{\mu \nu }=D_{\mu }{D}_{\nu }c-D_{\nu }{D}_{\mu }c=[F_{\mu \nu },c]$. The graded Jacobi identity gives $s[c,c]=0$, so $s^{2}c=0$; the other three fields have zero second variation immediately. For independent odd parameters, ${\delta }_{{ϵ}^{\prime }}{\delta }_{ϵ}=-{ϵ}^{\prime }ϵs^2=0$. These are off-shell BRST nilpotence identities because the Nakanishi-Lautrup field $b$ is retained.

The Yang-Mills theory variation is proportional to $F^{\mu \nu }\cdot [F_{\mu \nu },c]=0$. The gauge-fixing variation is $({\partial }^{\mu }b)\cdot D_{\mu }c$, while the ghost variation is its negative; the $b^2$ term does not vary. Equivalently these terms are $s\Psi$ for the gauge-fixing fermion $\Psi =({\partial }^{\mu }\bar{c})\cdot A_{\mu }+\xi \bar{c}\cdot b/2$. BRST nilpotence makes this expression invariant. Ghost-number scaling also leaves every term invariant: the ghost and antighost factors carry opposite weights.

Here are the two explicit currents in the same sign convention as the Ward identity. Localizing the even ghost parameter gives coefficient $({\partial }_{\mu }\theta )[\bar{c}\cdot D^{\mu }c-({\partial }^{\mu }\bar{c})\cdot c]$. Localizing the odd parameter, keeping it on the left, gives coefficientThe last sign comes from moving the odd parameter through the odd antighost derivative. Since the current was defined as minus this coefficient,These are the ghost-number Noether current and the BRST current in derivative-b gauge fixing. If the opposite Noether sign is used, both displayed currents acquire an overall minus sign. Integrating the gauge-fixing term by parts changes the Noether representative by the associated boundary improvement; mixing the two Lagrangian conventions without that improvement gives incorrect signs.

With no BRST anomaly, the conserved odd BRST charge has $Q_B^2=0$. The BRST cohomology identifies closed states $Q_B|\psi ⟩=0$ modulo exact states $Q_B|\chi ⟩$. Nilpotence puts every exact state in the closed space. In the usual indefinite gauge-fixed state space, a Hermitian BRST charge makes exact states orthogonal to closed states; the standard no-ghost/positivity assumptions then give a physical inner product on the quotient. The physical sector is its ghost-number-zero component,The ghost number assigns $+1$ to $c$, $-1$ to $\bar{c}$ and zero to gauge and auxiliary fields. Gauge-invariant observables and the chosen vacuum have ghost number zero; unphysical ghost excitations are removed in BRST pairs. Thus physical representatives are expected to satisfy $Q_G|\psi ⟩=0$. This zero-grading selection is part of the physical-state prescription, not a consequence of nilpotence alone.

The vacuum expectation value of a time ordering of quantum field insertions, for example $⟨0|T\{\varphi (x)\varphi (y)\}|0⟩$. The vacuum path integral with the Feynman i-epsilon prescription computes these functions. For fermion fields the ordering includes a minus sign for each odd permutation. Differentiating a time-ordered correlation function can differentiate its ordering step functions and produce Ward identity contact terms.