Composite and Background Fields in Non-Abelian Gauge Models

: A joint introduction of composite and background ﬁelds into non-Abelian quantum gauge theories is suggested based on the symmetries of the generating functional of Green’s functions, with the systematic analysis focused on quantum Yang–Mills theories, including the properties of the generating functional of vertex Green’s functions (effective action). For the effective action in such theories, gauge dependence is found in terms of a nilpotent operator with composite and background ﬁelds, and on-shell independence from gauge ﬁxing is established. The basic concept of a joint introduction of composite and background ﬁelds into non-Abelian gauge theories is extended to the Volovich–Katanaev model of two-dimensional gravity with dynamical torsion, as well as to the Gribov–Zwanziger theory. ( B , Σ ) deﬁned as (69), (74), (75) has been found invariant under the gauge transformations (49), (51) of background ﬁelds B combined with the local transformations (76) of additional ﬁelds Σ i 1 ··· i m µ 1 ··· µ n related to σ i 1 ··· i m µ 1 ··· µ n . As in the Yang–Mills case, (76) is an inﬁnitesimal form of tensor transformations, cf. (70), (71).

The present article is devoted to quantum non-Abelian gauge models with composite and background fields, whose consistent analysis isfocused on Yang-Mills theories quantized using the Faddeev-Popov method [49] in a combined presence of composite and background fields. A joint treatment of Yang-Mills fields A µ with composite and background ones requires a systematic consideration of these ingredients as interrelated. We forward the symmetry principle as such a systematic concept. In fact, suppose that a generating functional Z (J, L) of Green's functions with is invariant under local SU(N) transformations of the sources J A , L m , accompanied by gauge transformations of the field B µ with an associated covariant derivative D µ (B), where the precise meaning of ∂ µ → D µ (B) in (2) is given by (19) of Section 2. The original S FP (φ) becomes thereby modified to the Faddeev-Popov action of the background field method, S FP (φ, B), which is related to S FP (φ) by so-called background and quantum transformations of this method (see Section 2.2). According to the second approach, a generating functional Z (B, J) is constructed using the background field method for Yang-Mills theories, which implies S FP (φ, B) = S FP (φ)| ∂ µ →D µ (B) .
Some composite fields σ m (φ, B) with sources L m can then be introduced on condition that the resulting generating functional for certain σ m (φ), and thereby we return to the first approach. In the main part of the article, we implement the first approach as a starting point of our systematic analysis, assuming the composite fields to be local, whereas in the remaining part we show how the first and second approaches can be extended beyond the given assumptions by considering the Volovich-Katanaev model of two-dimensional gravity with dynamical torsion [50] and the Gribov-Zwanziger theory [23,24]. Two-dimensional models of gravity [50][51][52][53][54][55][56][57][58][59][60][61] and supergravity [62][63][64][65] are of interest in view of their close relation to string and superstring theory. Simple two-dimensional models also provide a deeper insight into classical and quantum properties of gravity in higher dimensions, while in some cases these models are exactly solvable at the classical level. One of the two-dimensional gravity models that has been widely discussed at the classical [66][67][68][69][70] and quantum [71][72][73][74][75] levels is the model [50] suggested in the context of bosonic string theory with dynamical torsion [76] in order to address some problems of string theory. Thus, it has been shown [76], using the path integral approach, that a string with dynamical torsion has no critical dimension. The model [50] presents the most general theory of two-dimensional R 2 -gravity with independent dynamical torsion leading to second-order equations of motion for the zweibein and Lorentz connection. The model also contains solutions with constant curvature and zero torsion, thereby incorporating some other two-dimensional gravity models [51,52,61] whose actions, as compared to that of [50], do not allow a purely geometric interpretation. Being quantized in the background field method, the model yields a gauge-invariant background effective action [75].
In quantum Yang-Mills theories using differential (e.g., Landau or Feynman) gauges, the non-Abelian nature of the gauge group features the Gribov ambiguity [22] implying a residual gauge-invariance due to Gribov copies, which are removed by means of a Gribov horizon [22] implemented in the Gribov-Zwanziger model [23,24] being a quantum Yang-Mills theory in Landau gauge and including an additive horizon functional in terms of a non-local composite field [77]. The issue of bringing the horizon functional to other gauges has been settled due to the concept of finite field-dependent BRST transformations [26,28,[78][79][80][81][82][83][84], which allows one to present the horizon functional using different gauges in a way consistent with the gauge-independence of the path integral, based on the Gribov-Zwanziger recipe [23,24] and starting from a BRST-invariant Yang-Mills quantum action in Landau gauge. The horizon functional in covariant R ξ gauges has been given by [26,28,82,85] (see also [86,87] for a BRST-invariant horizon) and later extended to the Standard Model in [88,89].
The article is organized as follows. In Section 2, a generating functional of Green's functions with composite and background fields in Yang-Mills theories is introduced, as well as a generating functional of vertex Green's functions (effective action). Analyzing the dependence of the generating functionals of Green's functions upon a choice of gauge-fixing, we find a gauge variation of the effective action in terms of a nilpotent operator depending on the composite fields and determine the conditions of on-shell gauge-independence. Besides, the effective action Γ eff (B, Σ), with a background field B µ and a set of auxiliary tensor fields Σ m associated with σ m , is found to exhibit a local symmetry under the gauge transformations of B µ combined with the local SU(N) transformations of Σ m . In Section 3, we examine the Volovich-Katanaev model [50] quantized according to the background field method in [75]. As an extension of our second approach (3)-(5) beyond the Yang-Mills case, the quantized two-dimensional gravity [75] is modified by the presence of local composite fields, and the corresponding background effective action is found to be gauge-invariant in a way similar to the Yang-Mills case. In Section 4, we modify the Gribov-Zwanziger model [23,24] by introducing a background field, which extends our first approach (1), (2) beyond the Yang-Mills case with local composite fields and thereby yields a gauge-invariant background effective action. Section 5 is devoted to concluding remarks.
We use DeWitt's condensed notation [90]. The Grassmann parity and ghost number of a quantity F are denoted by (F), gh (F), respectively. The supercommutator [F, G} of any quantities F, G with definite Grassmann parities is given by [F , G} = FG − (−1) (F) (G) GF. Unless specified by an arrow, derivatives with respect to fields and sources are regarded as left-hand ones.

Generating Functionals and Their Properties
Let us examine a generating functional Z (J, L) corresponding to the Faddeev-Popov action S FP (φ) of a Yang-Mills theory with local composite fields, where L m are sources to the composite fields σ m (φ), and J A are sources to the fields φ A = A i , b α ,c α , c α composed by gauge fields A i , (anti)ghost fields c α , c α , and Nakanishi-Lautrup fields b α , with the following distribution of Grassmann parity and ghost number: and a nilpotent Slavnov variation ← − s applied to a gauge Fermion Ψ (φ), (Ψ) = 1, where For the explicit field content The classical action S 0 (A) has the form (in the adjoint representation with Hermitian T p ), and the gauge Fermion Ψ (φ) =c α χ α (φ) with some gauge-fixing functions χ α (φ) = χ p (φ (x)) reads The Faddeev-Popov action S FP (φ) in (8), (9) is invariant under two kinds of global transformations: BRST transformations [91][92][93], δ λ φ A = φ A ← − s λ, with an anticommuting parameter λ, (λ) = 1, and SU(N) rotations (finite φ A U → φ A and infinitesimal δ ς φ A ) with even parameters ς p , or, in a tensor form, via the adjoint representation with a matrix M pq (ς), while the invariance of Ψ (φ) ← − s under φ A U → φ A reflects the explicit form of ← − s and the fact that the gauge functions χ p (φ) are local and constructed from the fields φ A , structure constants f pqr and derivatives ∂ µ , for instance, in Landau and Feynman gauges, so that, in particular, Due to the same reason, local composite fields σ m (φ) constructed from the fields φ A , structure constants f pqr and derivatives ∂ µ , σ m (φ) = σ p 1 ···p k |µ 1 ···µ l (φ(x)) , m = (x, p 1 · · · p k , µ 1 · · · µ l ) , in the path integral (6) for Z (J, L) transform under φ A U → φ A as tensors with respect to the indices p 1 , . . . , p k , σ p 1 ···p k |µ 1 ···µ l = M p 1 q 1 · · · M p k q k σ q 1 ···q k |µ 1 ···µ l , which generalizes the vector transformation. As a result, the exponential in the path integral (6) for in a tensor and infinitesimal form, which entails the invariance of the source term J A φ A + L m σ m (φ).
Let us introduce an additional field B µ = B p µ T p having a gauge transformation as in (11), with the inherent property and subject the exponential in the path integral (6) to the modification where the replacement ∂ µ → D µ (B) reads as Due to the transformation property (17) of the derivative D µ (B), the generating functional Z (B, J, L) modified by the field B µ according to (18), (19), is invariant under a set of local transformations, given by the gauge transformations (16) of the field B µ combined with a localized form U (ς) → V (ξ) of the transformations (14), (15) for the sources J A , L m with infinitesimal parameters ξ p , The invariance property Z (B , J , L ) = Z (B, J, L) can be established by applying to the transformed path integral Z (B , J , L ) a compensating change of the integration variables: whose Jacobian equals to unity in view of the complete antisymmetry of the structure constants. The invariance of Z (B, J, L) can be recast in the form

Effective Action and Gauge Dependence
Let us present a generating functional of vertex Green's functions and examine its gaugedependence properties. To do so, we first introduce an extended generating functional Z (B, J, L, φ * ), with an extended quantum action S ext (φ, φ * , B) defined as where φ * A is a set of antifields introduced as sources to the variations φ A ← − s q . Given the properties having an equivalent form, implied by the antisymmetry of the structure constants: In view of (24), (25) which can be represented as where the second equality is a result of integration by parts in (26), andω is a nilpotent operator (which is also found in the Ward identityωZ = 0), namely, In terms of a generating functional Γ (B, φ, Σ, φ * ) of vertex Green's functions with composite fields (on a background B µ ) given by a double Legendre transformation [94], where The variation δ Ψ Γ (B, φ, Σ, φ * ) induced by (27), with account taken of δ Ψ Γ = δ Ψ W, reads whereφ In (30), (31),ω Γ is a Legendre transform ofω W ≡ e −i/hWω e i/hW , withω given by (28), and thereforeω Γ inherits the nilpotency ofω, namely,ω 2 Γ =ω 2 W = 0. From (30) it follows, according to [95,96], that the generating functional so that the effective action Γ eff = Γ eff (B, Σ) with composite and background fields defined as is gauge-independent, δ Ψ Γ eff = 0, on the extremals (32) restricted to the hypersurface φ A = φ * A = 0 of vanishing quantum fields φ A and antifields φ * A . This result on gauge dependence, in fact, holds true for general gauge theories, whose gauge algebra may be open, and whose gauge generators may be reducible, given an appropriate field-antifield structure. Besides, since the restricted generating functional Z (B, J, L), as we set φ * = 0 in (24), satisfies the identity (23), which is also valid for the related functional W (B, J, L) as we substitute Z = exp [(i/h)W], the effective action Γ eff (B, Σ) defined by (29), (33) obeys an equality resulting from a Legendre transform of (23) written in terms of as a consequence of the following identity implied by the notation f {p}rq in (13), due to the antisymmetry of the structure constants: The effective action is thereby invariant, δ ξ Γ eff = 0, under the local transformations which consist of the initial gauge transformations for the background field B p µ and of the local SU(N) transformations for the fields Σ p 1 ···p i µ 1 ···µ j . Note that we assume the existence of a "deep" gauge-invariant regularization preserving the Ward identities (see, e.g., [14]), and expect the corresponding renormalized generating functionals to obey the same properties as the unrenormalized ones.

Background Field Interpretation
In order to interpret the generating functional Z (B, J, L) in (21), note that the modified Faddeev-Popov action S FP (φ, B) defined as (18)-(20) is invariant under the finite local transformations and acquires the form where and the variation ← − s q reads explicitly Thus, the Landau and Feynman gauges (12) are modified to the respective background gauges In the background field method, a quantum action S FP (φ, B) given by (38), (40) is known as the Faddeev-Popov action with a background field B µ . The quantum action S FP (φ, B) is invariant under global transformations of φ A , with a nilpotent generator ← − s q and an anticommuting parameter λ: Infinitesimally, the local transformations (37) for the fields A µ , B µ are known as background transformations, δ b (A µ , B µ ), and the transformations of A µ , B µ corresponding to the modified Slavnov variation ← − s q in (38), (40), (42) are known as quantum transformations, δ q (A µ , B µ ), while the classical action S 0 (A + B) is invariant under both types of such transformations. In this regard, the family of background gauges χ p (φ, B) =χ p (A, B) + (α/2) b p , parameterized by α = 0 and defined as (39), with the Nakanishi-Lautrup fields b p integrated out of (21) by the shift b p → b p + α −1χ at the vanishing sources, J = L = 0, transforms the vacuum functional Z (B) to the representation (for the convenience of Section 3, we denote A ≡ Q), where the gauge-fixing term S gf = S gf (Q, B) is invariant, δ b S gf = 0 under the background transformations, due to δ bχ p = g f prqχr ξ q , which can be employed as a definition for the quantum action in background gaugesχ p (Q, B) depending on the quantum and background fields, with the related background and quantum transformations (see also [5]), The quantum action and the integrand of Z(B) in (43) are invariant under the residual local transformations (37), corresponding, at the infinitesimal level δ ξ B µ , Q µ ,c, c , to the background transformations δ b along with some compensating local transformations of the ghost fields: In view of the above, we interpret Z (B, J, L) in (6), (18), (19), (21) as a generating functional of Green's functions for Yang-Mills theories with composite fields in the background field method, or as a generating functional of Green's functions with composite and background fields in such theories. As has been shown, this interpretation provides for such theories the existence of a corresponding gauge-invariant (36) effective action, being gauge-independent on the extremals (32) for the extended generating functional of vertex functions (29) when these extremals are restricted to the hypersurface of vanishing antifields and quantum fields.

Volovich-Katanaev Model
Let us examine the model of two-dimensional gravity with dynamical torsion described in terms of a zweibein e i µ and a Lorentz connection ω µ by the action [50] where α, β, γ are constant parameters, and the following notation is used: Here or, infinitesimally, with a parameter ζ, as well as under the general coordinate transformations, implying the infinitesimal field variations, with some parameters ξ µ , The given model can be quantized using the Faddeev-Popov method, since the gauge transformations (49), (51) form a closed algebra: In [75], a quantum theory for the gauge model (46), (49), (51), (52) has been presented according to the background field method, by using an ansatz for the vacuum functional which corresponds to Z (B) of (43) for a Yang-Mills theory with the Nakanishi-Lautrup fields removes using a background gauge, see also [5]. Thus, the initial classical fields are ascribed the sets of quantum Q and background B fields, to be denoted by Q = (q i µ , q µ ) and B = (e i µ , ω µ ), with the expressions for g µν , as well as e, (Ω µ ) i j in (47), (48), being related only to the background fields. One also associates the gauge transformations (49), (51) with two forms of infinitesimal transformations, background δ b and quantum δ q , being constructed by analogy with (44), so that the action S 0 (Q + B) in (46) remains invariant under both of these forms of transformations, where J = (J µ i , J µ ) are sources to the quantum fields Q = (q i µ , q µ ), and the functional S gf = S gf (Q, B) is constructed using some background gauge functions χ, χ µ (for the respective gauge parameters ζ, ξ µ ) as one demands its invariance, δ b S gf = 0, under the background transformations, whereas the ghost term S gh = S gh (Q, B; C, C) is then determined by Let us choose the gauge functions χ = χ(Q, B) and χ µ = χ µ (Q, B) to be linear in the quantum fields Q = (q i µ , q µ ) as in [75], where e = det e i µ , g µν = η ij e i µ e j ν , and ∇ µ is a covariant derivative acting on an arbitrary (psedo-)tensor field T by the rule with the shorthand notation, p k ∈ {p 1 , . . . , p m }, ν k ∈ {ν 1 , . . . , ν n }, so that the covariant derivative ∇ µ features the standard properties (with F, G being arbitrary (psedo-)tensor fields) The above objects make it possible to construct the gauge-fixing term S gf as a functional quadratic in the background gauges χ, χ µ (including some numeric parameters a, b) and invariant under the local Lorentz transformations as well as under the general coordinate transformations, The field transformations (63) and (64) coincide infinitesimally with the background transformations (53), which thereby implies the fulfillment of δ b S gf = 0. Having this in mind, as well as the fact that the non-zero quantum transformations (54), with account taken of (59), can be represented as The quantum action in (55) represented by (46), (57), (62), (65) turns out to be invariant (which is also valid for the integrand in (55) once the sources are put to zero J = 0 under the assumption δ (x) = ∂ µ δ (x) x=0 = 0) with respect to the background transformations (53) accompanied by a set of compensating local transformations for the ghost fields [75], From (53) and (66) which implies the property for the source term JQ in (55) and extends an infinitesimal tensor transformation law for the sources J µ i and J µ by adding the contributions J µ i ∂ ν ξ ν and J µ ∂ ν ξ ν , indeed, under the background transformations (53) of the fields B and Q, which entails that the effective action Γ eff (B) of the background field method, proves to be invariant, δ (ζ,ξ) Γ eff = 0, under the gauge transformations (49), (51) of the background fields B = (e i µ , ω µ ).

Composite Field Introduction
Let us extend the generating functional (55) proposed in [75] to a functional Z(B, J, L), as we introduce a set of local background-dependent composite fields σ m (Q, B) with sources L m , Generally, a composite field σ i 1 ···i m µ 1 ···µ n (Q, B) transforming as (70) is multiplicative with respect to the quantum fields Q = (q i µ , q µ ) and the background field objects e i µ , g µν , R µν ij , T µν i , see (47). Such a field may also include some background covariant derivatives ∇ µ acting as (59), (58) and having the properties (61). Given this, any composite field limited by σ i 1 ···i m µ 1 ···µ n (Q, 0) = 0 is allowed to contain the background fields B only via the covariant derivative ∇ µ , defined in terms of Γ λ µν , (Ω µ ) i j and acting on q i µ , q µ as follows: The transformations (70) correspond infinitesimally to local tensor variations δσ i 1 ···i m µ 1 ···µ n with parameters ζ and ξ µ , Under these assumptions and the invariance of the vacuum functional in (69) which diverges from the infinitesimal tensor transformation law by the contribution L and provides for the source term L m σ m in (69) the transformation property The invariance of Z(B, J, L) under (49), (51), (67), (72) can be represented as Let us introduce a functional Γ = Γ(B, Q, Σ) given by the double Legendre transformation in terms of additional fields Σ m = Σ i 1 ···i m µ 1 ···µ n (x), The effective action Γ eff (B, Σ) with composite and background fields, then satisfies the identity due to integration by parts in (73), as written in terms of Γ(B, Q, Σ), which is completed by setting Q = σ m (0, B) = 0. Using the latter identity for Γ eff (B, Σ) and the following consequences, cf. (35), of the notation (60), of the additional fields Σ

Gribov-Zwanziger Model
Let us examine the Gribov-Zwanziger model [23,24] implementing the concept of Gribov horizon [22] in quantum Yang-Mills theories by using a non-local composite field. To this end, we consider a Euclidean form of the Faddeev-Popov action where, in Euclidean metric A µ = A µ , we use the signature η µν = (−, +, . . . , +) under the Wick rotation of the Faddeev-Popov operator K in terms of the gauge condition ∂ µ A p µ = 0, while γ is a Gribov thermodynamic parameter [23,24], introduced in a self-consistent way by using a gap equation (horizon condition) for a Gribov-Zwanziger action S GZ = S GZ (φ), where E vac is the vacuum energy, and the action S GZ reads A generating functional of Green's functions Z H (J) for the quantum theory under study can be given in terms of a Faddeev-Popov action shifted by a constant value, S FP (φ) − H (0), (81) where L = L (x), (L) = gh (L) = 0, is a source to the non-local composite field withK −1 being the inverse, of an operatorK defined for a quantity F p = F p (x), and reduces to the operator K of (79) under the Landau gauge condition due to S FP (φ) in the path integral (81).

Formal Background Introduction
Let us now formally extend the generating functional Z H (J, L) with a non-local composite field (81)- (84) to the case of an additional background field B µ with a covariant derivative D µ (B) and the gauge properties (16), (17), by using the approach (2), (19), as adapted to Euclidean QFT, which implies a modification of derivatives ∂ µ → D µ (B) in (81), according to Here,K −1 B is a modified operatorK −1 as in (78), with the related inverseK B given by the replacementK →K B , and having the explicit form In the particular case, cf. (81), we obtain the generating functional with a non-local term H (A, B) given by Here, K −1 B is the inverse of an operator K B as in (83), which is identical withK B in (88) being expressed, due to S FP (φ, B) in (90), by utilizing the gauge condition D pq µ (B) A q|µ = 0 and the properties of f pqr including the Jacobi identity, where A µ , B µ are matrices with the elements A pq µ , B pq µ = f prq A r µ , B r µ , and K B (x; y) is related tõ K B (x; y) in (89) as follows: The operator K B extends the original operator K in (79) and exhibits the properties which can be verified by a direct calculation: By virtue of (94), one may formally interpret S GZ (φ, B) as a Gribov-Zwanziger action on a background B µ , with the corresponding non-local horizon term H (A, B) in (91), (93) and the generating functional Z H (B, J) in (90). However, since the background introduction (2), (19) has been applied to a non-local composite field it is natural to examine the consistency of the above interpretation with the symmetries exhibited by Z H (B, J). To this end, it is useful to recast Z H (B, J) in a local form by extending the configuration space according to [97], in such a way that one introduces a set of commuting (φ where as we denote In the configuration space Φ = (φ,φ, ϕ,ω, ω), the functional Z H (B, J) of (90) takes the form where the local action S GZ (Φ, B) of the Gribov-Zwanziger theory on a background reads (note the antisymmetry of f pqr ) Using the explicit form of K B (x, y) in (93), the antisymmetry of f pqr , and a repeated integration by parts, one can remove the delta-function δ (x − y) absorbed in K B (x, y) and present S K (Φ, B) in (98) as follows: The action S GZ (Φ, B) is invariant under the global SU (N) transformations The infinitesimal form of (100) produces a unit Jacobian (due to the antisymmetry of f pqr ) in the integration measure of (97) and leaves the functional Z H (B, J) invariant under infinitesimal global SU (N) transformations for the background field B µ and the sources J A , having the adjoint representation form with a unitary matrix V = V (ξ), ξ = ξ (x), to the integrand in (97), which produces a unit Jacobian and a variation δ ξ S GZ = δ ξ S K in (98), so that the presence of extra derivatives ∂ µ V −1 and ∂ 2 V −1 in the transformed expression

Modified Background Introduction and Effective Action
The local non-invariance of Z H (B, J) can be explained by the fact that the background field B µ has been introduced directly into the non-local horizon term H (A) by means of (93), while localizing the resultant background term H (A, B) by the auxiliary fields (φ µ , ϕ µ ) and (ω µ , ω µ ) does not provide them with a covariant derivative as in (19), which is evident from (99). In order to remedy this issue, we examine an alternative introduction of a background field, i.e., by using a local parametrization of the original horizon term H (A) at a point before a background has been switched on. To this end, let us consider the expressions (95)-(98) when restricted to B µ = 0 and recast the functional Z H (J) given by (81) in the form For a consideration of the auxiliary fields (φ,ω) and ϕ T , ω T on equal terms, note that the action S GZ (Φ) in the above integrand with the Landau gauge condition ∂ µ A µ = 0 encoded in exp [−hS FP (φ)] is equivalent to an action S GZ (Φ) which arises from replacing K (x, y) by K (x, y) defined as Using integration by parts, permutations under the sign of Tr, and the Landau gauge condition in the path integral, one brings the equivalent action S GZ (Φ) to the form which invites a natural introduction of a background, S GZ (Φ) → S GZ (Φ, B), according to (19), Let us consider the expression and present it in the form Then, due to the (anti)symmetry of F, G under the replacement F ↔ G, we find Given the above, we interpret S GZ (Φ, B) in (106) as an alternative local Gribov-Zwanziger action on the background B µ , with the corresponding modified background horizon term H (A, B) defined as By construction, the action S GZ (Φ, B) in (106) is invariant under the local transformations (103), which implies a unit Jacobian in the infinitesimal case and leads to an invariance of the background generating functional with respect to local transformations of the sources and the background field: The transformations (103) also provide a local invariance of the modified background horizon term H (A, B) in (107), Introducing the generating functionals of connected W H (B, J) and vertex Γ H (B, φ) Green's functions on a background, which consist of the gauge transformations for the background field B µ and of the local SU(N) transformations for the quantum fields φ A , so that the background effective action Γ eff (B) for the Gribov-Zwanziger model defined as is invariant, δ ξ Γ eff = 0, under the gauge transformations of the background field B µ .

Conclusions
In the present article, we have approached the issue of a joint introduction of composite and background fields into non-Abelian quantum gauge models on the basis of symmetries exhibited by the generating functional of Green's functions. Thus, we examine the Yang-Mills theory, the Volovich-Katanaev model of two-dimensional gravity with dynamical torsion, and the Gribov-Zwanziger theory.
Our systematic analysis of the problem focuses on quantum Yang-Mills theories and local composite fields. As our first approach, we consider a theory quantized according to Faddeev and Popov and including some composite fields (1), with the resultant generating functional Z (J, L) having an inherent symmetry under global SU (N) transformations of the sources J A , L m for the quantum φ A and composite σ m (φ) fields. As our second approach, we examine a theory quantized in the background field method (3), with the background generating functional Z (B, J) being inherently invariant under local SU (N) transformations of the sources J A accompanied by gauge transformations of the background field B µ with an associated covariant derivative D µ (B). In the first approach, we introduce a background field B µ equipped with D µ (B), whereas in the second approach we introduce some composite fields σ m (φ, B) with sources L m . In doing so, we demand that the  (2) and (4), (5) with ∂ µ → D µ (B) given by (19).
In quantum Yang-Mills theories with composite and background fields, we have introduced an extended (due to antifields φ * A ) generating functional of vertex Green's functions (24), (29), including a background effective action (33), and investigated its properties. For the generating functional of vertex Green's functions (effective action), gauge dependence has been obtained in terms of a nilpotent operator with composite and background fields (30), (31), and conditions of on-shell independence from gauge-fixing have been established. Thus, the generating functional of vertex functions is found to be gauge-independent on its extremals (32), whereas the background effective action is is independent of any specific choice of gauge-fixing at the extremals (32) restricted to the hypersurface of vanishing antifields φ * A and quantum fields φ A . The background effective action Γ eff (B, Σ), depending on the background field B µ and a set of auxiliary fields Σ m associated with the composite fields σ m , is found to be invariant under the gauge transformations of B µ and the local SU(N) transformations of Σ m , see (36).
Introduction of composite fields in the approach Z (B, J) L → Z (B, J, L) starting from a background generating functional Z (B, J) has been extended beyond the Yang-Mills case by considering the Volovich-Katanaev model [50] of two-dimensional gravity with dynamical torsion (in terms of a zweibein e i µ and a Lorentz connection ω µ ) quantized using the background field method in [75] and exhibiting a gauge-invariant background effective action. Thus, the quantum theory [75] has been modified by introducing local composite fields σ One should note, the calculations maybe independently done in the Computer Algebra Systems, like Mathematica Singular or Maple. We checked the correctness some of the equations with use of the Mathematica.
One more application of the suggested approach may be developed for QCD-gauge theory of strong interactions with SU(3) gauge group [33,88]-to describe hadron (meson and baryon. e.g., proton, neutron) particles as the composite fields, σ m (ū, u,d, d, A α µ ), of up u and down d quarks (including leftan right-handed spinors) of spin 1/2 and A α µ , α = 1, ..., 8 of spin 1 gluons fields. Here, the Grassmann parity (σ m ) should equal to 1 for baryon and to 0 for meson particles.
Another interesting application of the presented background field method with composite fields is a consideration of so-called Generalized Lagrange space (for metric fields) to exploit its properties of curvature, torsion and deflection in order to take into account the asymmetries and anisotropies arising from physical phenomena basically at the cosmological level.