Multiplicative renormalization of Yang-Mills theories in the background-field formalism

In the paper, within the background-field method, the structure of renormalizations is studied as for Yang-Mills fields interacting with a multiplet of spinor fields. By extending the Faddeev-Popov action with extra fields and parameters, one is allowed to establish the multiplicative character of the renormalizability. The renormalization of the physical parameters is shown to be gauge-independent.


Introduction
When quantizing non-Abelian gauge field theories [1], whose gauge transformations form a group, one is naturally based on the Faddeev-Popov method [2]. It is a characteristic property of the Faddeev -Popov gauge-fixed action that the latter is invariant under global BRST supersymmetry [3,4], which, in turn, can be expressed in the form of the Zinn-Justin equation [5] for the Faddeev -Popov action. At the quantum level, the BRST symmetry as expressed in terms of the effective action, implies the Slavnov-Taylor identities [6,7] to hold. Further generalization as to the quantization of gauge theories, including the cases of field-dependent structure coefficients, as well as open and/or reducible gauge algebra, is described by the field-antifield BV formalism [8,9]. In that formalism, the effective action is BRST invariant by construction, and thus satisfies the master equation which provides for the gauge invariance of the physical sector of the theory [8,9].
An interest to the gauge dependence problem did appear from the study of the effective potential, which appeared to be gauge-dependent in Yang-Mills theories with spontaneous breaking of the symmetry, when calculating physically-sensible results (the energy of the ground state, the masses of the physical particles, and so on) [10,11]. In Refs. [12,13] it was established that the energy of the ground state was gauge-independent. Later, it was proved [14,15] that in Yang -Mills theories the dependence of gauge parameters in the effective action could be described in terms of gauge-invariant functional whose arguments (fields) were gaugedependent (see also recent Refs. [16,17] devoted to that problem as resolved via the procedure of redefinition of the field variables, found in [14,15]). Notice that in the general case of gauge theories, a variation in gauge condition is described in the form of certain change of the field variables (in terms of anticanonical transformations) [18,19].
Although there are many papers devoted to various aspects of renormalizability of Yang-Mills theories, gauge dependence of renormalization constants has been studied explicitly only as for the gauge field sector [20]. In the present paper, within the background field formalism, it is studied a multiplicative renormalization procedure and gauge dependence as for Yang-Mills fields interacting with a multiplet of spinor fields. It is shown that renormalizations of physical parameters of the theory are gauge-independent.
The paper is organized as follows. In Section 2, it is discussed the action of Yang-Mills fields and spinor fields in the standard approach and in the background field method; it is also introduced extended action, which leads in the background field method to a multiplicative renormalizable theory of the fields considered; it is also studied the symmetry of the extended action. In Section 3, it is established the structure and the arbitrariness is described as for any local functional with the quantum numbers of the extended action that satisfies the same set of equations as the extended action. In Section 4, the equations are derived for the generating functional of vertexes (effective action), as a consequence at the quantum level, of the symmetry property of the extended action; and it is shown that the generating functional of vertexes satisfies the same equations as the extended classical action. In Section 5, it is studied the renormalization procedure of the theory considered when using the loop expansion technique and the minimal subtraction scheme; and thus the multiplicative renormalizability of the theory is proved. In Section 6, the relations are found between the parameters of the renormalized action and the standard renormalization constants of fields and vertexes of the interaction, and renormalized physical parameters are shown to be gauge-independent. Concluding remarks are given in Section 7.
Condensed DeWitt's notations [21] are used through the paper. Functional derivatives with respect to field variables are understood as the left. Right derivatives of a quantity f with respect to the variable ϕ are denoted as f ← − δ δϕ .

Extended action for Yang-Mills theories
Let us consider a gauge theory of non-abelian vector fields A α µ = A α µ (x) and spinor fields ψ j = ψ j (x), ψ j = ψ j (x) in the D = 4 Minkowski space-time with the action where the notations are used. In Eqs. (2.1), (2.2) f αβγ are structure coefficients of a simple compact gauge Lie group, t α = {t α j k } are generators of gauge transformations in sector of spinor fields satisfying the properties, Here γ µ are the Dirac matrices, g and m are the coupling constant of gauge interaction and the mass parameter of spinor field, respectively. The action (2.1) is invariant under gauge transformations with gauge parameters The corresponding Faddeev-Popov action [2] S (1) F P (A, Ψ, C, C, B, ξ) in the Feynman gauge has the form S (1) where ξ is a constant gauge parameter, are auxiliary fields introducing a gauge fixing condition. The action (2.5) is invariant under global supersymmetry (BRST symmetry) [3,4], where λ is a constant anticommuting parameter.
In the background field formalism [22,23] a gauge field A α µ entering the classical action (2.1) is replaced by where B α µ is considered as an external vector field. The Faddeev-Popov action is constructed by using the modified Feynman gauge (the background gauge condition), and reads This action is invariant under BRST transformations of the form (2.6) with the following modification of the transformation law in the gauge field sector, The invariance property of Faddeev-Popov actions (2.5) and (2.8) under BRST transformations can be described in the form of non-linear functional equations for the extended action S ext with the help of additional variables (antifields) A * α µ , ψ * j , ψ * j , C * α , C * α , being sources to the generators of BRST transformations, where Q means the set of the fields {A α µ , ψ j , ψ j , C α } and the symbol Q * is used to indicate the set of the corresponding antifields for fields Q, wherein the BRST transformations (2.4), (2.6) are presented as δ λ Q = R (a) Q λ, a = 1, 2. Then, as a consequence of the BRST symmetry, the actions S (a) ext satisfy the master -equation To study the structure of renormalizations it is convenient to extend the original set of the variables with extra fields and auxiliary quantities. An initial action, we proceed from, when studying the structure of renormalizations and dependence of renormalization constants on gauge fixing is the extended action S ext = S ext (Q, Q * , C, B, B, ξ, θ, χ), where θ α µ = θ α µ (x) are anticommuting extra fields and χ is a constant nilpotent parameter 4 . The action (2.12) is invariant (δS ext = 0) under the following transformations of the quantities entered, 14) Due to the variations (2.13) -(2.20), the invariance condition of the action rewrites Also, the action (2.12) satisfies the equation where the notation is used for the operator describing the gauge transformations of the variables B µ , ψ, ψ and simultaneously the tensor transformation of fields and antifields A µ , C, C, B, θ µ , A * µ , ψ * , ψ * , C * . Finally, we notice that the action (2.12) satisfies the two important relations linear in fields A µ , B and also in derivatives of variables B, C, A * µ , The equation (2.25) means that the action S ext (2.12) depends on variables A * α µ C α in combination A * α µ − D αβ µ (B)C β only when θ β µ = 0. We give the table of "quantum" numbers of fields, antifields, auxiliary fields and constant quantities which have been used in constructing S ext : where "ε" describes the Grassmann parity, the symbol "gh" is used for the ghost number, "dim" denotes the canonical dimension and "ε f " means the fermion number. Using this table of "quantum" numbers it is easy to establish quantum numbers of any quantities found in the text.

General structure of renormalized action
It is to be proved below that the renormalizable action is a local functional of field variables, carries the quantum number of the action S ext (2.12), and satisfies the same equations (2.21) -(2.25) as the action S ext . In that Section we will find the general solution to the equations (2.21) -(2.25) under the extra conditions mentioned.
Using the properties of the functionalP (2) (3.5), its locality as well as axial symmetry, Poincare -and T -symmetries we find the general representation, where Z i , i = 1, 2, 3, 4, Z ′ 1 are arbitrary constants. Further, when using the equation (3.14) for P (2) we get that Z ′ 1 = 0. The final expression forP (2) has the form Notice that the functionalP (2) does not depend on the fields θ α µ . By taking (3.19) into account the equation (3.13) reduces to the following one describing the dependence of renormalization constants on the gauge parameter ξ. We refer to the equation (3.12) as an extended master-equation and to (3.20) as a gauge dependence equation.

The functionalP
(1) Ω * is linear in the antifields Ω * (3.10), and the functionalsP By using the arguments analogous to those led us to the structure of the functionalP Taking into account the gauge symmetry in the external field B (see the equation (3.14)), we find that Z ′ α 7βγ = 0. The quantities "Z" introduced in (3.25) -(3.28) are constants that satisfy the equations, , then the corresponding equations (3.29) -(3.32) hold and the functionalsP satisfy the equation (3.14) by themselves .
In its turn, taking into account the axial symmetry, the Poincare -and the T -invariance we determine the general structure of the functionalP where constants Z α 12jk satisfy the equations The contribution to theP so that it follows from the equation (3.14) that the equalities Z ′α 11jk = 0 and hold. Notice that in the case Z α 12jk = Z 12 t α kj the equations (3.34) are fulfilled and the functional P and the possibility to represent the functionalP where the notation is used. The θA * C components in the equation (3.12)lead to the relations and to the representationP Consideration of the A * ACC components in the equation (3.12) gives the relations and the representation for the functionalP Studying the ψψ∂C, ψψBC and mψψC components in the equations (3.12) lead to the relations and, as a consequence, to the representation of the functionalsP The functionalP (1) AB depends on the fields A and B only. The θAB components in the equation (3.12) allow us to conclude that the functionalP The required solution to the equations (3.48) can be written in the form Thus the general solution to the extended master-equation,P (1) , is constructed. It is defined by fifth independent arbitrary constants Z 5 , Z 6 , Z 11 , Z 13 , Z 14 and has the form holds where S ext is given by the formula (2.12).

Solution to the gauge dependence equation
Consider now a solution to the equation (3.20) describing the gauge dependence of the constants entering the general solution constructed,P (1) , to the extended master-equation (3.51). By studying the A * θ, AD(U)G(U), A * f AC and ψγtAψ structures in the equation (3.20), we derive the following relation Henceforth we use the notationİ for any quantity I = I(ξ, ...) depending on the gauge parameter ξ.
Analysis of the A * D(U)C components in the equation (3.20) gives the relation Considering the ψγD ψ (U)ψ components in the equation (3.20), we obtain Analyzing the mψψ components in the equation (3.20), we find By making use of the change of constants "Z" Below, in Section 5 we find that all constants "Z" can be interpreted as renormalization constants which are uniquely defined from the conditions of divergence elimination.
Let us formulate the results obtained in that Section in the form of a lemma. Then the functional P has the form where P 00 is given by the formula The functionalsP (k) read 68) where Z 5 , Z 6 , Z 11 , Z 16 are arbitrary constants depending perhaps on ξ, and Z 14 , Z 15 are arbitrary constants not depending on ξ.
The inverse statement, being perhaps trivial but nevertheless important, is true: if the functional P has the form

Generating functional of vertex functions
It is convenient to define the generating functional of Green functions by making use of the action functional P constructed in the previous Section as the action yields then a finite theory certainly. In what follows we re-denote the functional P , P ≡ S R , and, respectively, The generating functional of Green functions is given by the functional integral, In that case the functional S R becomes a function of η, so that all the functionals S R,l are linear combination of a single set of monomials, where {S i , i = 1, ..., I} is a sub-set of monomials which the action S ext is expanded in, and a l,i are constant coefficients for l-loop order.
The generating functional of vertex Green functions (effective action) is defined by the Legendre transformation has the quantum numbers ε(Γ) = 0, gh(Γ) = 0, dim(Γ) = 0, ε f (Γ) = 0, and satisfies the relations Functional average of the equations (2.21) -(2.25) with substitution S ext → S R yields the corresponding equations for the functional Γ = Γ(Φ m| , L), copying the equations for S R , where ← − − H α m| ω α is given by the expression (2.23) with the replacement Φ → Φ m| , Represent the functional Γ in the following form Γ = Γ 00 + Γ (1) + χΓ (2) , (4.10) where and the functionals Γ (1) and Γ (2) do not depend on the parameter χ. Due to the structure chosen for the functional (4.11) it follows from the equations (4.8) and (4.9) that the functionals Γ (1) and Γ (2) do not depend on the fields B α m| , and satisfy the equations In its turn, the equation (4.6) splits in the two, one of which is closed as for the functional Γ (1) , (4.14) and the second includes both the functionals and describes their dependence on the gauge parameter ξ, The equation (4.7) rewrites now in the form of the two equations as for the functionals Γ (1) and Γ (2) , As for the equations (4.13), it is convenient to introduce the variables A * α µ = A * α µ (x), and to use the following convention as for the sake of uniformity. Also, introduce the new functionalsΓ (k) by the rule, where the notation is used. With the definitions (4.18) -(4.20) taken into account, we have where the notation for the antibracket [8,9] is used, where the operator ← − h α m| ω α is defined in the equality (3.15) with the replacement Ω → Ω m| , Ω * → Ω * m| . Then, when studying the tensor structure of divergence parts of the generating functional of vertexes, it is convenient to use a consequence of the equations (4.32) in particular case ω α (x) = const, i.e. as to a global T m| -symmetry: where the operators ← − T α m| are defined by the equations (3.17) with the replacement Ω → Ω m| , Ω * → Ω * m| .

Renormalization
In that Section we study the structure of renormalizations, and show the multiplicative character of the renormalizabiliuty of the model considered. The main role in that study is given to resolving the extended master-equation (3.12) and the one (3.20) describing the gauge dependence. We show that the renormalized quantum action and the effective action satisfy exactly their master equations to each subsequent order in loops. In this resolving, the structure of the renormalized quantum action is determined by the same monomials in fields and antifields as it does for the non-renormalized quantum action with constants determined by the divergencies of the effective action. For the sake of notational simplicity, we omit lower case m| of any arguments of any functionals.

Tree approximation (η = 0)
Consider the tree approximation for the functional Γ, Γ 0 = S ext , written in new variables as where the following notations being further useful 10) are introduced. In its turn, the functionalΓ (2) 0 has the form Remind that the functional Γ 0 satisfies the equations (2.21) -(2.25).

(l+1)-loop approximation
We carry out the proof of the multiplicative renormalizability via the mathematical induction method in the framework of loop expansion of the effective action with the use of the minimal subtraction scheme. To this end we suppose that we managed to find such parameters Z that the l-loop approximation for Γ, Γ [l] = l n=0 η n Γ n , is a finite functional. We are to show that it is possible to pick up the l + 1-loop approximation for Z i , 6, 11, 14, 15, 16,ż 14,l+1 =ż 15,l+1 = 0, (5.13) which does compensate the divergences of l + 1-loop approximation for the functional Γ.
Let us study the structure of the functional Γ with the accuracy including the (l + 1)loop approximation. It is described by the diagrams with vertexes from the action S R with parameters z i,n , i = 5, 6, 11, 14, 15, 16, 0 ≤ n ≤ l + 1, or, in other words, by vertexes from the action S
In addition, insertion of the expression (5.51) for the q α 7,l+1,βγ coefficient into the relation (5.40) yields and insertion (5.50) for the q α 12,l+1,jk coefficient into (5.47) gives the expression for M ψ,l+1 , At θ = 0 the equation (5.31) is reduced to the one which is not more than linear in antifields.
As the coefficient of the A * D(B)CC vertex of the equation (5.56) should be zero, it follows that q α 8,l+1,βγ = q 8,l+1 f αβγ , q 8,l+1 = q 7,l+1 = q 6,l+1 − q 5,l+1 . (5.57) Next, we consider the equations which follow from (5.56) for zero-valued antifields. They split into the two sets of equations. In the first set of equations, all vertexes contain the spinor fields. In the second ones, vertexes are constructed of the fields A, B and their coordinate-derivatives only.

Solution to equation (5.37) forΓ(S
When inserting the representation for the functionalΓ (1) (S

[l]
R ) l+1,div given by (5.64) -(5.71) into the equations (5.37), it takes the form of zero value for some linear combinations of structures appeared in the right-hand side of formulas (5.65) -(5.71).
As the coefficient of the θ α µ term should be zero, it follows that

(l+2)-loop approximation
The renormalization of S R to the (l+1)-loop approximation allows one to construct the effective action Γ, finite to that approximation; however it does not satisfy exactly the extended masterequation and the gauge dependence equation, by itself. We show the possibility to complete the renormalization constants of the action S R with the help of the (l + 2)-loop approximation, so that it will satisfy the equations mentioned to the (l + 1)-loop approximation and, in its turn, the corresponding effective action, finite to the (l + 1)-loop approximation, will satisfy the set of equations (2.21) -(2.25) to that approximation.
Also, it is obvious that the procedure of divergence compensations discussed can be applied to the case l = 0 so that by using the loop induction method in Feynman diagrams for the functional Γ, we arrive at the following statement: for the l-loop approximation Γ [l] , where l is arbitrary positive integer, 6 Relations between parameters of S R and standard renormalization constants In that section we find relations between some parameters of the action S R and the standard renormalization constants. Within the expression for S R , we restrict ourselves only by desired vertexes in symbolic notation S R = dx Z 14 Z −2 5 ∂A∂A + gZ 14 Z −3 5 A 2 ∂A + Z 11 ψ∂ψ + mZ 13 ψψ + ... , (6.1) where the ellipsis means the rest vertexes. As the propagators of fields A and ψ are finite, they should be considered as renormalized fields. Then, we find: where Z A and Z ψ are the renormalization constants of the bare fields A 0 and ψ 0 . The coefficient of the second vertex in the expression (6.1) gives the renormalization for vertex A 3 , 3) The coefficient of the forth vertex in the expression (6.1) gives the renormalization for vertex ψψ, Z ψψ = Z 13 ⇒ m 0 = Z m m, Z m = Z ψψ Z −2 ψ = Z 13 /Z 11 = Z 15 .

Summary
In the present paper, within the background field formalism, it is studied the renormalization procedure and the gauge dependence of the theory of Yang-mills fields interacting with a multiplet of massive spinor fields. It is shown that the extension of the Faddeev-Popov action with extra fields and parameters allows one to establish the multiplicative character of the renormalizability. The proofs given above are based on the possibility to expand the effective action in loops, as well as to use the minimal subtraction scheme as to eliminate divergences. It is a new and important result that the renormalization constant of the mass parameter is shown to be gauge-independent.