text:
# IFUM 654/FT An Approach to the Equivalence Theorem by the Slavnov-Taylor Identities

## 1 Introduction

The equivalence theorem (ET) has a long history , conventionally starting from the alleged physical equivalence of the pseudoscalar and pseudovector coupling in the pion-nucleon system. Since then the significance of the statement has been enlarged and more sophisticated techniques have been used to prove the theorem. The ET is still a subject of some interesting researches . The theorem follows from the fact that one can pass from a given theory to a second one by a change of the fields in the Lagrangian. This is well-known, but to our knowledge it has not been considered in full generality. Moreover all known proofs of the ET are based on the validity of the Quantum Action Principle (QAP), which is valid for power-counting renormalizable theories. In the pioneer papers it is assumed either that there is only one derivative for each field in the vertex (BPHZ framework)  or that the Feynman propagators are standard ($`(p^2m^2)^1`$ for bosons and $`(/pm)^1`$ for fermions) and there are no derivative vertices (dimensional regularization) . In  the proof of QAP is extended to the massless case for a power-counting renormalizable theory.

Thus typically the proofs rely on the power-counting renormalizability in order to avoid Lagrangian terms causing the theory to become non-renormalizable. A generalization of these results is often made for non-renormalizable theories, i.e. it is assumed a straightforward extension of the results of the QAP to non-renormalizable theories.

In perturbative QFT, the renormalization problems to be solved result into rather disturbing complexity. It is a goal of this note to gather the cumulative experience of the past two decades to propose a step to simplify the problem by introducing the concept of Quasi Classical Action Principle (QCAP) ( and appendix A) and the linear Slavnov Taylor (ST) identities.

One of the major advances in Quantum Field Theory (QFT) has been the introduction of Feynman’s path-integral quantization. Starting from a classical action $`S[\mathrm{\Phi }]`$ (in our notations we use only Lorentz scalars, although the formalism can be applied to more general cases), Green functions are perturbatively constructed according to Gell-Mann and Low’s expansion formula . Perturbative QFT means here that the quantities of interest are computed order by order in $`\mathrm{}`$ which is the loop expansion parameter, without any attempt to give a meaning to the complete sum. In terms of Feynman’s path-integral representation the formal expression of the perturbative expansion of the expectation value of the product of local operators $`𝒪_i(\mathrm{\Phi }(x_i))`$ is

$`T\left({\displaystyle \underset{i=1}{\overset{n}{}}}𝒪_i(\mathrm{\Phi }(x_i))\right){\displaystyle [𝒟\mathrm{\Phi }]\left(\underset{i=1}{\overset{n}{}}𝒪_i(\mathrm{\Phi }(x_i))\right)e^{iS[\mathrm{\Phi }]}}.`$ (1)
The properties of Feynman’s path integral can be proven only at the formal level. Thus the power of the formalism is to provide relations among the Green functions which often need a more sound formulation.
It was early recognized by Becchi, Rouet, Stora and Tyutin (BRST) in the works  on BRST invariance of gauge theories and on the models with broken rigid symmetries , that the use of the Quantum Action Principle leads to the possibility of a fully algebraic proof of the renormalizability of a theory characterized by a set of local or rigid invariances.
Since then it has become a common paradigm in QFT to write Ward identities by using the path-integral and then use powerful methods of perturbation theory to prove them (as BPHZ renormalization scheme, BRST symmetry, etc …).

Let the classical action $`S[\mathrm{\Phi }]`$ be a local functional of the field $`\mathrm{\Phi }`$ (and its derivative) with non degenerate quadratic part. Let $`\{\mathrm{\Gamma }[\mathrm{\Phi },\beta ]\}`$ be the set of quantum extensions of $`S[\mathrm{\Phi }]`$. $`\mathrm{\Gamma }[\mathrm{\Phi },\beta ]`$ is a formal power series in $`\mathrm{}`$, the loop counting parameter, where the $`\beta `$ are introduced in order to generate the Green functions in eq.(1). Their connected part is obtained by differentiating the generating functional given by the Legendre transform of the quantum action $`\mathrm{\Gamma }`$ with respect to the field $`\mathrm{\Phi }`$:

$$W[J,\beta ]=\mathrm{\Gamma }[\mathrm{\Phi },\beta ]+d^4xJ(x)\mathrm{\Phi }(x).$$

In renormalizable field theories the ambiguities in the definition of $`\mathrm{\Gamma }`$ are removed by power-counting and normalization condition. Now suppose that we wish to parameterize the classical action in a different way, i.e. we wish to perform the following field redefinition:

$`\mathrm{\Phi }\mathrm{\Phi }=\mathrm{\Phi }(\phi ;\rho )`$ $`\mathrm{with}`$ $`\mathrm{\Phi }(\phi ;0)=\phi ;`$ (2)
with $`\rho =\{\rho _i\}`$ external classical fields parameterizing the transformation. How is eq. (1) affected by this field redefinition? In particular, do the physical observables depend on the choice of the field parameterization?

If one regards the above transformation as a variable substitution in the path integral formulation of eq. (1) then the ET becomes

$`{\displaystyle [𝒟\mathrm{\Phi }]\left(\underset{i=1}{\overset{n}{}}𝒪_i\left(\mathrm{\Phi }(x_i)\right)\right)e^{iS[\mathrm{\Phi }]}}`$ $`=`$ $`{\displaystyle [𝒟\phi ]\left(\underset{i=1}{\overset{n}{}}𝒪_i\left(\mathrm{\Phi }(\phi ;\rho )(x_i)\right)\right)e^{iS[\mathrm{\Phi }(\phi ;\rho )]+iD(\phi ;\rho )}},`$
where $`D(\phi ;\rho )`$ originates from the Jacobian of the field redefinition, and $`𝒪`$ is any local operator. We denote this formulation of the ET as the Strong Equivalence Theorem (SET). In order to give meaning to the r.h.s. of eq. (1) a set of external sources will be necessary as for instance a term involving the new field $`\phi `$ and the Faddeev-Popov ghosts which will be introduced in order to take into account the determinant.

It has been noticed in  that a simpler formulation of the ET can be given if one neglects the Jacobian of the transformation. In this case the ET takes the form

$`{\displaystyle [𝒟\mathrm{\Phi }]\left(\underset{i=1}{\overset{n}{}}𝒪_i\left(\mathrm{\Phi }(x_i)\right)\right)e^{iS[\mathrm{\Phi }]}}`$ $`=`$ $`{\displaystyle [𝒟\phi ]\left(\underset{i=1}{\overset{n}{}}𝒪_i\left(\mathrm{\Phi }(\phi ;\rho )(x_i)\right)\right)e^{iS[\mathrm{\Phi }(\phi ;\rho )]}},`$ (4)
which we call the Weak Equivalence Theorem (WET). This has been considered in different ways by previous authors . In some cases (see discussion below about $`\rho `$ expansion and loop expansion) it yields a set of local (counter)terms which can be reabsorbed by a redefinition of the action. However some particularly interesting cases (those with non-local inverse transformation) cannot be dealt with in this way.
The WET amounts to saying that $`\mathrm{\Phi }`$ and $`\phi `$ are physically equivalent interpolating fields in the LSZ formalism.

The content of eq. (4) can be discussed in the framework of BRST theory where the transformations are chosen in such a way that $`\mathrm{\Phi }(\phi ;\rho )`$ is an invariant

$`s\mathrm{\Phi }(\phi ;\rho )=0.`$ (5)
The transformation of $`\phi `$ and $`\rho _k`$ should then be

$`s\phi =\left(\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \phi \hfill \end{array}\right)^1\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \rho _k\hfill \end{array}\theta _k,`$ $`s\rho _k=\theta _k,s\theta _k=0.`$ (10)
This transformation is required to be formally local as a power series in $`\rho _k`$.

We now consider the Strong Equivalence Theorem (SET). It states that the Green functions generated by the functional

$`Z[J]`$ $``$ $`{\displaystyle [𝒟\mathrm{\Phi }]\mathrm{exp}\left(iS[\mathrm{\Phi }]+id^4xJ\mathrm{\Phi }\right)}`$ (11)
are related to those obtained from

$`\stackrel{~}{Z}[J,K;\rho ]`$ $``$ $`{\displaystyle [𝒟\phi ]\mathrm{exp}\left(iS[\mathrm{\Phi }(\phi ;\rho )]+iD(\phi ;\rho )+id^4xJ\mathrm{\Phi }(\phi ;\rho )+id^4xK\phi \right)},`$
where $`D(\phi ;\rho )`$ originates from the Jacobian of the field transformation. Roughly speaking, eq. (1) could be summarized by saying that the Green functions are insensitive to the fields reparameterization: once the classical action is fixed, the parameterization of the fields which we use in the path-integral is a matter of convenience.

As in the WET case, the content of eq. (1) can be discussed in the framework of BRST theory. However this problem has no straightforward solution. We find more convenient to introduce a set of auxiliary fields, which allows a linearization of the ST identities. We call it the off-shell formalism. Eventually we shall provide also the BRST transformations relevant for the on-shell theory which yields the generating functional in eq. (1).

One should remark that even if the l.h.s. of eq. (1) refers to a renormalizable theory, the action in the r.h.s. could be not-renormalizable and therefore the question will soon arise whether it is possible to constrain the renormalization ambiguities in such a way that eq. (1) holds. In this sense one is giving a procedure for treating a new class of theories: the non-renormalizable theories obtained from a renormalizable one after the reparameterization of eq. (2.

The proof given in  for the Weak Equivalence Theorem and in  for the Strong Equivalence Theorem heavily relies on the properties of the BPHZ subtraction procedure. It shows that if the $`T`$-products are defined according to the BPHZ prescription with some suitably chosen subtraction indices, then eq. (1) for the Strong Equivalence Theorem (and respectively eq. (4) for the Weak Equivalence Theorem) holds true order by order in the perturbative expansion in $`\rho `$. The issue of the validity of these results within different definitions of the $`T`$-products was not addressed.

Several algebraic aspects of the Equivalence Theorem in the BRST framework have been discussed in . Recently the Weak Equivalence Theorem has been investigated by using the BRST techniques in various ways, first in  and then in a different context in .

In Ref.  the Equivalence Theorem is shown to hold true provided that both the transformation in eq. (2) and its inverse $`\phi =\phi (\mathrm{\Phi };\rho )`$ are local (at least perturbatively in the expansion in $`\rho `$).

In our work we prefer to perform a perturbative expansion in term of $`\mathrm{}`$, which gives also the loop expansion. In particular, the $`\rho `$ expansion is not equivalent to the loop expansion in the class of transformations

$`\mathrm{\Phi }=A_\rho \phi +\rho \mathrm{\Delta }(\phi )`$ (13)
where $`A_\rho `$ is a $`\rho `$-dependent linear operator with non-local inverse (e.g. $`A_\rho =1+\rho _0\mathrm{}_x`$) and $`\mathrm{\Delta }(\phi )=\{\mathrm{\Delta }_i(\phi )\}`$ accounts for the non linear part and is assumed to be a set of Lorentz-invariant monomials in $`\phi `$ and its derivatives. In this case the bilinear part of the action is substantially modified and thus the propagators are $`\rho `$-dependent in such a way that the loop expansion differs from the $`\rho `$ expansion.

This in turn extends the validity of the Equivalence Theorem to a much wider class of field redefinitions, including those in eq. (13).

Both in the strong and in the weak formulation, the classical invariance under the BRST transformations is translated into ST identities for the vertex functional. Since ST identities are the ideal tools in order to study the quantum extensions of these symmetries, it is crucial to prove that they are anomaly free. In the present paper we prove that indeed the ST identities can be restored at every order in the loop expansion by using the techniques of removing from the cohomology the terms depending on the ST doublets.

It is interesting to see how this can happen even in the case where the theory is a gauge theory affected by an anomaly in the ST identities associated to the gauge BRST invariance. In this rather peculiar case however the field theory remains sick since unitarity cannot be recovered .

The paper is organized as follows. In sect. 2 we discuss the Weak Equivalence Theorem. We derive the ST identities and we study their quantum extension. In sect. 3 we discuss the Strong Equivalence Theorem by using the path-integral approach. In sect. 4 we consider the off-shell formalism and construct a suitable BRST symmetry under which the new action is invariant. In sect. 5 the quantum deformation of the ST identities associated to the off-shell case are discussed. In sect. 6 we give an on-shell formulation of the Strong Equivalence Theorem and we study the quantum extension of the Slavnov-Taylor identities. In sect. 7 we show that the $`\rho `$-independence of a selected set of Green functions (to be identified in some cases with the physical content of the theory) is a consequence of the quantum ST identity. In sect. 8 we give some applications of the Equivalence Theorem. Conclusions are presented in sect. 9. In appendix A we discuss the Quasi Classical Action Principle, and in appendix B we study the removal of the ST doublets from the cohomology.

## 2 The Weak Equivalence Theorem

In this section we consider the Weak Equivalence Theorem as formulated in eq. (4). At classical level we consider the vertex functional

$`\mathrm{\Gamma }^{(0)}[\mathrm{\Phi },\beta ]`$ $`=`$ $`S[\mathrm{\Phi }]+{\displaystyle d^4x\beta _i𝒪_i(\mathrm{\Phi })}.`$ (14)
In the spirit of the WET, defined by eq. (4), we perform a change of variable, of the kind given in eq. (2), inside the classical vertex functional . We write the transformation of the field as

$`\mathrm{\Phi }=A_\rho \phi +{\displaystyle \underset{j}{}}\rho _j\mathrm{\Delta }_j(\phi ),`$ (15)
where $`A_\rho `$ is a differential operator reducing to the identity for $`\rho `$=$`0`$, and $`\mathrm{\Delta }_j(\phi )`$ are monomials in $`\phi `$ and its derivatives of order at least two in $`\phi `$.

By performing the field redefinition of eq. (15) in $`\mathrm{\Gamma }^{(0)}`$ we obtain the new vertex functional $`\stackrel{~}{\mathrm{\Gamma }}^{(0)}`$

$`\stackrel{~}{\mathrm{\Gamma }}^{(0)}[\phi ,\beta ;\rho ]`$ $`=`$ $`S[\mathrm{\Phi }(\phi ;\rho )]+{\displaystyle d^4x\beta _i𝒪_i(\mathrm{\Phi }(\phi ;\rho ))}.`$ (16)
It should be stressed that the new action is not obtained by a change of variables in the path-integral. Therefore one should not expect the generating functionals to coincide. However there is a very intriguing way, based on the BRST formalism, to formulate the (weak) equivalence of the transformed theory to the original one .

The classical vertex functional $`\stackrel{~}{\mathrm{\Gamma }}^{(0)}`$ depends on the field $`\phi `$ only through the combination given by $`\mathrm{\Phi }(\phi ;\rho )`$. In order to formulate the WET in terms of BRST invariance we introduce a set of transformations with the requirements that $`\mathrm{\Phi }(\phi ;\rho )`$ is left invariant. This is what we should expect, since $`\mathrm{\Phi }(\phi ;\rho )`$ is the field combination that appears in eq. (4). The BRST transformation of $`\phi `$ is dictated by the requirement that $`s\mathrm{\Phi }(\phi ;\rho )`$=$`0`$:

$`0=s\mathrm{\Phi }(x)`$ $`=`$ $`{\displaystyle d^4y\left(\begin{array}{c}\delta \mathrm{\Phi }(x)\hfill \\ \\ \delta \phi (y)\hfill \end{array}s\phi (y)+\begin{array}{c}\delta \mathrm{\Phi }(x)\hfill \\ \\ \delta \rho _k(y)\hfill \end{array}s\rho _k(y)\right)}`$ (21)
$``$ $`s\phi (x)={\displaystyle d^4y\left(\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \phi \hfill \end{array}\right)^1(x,y)\left(d^4z\begin{array}{c}\delta \mathrm{\Phi }(y)\hfill \\ \\ \delta \rho _k(z)\hfill \end{array}s\rho _k(z)\right)}.`$ (26)
We introduce a new set of anticommuting external sources $`\theta =\{\theta _k\}`$ and we take $`s\rho _k=\theta _k`$, $`s\theta _k=0`$. By construction $`\stackrel{~}{\mathrm{\Gamma }}^{(0)}[\phi ,\beta ;\rho ]`$ is invariant under the BRST transformations. Therefore it obeys the following classical ST identity (STI)

$`{\displaystyle d^4x\left(\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}^{(0)}\hfill \\ \\ \delta \rho _k(x)\hfill \end{array}\theta _k(x)+\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}^{(0)}\hfill \\ \\ \delta \phi (x)\hfill \end{array}s\phi (x)\right)}`$ $`=`$ $`0`$ (31)
where (in compact notations)

$`s\phi =\left(\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \phi \hfill \end{array}\right)^1\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \rho _k\hfill \end{array}\theta _k,s\rho _k=\theta _k,s\theta _k=0.`$ (36)
A straightforward computation shows that $`s^2=0`$. The Faddeev-Popov (FP) charge is assigned as follows:

$`\text{FP}(\phi )=\text{FP}(\rho _k)=0,\text{FP}(\theta _k)=1.`$ (37)
The requirement that the vertex functional $`\stackrel{~}{\mathrm{\Gamma }}^{(0)}`$ is FP neutral enforces the assignment of the FP charge to the remaining external sources.

Notice that if the operator $`\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \phi \hfill \end{array}`$ has no local inverse (at least as a formal power series) the present formulation looses most of the nice properties related to BRST invariance. We stress that, in order to extend eq. (31) at quantum level, we need to couple $`s\phi `$ to its antifield $`\phi ^{}`$. This is possible only if $`s\phi `$ is local as a formal power series.

### 2.1 Quantum formulation of the WET

In the sequel we shall discuss the quantum extension of eq. (31). In particular we shall show that the classical STI in eq. (31) can be fulfilled at the quantum level under the assumption that $`\mathrm{\Phi }(\phi ;\rho )`$ is locally invertible as a formal power series in the fields and external sources and their derivatives.

Then it is straightforward to prove that the quantum extension of eq. (31) gives the independence of $`\rho `$ of any Green function which depends only on $`\mathrm{\Phi }(\phi ;\rho )`$, i.e. one obtains the statement of the WET provided by eq. (4).

The WET allows to treat a set of theories, related by a change of fields, in which the Jacobian of the transformation does not play any rôle: this is a non-trivial feature of the locally invertible case, already put in evidence in the literature . This feature cannot be properly understood by path-integral arguments. This issue is here analyzed by using BRST techniques.

Once the BRST transformations of the fields $`\phi `$ and the parameters $`\rho `$ and $`\theta `$ of eq. (36) are introduced, one needs to add to the vertex functional a term containing the antifield $`\phi ^{}`$ coupled to $`s\phi `$

$`\stackrel{~}{\mathrm{\Gamma }}^{(0)}[\phi ,\theta ,\phi ^{},\beta ;\rho ]=S[\mathrm{\Phi }(\phi ;\rho )]+{\displaystyle d^4x\phi ^{}s\phi }+{\displaystyle d^4x\beta _i𝒪_i(\mathrm{\Phi }(\phi ;\rho ))}.`$ (38)
This is possible since $`s\phi `$ is local as a formal power series in the fields and external sources and their derivatives.

The vertex functional $`\stackrel{~}{\mathrm{\Gamma }}^{(0)}`$ satisfies the following Equivalence Theorem STI

$`𝒮\left(\stackrel{~}{\mathrm{\Gamma }}^{(0)}\right){\displaystyle d^4x\left(\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}^{(0)}\hfill \\ \\ \delta \phi ^{}\hfill \end{array}\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}^{(0)}\hfill \\ \\ \delta \phi \hfill \end{array}+\theta _k\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}^{(0)}\hfill \\ \\ \delta \rho _k\hfill \end{array}\right)}=0.`$ (45)
Eqs. (38-45) are the starting point for the quantization of the model.

### 2.2 Quantum restoration of the STI

The first task is then to show that the ET STI in eq. (45) can be preserved at the quantum level, i.e. we can define a quantum effective action $`\stackrel{~}{\mathrm{\Gamma }}`$ by a suitable choice of non-invariant local counterterms, order by order in the loop expansion, such that

$`𝒮\left(\stackrel{~}{\mathrm{\Gamma }}\right)={\displaystyle d^4x\left(\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}\hfill \\ \\ \delta \phi ^{}\hfill \end{array}\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}\hfill \\ \\ \delta \phi \hfill \end{array}+\theta _k\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}\hfill \\ \\ \delta \rho _k\hfill \end{array}\right)}=0.`$ (52)
The above STI has the same form as the well-known STI associated with the usual BRST symmetry, arising in ordinary gauge theories. Therefore one expects to be able to characterize the $`n`$-th order ST breaking terms by algebraic constraints like the Wess-Zumino consistency condition, under the recursive assumption that the STI have been restored up to order $`n`$-$`1`$.

However the problem is much more intricate here, because almost surely the transformed theory, whose vertex functional is given by $`\stackrel{~}{\mathrm{\Gamma }}`$, is not power-counting renormalizable. Therefore the QAP cannot be applied here to guarantee that the $`n`$-th order ST breaking term is a local polynomial in the fields and the external sources and their derivatives.

We wish to comment on this point further. For power-counting renormalizable theories the QAP characterizes the possible breaking of the STI, to all orders in perturbation theory, as the insertion of a suitable local operator with bounded dimension. Consequently, if such an insertion were zero up to order $`n`$-$`1`$, at the $`n`$-th order it must reduce to a local polynomial in the fields and the external sources and their derivatives with bounded dimension. This follows from the locality of the insertion and the topological interpretation of the $`\mathrm{}`$-expansion as a loop-wise expansion.

We stress that all what is needed to carry out the recursive analysis of the ST breaking terms by using algebraic methods is that part of the QAP, saying that at the first non-vanishing order in the loop expansion the ST breaking term is a local polynomial in the fields and the external sources and their derivatives. Again, we wish to emphasize that indeed the QAP says much more, since it characterizes the ST breaking terms to all orders in perturbation theory as the insertion of a suitable local operator. This is true independently of the normalization conditions and of the non-invariant finite action-like counterterms chosen. It might eventually happen that a careful order by order choice of the latter allows to set such a local insertion equal to zero. In this case we speak of a non-anomalous theory.

In the case of a non power-counting renormalizable theory, an all-order extension of the QAP could hardly be proven. This is because several restrictive assumptions on the form of the propagators and on the interaction vertices are required in all known proofs of the QAP. None of them can be imposed with enough generality to non power-counting renormalizable theories.

The key observation  is that the full power of the QAP is never used in discussing the recursive restoration of the STI. One only needs the locality of the breaking terms at the first non-vanishing order in the loop expansion. It has then been proposed  that a suitable extension of this statement of the QAP might be the good property to look for when dealing with non power-counting renormalizable theories. Such an extension has been called by Stora the Quasi-Classical Action Principle. It states that

> In the loop-wise perturbative expansion the first non-vanishing order of ST-like identities is a classical local integrated formal power series in the fields and external sources and their derivatives.

Let us comment on this proposal. Although its plausibility, no satisfactory proof is available for the QCAP. Thus from now on we will assume that it is fulfilled by the regularization used to construct the vertex functional $`\mathrm{\Gamma }`$. Moreover, we point out that we do not require that the breaking term is polynomial: loosing the power-counting entails that no bounds on the dimension can in general be expected.

Since we assume the QCAP, we can now use the power of cohomological algebra to constrain the possible ET ST breaking terms and show that the ET STI can always be restored by a suitable order by order choice of non-invariant counterterms.

The proof is a recursive one. Assume that the ET STI in eq. (52) has been fulfilled up to order $`n`$-$`1`$:

$`𝒮\left(\stackrel{~}{\mathrm{\Gamma }}\right)^{(j)}=0,j=0,\mathrm{},n1.`$ (53)
At the next order the ET STI might be broken by the functional $`\mathrm{\Delta }^{(n)}`$ defined by

$`\mathrm{\Delta }^{(n)}𝒮\left(\stackrel{~}{\mathrm{\Gamma }}\right)^{(n)}.`$ (54)
Since we are assuming that the QCAP holds, we know that $`\mathrm{\Delta }^{(n)}`$ is a local formal power series in the fields and external sources and their derivatives and has FP-charge $`+1`$. No bounds on the dimensions can however be given, since in general we are dealing with a theory which is non-renormalizable by power-counting. This in turn rules out the possibility to constrain $`\mathrm{\Delta }^{(n)}`$ by means of power-counting arguments.

We then must resort to purely algebraic arguments in order to show that $`\mathrm{\Delta }^{(n)}`$ can indeed be removed by a suitable choice of $`n`$-th order local non-invariant counterterms. This is a viable way to characterize $`\mathrm{\Delta }^{(n)}`$ because of the following Wess-Zumino consistency condition obeyed by $`\mathrm{\Delta }^{(n)}`$:

$`𝒮_0\left(\mathrm{\Delta }^{(n)}\right)=0,`$ (55)
where $`𝒮_0`$ denotes the classical linearized ST operator

$`𝒮_0={\displaystyle d^4x\left(\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}^{(0)}\hfill \\ \\ \delta \phi ^{}\hfill \end{array}\begin{array}{c}\delta \hfill \\ \\ \delta \phi \hfill \end{array}+\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}^{(0)}\hfill \\ \\ \delta \phi \hfill \end{array}\begin{array}{c}\delta \hfill \\ \\ \delta \phi ^{}\hfill \end{array}+\theta _k\begin{array}{c}\delta \hfill \\ \\ \delta \rho _k\hfill \end{array}\right)}.`$ (66)
It can be easily proven that $`𝒮_0`$ is nilpotent, as a consequence of the classical STI in eq. (45). Thus a cohomological analysis of the functional $`\mathrm{\Delta }^{(n)}`$, starting from eq. (55), is at hand.

We first notice that the sources $`(\rho _k,\theta _k)`$ form a set of doublets under $`𝒮_0`$. In a situation where the counting operator

$`𝒩={\displaystyle \underset{k}{}}{\displaystyle d^4x\left(\rho _k\begin{array}{c}\delta \hfill \\ \\ \delta \rho _k\hfill \end{array}+\theta _k\begin{array}{c}\delta \hfill \\ \\ \delta \theta _k\hfill \end{array}\right)}`$ (71)
does commute with $`𝒮_0`$, the doublets can be removed from the cohomology by standard techniques . Here however the doublets are coupled since $`[𝒩,𝒮_0]0`$. Under some conditions the coupled doublets can be also removed . Here in particular $`\mathrm{\Delta }^{(n)}`$ in eq. (54) is $`𝒮_0`$-invariant by the Wess-Zumino consistency condition in eq. (55). Moreover since there are neither fields nor external sources with $`\mathrm{FP}`$-charge $`+1`$ apart from $`\theta _k`$, $`\mathrm{\Delta }^{(n)}`$ must vanish at $`\theta _k=0`$. This yields

$`𝒮_0\left(\mathrm{\Delta }^{(n)}|_{\theta _k=\rho _k=0}\right)=0.`$ (72)
In  it is shown that the above equation, combined with eq. (55), is a sufficient condition to conclude that the functional $`\mathrm{\Delta }^{(n)}\mathrm{\Delta }^{(n)}|_{\theta _k=\rho _k=0}`$ is cohomologically trivial, i.e. there exists a local formal power series $`\mathrm{\Xi }^{(n)}`$ such that

$`\mathrm{\Delta }^{(n)}\mathrm{\Delta }^{(n)}|_{\theta _k=\rho _k=0}=𝒮_0\left(\mathrm{\Xi }^{(n)}\right).`$ (73)
Moreover, since $`\mathrm{\Delta }^{(n)}|_{\theta _k=\rho _k=0}=0`$, we get from eq. (73) that the whole $`\mathrm{\Delta }^{(n)}`$ is $`𝒮_0`$-invariant.

By adding to the $`n`$-th order effective action $`\stackrel{~}{\mathrm{\Gamma }}^{(n)}`$ the $`n`$-th order non-invariant counterterm $`\mathrm{\Xi }^{(n)}`$ we conclude from eq. (73) that the STI can be restored at the $`n`$-th order, i.e.

$`𝒮\left(\stackrel{~}{\mathrm{\Gamma }}\right)^{(n)}=0.`$ (74)
This ends the proof that the ET STI in eq. (52) can be fulfilled to all orders in the loop expansion:

$`𝒮\left(\stackrel{~}{\mathrm{\Gamma }}\right)={\displaystyle d^4x\left(\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}\hfill \\ \\ \delta \phi ^{}\hfill \end{array}\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}\hfill \\ \\ \delta \phi \hfill \end{array}+\theta _k\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}\hfill \\ \\ \delta \rho _k\hfill \end{array}\right)}.`$ (81)
## 3 The Strong Equivalence Theorem: a path-integral formulation

The main feature of the Strong Equivalence Theorem is that it is obtained by performing a change of variables in the path integral, as already pointed out in eqs. (11) and (1) .

As in the WET case, the content of eq. (1) is here discussed in the framework of BRST theory. However this problem has not straightforward solution.

We find more convenient to introduce a set of auxiliary fields, which allows a linearization of the ST identities. We call it the off-shell formalism. We will prove that the related STI can be fulfilled at the quantum level. From the quantum STI, we will deduce the statement of the SET in the off-shell formalism.

We shall also provide the STI relevant for the on-shell formulation of the equivalence between the theories given by the generating functionals in eqs. (11) and (1). The corresponding quantum STI will allow us to prove the validity of the statement of the SET defined by eq. (1).

In this section we study the Strong Equivalence Theorem from the point of view of the path-integral formalism. In this framework the field redefinition in eq. (2) can be naturally interpreted as a change of variables. This turns out to be very useful in order to derive at the formal level the ST identities controlling the renormalization of the transformed theory.

In the path-integral formalism, one starts from the classical action $`S[\mathrm{\Phi }]`$ and defines a generating functional

$`Z[J,\beta ]={\displaystyle [𝒟\mathrm{\Phi }]\mathrm{exp}\left(iS[\mathrm{\Phi }]+id^4xJ\mathrm{\Phi }+id^4x\beta _i𝒪_i(\mathrm{\Phi })\right)}.`$ (82)
In the above equation we have introduced the external sources $`\beta _i`$, coupled to the local operators $`𝒪_i(\mathrm{\Phi })`$.

We now perform the field redefinition

$`\mathrm{\Phi }=A_\rho \phi +{\displaystyle \underset{j}{}}\rho _j\mathrm{\Delta }_j(\phi ).`$ (83)
Performing the change of variables of eq. (83) in eq. (82) one gets

$`\stackrel{~}{Z}[J,\beta ]`$ $`=`$ $`{\displaystyle [𝒟\phi ]\mathrm{det}\left(\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \phi \hfill \end{array}\right)\mathrm{exp}\left(iS[\mathrm{\Phi }(\phi ;\rho )]+id^4xJ\mathrm{\Phi }(\phi ;\rho )+id^4x\beta _i𝒪_i(\mathrm{\Phi }(\phi ;\rho ))\right)}`$ (86)
$`=`$ $`\underset{K,\eta ,\overline{\eta }0}{lim}\stackrel{~}{Z}_{on}[J,\beta ,K,\eta ,\overline{\eta };\rho ]`$ (87)
where we have introduced:

$`\stackrel{~}{Z}_{on}[J,\beta ,K,\eta ,\overline{\eta };\rho ]`$ $`=`$ $`{\displaystyle }[𝒟\phi ][𝒟\overline{c}][𝒟c]\mathrm{exp}(iS[\mathrm{\Phi }(\phi ;\rho )]+i{\displaystyle }d^4x\overline{c}(\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \phi \hfill \end{array}c+\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \rho _k\hfill \end{array}\theta _k)`$ (93)
$`+i{\displaystyle d^4xJ\mathrm{\Phi }(\phi ;\rho )}+i{\displaystyle d^4x\beta _i𝒪_i(\chi )}`$
$`+i{\displaystyle }d^4xK\phi +i{\displaystyle }d^4x\eta \overline{c}+i{\displaystyle }d^4x\overline{\eta }c).`$
To deal with the Jacobian of the transformation, we use the standard trick of introducing the Faddeev-Popov ghost and antighost $`c,\overline{c}`$ to exponentiate the determinant. For later convenience we have also added to the action the term

$$id^4x\overline{c}\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \rho _k\hfill \end{array}\theta _k.$$

The external sources $`\theta _k`$ have opposite statistics with respect to $`\rho _k`$ and will be interpreted as before as the BRST partners of $`\rho _k`$. In eq. (93) we need the sources $`K`$, $`\eta `$ and $`\overline{\eta }`$ coupled to the quantum fields $`\phi `$, $`\overline{c}`$ and $`c`$, in order to define the perturbative expansion of the theory.

The external source $`J`$ is now associated to the composite (from the point of view of $`\phi `$) operator $`\mathrm{\Phi }(\phi ;\rho )`$. It is on the same footing as the external sources $`\beta `$. The limit $`K,\eta ,\overline{\eta }0`$ means that in the end we care about amplitudes with $`\mathrm{\Phi }`$ or $`𝒪(\mathrm{\Phi })`$ external legs.

We will prove in sect. 6, by using the method of Batalin-Vilkovisky, that the construction of the Green functions can be equivalently performed via the generating functional $`Z`$ or $`\stackrel{~}{Z}_{on}`$. This is the on-shell version of the SET.

A less involved formulation, from an algebraic point of view, is obtained by introducing a couple of auxiliary fields $`B`$ and $`\chi `$. That is, we rewrite $`Z[J,\beta ]`$ as

$`\stackrel{~}{Z}[J,\beta ]`$ $`=`$ $`{\displaystyle [𝒟\phi ][𝒟\chi ]\delta (\chi \mathrm{\Phi }(\phi ;\rho ))\mathrm{det}\left(\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \phi \hfill \end{array}\right)\mathrm{exp}\left(iS[\chi ]+id^4xJ\chi +id^4x\beta _i𝒪_i(\chi )\right)}`$ (96)
$`=`$ $`\underset{K,J_B,\eta ,\overline{\eta }0}{lim}\stackrel{~}{Z}_{off}[J,\beta ,K,J_B,\eta ,\overline{\eta };\rho ]`$ (97)
where now

$`\stackrel{~}{Z}_{off}[J,\beta ,K,J_B,\eta ,\overline{\eta };\rho ]`$ $`=`$ $`{\displaystyle }[𝒟\phi ][𝒟\chi ][𝒟B][𝒟\overline{c}][𝒟c]\mathrm{exp}(iS[\chi ]+i{\displaystyle }d^4xB(\chi \mathrm{\Phi }(\phi ;\rho ))`$
$`+i{\displaystyle d^4x\overline{c}\left(\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \phi \hfill \end{array}c+\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \rho _k\hfill \end{array}\theta _k\right)}+i{\displaystyle d^4xJ\chi }+i{\displaystyle d^4x\eta \overline{c}}`$
$`+i{\displaystyle }d^4x\overline{\eta }c+i{\displaystyle }d^4xK\phi +i{\displaystyle }d^4xJ_BB+i{\displaystyle }d^4x\beta _i𝒪_i(\chi )).`$
We speak in this case of the off-shell formulation of the Equivalence Theorem. In eq. (3) $`K`$ and $`J_B`$ are respectively the sources coupled to $`\phi `$ and $`B`$. Notice that $`J`$ is now coupled to $`\chi `$. As much as in the on-shell case, there exists a ST identity expressing the $`\rho `$-independence of the Green functions involving solely $`\chi `$ and $`𝒪_i(\chi )`$. Moreover, the ST identity is linear in the off-shell case. Despite of this advantage, the calculations in the off-shell scheme are clumsy due to the high number of quantized fields involved. We will illustrate the derivation of the ST identities in the off-shell case in sect. 4.

The on-shell and off-shell cases can be related by eliminating the auxiliary fields. This will be discussed in sect. 5.

## 4 The off-shell fomulation of the SET

### 4.1 The classical Slavnov-Taylor identities

We discuss here the construction of the BRST transformations and related ST identities in the off-shell case. For that purpose we need to work on the Legendre transform $`\stackrel{~}{\mathrm{\Gamma }}_{off}`$ of the connected generating functional $`\stackrel{~}{W}_{off}`$, where we have defined

$`\stackrel{~}{Z}_{off}=\mathrm{exp}\left({\displaystyle \frac{i}{\mathrm{}}}\stackrel{~}{W}_{off}\right).`$ (104)
From eq. (3) we deduce the classical vertex functional $`\stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}`$

$`\stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}`$ $``$ $`S[\chi ]+{\displaystyle d^4xB(\chi \mathrm{\Phi }(\phi ;\rho ))}+{\displaystyle d^4x\overline{c}\left(\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \phi \hfill \end{array}c+\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \rho _k\hfill \end{array}\theta _k\right)}+{\displaystyle d^4x\beta _i𝒪_i(\chi )}.`$ (109)
The BRST differential can be easily written by looking at the classical vertex functional $`\stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}`$. Let us define

$`s\phi =c,s\overline{c}=B,s\rho _k=\theta _k,s\chi =0,`$
$`sc=0,sB=0,s\theta _k=0.`$ (110)
We assign the corresponding FP-charge by setting

$`\mathrm{FP}(\phi )=\mathrm{FP}(B)=\mathrm{FP}(\rho _k)=\mathrm{FP}(\chi )=0,\mathrm{FP}(c)=\mathrm{FP}(\theta _k)=1,\mathrm{FP}(\overline{c})=1.`$ (111)
The FP-charge of the external sources can be read off by imposing the requirement that the classical action $`\stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}`$ is FP-neutral. The vertex functional $`\stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}`$ in eq. (109) can then be cast in the form

$`\stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}=S[\chi ]+s{\displaystyle d^4x\overline{c}\left(\chi \mathrm{\Phi }(\phi ;\rho )\right)}+{\displaystyle d^4x\beta _i𝒪_i(\chi )}.`$ (112)
With this procedure one has automatically $`sS[\chi ]=0`$ and $`s𝒪_i(\chi )=0`$. We understand that the operators $`𝒪_i(\mathrm{\Phi })`$ now become the operators $`𝒪_i(\chi )`$. $`\stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}`$ is $`s`$-invariant. A similar approach has been adopted in  where the issue of the cohomology is not dealt with.

Notice that in this formulation the whole $`\mathrm{\Phi }`$ dependence appears through the cohomologically trivial term

$`{\displaystyle d^4xB(\chi \mathrm{\Phi }(\phi ;\rho ))}+{\displaystyle d^4x\overline{c}\left(\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \phi \hfill \end{array}c+\begin{array}{c}\delta \mathrm{\Phi }\hfill \\ \\ \delta \rho _k\hfill \end{array}\theta _k\right)}=s{\displaystyle d^4x\overline{c}\left(\chi \mathrm{\Phi }(\phi ;\rho )\right)}`$
The change of variable in the path integral has given rise to an ET ST identity of the transformed action:

$`𝒮\left(\stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}\right)={\displaystyle d^4x\left(c\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}\hfill \\ \\ \delta \phi \hfill \end{array}+B\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}\hfill \\ \\ \delta \overline{c}\hfill \end{array}+\theta _k\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}^{(0)}\hfill \\ \\ \delta \rho _k\hfill \end{array}\right)}=0.`$ (120)
This ET STI is linear, hence it does not require the introduction of any antifield. Moreover, it can be seen from eq. (120) that all fields and external sources transforming under $`𝒮`$ form a set of (decoupled) doublets ( and appendix B), given by $`(\phi ,c)`$, $`(\overline{c},B)`$ and $`(\rho _k,\theta _k)`$. Therefore the study of the cohomology of $`𝒮`$ is particularly simple. This is a significant advantage allowing to treat also those situations where $`\mathrm{\Phi }=\mathrm{\Phi }(\phi ;\rho )`$ does not have a local inverse, by using algebraic techniques.

## 5 Quantization of the ET STI in the off-shell formalism

We now study the quantization of the ET STI in the off-shell case. Things are much simpler here due to the fact that all fields and external sources entering in the ET STI form sets of ordinary <sup>1</sup><sup>1</sup>1decoupled, according to the terminology of  doublets.

The proof that the classical ET STI in eq. (120) can be extended to all orders in the loop expansion is as follows. We assume that the ET STI have been restored up to order $`n`$-$`1`$, i.e.

$`𝒮(\stackrel{~}{\mathrm{\Gamma }}_{off})^{(j)}`$ $`=`$ $`{\displaystyle d^4x\left(c\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}^{(j)}\hfill \\ \\ \delta \phi \hfill \end{array}+B\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}^{(j)}\hfill \\ \\ \delta \overline{c}\hfill \end{array}+\theta _k\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}^{(j)}\hfill \\ \\ \delta \rho _k\hfill \end{array}\right)}=0,j=0,1,\mathrm{},n1.`$
Thanks to the QCAP at the $`n`$-th order the possible ST breaking terms

$`\mathrm{\Delta }^{(n)}𝒮(\stackrel{~}{\mathrm{\Gamma }}_{off})^{(n)}=𝒮(\stackrel{~}{\mathrm{\Gamma }}_{off}^{(n)})`$ $`=`$ $`{\displaystyle d^4x\left(c\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}^{(n)}\hfill \\ \\ \delta \phi \hfill \end{array}+B\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}^{(n)}\hfill \\ \\ \delta \overline{c}\hfill \end{array}+\theta _k\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}^{(n)}\hfill \\ \\ \delta \rho _k\hfill \end{array}\right)}`$
are local integrated formal power series in the fields, the external sources and their derivatives. Notice that $`𝒮`$ is linear in the quantum fields. Therefore no antifields are needed in the off-shell formalism. This in turn yields that $`\mathrm{\Delta }^{(n)}`$ only depends on the $`n`$-th order vertex functional $`\stackrel{~}{\mathrm{\Gamma }}_{off}^{(n)}`$ and does not receive contributions from lower order terms, unlike in the on-shell case.

The Wess-Zumino consistency condition reads:

$`𝒮\mathrm{\Delta }^{(n)}`$ $`=`$ $`{\displaystyle d^4x\left(c\begin{array}{c}\delta \mathrm{\Delta }^{(n)}\hfill \\ \\ \delta \phi \hfill \end{array}+B\begin{array}{c}\delta \mathrm{\Delta }^{(n)}\hfill \\ \\ \delta \overline{c}\hfill \end{array}+\theta _k\begin{array}{c}\delta \mathrm{\Delta }^{(n)}\hfill \\ \\ \delta \rho _k\hfill \end{array}\right)}=0.`$ (129)
We observe that the counting operator for the $`𝒮`$-doublets $`(\phi ,c)`$, $`(\overline{c},B)`$ and $`(\rho _k,\theta _k)`$ commutes with $`𝒮`$. Therefore we can introduce a homotopy operator $`𝒦`$  trivializing the cohomology of $`𝒮`$. $`𝒦`$ is defined as

$`𝒦={\displaystyle _0^1}𝑑t{\displaystyle d^4x\left(\phi \lambda _t\begin{array}{c}\delta \hfill \\ \\ \delta c\hfill \end{array}+\overline{c}\lambda _t\begin{array}{c}\delta \hfill \\ \\ \delta B\hfill \end{array}+\rho _k\lambda _t\begin{array}{c}\delta \hfill \\ \\ \delta \theta _k\hfill \end{array}\right)}`$ (136)
where $`\lambda _t`$ acts as follows on an arbitrary functional $`X`$ depending on $`\phi ,c,\overline{c},B,\rho _k,\theta _k`$ and on other variables $`\zeta `$:

$`\lambda _tX[\phi ,c,\overline{c},B,\rho _k,\theta _k,\zeta ]=X[t\phi ,tc,t\overline{c},tB,t\rho _k,t\theta _k,\zeta ].`$ (137)
By explicit computation one verifies that

$`\{𝒦,𝒮\}X=X`$ (138)
where in the above equation $`X[\phi ,c,\overline{c},B,\rho _k,\theta _k,\zeta ]`$ is assumed to vanish at $`c`$=$`\theta _k`$=$`0`$ (as it happens for $`\mathrm{\Delta }^{(n)}`$, since it has FP-charge $`+1`$ and the only fields and external sources with FP-charge $`+1`$ are $`c`$ and $`\theta _k`$). We apply eq. (138) to $`\mathrm{\Delta }^{(n)}`$ and use the Wess-Zumino consistency condition in eq. (129). We arrive at

$`\mathrm{\Delta }^{(n)}=\{𝒦,𝒮\}\mathrm{\Delta }^{(n)}=𝒮𝒦\mathrm{\Delta }^{(n)}.`$ (139)
Therefore $`\mathrm{\Xi }^{(n)}`$=$`𝒦\mathrm{\Delta }^{(n)}`$ are the counterterms to be added to the $`n`$-th order quantum effective action $`\stackrel{~}{\mathrm{\Gamma }}_{off}^{(n)}`$ to guarantee that the STI are fulfilled at the $`n`$-th order in the loop expansion. Notice that by the QCAP $`\mathrm{\Xi }^{(n)}`$ is local in the sense of integrated formal power series.

We have proven that the ET STI can be fulfilled in the off-shell formalism, i.e. it is possible to define to all orders in the loop expansion a quantum effective action $`\stackrel{~}{\mathrm{\Gamma }}_{off}`$ such that

$`𝒮(\stackrel{~}{\mathrm{\Gamma }}_{off})={\displaystyle d^4x\left(c\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}\hfill \\ \\ \delta \phi \hfill \end{array}+B\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}\hfill \\ \\ \delta \overline{c}\hfill \end{array}+\theta _k\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{off}\hfill \\ \\ \delta \rho _k\hfill \end{array}\right)}=0.`$ (146)
The above equation ensures that the Green functions of local (in the sense of formal power series) BRST invariant operators are $`\rho `$-independent. The proof is reported in sect. 7.

Notice that every counter term of the form $``$=$`(\chi )`$ is such that

$$𝒮()=d^4x\left(c\begin{array}{c}\delta \hfill \\ \\ \delta \phi \hfill \end{array}+B\begin{array}{c}\delta \hfill \\ \\ \delta \overline{c}\hfill \end{array}+\theta _k\begin{array}{c}\delta \hfill \\ \\ \delta \rho _k\hfill \end{array}\right)=0;$$

that is it can be safely added to the $`n`$-th order ST invariant normalization conditions without altering the ST identity. Thus the physical conditions imposed on the theory for $`\rho `$=$`0`$ can be preserved in the theory with $`\rho 0`$.

## 6 The SET in the on-shell formalism

The Strong Equivalence Theorem can be formulated in the framework of BRST invariance also without introducing auxilary fields (on-shell formalism). However one needs to use the formalism of Batalin-Vilkovisky to full extent. The starting point is the following on-shell classical action (for convenience we leave out the $`\stackrel{~}{}`$ and the subscript <sub>on</sub> from $`\mathrm{\Gamma }`$):

$`\mathrm{\Gamma }_0^{(0)}=S[\mathrm{\Phi }(\phi ;\rho ),\beta ]+{\displaystyle d^4x\overline{c}s\mathrm{\Phi }(\phi ;\rho )},`$ (147)
where the superscript <sup>(0)</sup> denotes the zero-th order in the loop expansion (the classical approximation), and the subscript <sub>0</sub> refers to the order in the antighost $`\overline{c}^{}`$ (conjugated to the antighost field $`\overline{c}`$) to be shortly introduced. The full on-shell classical action $`\mathrm{\Gamma }^{(0)}`$ will eventually include terms of all orders in $`\overline{c}^{}`$.

$`S`$ depends on the field $`\mathrm{\Phi }`$ and on a set of external sources $`\beta `$ coupled to local composite operators $`𝒪(\mathrm{\Phi })`$, functions of $`\mathrm{\Phi }`$ only.

The BRST differential $`s`$ is defined as

$`s\phi =c,sc=0,s\rho =\theta ,s\theta =0.`$ (148)
That is, $`(\phi ,c)`$ and $`(\rho ,\theta )`$ enter as doublets under $`s`$. In order to achieve the BRST invariance of $`\mathrm{\Gamma }_0^{(0)}`$ we need to define the BRST variation of $`\overline{c}`$ as follows:

$`s\overline{c}=\begin{array}{c}\delta S\hfill \\ \\ \delta \mathrm{\Phi }\hfill \end{array}.`$ (151)
Since $`s^2\mathrm{\Phi }(\phi ;\rho )`$=$`0`$ the above equation guarantees that $`\mathrm{\Gamma }_0^{(0)}`$ is BRST invariant.

We remark that the BRST differential $`s`$ is nilpotent only on-shell, since

$`s^2\overline{c}=\begin{array}{c}\delta ^2S\hfill \\ \\ \delta \mathrm{\Phi }\delta \mathrm{\Phi }\hfill \end{array}s\mathrm{\Phi }=\begin{array}{c}\delta ^2S\hfill \\ \\ \delta \mathrm{\Phi }\delta \mathrm{\Phi }\hfill \end{array}{\displaystyle \frac{\delta \mathrm{\Gamma }_0^{(0)}}{\delta \overline{c}}}.`$ (156)
As is well known, in order to define the composite operator $`s\overline{c}`$ at the quantum level we need to couple it in the classical action to the corresponding antifield $`\overline{c}^{}`$. We denote by $`\mathrm{\Sigma }_1`$ those terms of the classical action of order one in $`\overline{c}^{}`$:

$`\mathrm{\Sigma }_1={\displaystyle d^4x\overline{c}^{}\begin{array}{c}\delta S\hfill \\ \\ \delta \mathrm{\Phi }\hfill \end{array}}.`$ (159)
The new classical action is

$`\mathrm{\Gamma }_1^{(0)}=\mathrm{\Gamma }_0^{(0)}+\mathrm{\Sigma }_1.`$ (160)
$`\mathrm{\Gamma }_0^{(0)}`$ is BRST invariant, however $`\mathrm{\Gamma }_1^{(0)}`$ is not:

$`s\mathrm{\Gamma }_1^{(0)}`$ $`=`$ $`{\displaystyle d^4x\overline{c}^{}\begin{array}{c}\delta ^2S\hfill \\ \\ \delta \mathrm{\Phi }\delta \mathrm{\Phi }\hfill \end{array}s\mathrm{\Phi }}`$ (163)
$`=`$ $`{\displaystyle d^4x\overline{c}^{}\begin{array}{c}\delta ^2S\hfill \\ \\ \delta \mathrm{\Phi }\delta \mathrm{\Phi }\hfill \end{array}\frac{\delta \mathrm{\Gamma }_1^{(0)}}{\delta \overline{c}}}.`$ (166)
The breaking term in the r.h.s. of the above equation is linear in $`\overline{c}^{}`$. The BRST invariance of the classical action is only obtained in the on-shell limit $`\frac{\delta \mathrm{\Gamma }_0^{(0)}}{\delta \overline{c}}`$= $`\frac{\delta \mathrm{\Gamma }_1^{(0)}}{\delta \overline{c}}`$=$`0`$.

This difficulty can be circumvented by making full use of the Batalin-Vilkovisky formalism. First we define the ST operator as

$`𝒮(X)`$ $`=`$ $`\delta X+(X,X)`$ (167)
where the parenthesis is given by

$`(X,Y)={\displaystyle d^4x\begin{array}{c}\delta X\hfill \\ \\ \delta \overline{c}^{}\hfill \end{array}\begin{array}{c}\delta Y\hfill \\ \\ \delta \overline{c}\hfill \end{array}}`$ (172)
and the short-hand $`\delta `$ is for the linear part of the ST operator

$`\delta X={\displaystyle d^4x\left(c\begin{array}{c}\delta X\hfill \\ \\ \delta \phi \hfill \end{array}+\theta \begin{array}{c}\delta X\hfill \\ \\ \delta \rho \hfill \end{array}\right)}.`$ (177)
Then, in order to implement at the classical level the ST identities without going on-shell with $`\overline{c}`$ (i.e. without imposing $`\frac{\delta \mathrm{\Gamma }^{(0)}}{\delta \overline{c}}=s\mathrm{\Phi }=0`$) we add to $`\mathrm{\Gamma }_0^{(0)}`$ monomials of higher degree in $`\overline{c}^{}`$.

Thus we will construct the full on-shell classical action $`\mathrm{\Gamma }^{(0)}`$ by providing all of its $`\overline{c}^{}`$-dependent components $`\mathrm{\Sigma }_j`$. $`\mathrm{\Sigma }_j`$ is assumed to be of order $`j`$ in $`\overline{c}^{}`$. Moreover the $`\mathrm{\Sigma }_j`$ fulfill for $`j>0`$

$`\begin{array}{c}\delta \mathrm{\Sigma }_j\hfill \\ \\ \delta \overline{c}\hfill \end{array}=0`$ (180)
so that the full on-shell classical action satisfies the ghost equation

$`{\displaystyle \frac{\delta \mathrm{\Gamma }^{(0)}}{\delta \overline{c}}}={\displaystyle \frac{\delta \mathrm{\Gamma }_0^{(0)}}{\delta \overline{c}}}=s\mathrm{\Phi }.`$ (181)
The functionals $`\mathrm{\Sigma }_j`$ are constructed as follows.

Eq.(166) is translated into

$`𝒮(\mathrm{\Gamma }_1^{(0)})={\displaystyle d^4x\overline{c}^{}\begin{array}{c}\delta ^2S\hfill \\ \\ \delta \mathrm{\Phi }\delta \mathrm{\Phi }\hfill \end{array}\frac{\delta \mathrm{\Gamma }_1^{(0)}}{\delta \overline{c}}}.`$ (184)
We begin by adding the term $`\mathrm{\Sigma }_2`$ quadratic in $`\overline{c}^{}`$:

$`\mathrm{\Sigma }_2={\displaystyle d^4x\frac{1}{2}\left(\overline{c}^{}\right)^2\begin{array}{c}\delta ^2S\hfill \\ \\ \delta \mathrm{\Phi }\delta \mathrm{\Phi }\hfill \end{array}}`$ (187)
and define

$`\mathrm{\Gamma }_2^{(0)}=\mathrm{\Sigma }_0+\mathrm{\Sigma }_1+\mathrm{\Sigma }_2.`$ (188)
It turns out that $`𝒮(\mathrm{\Gamma }_2^{(0)})`$ is quadratic in $`\overline{c}^{}`$:

$`𝒮(\mathrm{\Gamma }_2^{(0)})`$ $`=`$ $`𝒮(\mathrm{\Gamma }_1^{(0)})+\delta \mathrm{\Sigma }_2+(\mathrm{\Gamma }_1^{(0)},\mathrm{\Sigma }_2)+(\mathrm{\Sigma }_2,\mathrm{\Gamma }_1^{(0)})+(\mathrm{\Sigma }_2,\mathrm{\Sigma }_2)`$ (193)
$`=`$ $`{\displaystyle d^4x\overline{c}^{}\begin{array}{c}\delta ^2S\hfill \\ \\ \delta \mathrm{\Phi }\delta \mathrm{\Phi }\hfill \end{array}\frac{\delta \mathrm{\Gamma }_2^{(0)}}{\delta \overline{c}}}+s\mathrm{\Sigma }_2+{\displaystyle d^4x\overline{c}^{}\begin{array}{c}\delta ^2S\hfill \\ \\ \delta \mathrm{\Phi }\delta \mathrm{\Phi }\hfill \end{array}\frac{\delta \mathrm{\Gamma }_2^{(0)}}{\delta \overline{c}}}`$
$`=`$ $`s\mathrm{\Sigma }_2={\displaystyle d^4x\frac{1}{2}(\overline{c}^{})^2\begin{array}{c}\delta ^3S\hfill \\ \\ \delta \mathrm{\Phi }\delta \mathrm{\Phi }\delta \mathrm{\Phi }\hfill \end{array}s\mathrm{\Phi }}`$ (196)
$`=`$ $`{\displaystyle d^4x\frac{1}{2}(\overline{c}^{})^2\begin{array}{c}\delta ^3S\hfill \\ \\ \delta \mathrm{\Phi }\delta \mathrm{\Phi }\delta \mathrm{\Phi }\hfill \end{array}\frac{\delta \mathrm{\Gamma }_2^{(0)}}{\delta \overline{c}}}.`$ (199)
The construction can be iterated. Define for $`j>0`$

$`\mathrm{\Sigma }_j(1)^j{\displaystyle \frac{1}{j!}}{\displaystyle d^4x(\overline{c}^{})^j\begin{array}{c}\delta ^{(j)}S\hfill \\ \\ \delta \mathrm{\Phi }\mathrm{}\delta \mathrm{\Phi }\hfill \end{array}}.`$ (202)
while for $`j=0`$ we set

$`\mathrm{\Sigma }_0=\mathrm{\Gamma }_0^{(0)}.`$ (203)
Then

$`\mathrm{\Gamma }_n^{(0)}={\displaystyle \underset{j=0}{\overset{n}{}}}\mathrm{\Sigma }_j`$ (204)
is such that

$`𝒮(\mathrm{\Gamma }_n^{(0)})`$ $`=`$ $`(1)^n{\displaystyle \frac{1}{n!}}{\displaystyle d^4x(\overline{c}^{})^n\begin{array}{c}\delta ^{(n+1)}S\hfill \\ \\ \delta \mathrm{\Phi }\mathrm{}\delta \mathrm{\Phi }\hfill \end{array}s\mathrm{\Phi }}`$ (207)
$`=`$ $`(1)^n{\displaystyle \frac{1}{n!}}{\displaystyle d^4x(\overline{c}^{})^n\begin{array}{c}\delta ^{(n+1)}S\hfill \\ \\ \delta \mathrm{\Phi }\mathrm{}\delta \mathrm{\Phi }\hfill \end{array}\frac{\delta \mathrm{\Gamma }_n^{(0)}}{\delta \overline{c}}}.`$ (210)
Thus the breaking of the classical ST identity for the functional $`\mathrm{\Gamma }_n^{(0)}`$ is of order $`n`$ in $`\overline{c}^{}`$. Therefore the full on-shell classical action, defined by

$`\mathrm{\Gamma }^{(0)}={\displaystyle \underset{j=0}{\overset{\mathrm{}}{}}}\mathrm{\Sigma }_j,`$ (211)
fulfills the classical ST identity

$`𝒮(\mathrm{\Gamma }^{(0)})=0.`$ (212)
In particular, if $`S[\mathrm{\Phi },\beta ]`$ is a polynomial of degree $`M`$ in $`\mathrm{\Phi }`$, the classical action $`\mathrm{\Gamma }_M^{(0)}`$ defined according to eq. (204) fulfills the ST identity

$`𝒮(\mathrm{\Gamma }_M^{(0)})=0.`$ (213)
Notice that already at the classical level there are mixed couplings $`\overline{c}^{}`$-$`\beta `$, due to the dependence of $`\begin{array}{c}\delta S\hfill \\ \\ \delta \mathrm{\Phi }\hfill \end{array}`$ on $`\beta `$. This does not prevent the identification of $`\beta `$ with the source coupled to the operator $`𝒪(\mathrm{\Phi })`$, since

$`\begin{array}{c}\delta \mathrm{\Gamma }_M^{(0)}\hfill \\ \\ \delta \beta \hfill \end{array}|_{\beta =\overline{c}^{}=0}=𝒪(\mathrm{\Phi }).`$ (216)
### 6.1 Quantization

We study the quantization of the on-shell ET STI. We will show that it can be fulfilled by a suitable choice of local finite counter-terms order by order in the loop expansion .

The proof is a recursive one. Let us assume that the ST identity has been restored up to order $`n1`$, so that

$`𝒮(\mathrm{\Gamma })^{(j)}=0,j=0,1,\mathrm{},n1.`$ (217)
The $`n`$-th order ST breaking term $`\mathrm{\Delta }^{(n)}`$, defined by

$`\mathrm{\Delta }^{(n)}𝒮(\mathrm{\Gamma })^{(n)},`$ (218)
fulfills the following Wess-Zumino consistency condition:

$`𝒮_0\mathrm{\Delta }^{(n)}=0,`$ (219)
where $`𝒮_0`$ is the classical linearized ST operator given by

$`𝒮_0(X){\displaystyle d^4x\left(c\begin{array}{c}\delta X\hfill \\ \\ \delta \phi \hfill \end{array}+\theta \begin{array}{c}\delta X\hfill \\ \\ \delta \rho \hfill \end{array}\right)}+(\mathrm{\Gamma }^{(0)},X)+(X,\mathrm{\Gamma }^{(0)}).`$ (224)
Moreover thanks to the QCAP $`\mathrm{\Delta }^{(n)}`$ is a local integrated formal power series with FP-charge $`+1`$. Since the only fields and external sources with FP-charge $`+1`$ are $`c`$ and $`\theta `$, we get that

$`\mathrm{\Delta }^{(n)}|_{c=\theta =0}=0.`$ (225)
Notice that both $`c`$ and $`\theta `$ enter into doublets under the classical linearized ST operator $`𝒮_0`$. However in the present case $`(\phi ,c)`$ and $`(\rho ,\theta )`$ are coupled doublets, according to the terminology of , since their counting operator does not commute with $`𝒮_0`$. Therefore we must resort to the results discussed in  and summarized in appendix B to carry out the recursive cohomological analysis of the ST breaking term $`\mathrm{\Delta }^{(n)}`$.

By using these results we get that eq. (225) combined with eq. (219) guarantees that $`\mathrm{\Delta }^{(n)}`$ belongs to the trivial cohomology class of the operator $`𝒮_0`$, namely there exists a local integrated formal power series $`\mathrm{\Xi }^{(n)}`$ such that

$`𝒮_0(\mathrm{\Xi }^{(n)})=\mathrm{\Delta }^{(n)}.`$ (226)
By adding the local (in the sense of formal power series) finite counterterms $`\mathrm{\Xi }^{(n)}`$ to the $`n`$-th order effective action we end up with a new symmetric quantum effective action fulfilling the ST identity up to order $`n`$.

We conclude that it is possible to define a full quantum effective action $`\mathrm{\Gamma }`$ fulfilling the ST identity

$`𝒮(\mathrm{\Gamma })=0,`$ (227)
to all orders in the loop expansion. We remark that $`\mathrm{\Gamma }`$ also depends on the external sources $`\beta `$ coupled to local composite operators $`𝒪(\mathrm{\Phi })`$ which are functions only of $`\mathrm{\Phi }`$. Notice that, unlike in the standard BRST treatments of gauge theories, the sources $`\beta `$ are not coupled here to BRST invariant operators. All the same we will be able to prove the $`\rho `$-independence of the vertex functions

$`\begin{array}{c}\delta ^{(n)}\stackrel{~}{\mathrm{\Gamma }}_{on}\hfill \\ \\ \delta \beta _{i_1}(x_1)\mathrm{}\delta \beta _{i_n}(x_n)\hfill \end{array}`$ (230)
as a consequence of the ET STI in eq. (227), once all the external sources are switched off and the conditions $`\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{on}\hfill \\ \\ \delta c\hfill \end{array}`$=0, $`\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{on}\hfill \\ \\ \delta \overline{c}\hfill \end{array}`$=0 and $`\begin{array}{c}\delta \stackrel{~}{\mathrm{\Gamma }}_{on}\hfill \\ \\ \delta \phi \hfill \end{array}`$=0 are imposed.

## 7 Consequences for the Green functions of the model

We now have to investigate the consequences of the ET STI on the Green functions of the model. We have identified for each case of the ET a selected set of Green functions:
a) for the WET those of the BRST invariant operators, including operators dependent only on $`\mathrm{\Phi }(\phi ;\rho )`$ (since in this formalism $`s\mathrm{\Phi }=0`$);
b) for the off-shell SET those of the BRST invariant operators, including operators dependent only on $`\chi `$ (since in this formalism $`s\chi =0`$);
c) for the on-shell SET those of the operators dependent only on $`\mathrm{\Phi }(\phi ;\rho )`$. Notice that in this case these are not BRST invariant. The external source coupled to this operator must be included in the Batalin-Vilkovisky formalism.

In each case the relevant ET STI imply that the above mentioned Green functions of local (in the sense of formal power series) operators do not depend on $`\rho `$.

In some cases this set of Green functions can be identified with the physics of the model. However this is not always possible. For instance it can be shown, in , that the ET provides a somewhat natural quantization prescription for those gauge theories which are anomalous in the ordinary BRST quantization. Although the ET STI can be restored in these models to all orders in the loop expansion (assuming that the QCAP holds), their content is much weaker than that of ordinary STI based on gauge symmetry. In particular the former, unlike the latter, say nothing about the unitarity of the theory, which is indeed violated at the quantum level. Therefore we cannot use ET STI to study physical observables.

For this reason we limit ourselves to the discussion of the $`\rho `$-independence of the relevant Green functions discussed above, with no claim that they identify the physics of the model.

We work out in detail the proof of the independence of $`\rho `$ for the Green functions of operators dependent only on $`\mathrm{\Phi }`$ for the on-shell SET case. The same pattern applies to the other two cases, where the proof boils down to a straightforward paraphrase of standard arguments , previously used to discuss the dependence of the BRST invariant operators on the gauge parameters in ordinary gauge theories. Instead in the on-shell case we are dealing with operators which are not BRST invariant. However it turns out that a similar proof can be applied also in this case.

We start from the ST identity for the connected generating functional $`\stackrel{~}{W}_{on}`$

$`𝒮(\stackrel{~}{W}_{on})`$ $``$ $`{\displaystyle d^4x\left(K(x)\begin{array}{c}\delta \stackrel{~}{W}_{on}\hfill \\ \\ \delta \overline{\eta }(x)\hfill \end{array}\eta (x)\begin{array}{c}\delta \stackrel{~}{W}_{on}\hfill \\ \\ \delta \overline{c}^{}(x)\hfill \end{array}+\theta _i(x)\begin{array}{c}\delta \stackrel{~}{W}_{on}\hfill \\ \\ \delta \rho _i(x)\hfill \end{array}\right)}=0.`$ (237)
We differentiate the above equation with respect to $`\theta _k(y)`$ and get

$`\begin{array}{c}\delta \stackrel{~}{W}_{on}\hfill \\ \\ \delta \rho _k(y)\hfill \end{array}={\displaystyle d^4x\left(K(x)\begin{array}{c}\delta ^2\stackrel{~}{W}_{on}\hfill \\ \\ \delta \theta _k(y)\delta \overline{\eta }(x)\hfill \end{array}+\eta (x)\begin{array}{c}\delta ^2\stackrel{~}{W}_{on}\hfill \\ \\ \delta \theta _k(y)\delta \overline{c}^{}(x)\hfill \end{array}+\theta _i(x)\begin{array}{c}\delta ^2\stackrel{~}{W}_{on}\hfill \\ \\ \delta \theta _k(y)\delta \rho _i(x)\hfill \end{array}\right)}.`$ (246)
Differentiation of eq. (246) with respect to the sources $`\beta _{l_1}(z_1),\mathrm{},\beta _{l_n}(z_n)`$ gives, once we go on shell and set $`K=\theta =\beta =\eta =\overline{\eta }=\overline{c}^{}=0`$:

$`\begin{array}{c}\delta ^{(n+1)}\stackrel{~}{W}_{on}\hfill \\ \\ \delta \beta _{l_1}(z_1)\mathrm{}\delta \beta _{l_n}(z_n)\delta \rho _k(y)\hfill \end{array}|_{K=\theta =\beta =\eta =\overline{\eta }=\overline{c}^{}=0}=0.`$
Therefore the Green functions of operators depending only on $`\mathrm{\Phi }(\phi ;\rho )`$ are independent of $`\rho _k`$. This is the content of the on-shell SET.

## 8 Example: an application of the ET in the Abelian gauge theory

We want to illustrate our discussion by giving an example obtained from the Abelian gauge theory. In this section we show that there exists a very simple field redefinition connecting Proca’s gauge, which looks unitary but is not renormalizable by power-counting, to the Lorentz-covariant gauge, which is renormalizable by power-counting. This procedure based on ET might give a meaning to the massive QED in Proca’s gauge, which is non-renormalizable in the conventional sense.

### 8.1 The starting point: the Lorentz-covariant gauge

We start with the Lagrangian including matter fields with a gauged $`U(1)`$ symmetry, where the gauge boson is massive and is quantized in the Lorentz-covariant gauge, parameterized by $`\alpha `$:

$`S_\alpha ={\displaystyle d^4x_\alpha }`$ $`=`$ $`{\displaystyle d^4x\left(\frac{1}{4}F_{\mu \nu }F^{\mu \nu }+\frac{m^2}{2}A^2\frac{\alpha }{2}(A)^2+_\psi (A_\mu ,\psi ,\overline{\psi })\right)}.`$ (248)
$`_\psi =\overline{\psi }𝒟/\psi m\overline{\psi }\psi `$ (249)
is the term containing the fermion fields, which are minimally coupled to the gauge boson (i.e. $`𝒟/=/+ieA/`$).

### 8.2 From the Lorentz-covariant gauge to Proca’s gauge: a field redefinition

We can use the Equivalence Theorem at the classical level to connect a theory with mass $`m`$ and gauge parameter $`\alpha `$ to a theory with the same mass $`m`$ and gauge parameter $`\alpha =0`$. That is, we are dealing with a field transformation connecting the Lorentz-covariant gauge to Proca’s gauge.

The gauge provided by the action in eq. (248) can also be obtained by using the auxiliary field $`\phi `$:

$`S`$ $`=`$ $`{\displaystyle d^4x(x)}`$ (250)
$`=`$ $`{\displaystyle d^4x\left(\frac{1}{4}F_{\mu \nu }F^{\mu \nu }+\frac{m^2}{2}A^2+m\sqrt{\alpha }\phi A+\frac{m^2}{2}\phi ^2+_\psi (A_\mu ,\psi ,\overline{\psi })\right)}.`$
The field $`\phi `$ does not enter in the interaction vertices. Thus we can impose the equation of motion for $`\phi `$:

$`\begin{array}{c}\delta S\hfill \\ \\ \delta \phi \hfill \end{array}=m\sqrt{\alpha }A+m^2\phi =0`$ (253)
so that

$`\phi ={\displaystyle \frac{\sqrt{\alpha }}{m}}A.`$ (254)
Both equations (253) and (254), being linear in the fields, are valid at the quantum level.

If we perform the following field redefinition in eq. (250)

$`A_\nu A_\nu ^{}A_\nu +{\displaystyle \frac{\sqrt{\alpha }}{m}}_\nu \phi ,\phi \phi ,`$
$`\psi \psi ^{}\mathrm{exp}\left(ie{\displaystyle \frac{\sqrt{\alpha }}{m}}\phi \right)\psi ,\overline{\psi }\overline{\psi }^{}\mathrm{exp}\left(ie{\displaystyle \frac{\sqrt{\alpha }}{m}}\phi \right)\overline{\psi },`$
(255)
we obtain the transformed action

$`S_{Proca}`$ $`=`$ $`{\displaystyle d^4x_{Proca}(x)}`$ (256)
$`=`$ $`{\displaystyle d^4x\left(\frac{1}{4}F_{\mu \nu }F^{\mu \nu }+\frac{m^2}{2}A_\mu ^2+_{\mathrm{int}}(A_\mu ,\psi ,\overline{\psi })+\alpha _\nu \phi ^\nu \phi +\frac{m^2}{2}\phi ^2\right)},`$
which is the QED action in Proca’s gauge with the addition of the free scalar field $`\phi `$.

### 8.3 Proca’s gauge

Notice that in a massive Abelian gauge theory with zero gauge-fixing parameter the propagator given by

$$D^{\mu \nu }=i\frac{g^{\mu \nu }\frac{p^\mu p^\nu }{m^2}}{p^2m^2+iϵ},$$
(257)
behaves asymptotically as a constant for large $`p^2`$ and propagates only transverse polarizations. In the Lorentz-covariant gauge

$`D_\alpha ^{\mu \nu }(p)=i{\displaystyle \frac{g^{\mu \nu }\frac{p^\mu p^\nu }{m^2}}{p^2m^2+iϵ}}i{\displaystyle \frac{\frac{p^\mu p^\nu }{m^2}}{p^2\frac{m^2}{\alpha }+iϵ}}`$ (258)
behaves as $`1/p^2`$ at large momenta and propagates both spin 1 and (unphysical) spin zero modes. As a consequence, the latter theory can be considered renormalizable by power-counting but not manifestly unitary, while the former is not renormalizable by power-counting but is manifestly unitary.

Therefore the field redefinitions in eq. (8.2) connect a unitary non-power-counting renormalizable theory to a power-counting renormalizable one.

### 8.4 The Equivalence Theorem and Proca’s gauge

We now want to understand what happens at quantum level, i.e. we apply the Equivalence Theorem to the transformations in eq. (8.2). We introduce a parameter $`\rho `$ controlling the field redefinitions in eq. (8.2) and rewrite them as

$`A_\nu `$ $``$ $`A_\nu ^{}A_\nu +\rho {\displaystyle \frac{\sqrt{\alpha }}{m}}_\nu \phi ,`$
$`\psi `$ $``$ $`\psi ^{}\mathrm{exp}\left(ie\rho {\displaystyle \frac{\sqrt{\alpha }}{m}}\phi \right)\psi ,`$
$`\overline{\psi }`$ $``$ $`\overline{\psi }^{}\mathrm{exp}\left(ie\rho {\displaystyle \frac{\sqrt{\alpha }}{m}}\phi \right)\overline{\psi }.`$ (259)
Since the Jacobian of the above field redefinition is one and the transformation is locally invertible, we can apply the WET.

The ET BRST transformation of the parameter $`\rho `$ is provided by

$`s\rho =\theta ,s\theta =0,`$ (260)
where $`\theta `$ is an anti-commuting parameter. The FP-charge of $`\rho ,\theta `$ is defined by setting $`FP(\rho )=0`$, $`FP(\theta )=1`$.

According to the formulation developed in sect. 2 for the WET we impose that $`A_\mu ^{}`$, $`\psi ^{}`$, $`\overline{\psi }^{}`$ are BRST invariant (see eq. (21)). In this way we obtain the BRST transformations of $`A_\mu ,\psi ,\overline{\psi }`$ (denoted by $`sA_\mu =\omega _\mu `$, $`s\psi =\omega `$, $`s\overline{\psi }=\overline{\omega }`$), in agreement with eq. (36):

$`sA_\mu ^{}`$ $`=`$ $`\omega _\mu +\theta {\displaystyle \frac{\sqrt{\alpha }}{m}}_\mu \phi =0,`$
$`s\psi ^{}`$ $`=`$ $`ie\theta {\displaystyle \frac{\sqrt{\alpha }}{m}}\phi \mathrm{exp}\left(ie\rho {\displaystyle \frac{\sqrt{\alpha }}{m}}\phi \right)\psi +\mathrm{exp}\left(ie\rho {\displaystyle \frac{\sqrt{\alpha }}{m}}\phi \right)\omega =0,`$
$`s\overline{\psi }^{}`$ $`=`$ $`i\overline{\psi }\mathrm{exp}\left(ie\rho {\displaystyle \frac{\sqrt{\alpha }}{m}}\phi \right)e\theta {\displaystyle \frac{\sqrt{\alpha }}{m}}\phi +\overline{\omega }\mathrm{exp}\left(ie\rho {\displaystyle \frac{\sqrt{\alpha }}{m}}\phi \right)=0.`$ (261)
The solution for $`\omega _\mu `$ is

$`\omega _\mu =\theta {\displaystyle \frac{\sqrt{\alpha }}{m}}_\mu \phi `$ (262)
which is linear in the fields and does not require the introduction of any external source.

Notice that the solution for $`\omega `$ and $`\overline{\omega }`$

$`\omega =ie\theta {\displaystyle \frac{\sqrt{\alpha }}{m}}\phi \psi `$ and $`\overline{\omega }=ie\overline{\psi }\theta {\displaystyle \frac{\sqrt{\alpha }}{m}}\phi `$ (263)
is quadratic in the fields. Since the field $`\phi `$ is not interacting, according to eq. (253), the products of fields in eq.(263) are well-defined and do not require the introduction of the antifields for $`\psi ,\overline{\psi }`$. Thus we can write the ET STI as:

$`𝒮(\mathrm{\Gamma })={\displaystyle d^4x\left(\theta \frac{\sqrt{\alpha }}{m}_\mu \phi \begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta A_\mu \hfill \end{array}ie\theta \frac{\sqrt{\alpha }}{m}\phi \psi \begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \psi \hfill \end{array}+ie\overline{\psi }\theta \frac{\sqrt{\alpha }}{m}\phi \begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \overline{\psi }\hfill \end{array}\right)}+\theta \begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \rho \hfill \end{array}=0.`$ (272)
We wish to comment on the above equation. Eq.(272) looks like a Ward identity taking into account the gauge transformation of $`A_\mu `$, $`\psi `$ and $`\overline{\psi }`$. The last term of ET STI allows to control the dependence of all Green functions on the gauge parameter $`\rho `$. Eq.(272) guarantees that the Green functions of gauge-invariant operators are independent of $`\rho `$ and thus we can look at Proca’s gauge as the limit of $`\rho `$ going to zero.

## 9 Concluding remarks

In this note we discussed the Equivalence Theorem (ET) in the BRST formalism.

Some discussion has been devoted to the kind of transformation of the fields: if the transformation has a local inverse (at least perturbatively) then some short-cut in the proof of the ET at quantum level can be used, but also if the inverse is non-local we proposed some alternative which allow the loop expansion both in the original and in the transformed theory.

We studied the quantum deformation to the associated ST identity and showed that suitably defined sets of Green functions do not depend on the choice of the transformation of the fields. The computation of the cohomology for the linearized ST identity has been performed by purely algebraic methods and no power-counting arguments have been used. The results of the paper are based on the conjecture of the Quasi Classical Action Principle.

As an example we studied the massive QED in Proca’s gauge by relating it to a renormalizable gauge theory in the Lorentz-covariant gauge via the Equivalence Theorem.

## Acknowledgments

Two of us would like to thank Professor R. Stora for useful discussions. The MIUR, Ministero dell’Istruzione dell’Università e della Ricerca, Italy, and the INFN (sezione di Milano) are acknowledged for the financial support.

## Appendix A The Quasi Classical Action Principle

In the framework of Algebraic Renormalization an essential rôle is played by a set of locality properties of the renormalized Green functions encoded in the so-called Quantum Action Principle (QAP). The relevance of the QAP in discussing many aspects of the renormalized theory by purely algebraic and regularization-independent methods has emerged since the first pioneering papers on the BRST quantization of gauge theories. It is now believed that the QAP expresses the fundamental locality requirements a regularization scheme should possess in order to give rise to a sensible (local) power-counting renormalizable quantum field theory. These locality requirements are common to all regularization schemes and do not depend on the normalization conditions chosen.

Despite this kind of universality, the proof of the QAP has to be given independently for each regularization procedure. In the seventies the QAP has been proven for a variety of regularization schemes, including BPHZ and analytical and dimensional regularization. We wish to recall here the quite noticeable exception of the Epstein-Glazer formalism, for which no satisfactory proof of the QAP has been worked out up to now.

It is customary to summarize the content of the QAP by characterizing the behavior of the renormalized quantum effective action $`\mathrm{\Gamma }`$ under infinitesimal variations of the fields and the parameters of the model. The standard formulation of the QAP (as given for instance in ) is the following.

###### Proposition A.1

Let $`\mathrm{\Gamma }`$ be the vertex functional corresponding to a (power-counting renormalizable) theory in a $`D`$-dimensional space-time with a classical action given by

$`\mathrm{\Gamma }^{(0)}={\displaystyle d^Dx(\phi _a,\beta _i,\lambda )}`$ (273)
where $`\phi _a`$ are the quantum fields, $`\beta _i`$ the external sources coupled to field polynomials $`Q^i`$ and $`\lambda `$ stands for the parameters of the model (masses, coupling constants, renormalization points). Let the inverse of the quadratic part of the action be the standard Feynman propagators.
Given the local operator

$`𝔰(\mathrm{\Gamma })\alpha _a\begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \phi _a(x)\hfill \end{array}+\alpha _{ab}\phi _b(x)\begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \phi _a(x)\hfill \end{array}+\alpha _{ia}\begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \beta _i(x)\hfill \end{array}\begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \phi _a(x)\hfill \end{array}+\alpha \begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \lambda \hfill \end{array},`$ (284)
where $`\alpha _a,\alpha _{ab},\alpha _{ia}`$ and $`\alpha `$ are constants, then the Quantum Action Principle can be stated in the following way

$`𝔰(\mathrm{\Gamma })=\mathrm{\Delta }(x)\mathrm{\Gamma }=\mathrm{\Delta }^{(n)}(x)+O(\mathrm{}^{n+1}).`$ (285)
$`\mathrm{\Delta }(x)\mathrm{\Gamma }`$ denotes the insertion of a local operator. Moreover the lowest non-vanishing order coefficient $`\mathrm{\Delta }^{(n)}(x)`$ of $`\mathrm{\Delta }(x)\mathrm{\Gamma }`$ is a local polynomial in the fields and external sources and their derivatives with bounded dimension.

At the integrated level (Slavnov-Taylor-like identities) the QAP reads

$`𝒮(\mathrm{\Gamma }){\displaystyle d^4x𝔰(\mathrm{\Gamma })}={\displaystyle d^4x\mathrm{\Delta }(x)\mathrm{\Gamma }}.`$ (286)
The first non-vanishing order of the ST-like breaking terms is given by

$`\mathrm{\Delta }^{(n)}𝒮(\mathrm{\Gamma })^{(n)}={\displaystyle d^4x\mathrm{\Delta }^{(n)}(x)}.`$ (287)
As a consequence of Proposition A.1, $`\mathrm{\Delta }^{(n)}`$ is an integrated local polynomial in the fields and the external sources and their derivatives with bounded dimension.

The ultraviolet (UV) dimension $`d_\mathrm{\Delta }`$ of $`\mathrm{\Delta }^{(n)}`$ can be predicted from the UV dimensions $`d_a`$ of the fields $`\phi _a`$ and the UV dimensions $`d_{Q^i}`$ of the field polynomials $`Q^i`$ . We do not dwell on this problem here since the only information we need for the present discussion is the fact that $`d_\mathrm{\Delta }`$ is bounded.

The QAP tells us that in a power-counting renormalizable theory the ST-like identity in eq. (286) can be broken at quantum level only by the insertion of an integrated local composite operator of bounded dimension. This is an all-order statement holding true regardless the normalization conditions chosen. At the lowest non-vanishing order the insertion $`\mathrm{\Delta }(x)\mathrm{\Gamma }`$ reduces to a local polynomial in the fields and external sources and their derivatives with bounded dimensions. This property is a consequence of the topological nature of the $`\mathrm{}`$-expansion as a loop expansion. That is, if a local insertion in the vertex functional were zero up to the order $`n1`$, at the $`n`$-th order it must reduce from a diagrammatic point of view to a set of points. By power-counting this set is finite and hence it corresponds to a local polynomial in the fields and the external sources and their derivatives.

The extension of the QAP beyond the power-counting renormalizable case is yet an open issue in the theory of renormalization. For a non-power-counting (but still polynomial) interaction Lagrangian it is known in analytical renormalization that the breaking of the ST-like identities is given by the insertion of a (possibly infinite) sum of local operators. Quite restrictive assumptions on the form of the propagators are needed in the proofs of both the QAP and extensions thereof. In all cases the key ingredient of these diagrammatic analyses is Zimmerman’s forest formula, allowing to treat in a systematic way the rather formidable combinatorial intricacies of the renormalization procedure.

A complementary approach has been recently formulated in  by Stora. A statement weaker than the QAP has been conjectured to hold true in very general situations, as a consequence of first principles of (axiomatic) local quantum field theory. Unlike in the QAP no reference is made to the all-orders characterization of ST-like breaking terms. It is only stated that the first non-vanishing order in the loop expansion is a local functional. Here locality should be generally understood in the sense of local formal power series, since the loss of power-counting forces to drop bounds on the dimensions.

The starting point is the existence of an off-shell $`S`$-matrix fulfilling causal factorization. We also assume that the free fields can be derived from a Lagrangian, which in turn implies (in the presence of a mass gap) the validity of the LSZ reduction formulae. The latter allow to make the connection with the usual Green functions by defining their generating functional $`Z[J,g]`$ to be equal to the vacuum expectation value of the off-shell $`S`$-matrix. Here $`J`$ is a collective notation for the external sources linearly coupled to the quantized fields $`\{\phi _a\}`$ and $`g`$ stands for all the external sources $`\beta `$ coupled to composite operators and for all the coupling constants $`\lambda `$ (promoted to test functions in the spirit of the Epstein-Glazer approach).

Stora’s conjecture can the be summarized as follows :

###### Proposition A.2

Let

$$𝒟(ϵ)=d^4xϵ(x)𝒟_x[J,g]$$

where $`𝒟_x[J,g]`$ is a local functional first order linear differential operator:

$$𝒟_x[J,g]=𝒢(J,g)(x)\begin{array}{c}\delta \hfill \\ \\ \delta g(x)\hfill \end{array}+K(J,g)(x)\begin{array}{c}\delta \hfill \\ \\ \delta J(x)\hfill \end{array}$$

with $`𝒢`$ and $`K`$ are local in $`g`$ and $`J`$, and $`ϵ(x)`$ is a test function.
Let

$$W[J,g]=\underset{n}{}\mathrm{}^nW^{(n)}[J,g]$$

be the connected generating functional expanded in powers of the loop-counting parameter $`\mathrm{}`$.
Assume that

$$𝒟(ϵ)W^{(i)}[J,g]=0\text{ for }i<n$$

Then

$$𝒟(ϵ)W^{(n)}[J,g]=\mathrm{\Delta }^{(n)}[J,g,\phi ](ϵ)|_{\frac{\delta W^{(0)}[J,g]}{\delta J(x)}=\phi (x)}$$

for some $`\mathrm{\Delta }^{(n)}`$ local in $`(J,g,\phi )`$.

In this approach the diagrammatic analysis is avoided and no mention is made to the detailed structure of the interaction Lagrangian of ordinary perturbative quantum field theory. Moreover in this formulation there is no reference to the concrete procedure allowing to construct the $`n`$-th order in the loop expansion, starting from lower orders. In particular we do not rest on any specific regularization procedure. In this sense the conjecture captures the universal features of the locality properties one should demand for any physically sensible renormalization. This in turn renders the content of the conjecture the natural expectation to be required for all possible extensions of ordinary quantum field theory to those situations where power-counting renormalizability might not hold.

Up to now no proof of Proposition A.2 is known. In the present paper we assume its validity and make extensive use of the following consequence of Proposition A.2, known as the Quasi-Classical Action Principle:

###### Proposition A.3

Let $`\mathrm{\Gamma }`$ be the vertex functional corresponding to a theory with a classical action given by

$$\mathrm{\Gamma }^{(0)}=d^4x(\phi _a,\beta _i,\lambda )$$

where $`\phi _a`$ are the quantum fields, $`\beta _i`$ the external sources coupled to field polynomials $`Q^i`$, and $`\lambda `$ stands for the parameters of the model (masses, coupling constants, renormalization points). We assume that the Legendre transform $`W[J,\beta ,\lambda ]`$ of $`\mathrm{\Gamma }[\phi ,\beta ,\lambda ]`$

$`W[J,\beta ,\lambda ]=\mathrm{\Gamma }[\phi ,\beta ,\lambda ]+{\displaystyle d^4xJ(x)\phi (x)},J(x)=\begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \phi (x)\hfill \end{array},\begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \beta (x)\hfill \end{array}=\begin{array}{c}\delta W\hfill \\ \\ \delta \beta (x)\hfill \end{array},`$ (294)
fulfills Proposition A.2. Notice that $`\mathrm{\Gamma }^{(0)}`$ is not required to be power-counting renormalizable. Let us also define

$`𝔰(\mathrm{\Gamma })`$ $`=`$ $`\alpha _a\begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \phi _a(x)\hfill \end{array}+\alpha _{ab}\phi _b(x)\begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \phi _a(x)\hfill \end{array}+\alpha _{ia}\begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \beta _i(x)\hfill \end{array}\begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \phi _a(x)\hfill \end{array}+\alpha \begin{array}{c}\delta \mathrm{\Gamma }\hfill \\ \\ \delta \lambda \hfill \end{array}.`$ (305)
Then (Quasi Classical Action Principle) the first non-vanishing order in the loop expansion, say $`n`$, of $`𝔰(\mathrm{\Gamma })`$:

$`\mathrm{\Delta }^{(n)}𝔰(\mathrm{\Gamma })^{(n)},𝔰(\mathrm{\Gamma })^{(j)}=0\text{for }j=0,1,\mathrm{},n1`$ (306)
is a local formal power series in the fields and external sources and their derivatives.

In the power-counting renormalizable case bounds on the dimensions can be given truncating the formal power series predicted by the QCAP to a local polynomial. Thus the QCAP reduces in this case to the part of the QAP stating that the lowest non-vanishing order $`\mathrm{\Delta }^{(n)}(x)`$ of $`\mathrm{\Delta }(x)\mathrm{\Gamma }`$ in eq. (285) is a polynomial. This justifies the name of Quasi-Classical Action Principle.

For most practical purposes the QCAP (or, for power-counting renormalizable theories, the part of the QAP relevant to $`\mathrm{\Delta }^{(n)}(x)`$) is what is really needed in order to carry out the program of Algebraic Renormalization. In particular, this is enough to discuss the restoration of anomaly-free ST-like identities order by order in the loop expansion. This point is illustrated in the present paper on the example of the quantization of the Equivalence Theorem ST identities.

## Appendix B Cohomology of coupled doublets

The computation of the cohomology of an arbitray nilpotent differential $`s`$ (including BRST differentials and classical linearized Slavnov-Taylor operators) can be simplified thanks to the elimination of the fields and external sources entering as doublets under $`s`$.

We make here the distinction between (decoupled) doublets, in the ordinary sense used in literature, and coupled doublets.

###### Definition B.1

A pair of variables ($`\rho `$,$`\theta `$) is called a (decoupled) doublet under the nilpotent differential $`s`$ if and only if

$`s\rho =\theta ,s\theta =0`$ (307)
and their counting operator

$`𝒩={\displaystyle \underset{k}{}}{\displaystyle d^4x\left(\rho _k\begin{array}{c}\delta \hfill \\ \\ \delta \rho _k\hfill \end{array}+\theta _k\begin{array}{c}\delta \hfill \\ \\ \delta \theta _k\hfill \end{array}\right)}`$ (312)
commutes with $`s`$:

$`[𝒩,s]=0.`$ (313)
The last condition justifies the name of decoupled doublets. Usually in the literature the variables fulfilling the conditions in eqs.(307) and (313) are simply called “doublets”. Here we wish to charcterize them further as “decoupled” since we will drop soon the condition in eq. (313). It is a well-known fact that

###### Lemma B.1

If a pair of variables ($`\rho `$,$`\theta `$) is a decoupled doublet under the nilpotent differential $`s`$ and $`[\rho ,\theta ,\zeta ]`$ is a $`s`$-invariant local integrated formal power series depending on $`\rho ,\theta `$ and on other variables collectively denoted by $`\zeta `$, then its $`(\rho ,\theta )`$-dependent part is $`s`$-closed:

$$[\rho ,\theta ,\zeta ][0,0,\zeta ]=s𝒢[\rho ,\theta ,\zeta ]$$

for some local integrated formal power series $`𝒢[\rho ,\theta ,\zeta ]`$.

Proofs of the above Lemma can be found for instance in  and in . As a consequence of lemma B.1, it can be proven that the cohomology of $`s`$ in the space of local integrated formal power series does not depend on $`(\rho ,\theta )`$ .

The external sources $`(\rho ,\theta )`$, introduced in the discussion of the on-shell formulation of the Equivalence Theorem, fulfill eq. (307), where the relevant nilpotent differential $`s`$ is now the classical linearized ST operator (see eq. (66) for the WET and (224) for the SET). However they do not meet eq. (313). We introduce then the following definition:

###### Definition B.2

A pair of variables ($`\rho `$,$`\theta `$) is called a “coupled doublet” under the nilpotent differential $`s`$ if

$`s\rho =\theta ,s\theta =0`$
and their counting operator

$`𝒩={\displaystyle \underset{k}{}}{\displaystyle d^4x\left(\rho _k\begin{array}{c}\delta \hfill \\ \\ \delta \rho _k\hfill \end{array}+\theta _k\begin{array}{c}\delta \hfill \\ \\ \delta \theta _k\hfill \end{array}\right)}`$ (318)
does not commute with $`s`$

$`[𝒩,s]0.`$ (319)
It turns out  that the cohomology of $`s`$ in the space of local integrated formal power series can be completely characterized in terms of the doublets-independent component of $`s`$. However the statement of lemma B.1 is no more true. A weaker statement, which proves to be sufficient for the discussion of the ET STI in the on-shell formalism, can be proven :

###### Lemma B.2

Let $`[\rho ,\theta ,\zeta ]`$ be a local integrated formal power series closed under the nilpotent differential $`s`$:

$`s=0.`$ (320)
Moreover let us assume that $`s[0,0,\zeta ]=0`$. Then we have

$`[\rho ,\theta ,\zeta ][0,0,\zeta ]=s𝒢[\rho ,\theta ,\zeta ]`$ (321)
for some local integrated formal power series $`𝒢[\rho ,\theta ,\zeta ]`$.

In particular we remark that eq. (320) is satisfied if

$`[0,0,\zeta ]=0.`$ (322)
In the ET STI the $`n`$-th order ST breaking term $`\mathrm{\Delta }^{(n)}`$ plays the rôle of $`[\rho ,\theta ,\zeta ]`$. $`\mathrm{\Delta }^{(n)}`$ has FP-charge $`+1`$. Since the only fields and external sources with FP-charge $`+1`$ all enter as doublets under the linearized classical ST operator, $`\mathrm{\Delta }^{(n)}`$ fulfills eq. (322). Therefore we can apply lemma B.2. This in turn allows to prove that the on-shell ET STI are non-anomalous, as is explained in Sect. 2.2 and 6.1.