Abstract
The correlation functions of Yang–Mills theories formulated in the background field method satisfy linear Slavnov–Taylor identities, which are naive generalizations of simple tree level relations, with no deformations originating from the ghost-sector of the theory. In recent years, a stronger version of these identities has been found to hold at the level of the background gluon self-energy, whose transversality is enforced separately for each special block of diagrams contributing to the gluon Schwinger–Dyson equation. In the present work we demonstrate by means of explicit calculations that the same distinct realization of the Slavnov–Taylor identity persists in the case of the background three-gluon vertex. The analysis is carried out at the level of the exact Schwinger–Dyson equation for this vertex, with no truncations or simplifying assumptions. The demonstration entails the contraction of individual vertex diagrams by the relevant momentum, which activates Slavnov–Taylor identities of vertices and multi-particle kernels nested inside these graphs; the final result emerges by virtue of a multitude of extensive cancellations, without the need of performing explicit integrations. In addition, we point out that background Ward identities amount to replacing derivatives of propagators by zero-momentum background-gluon insertions, in exact analogy to standard properties of Abelian gauge theories. Finally, certain potential applications of these results are briefly discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent years, the systematic exploration of Green’s (correlation) functions has afforded important insights on the nonperturbative properties of non-Abelian gauge theories, such as pure Yang–Mills theories and Quantum Chromodynamics [1,2,3,4,5,6,7,8,9,10,11,12]. This ongoing scrutiny relies on continuum studies based on nonperturbative functional methods [7, 13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39] carried out almost exclusively in the linear covariant (\(R_\xi \)) gauges, where the Landau gauge is the preferred choice, and on lattice simulations performed in the same gauge [40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55]. However, the background field method (BFM) [56,57,58,59,60,61,62,63,64,65] has also been employed in several occasions, furnishing useful vantage points, and exposing key properties of the theory that are normally distorted by standard quantization procedures [8, 12, 66, 67].
The BFM is a powerful framework that enables the implementation of the gauge-fixing procedure necessary for quantizing gauge theories without losing explicit gauge invariance, in contradistinction to the conventional quantization schemes [56,57,58,59,60,61,62,63,64,65]. The starting point of the BFM is the splitting of the gauge field \(A_{\mu }^{a}\) appearing in the classical action of the theory according to \(A_{\mu }^{a} = B_{\mu }^{a} +Q_{\mu }^{a}\), where \(B_{\mu }^{a}\) and \(Q_{\mu }^{a}\) are the background and quantum (fluctuating) fields, respectively. The quantum field is the variable of integration in the generating functional Z(J), and external sources are coupled only to it, as \(J\cdot Q\). The background field does not enter in loops; it couples externally to Feynman diagrams, connecting them with the asymptotic states to form S-matrix elements. Then, by virtue of a special gauge-fixing condition, the resulting action (with the corresponding ghost terms included) is no longer invariant under transformations of the quantum field, but retains its invariance intact with respect to the background field [5, 63].
A key consequence of the background gauge invariance of the action is that Green’s functions involving the \(B_{\mu }^{a}\) field satisfy ghost-free Slavnov–Taylor identities (STIs), akin to the Takahashi identity known from QED: the STIs are straightforward generalization of tree level relations, receiving no ghost-related contributions after the inclusion of quantum corrections. Instead, in the standard STIs [68, 69] of the \(R_\xi \) gauges [70], starting already at one-loop, the ghost sector modifies these tree level relations non-trivially. To fix the ideas with a simple example, the quark-gluon vertex with either a B or a Q gluon satisfies at tree level the simple identity (suppressing color) , where \(S_0\) is the tree level version of the quark propagator S. In the case of a B gluon, the all-order STI is obtained from the above tree level identity by simply substituting \(S_0 \rightarrow S\), namely . Instead, in the case of a Q gluon (\(R_\xi \) gauges), the STI gets modified by quantum corrections [68, 69], which induce a dependence on the ghost dressing function and the quark-ghost kernel [71,72,73,74].
As was pointed in earlier studies, the STI satisfied by the background-gluon self-energy, \(\widehat{\Pi }_{\mu \nu }(q)\), namely the standard transversality condition \(q^{\mu } \widehat{\Pi }_{\mu \nu }(q)= 0\), is implemented in a very special way, which has been denominated “block-wise” [8, 66, 67]. Specifically, the diagrammatic representation of the SDE governing \(\widehat{\Pi }_{\mu \nu }(q)\) is composed by four distinct blocks, namely one- and two-loop diagrams containing only gluons, and one- and two-loop diagrams containing ghost fields, as shown in Fig. 1. The block-wise realization of the STI in this case is the simple statement that the transversality of \(\widehat{\Pi }_{\mu \nu }(q)\) is enforced independently for each of the four blocks. This is in sharp contrast to what happens in the \(R_\xi \) gauges, where, already at the one-loop perturbative level, it is only the sum of gluon and ghost diagrams that is transverse [75, 76]. The proof of this property is particularly simple; it proceeds by contracting the various diagrams by \(q^{\mu }\) from the side of the fully dressed vertices, thus triggering the corresponding naive STIs of the BFM. It is important to emphasize that the proof holds for any value of the gauge-fixing parameter \(\xi _{{\scriptscriptstyle Q}}\) used to define the propagators of the Q-type gluons entering in the various loops.
The basic question that arises naturally in this context is whether the special block-wise realization of the STI described above is particular to the two-point function, or if it is a common feature of all Green’s functions containing only B gluons. In the present work we take a first step in the exploration of this issue, and demonstrate that the same pattern persists in the STI of the BFM vertex with three incoming background gluons, to be denoted by \(\widehat{\Gamma }_{\alpha \mu \nu }(q,r,p)\). This Abelian STI relates the contraction \(q^\mu \widehat{\Gamma }_{\alpha \mu \nu }(q,r,p)\) to the difference \(\widehat{\Pi }_{\mu \nu }(r) - \widehat{\Pi }_{\mu \nu }(p)\) [5, 66, 77]. It turns out that the diagrams comprising the SDE of \(\widehat{\Gamma }_{\alpha \mu \nu }(q,r,p)\) may also be classified into four subsets in a way completely analogous to the case of \(\widehat{\Pi }_{\mu \nu }(q)\). Then, the contraction of each subset by \(q^\mu \) generates the difference of the corresponding subsets of \(\widehat{\Pi }_{\mu \nu }\), confirming the block-wise realization of this STI. We emphasize that, as in the case of the gluon self-energy, this property is completely \(\xi _{{\scriptscriptstyle Q}}\)-independent.
An additional noteworthy aspect of the BFM Green’s functions is the Ward identities (WIs) they satisfy, namely the relations that emerge when the momentum that triggers the STIs is taken to vanish. For example, in the case of the \({\widehat{\Gamma }}_{\mu }(q,r,p)\) mentioned above, a Taylor expansion of the STI around \(q=0\) and subsequent matching of terms linear in q yields the relation , which is the precise equivalent of the text-book WI known from QED, relating the photon–electron vertex with the electron propagator [75, 76]. In fact, exactly as happens in QED, this WI admits a simple diagrammatic interpretation: the derivative of the inverse quark propagator may be depicted as the insertion of a background gluon carrying zero momentum. These observations may be straightforwardly extended to the case of the three-gluon vertex \(\widehat{\Gamma }_{\alpha \mu \nu }(q,r,p)\), allowing for a completely analogous pictorial representation of the corresponding WI. In fact, the block-wise realization of the STI leads to a corresponding pattern for the WIs that emerges from it: the derivative acting on any of the blocks of \(\widehat{\Pi }_{\mu \nu }(q)\) is identical to the diagrams comprising the associated block of \(\widehat{\Gamma }_{\alpha \mu \nu }(q,r,p)\), when the corresponding momentum is set to zero. To the best of our knowledge, the notions described above appear for the first time in the literature.
The article is organized as follows. In Sect. 2 we review certain pivotal properties of the BFM, and explain the notion of the block-wise transversality at the level of the SDE that governs the background gluon propagator. Section 3 contains the main result of this work, namely the demonstration of the block-wise realization of the STI for the case of the background three-gluon vertex. Then, in Sect. 4 we focus on the WIs of the BFM, their graphical representation in terms of zero-momentum gluon insertions, and demonstrate the block-wise realization of the three-gluon WI, for the operationally simplest subset of graphs. In Sect. 5 we summarize our findings and discuss future directions. Finally, in four Appendices we present complementary material that facilitates the perusal of the article.
2 General theoretical framework
In this section we highlight some of the significant features of the BFM formalism that are relevant for the demonstrations that follow; for further details the reader is referred to the extensive literature on the subject, see, e.g., [5, 61, 65].
(i) The initial decomposition of the gauge field into \(B_{\mu }^{a}\) and \(Q_{\mu }^{a}\) components increases considerably the number of Green’s functions that can be defined, which may be classified into three broad subsets: those with \(B_{\mu }^{a}\) fields only, those with \(Q_{\mu }^{a}\) fields only (corresponding to the standard Green’s functions of the \(R_\xi \) gauges), and mixed ones, with both \(B_{\mu }^{a}\) and \(Q_{\mu }^{a}\) fields. We will occasionally denote Green’s functions according to the type of incoming fields, such as “BB” for the case of the propagator connecting two background fields, or “BBB” for the case of the three-gluon vertex connecting three such fields.
(ii) The gluon propagator QQ that enters in the quantum loops will be denoted by \(\Delta _{\mu \nu }^{ab}(q)=-i\delta ^{ab}\Delta _{\mu \nu }(q)\), with
whose inverse is
The scalar function \(\Delta (q)\) is related to the gluon self-energy \(\Pi _{\mu \nu }(q)=P_{\mu \nu }(q)\Pi (q)\) through \(\Delta ^{-1}(q)= q^2 +i\Pi (q)\), and \(\xi _{{\scriptscriptstyle Q}}\) is the quantum gauge-fixing parameter. Note that \(\xi _{{\scriptscriptstyle Q}}\) enters also in the tree level expressions of the vertices BQQ and BBQQ, given in Table 1.
(iii) In what follows we will use extensively a number of three- and four-particle vertices, which we list here. In particular, the relevant three-particle vertices are
while the four-particle vertices are
where g denotes the gauge coupling constant, and \(f^{abc}\) are the SU(3) structure constants.
(iv) A central quantity in our analysis is the background self-energy, \(\widehat{\Pi }_{\mu \nu }(q)\), related to the inverse background gluon propagator \(\widehat{\Delta }^{-1}_{\mu \nu }(q)\) byFootnote 1
The gauge symmetry enforces the fundamental STI
from which follows that \(\widehat{\Pi }_{\mu \nu }(q) = P_{\mu \nu }(q) \widehat{\Pi }(q)\), where \(\widehat{\Pi }(q)\) is a scalar function. Thus, Eq. (2.5) may be cast in the form
The SDE that defines \(\widehat{\Pi }_{\mu \nu }(q)\) is diagrammatically represented in Fig. 1. Note the separation of the dressed Feynman diagrams into the following four distinct groups:
-
(1)
One-loop gluonic graphs, enclosed in the blue box; their total contribution is denoted by \(\widehat{\Pi }^{(1)}_{\mu \nu }(q)\).
-
(2)
One-loop ghost graphs, enclosed in the orange box; their total contribution is denoted by \(\widehat{\Pi }^{(2)}_{\mu \nu }(q)\).
-
(3)
Two-loop gluonic graphs, enclosed in the purple box; their total contribution is denoted by \(\widehat{\Pi }^{(3)}_{\mu \nu }(q)\).
-
(4)
Two-loop ghost graphs, enclosed in the green box; their total contribution is denoted by \(\widehat{\Pi }^{(4)}_{\mu \nu }(q)\).
One of the most exceptional properties of \(\widehat{\Pi }_{\mu \nu }(q)\) is its block-wise transversality [66, 78, 79]. Specifically, the fundamental relation given in Eq. (2.6) is realized in a very special way: each of the four subsets of diagrams in Fig. 1 is individually transverse, i.e.,
This particular result is a direct consequence of the Abelian STIs satisfied by the fully dressed vertices entering in the diagrams comprising the \(\widehat{\Pi }^{(i)}_{\mu \nu }(q)\) [66, 78, 79], namely BQQ, \({\textrm{B}}\bar{\textrm{c}}\textrm{c}\), BQQQ and \(\textrm{BQ}{\bar{\textrm{c}}}\textrm{c}\), reported in Table 2 of the Appendix C.
(v) In order to elucidate with a simple example how this special transversality is enforced at the diagrammatic level, we consider the case of \(\widehat{\Pi }^{(2)}_{\mu \nu }(q)\), whose diagrams are enclosed by the orange box of Fig. 1.
The diagrams \((a_{{\scriptscriptstyle 3}})\) and \((a_{{\scriptscriptstyle 4}})\) are given by
where we have used the Feynman rules given in Eq. (B2) and Eq. (B6) of the Appendix B, and factored out the trivial color structure \(\delta ^{ab}\) from both expressions. In addition, we have defined
where \(C_{\textrm{A}}\) is the Casimir eigenvalue of the adjoint representation [N for SU(N)]. Furthermore, we have introduced
where the use of a symmetry-preserving regularization scheme is implicitly assumed.
We next contract graph \((a_{{\scriptscriptstyle 3}})_{\mu \nu }(q)\) by \(q^\nu \), thus triggering the STI satisfied by \(\widetilde{\Gamma }_\nu (q-k,k,-q)\), given in Eq. (C2), to obtain
which is exactly the negative of the contraction \(q^\nu (a_{{\scriptscriptstyle 4}})_{\mu \nu }(q)\). Hence,
We emphasize that the above strategy of contracting directly individual diagrams and triggering the corresponding STIs will be followed unaltered in the more complicated case of the three-gluon vertex treated in the next section. Note finally that the entire demonstration leading to Eq. (2.8) is carried out for a general value of the gauge-fixing parameter \(\xi _{{\scriptscriptstyle Q}}\) [66, 78, 79].
3 Block-wise STI of the three-gluon vertex
In this section we demonstrate the block-wise realization of the STI satisfied by the BBB three-gluon vertex.
3.1 General considerations
(i) The one-particle irreducible three-gluon vertex, \(\widehat{\varvec{\Gamma }}_{\alpha \mu \nu }^{abc}(q,r,p)\), is defined from the vacuum expectation value of the time ordered product of three background gluons (in momentum space), as
The three-gluon vertex \(\widehat{\varvec{\Gamma }}_{\alpha \mu \nu }^{abc}(q,r,p)\) is naturally cast in the form
where the tree level component \(\widehat{\Gamma }^{(0)abc}_{\alpha \mu \nu }(q,r,p)=f^{abc}\widehat{\Gamma }^{(0)}_{\alpha \mu \nu }(q,r,p)\) coincides with that of the conventional three-gluon vertex (QQQ), i.e.,
while \(\widehat{\Gamma }^{abc}_{\alpha \mu \nu }(q,r,p)\) captures all quantum corrections, both perturbative and nonperturbative.
(ii) The SDE that defines \(\widehat{\varvec{\Gamma }}^{abc}_{\alpha \mu \nu }(q,r,p)\) is shown diagrammatically in Fig. 2, written with respect to the gluon that carries momentum q; therefore, the corresponding vertices to which this leg is attached are kept at tree level. The corresponding Feynman diagrams have been classified in four blocks, applying the exact same criterion as in the case of \(\widehat{\Pi }_{\mu \nu }(q)\), and employing the same color code for the individual boxes as in Fig. 1. Thus,
where, as shown in Fig. 2, the four blocks are comprised by the diagrams (suppressing indices)
(iii) It is well-known that \(\widehat{\varvec{\Gamma }}^{abc}_{\alpha \mu \nu }(q,r,p)\) satisfies the Abelian STI [5, 66, 77]
and cyclic permutations thereof. The STI of Eq. (3.6) may be obtained by means of formal manipulations of the BFM generating functional, or simply from the STI of the conventional QQQ vertex [71, 80, 81], by setting all ghost-related contributions to their tree level values.
From Eq. (3.3) it is elementary to show that
Then, from Eqs. (2.5), (3.2) and (3.6) follows that
(iv) The central observation of the present study is that, as happens in the case of Eq. (2.6), the STI in Eq. (3.8) admits a block-wise realization. Specifically, as we will demonstrate in this section,
In diagrammatic terms, Eq. (3.9) states that the contraction by \(p^{\nu }\) of the diagrams within a given block (color) in Fig. 2 generates the difference between diagrams within the corresponding block (color) of Fig. 1. In fact, the validity of Eq. (3.9) will be demonstrated by acting with \(p^{\nu }\) on vertex diagrams, and exploiting the STIs triggered by this contraction in order to cast the result in the form of self-energy contributions.
(v) Note that the diagrams shown in Fig. 2 have a factor g removed from them, which cancels against the g appearing in the definition of the three-gluon vertex in Eq. (3.1). In addition a factor of i will be factored out, which will cancel against the explicit i appearing on the r.h.s. of Eq. (3.9). Thus, on the r.h.s. of all intermediate formulas will appear directly the self-energy diagrams \((a_i)\) of Fig. 1. Furthermore, with the exception of Sect. 4, we will suppress the argument (q, r, p) in all vertex graphs.
(vi) We introduce the definitions
Note that \(h_1^{abmn} = h_1^{banm} \) and \(h_2^{abcde}=h_2^{baced}\).
(vii) We introduce the short-hand notation
The special relations
will be employed in the analysis that follows. Their validity may be established by appealing to the Bose symmetry of the BQQ vertex with respect to its two quantum legs or the ghost–antighost symmetry of the \({\textrm{B}}\bar{\textrm{c}}\textrm{c}\) vertex, and the change of integration variable \(r-k \rightarrow k\). An alternative demonstration proceeds by noting that
with
where the STI of Eq. (C2) was used. The first relation in Eq. (3.12) may be proved in the exact same way, employing the STI of Eq. (C1).
(viii) Lastly, from now on we adopt the convention that 1PI vertices containing at least one background gluon will be represented diagrammatically by a blue circle (see, e.g., the BBQQ vertex in diagram \((b_{{\scriptscriptstyle 3,2}})\) of Fig. 3).
3.2 One-loop gluonic sector (first block)
We begin by considering the one-loop gluonic vertex graphs, namely the set \(\{(b_{{\scriptscriptstyle 1}}), (b_{{\scriptscriptstyle 2}}), (b_{{\scriptscriptstyle 3}})\}\), enclosed in the blue box of Fig. 2.
As a first step, we recognize that, by virtue of Eq. (3.12), diagrams \((b_{{\scriptscriptstyle 1}})\) and \((b_{{\scriptscriptstyle 2}})\) vanish,
since \(\widehat{\Gamma }_{\alpha \mu \beta \sigma }^{(0)abde}\) is momentum-independent, and may be pulled out of the integral sign.
Diagram \((b_{{\scriptscriptstyle 3}})\) has two contributions,
given in Fig. 3, with
The contraction \(p^\nu (b_{{\scriptscriptstyle 3}})^{abc}_{\alpha \mu \nu }\) may be evaluated using the STIs in Eqs. (C1) and (C4) and a moderate amount of algebra, yielding
The first term in Eq. (3.18) is exactly \(-f^{bce}(a_{{\scriptscriptstyle 1}})^{ae}_{\alpha \mu }(q)\). The second term, after \(k\rightarrow -k-p\), generates \(f^{cae}(a_{{\scriptscriptstyle 1}})^{be}_{\alpha \mu }(r)\); note, in particular, that
where, due to Eq. (3.12), the last three terms give vanishing contributions. Thus, one arrives at
At this point, we add and subtract on the r.h.s. of Eq. (3.20) the momentum-independent seagull graph \((a_{{\scriptscriptstyle 2}})\), to obtain
which, in view of Eq. (3.15), is precisely Eq. (3.9) for \(i=1\).
3.3 One-loop ghost sector (second block)
We next focus on the one-loop ghost graphs, forming the set \(\{(c_{{\scriptscriptstyle 1}}), (c_{{\scriptscriptstyle 2}}), (c_{{\scriptscriptstyle 3}})\}\), enclosed in the orange box of Fig. 2. The demonstration that follows is completely analogous to that of the previous subsection.
Due to Eq. (3.12), diagrams \((c_{{\scriptscriptstyle 1}})\) and \((c_{{\scriptscriptstyle 2}})\) vanish,
and we only need to consider the contraction of graph \((c_{{\scriptscriptstyle 3}})\). This diagram contains three contributions, depicted in Fig. 4,
with
The contraction of diagram \((c_{{\scriptscriptstyle 3}})\) by the momentum \(p^\nu \) activates the STIs of Eqs. (C2) and (C6), and one obtains.
The second term of Eq. (3.25) is simply \(-f^{bce}(a_{{\scriptscriptstyle 3}})^{ae}_{\alpha \mu }(q)\), while the first term, after the shift \(k\rightarrow -k-p\) and use of Eq. (3.12), furnishes \(f^{cae}(a_{{\scriptscriptstyle 3}})^{be}_{\alpha \mu }(r)\). Thus, we conclude that
which, after adding and subtracting the momentum-independent (\(a_4\)), is tantamount to the validity of Eq. (3.9) for \(i=2\).
3.4 Two-loop gluonic sector (third block)
We turn to the two-loop dressed gluonic contributions, contained within the diagram (d), enclosed by the purple box in Fig. 2. To that end, in Fig. 5 we show the individual diagrams that emerge upon implementing the skeleton expansion of the five-gluon kernel (purple circle) inside (d). Note that all vertices appearing in these graphs are one-particle irreducible.
The diagrams in Fig. 5 are naturally organized into two subsets,
with
where
and
This particular separation is motivated by the observation that the contraction by \(p^\nu \) of each subset generates a concrete term of the STI, namely
where the self-energy diagrams \((a_{{\scriptscriptstyle 5}})\) and \((a_{{\scriptscriptstyle 6}})\) (purple box in Fig. 1) are given by
with \(s=q-k-l\). In passing from the first to the second expression for \((a_{{\scriptscriptstyle 5}})\), the explicit form of \(\widetilde{\Gamma }_{\alpha \beta \sigma \rho }^{(0)adme}\), given in Eq. (B3), has been used.
The contraction of the momentum \(p^\nu \) with the above diagrams will activate a series of STIs, which will furnish the desired structures, together with a considerable number of terms that will cancel exactly among each other. In what follows, we briefly outline how this calculation may be best organized.
We begin with the diagrams comprising \((d_{{\scriptscriptstyle 1}})^{abc}_{\alpha \mu \nu }\). The action of \(p^\nu \) on \((d_{{\scriptscriptstyle 1,1}})^{abc}_{\alpha \mu \nu }\) leads to the contraction \(p^\nu {\widetilde{R}}_\nu ^{\rho \lambda }(l,-p-l)\), triggering the STI of Eq. (C1), and yielding
The second term in the above expression will give
where the ellipsis denotes terms that do not contribute to the r.h.s. of Eq. (3.31). We now change the integration variables as \(k \rightarrow -k\) and \(l \rightarrow -l-p\), and exploit Lorentz invariance to replace \(\widetilde{\Gamma }_{\mu \lambda \eta \tau }^{bnmd}(r,-l,-t,-k) \rightarrow \widetilde{\Gamma }_{\mu \lambda \eta \tau }^{bnmd}(-r,l,t,k)\) and \(s \rightarrow -t\), where \(t= r-k-l\). Then, substituting the Feynman rule of Eq. (B3) and using the Bose symmetry of the vertices, we arrive at
which is precisely \(f^{cae}(a_{{\scriptscriptstyle 5}})^{be}_{\mu \nu }(r)\), in the form given in the second line of Eq. (3.32).
Similarly, the contraction of \((d_{{\scriptscriptstyle 1,2}})^{abc}_{\alpha \mu \nu }\) by \(p^\nu \) activates the STI for the five-point function \(\widehat{\Gamma }_{\nu \mu \lambda \eta \tau }^{cbemd}(p,r,l,s,k)\), given in Eq. (C7), namely
Note that only the first term on the r.h.s. of Eq. (3.36) contains the four-point function with a q entry, since \(r+p=-q\). Thus, one gets
which is precisely \(f^{bce}(a_{{\scriptscriptstyle 5}})^{ae}(q)\).
After appropriate changes in the integration variables and judicious use of Bose symmetry, one may show that all remaining terms, denoted by the ellipses in Eqs. (3.35) and (3.37), cancel against each other. Thus, one is left with the first equation in Eq. (3.31).
A similar line of reasoning reveals that the term \(f^{cae}(a_{{\scriptscriptstyle 6}})^{be}_{\alpha \mu }(r)\) originates from the contraction of \(p^\nu \) with the diagrams \((d_{{\scriptscriptstyle 2,2}})\) and \((d_{{\scriptscriptstyle 2,4}})\) of the second group. Specifically, one triggers the STI of Eq. (C1), to obtain
Using the Feynman rule given by Eq. (B3) for the tree level vertex one gets that
the substitution of the first term into Eq. (3.38) gives precisely \(f^{cae}(a_{{\scriptscriptstyle 6}})^{be}_{\alpha \mu }(r)\), while the ellipsis contains the terms that will cancel.
Finally, the contraction of \((d_{{\scriptscriptstyle 2,5}})\) by \(p^\nu \) activates the STI of Eq. (C4), giving
which is exactly \(- f^{bce}(a_{{\scriptscriptstyle 6}})^{ae}_{\alpha \mu }(q)\).
Once again, all the terms inside the ellipses in Eqs. (3.38) and (3.40), cancel exactly against the terms coming from \(p^\nu \left[ (d_{\scriptscriptstyle 2,1})+(d_{\scriptscriptstyle 2,3})\right] _{\alpha \mu \nu }\), leading to the second line in Eq. (3.31).
Thus, the above considerations demonstrate the validity of Eq. (3.9) for \(i=3\).
3.5 Two-loop ghost sector (fourth block)
Finally, the two-loop dressed ghost graphs, given by the diagram (e), enclosed by the green box in Fig. 2, have twenty two contributions, depicted in Fig. 6, which have been further separated into three subgroups as
with
such that
The expressions for all the diagrams in Fig. 6, together with the associated self-energy graphs, are given in the Appendix D.
A close inspection of these expressions reveals that
and
It is then a matter of straightforward algebra to demonstrate that all terms contained in the ellipses of Eqs. (3.44) and (3.45) cancel against each other and with the other diagrams, as
leaving Eq. (3.43) as the final result. Thus, the validity of Eq. (3.9) for \(i=4\) is confirmed.
The final conclusion drawn from the analysis presented in Sects. 3.2, 3.3, 3.4, and 3.5 is that the block-wise realization of the STI announced in Sect. 3.1, holds. Notice, in fact, that the validity of Eq. (3.9) has been demonstrated for an arbitrary value of the gauge-fixing parameter \(\xi _{{\scriptscriptstyle Q}}\).
4 Abelian Ward identities with background gluons
In this section we derive Abelian WIs from the STIs satisfied by the BFM vertices, and apply to them the text-book diagrammatic representation for the WIs known from QED [75]. In addition, we demonstrate the block-wise realization of the WI that connects the vertex \(\widehat{\Gamma }_{\alpha \mu \nu }(0,r,-r)\) with the derivative of \({{\widehat{\Delta }}}(r)\).
As is well-known in the context of Abelian gauge theories, such as spinor or scalar QED, the implementation of the limit \(q\rightarrow 0\) of the Takahashi identity gives rise to the corresponding WI. In order to fix the ideas consider the latter theory, describing the interaction of a photon with a complex scalar, where the full photon-scalar vertex \(\Gamma _\mu (r,p,q)\) satisfies the Abelian STI (Takahashi identity)
with \({{{\mathcal {D}}}}(p)\) denoting the fully dressed propagator of the scalar field. Then, the standard WI is determined by expanding both sides of Eq. (4.1) around \(q=0\), and equating the linear terms. Specifically, this procedure yields
or, equivalently,
The version of the WI given in Eq. (4.3) admits the text-book diagrammatic interpretation: the derivative of the propagator \({{{\mathcal {D}}}}(r)\) is equivalent to the insertion of a zero-momentum photon in it [75].
It turns out that the Abelian STIs satisfied by the BFM three-point functions give rise to WIs completely analogous to that of Eq. (4.3), which admit the same diagrammatic interpretation given above, but now in terms of zero-momentum insertions of a background gluon.
The simplest case is that of the ghost-gluon vertex \(\widetilde{\Gamma }_\mu (r,p,q)\), whose WI is identical to that of Eqs. (4.2) and (4.3), after the replacement \(\Gamma _\mu \rightarrow \widetilde{\Gamma }_\mu \) and \({{{\mathcal {D}}}}\rightarrow D\), i.e.,
the corresponding diagrammatic representation is shown in Fig. 7.
Turning to the case of the BQQ vertex \(\widetilde{\Gamma }_{\alpha \mu \nu }(q,r,p)\), it is rather straightforward to deduce from the STI of Eq. (C1) the corresponding WI, namely
the last relation is diagrammatically depicted in Fig. 8. Note that the above WI, when applied at tree level, reproduces from Eq. (2.2) the expression for \(\widetilde{\Gamma }_{\alpha \mu \nu }^{(0)}(q,r,p)\) given in Eq. (B1), capturing correctly its dependence on the gauge-fixing parameter \(\xi _{{\scriptscriptstyle Q}}\).
We next focus our attention on the WIs satisfied by BFM vertices with more than three incoming fields. As a concrete example, consider the vertex \(\textrm{BB}{\bar{\textrm{c}}}\textrm{c}\); when contracted with respect to the momentum carried by one of the background gluons, it satisfies the STI given by Eq. (C6). Expanding both sides of Eq. (C6) around \(q=0\), and using the Jacobi identity to eliminate the zeroth order term on the r.h.s., we obtain the WI
Exactly analogous expressions may be deduced for higher point Green’s functions; for a formal derivation of the STI satisfied by a general vertex of the form \(\textrm{BQ}^n\), see Appendix A.
Now we want to explore the block-wise realization of the WI of the BBB vertex for the case of the one-loop ghost group, which satisfies the STI of Eq. (3.9) for \(i=2\), or, equivalently, Eq. (3.26). In the soft-gluon limit, we obtain simply
or, in terms of diagrams
In arriving at Eq. (4.8) we have used that \((a_{{\scriptscriptstyle 4}})\) is q-independent, and that, in the soft-gluon limit, \((c_{{\scriptscriptstyle 1}}) = (c_{{\scriptscriptstyle 2}}) =0\) (see Sect. 3.3).
To prove Eq. (4.8), we first symmetrize the process of differentiation of \((a_{{\scriptscriptstyle 3}})_{\alpha \mu }\) by shifting the loop momentum (\(k \rightarrow u-k\), with \(u= q/2\)), to get
with
the last three contributions are depicted graphically in the first line of Fig. 9.
Next, for the terms \((a^{\prime }_{{\scriptscriptstyle 3,1}})_{\alpha \mu \nu }(q)\) and \((a^{\prime }_{{\scriptscriptstyle 3,2}})_{\alpha \mu \nu }(q)\) we use Eq. (4.4) to write
A direct comparison of these last expressions with the contributions to \((c_{{\scriptscriptstyle 3}})_{\alpha \mu \nu }(q,-q,0)\) in Eq. (3.23) [for \((q,r,p) \rightarrow (q,-q,0)\)] allows one to establish that
Consider finally the \((c_{{\scriptscriptstyle 3,3}})^{abc}_{\alpha \mu \nu }\) in Eq. (3.24); setting \((q,r,p) \rightarrow (q,-q,0)\), shifting \(k \rightarrow u-k\), and employing Eq. (4.6), we get
and therefore
which completes the proof of Eq. (4.8). The interpretation of the previous steps in terms of background-gluon insertions is given in the second line of Fig. 9.
5 Discussion and conclusions
It has been known for some time [66] that the transversality of the background self-energy is enforced in a special way, namely independently for each one of the four subsets (blocks) of diagrams comprising the corresponding SDE. In the present work we have shown that the Abelian STI of the background three-gluon vertex is also realized according to the exact same pattern, at the level of the corresponding SDE: the momentum contraction of each subset of vertex diagrams generates the difference of the corresponding self-energy subsets.
The demonstration of this property has been carried out at the level of the fully dressed Feynman diagrams that comprise the relevant SDEs. In particular, the contraction of all three-gluon vertex diagrams by the appropriate momentum triggers STIs satisfied by the vertices and the kernels embedded in them, giving rise to crucial rearrangements and cancellations, which are implemented algebraically, with no need to resort to any integrations. Note that the extensive reorganization of diagrams observed here has been first identified in the context of the pinch technique [5, 82,83,84,85], where the “gauge-invariant” three-gluon vertex was first studied at the one-loop level [77, 86, 87]. Evidently, it would be particularly interesting to explore the origin of the block-wise STIs at a formal level, and establish its validity by means of the Batalin–Vilkovisky functional machinery [5, 88,89,90,91,92].
It is natural to conjecture that the STI of the background four-gluon vertex, B\({}^4\), given by [86, 93]
is realized according to the same block-wise pattern described above. A diagrammatic demonstration along the lines presented in this work appears to be quite feasible, and would give further support to the notion that the STI of any B\({}^n\)-type of vertex is enforced in this characteristic manner.
Some of the results presented in Sect. 4 may be used in order to explore the numerical impact of certain truncations or approximations, in the spirit of the recent study presented in [94]. For example, the equality shown in Fig. 9 will be distorted if the vertex BB\( {\bar{c}} \mathrm c\) were to be replaced by its tree level value, given by Eq. (B6). The amount of discrepancy induced between the two sides of this equation is a quantitative indicator of the veracity of such an approximation.
Throughout the present analysis we have assumed that the BBB vertex does not contain irregularities in the form of massless poles. However, as has been shown in detail in a series of studies, the emergence of a dynamical gluon mass [82] through the operation of the Schwinger mechanism [95, 96] hinges on the inclusion of longitudinally coupled massless poles in the fundamental vertices of the theory [67, 97,98,99,100,101,102] Quite importantly: (a) the STIs satisfied by the vertices are resolved with the nontrivial participation of these poles, and (b) in the soft-gluon limit, the associated WIs are displaced by an amount controlled by the corresponding pole residues [101, 103, 104]. In particular, ongoing research reveals that the STIs impose stringent conditions on the pole content of the three-gluon vertex, which must, at the same time, be dynamically realized. The treatment of this problem within the BFM (i.e., at the level of the BBB rather than the QQQ vertex) eliminates structures originating from the ghost-sector of the theory, which tend to complicate and obscure the underlying physical picture. We expect that the completion of this study will shed light on the question of how symmetry-induced constraints are dynamically enforced at the level the corresponding SDEs.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: All data generated or analyzed during this study are included in this published article.]
Notes
The definition of the BB propagator \(\widehat{\Delta }_{\mu \nu }(q)\) requires the addition to the action of a supplementary gauge-fixing term, which introduces the “classical” gauge-fixing parameter, \(\xi _{{\scriptscriptstyle C}}\) [5, 61, 65]. Note that this step is necessary only when connecting the background gluon to external states in order to construct S-matrix elements, and will be omitted here.
In the end of the procedure all of the VEVs are set to zero. Since the \(\textrm{BQ}^n\) vertex has only one external \(\mathrm B\) and no external ghost and antighost fields these VEVs can be set to zero from the outset.
References
C.D. Roberts, A.G. Williams, Prog. Part. Nucl. Phys. 33, 477 (1994). https://doi.org/10.1016/0146-6410(94)90049-3
R. Alkofer, L. von Smekal, Phys. Rep. 353, 281 (2001). https://doi.org/10.1016/S0370-1573(01)00010-2
C.S. Fischer, J. Phys. G 32, R253 (2006). https://doi.org/10.1088/0954-3899/32/8/R02
C.D. Roberts, Prog. Part. Nucl. Phys. 61, 50 (2008). https://doi.org/10.1016/j.ppnp.2007.12.034
D. Binosi, J. Papavassiliou, Phys. Rep. 479, 1 (2009). https://doi.org/10.1016/j.physrep.2009.05.001
D. Binosi, L. Chang, J. Papavassiliou, C.D. Roberts, Phys. Lett. B 742, 183 (2015). https://doi.org/10.1016/j.physletb.2015.01.031
I.C. Cloet, C.D. Roberts, Prog. Part. Nucl. Phys. 77, 1 (2014). https://doi.org/10.1016/j.ppnp.2014.02.001
A.C. Aguilar, D. Binosi, J. Papavassiliou, Front. Phys. (Beijing) 11, 111203 (2016). https://doi.org/10.1007/s11467-015-0517-6
D. Binosi, L. Chang, J. Papavassiliou, S.-X. Qin, C.D. Roberts, Phys. Rev. D 93, 096010 (2016). https://doi.org/10.1103/PhysRevD.93.096010
D. Binosi, C. Mezrag, J. Papavassiliou, C.D. Roberts, J. Rodriguez-Quintero, Phys. Rev. D 96, 054026 (2017). https://doi.org/10.1103/PhysRevD.96.054026
M.Q. Huber, Phys. Rep. 879, 1 (2020). https://doi.org/10.1016/j.physrep.2020.04.004
J. Papavassiliou, Chin. Phys. C 46, 112001 (2022). https://doi.org/10.1088/1674-1137/ac84ca
P. Maris, C.D. Roberts, Phys. Rev. C 56, 3369 (1997). https://doi.org/10.1103/PhysRevC.56.3369
P. Maris, C.D. Roberts, Int. J. Mod. Phys. E 12, 297 (2003). https://doi.org/10.1142/S0218301303001326
J. Braun, H. Gies, J.M. Pawlowski, Phys. Lett. B 684, 262 (2010). https://doi.org/10.1016/j.physletb.2010.01.009
G. Eichmann, I.C. Cloet, R. Alkofer, A. Krassnigg, C.D. Roberts, Phys. Rev. C 79, 012202 (2009). https://doi.org/10.1103/PhysRevC.79.012202
I. Cloet, G. Eichmann, B. El-Bennich, T. Klahn, C. Roberts, Few Body Syst. 46, 1 (2009). https://doi.org/10.1007/s00601-009-0015-x
P. Boucaud, J.P. Leroy, A. Le Yaouanc, J. Micheli, O. Pene, J. Rodriguez-Quintero, JHEP 06, 099 (2008). https://doi.org/10.1088/1126-6708/2008/06/099
G. Eichmann, R. Alkofer, A. Krassnigg, D. Nicmorus, Phys. Rev. Lett. 104, 201601 (2010). https://doi.org/10.1103/PhysRevLett.104.201601
C.S. Fischer, A. Maas, J.M. Pawlowski, Ann. Phys. 324, 2408 (2009). https://doi.org/10.1016/j.aop.2009.07.009
D. Dudal, J.A. Gracey, S.P. Sorella, N. Vandersickel, H. Verschelde, Phys. Rev. D 78, 065047 (2008). https://doi.org/10.1103/PhysRevD.78.065047
J. Rodriguez-Quintero, J. High Energy Phys. 01, 105 (2011). https://doi.org/10.1007/JHEP01(2011)105
M. Tissier, N. Wschebor, Phys. Rev. D 82, 101701 (2010). https://doi.org/10.1103/PhysRevD.82.101701
M.R. Pennington, D.J. Wilson, Phys. Rev. D 84, 119901 (2011). https://doi.org/10.1103/PhysRevD.84.119901, https://doi.org/10.1103/PhysRevD.84.094028
M.Q. Huber, A. Maas, L. von Smekal, J. High Energy Phys. 11, 035 (2012). https://doi.org/10.1007/JHEP11(2012)035
L. Fister, J.M. Pawlowski, Phys. Rev. D 88, 045010 (2013). https://doi.org/10.1103/PhysRevD.88.045010
A.K. Cyrol, M.Q. Huber, L. von Smekal, Eur. Phys. J. C 75, 102 (2015). https://doi.org/10.1140/epjc/s10052-015-3312-1
J.M. Pawlowski, D.F. Litim, S. Nedelko, L. von Smekal, Phys. Rev. Lett. 93, 152002 (2004). https://doi.org/10.1103/PhysRevLett.93.152002
J.M. Pawlowski, Ann. Phys. 322, 2831 (2007). https://doi.org/10.1016/j.aop.2007.01.007
A.K. Cyrol, M. Mitter, J.M. Pawlowski, N. Strodthoff, Phys. Rev. D 97, 054006 (2018). https://doi.org/10.1103/PhysRevD.97.054006
A.K. Cyrol, J.M. Pawlowski, A. Rothkopf, N. Wink, SciPost Phys. 5, 065 (2018). https://doi.org/10.21468/SciPostPhys.5.6.065
L. Corell, A.K. Cyrol, M. Mitter, J.M. Pawlowski, N. Strodthoff, SciPost Phys. 5, 066 (2018). https://doi.org/10.21468/SciPostPhys.5.6.066
F. Gao, S.-X. Qin, C.D. Roberts, J. Rodriguez-Quintero, Phys. Rev. D 97, 034010 (2018). https://doi.org/10.1103/PhysRevD.97.034010
M.Q. Huber, Phys. Rev. D 93, 085033 (2016). https://doi.org/10.1103/PhysRevD.93.085033
M.Q. Huber, Phys. Rev. D 101, 114009 (2020). https://doi.org/10.1103/PhysRevD.101.114009
J.-P. Blaizot, J.M. Pawlowski, U. Reinosa, Ann. Phys. 431, 168549 (2021). https://doi.org/10.1016/j.aop.2021.168549
C.D. Roberts, Symmetry 12, 1468 (2020). https://doi.org/10.3390/sym12091468
J. Horak, J. Papavassiliou, J.M. Pawlowski, N. Wink, Phys. Rev. D 104, 074017 (2021). https://doi.org/10.1103/PhysRevD.104.074017
F. Gao, J. Papavassiliou, J.M. Pawlowski, Phys. Rev. D 103, 094013 (2021). https://doi.org/10.1103/PhysRevD.103.094013
A. Cucchieri, A. Maas, T. Mendes, Phys. Rev. D 74, 014503 (2006). https://doi.org/10.1103/PhysRevD.74.014503
A. Cucchieri, T. Mendes, PoS LATTICE2007, 297 (2007). https://doi.org/10.22323/1.042.0297
I. Bogolubsky, E. Ilgenfritz, M. Muller-Preussker, A. Sternbeck, PoS LATTICE2007, 290 (2007). https://doi.org/10.22323/1.042.0290
I. Bogolubsky, E. Ilgenfritz, M. Muller-Preussker, A. Sternbeck, Phys. Lett. B 676, 69 (2009). https://doi.org/10.1016/j.physletb.2009.04.076
A. Cucchieri, A. Maas, T. Mendes, Phys. Rev. D 77, 094510 (2008). https://doi.org/10.1103/PhysRevD.77.094510
A. Cucchieri, T. Mendes, Phys. Rev. D 81, 016005 (2010). https://doi.org/10.1103/PhysRevD.81.016005
O. Oliveira, P. Silva, PoS LAT2009, 226 (2009). https://doi.org/10.22323/1.091.0226
O. Oliveira, P. Bicudo, J. Phys. G G38, 045003 (2011). https://doi.org/10.1088/0954-3899/38/4/045003
A. Maas, Phys. Rep. 524, 203 (2013). https://doi.org/10.1016/j.physrep.2012.11.002
A. Ayala, A. Bashir, D. Binosi, M. Cristoforetti, J. Rodriguez-Quintero, Phys. Rev. D 86, 074512 (2012). https://doi.org/10.1103/PhysRevD.86.074512
O. Oliveira, P.J. Silva, Phys. Rev. D 86, 114513 (2012). https://doi.org/10.1103/PhysRevD.86.114513
A. Athenodorou, D. Binosi, P. Boucaud, F. De Soto, J. Papavassiliou, J. Rodriguez-Quintero, S. Zafeiropoulos, Phys. Lett. B 761, 444 (2016). https://doi.org/10.1016/j.physletb.2016.08.065
A.G. Duarte, O. Oliveira, P.J. Silva, Phys. Rev. D 94, 074502 (2016). https://doi.org/10.1103/PhysRevD.94.074502
P. Boucaud, F. De Soto, J. Rodríguez-Quintero, S. Zafeiropoulos, Phys. Rev. D 96, 098501 (2017). https://doi.org/10.1103/PhysRevD.96.098501
P. Boucaud, F. De Soto, K. Raya, J. Rodríguez-Quintero, S. Zafeiropoulos, Phys. Rev. D 98, 114515 (2018). https://doi.org/10.1103/PhysRevD.98.114515
A.C. Aguilar, C.O. Ambrósio, F. De Soto, M.N. Ferreira, B.M. Oliveira, J. Papavassiliou, J. Rodríguez-Quintero, Phys. Rev. D 104, 054028 (2021). https://doi.org/10.1103/PhysRevD.104.054028
B.S. DeWitt, Phys. Rev. 162, 1195 (1967). https://doi.org/10.1103/PhysRev.162.1195
J. Honerkamp, Nucl. Phys. B 48, 269 (1972). https://doi.org/10.1016/0550-3213(72)90063-6
R.E. Kallosh, Nucl. Phys. B 78, 293 (1974). https://doi.org/10.1016/0550-3213(74)90284-3
H. Kluberg-Stern, J.B. Zuber, Phys. Rev. D 12, 482 (1975). https://doi.org/10.1103/PhysRevD.12.482
I.Y. Arefeva, L.D. Faddeev, A.A. Slavnov, Teor. Mat. Fiz. 21, 311 (1974). https://doi.org/10.1007/BF01038094
L. Abbott, Nucl. Phys. B 185, 189 (1981). https://doi.org/10.1016/0550-3213(81)90371-0
S. Weinberg, Phys. Lett. B 91, 51 (1980). https://doi.org/10.1016/0370-2693(80)90660-7
L.F. Abbott, Acta Phys. Pol. B 13, 33 (1982). http://cds.cern.ch/record/130265
G.M. Shore, Ann. Phys. 137, 262 (1981). https://doi.org/10.1016/0003-4916(81)90198-6
L.F. Abbott, M.T. Grisaru, R.K. Schaefer, Nucl. Phys. B 229, 372 (1983). https://doi.org/10.1016/0550-3213(83)90337-1
A.C. Aguilar, J. Papavassiliou, J. High Energy Phys. 12, 012 (2006). https://doi.org/10.1088/1126-6708/2006/12/012
A.C. Aguilar, D. Binosi, J. Papavassiliou, Phys. Rev. D 78, 025010 (2008). https://doi.org/10.1103/PhysRevD.78.025010
J. Taylor, Nucl. Phys. B 33, 436 (1971). https://doi.org/10.1016/0550-3213(71)90297-5
A. Slavnov, Theor. Math. Phys. 10, 99 (1972). https://doi.org/10.1007/BF01090719
K. Fujikawa, B.W. Lee, A.I. Sanda, Phys. Rev. D 6, 2923 (1972). https://doi.org/10.1103/PhysRevD.6.2923
W.J. Marciano, H. Pagels, Phys. Rep. 36, 137 (1978). https://doi.org/10.1016/0370-1573(78)90208-9
A.I. Davydychev, P. Osland, L. Saks, Phys. Rev. D 63, 014022 (2001). https://doi.org/10.1103/PhysRevD.63.014022
A.C. Aguilar, J. Papavassiliou, Phys. Rev. D 83, 014013 (2011). https://doi.org/10.1103/PhysRevD.83.014013
A.C. Aguilar, J.C. Cardona, M.N. Ferreira, J. Papavassiliou, Phys. Rev. D 96, 014029 (2017). https://doi.org/10.1103/PhysRevD.96.014029
C. Itzykson, J.B. Zuber, Quantum Field Theory. International Series in Pure and Applied Physics (Mcgraw-Hill, New York, 1980)
M.E. Peskin, D.V. Schroeder, An Introduction to Quantum Field Theory (Addison-Wesley, Reading, 1995)
J.M. Cornwall, J. Papavassiliou, Phys. Rev. D 40, 3474 (1989). https://doi.org/10.1103/PhysRevD.40.3474
D. Binosi, J. Papavassiliou, Phys. Rev. D 77, 061702 (2008). https://doi.org/10.1103/PhysRevD.77.061702
D. Binosi, J. Papavassiliou, J. High Energy Phys. 11, 063 (2008). https://doi.org/10.1088/1126-6708/2008/11/063
J.S. Ball, T.-W. Chiu, Phys. Rev. D 22, 2550 (1980). https://doi.org/10.1103/PhysRevD.22.2550. [Erratum: Phys. Rev. D 23, 3085 (1981)]
A.I. Davydychev, P. Osland, O. Tarasov, Phys. Rev. D 54, 4087 (1996). https://doi.org/10.1103/PhysRevD.59.109901. [Erratum: Phys. Rev. D 59, 109901 (1999)]
J.M. Cornwall, Phys. Rev. D 26, 1453 (1982). https://doi.org/10.1103/PhysRevD.26.1453
J. Papavassiliou, Phys. Rev. D 41, 3179 (1990). https://doi.org/10.1103/PhysRevD.41.3179
A. Pilaftsis, Nucl. Phys. B 487, 467 (1997). https://doi.org/10.1016/S0550-3213(96)00686-4
D. Binosi, J. Papavassiliou, Phys. Rev. D 66, 111901 (2002). https://doi.org/10.1103/PhysRevD.66.111901
S. Hashimoto, J. Kodaira, Y. Yasui, K. Sasaki, Phys. Rev. D 50, 7066 (1994). https://doi.org/10.1103/PhysRevD.50.7066
M. Binger, S.J. Brodsky, Phys. Rev. D 74, 054016 (2006). https://doi.org/10.1103/PhysRevD.74.054016
I.A. Batalin, G.A. Vilkovisky, Phys. Lett. B 69, 309 (1977). https://doi.org/10.1016/0370-2693(77)90553-6
I.A. Batalin, G.A. Vilkovisky, Phys. Rev. D 28, 2567 (1983). https://doi.org/10.1103/PhysRevD.28.2567. [Erratum: Phys. Rev. D 30, 508 (1984)]
D. Binosi, J. Papavassiliou, Phys. Rev. D 66, 025024 (2002). https://doi.org/10.1103/PhysRevD.66.025024
D. Binosi, A. Quadri, Phys. Rev. D 85, 121702 (2012). https://doi.org/10.1103/PhysRevD.85.121702
D. Binosi, A. Quadri, Phys. Rev. D 88, 085036 (2013). https://doi.org/10.1103/PhysRevD.88.085036
J. Papavassiliou, Phys. Rev. D 47, 4728 (1993). https://doi.org/10.1103/PhysRevD.47.4728
A.C. Aguilar, M.N. Ferreira, B.M. Oliveira, J. Papavassiliou, Eur. Phys. J. C 82, 1068 (2022). https://doi.org/10.1140/epjc/s10052-022-11034-0
J.S. Schwinger, Phys. Rev. 125, 397 (1962). https://doi.org/10.1103/PhysRev.125.397
J.S. Schwinger, Phys. Rev. 128, 2425 (1962). https://doi.org/10.1103/PhysRev.128.2425
R. Jackiw, K. Johnson, Phys. Rev. D 8, 2386 (1973). https://doi.org/10.1103/PhysRevD.8.2386
E. Eichten, F. Feinberg, Phys. Rev. D 10, 3254 (1974). https://doi.org/10.1103/PhysRevD.10.3254
A.C. Aguilar, D. Ibanez, V. Mathieu, J. Papavassiliou, Phys. Rev. D 85, 014018 (2012). https://doi.org/10.1103/PhysRevD.85.014018
D. Ibañez, J. Papavassiliou, Phys. Rev. D 87, 034008 (2013). https://doi.org/10.1103/PhysRevD.87.034008
A.C. Aguilar, D. Binosi, C.T. Figueiredo, J. Papavassiliou, Phys. Rev. D 94, 045002 (2016). https://doi.org/10.1103/PhysRevD.94.045002
G. Eichmann, J.M. Pawlowski, J.M. Silva, Phys. Rev. D 104, 114016 (2021). https://doi.org/10.1103/PhysRevD.104.114016
A.C. Aguilar, M.N. Ferreira, J. Papavassiliou, Phys. Rev. D 105, 014030 (2022). https://doi.org/10.1103/PhysRevD.105.014030
A.C. Aguilar, F. De Soto, M.N. Ferreira, J. Papavassiliou, F. Pinto-Gómez, C.D. Roberts, J. Rodríguez-Quintero, arXiv:2211.12594 [hep-ph]
Acknowledgements
The work of A. C. A. and B. M. O. are supported by the CNPq grants 307854/2019-1 and 141409/2021-5, respectively. A. C. A also acknowledges financial support from project 464898/2014-5 (INCT-FNA). M. N. F. and J. P. are supported by the Spanish MICINN grant PID2020-113334GB-I00. M. N. F. acknowledges financial support from Generalitat Valenciana through contract CIAPOS/2021/74. J. P. also acknowledges funding from the regional Prometeo/2019/087 from the Generalitat Valenciana.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Derivation of Abelian STIs
In this Appendix we employ the Batalin–Vilkovisky formalism [5, 88,89,90,91,92] to derive the Abelian STI satisfied by the generic vertex \(\textrm{BQ}^n\) when contracted by the momentum carried by the gluon \(\mathrm B\).
We start with the WI functional, given by [5]
where \(\vartheta ^a\) are the local infinitesimal parameters which correspond to the SU(3) generators \(t^a\), and play the role of the ghost field. \(\Gamma \) in Eq. (A1) is the “reduced” effective action, defined as the full effective action without the gauge-fixing term [5, 90]. Consequently, the Green’s functions obtained from \(\Gamma \) will be missing the corresponding gauge-dependent contribution at tree level. Finally, the gauge transformations of the fields are given by
To obtain the background Abelian STIs the first step is to differentiate the functional W with respect to the parameter \(\vartheta ^a(x)\), furnishing
where we have already set to zero the vacuum expectation values (VEVs) of the ghost, antighost, and background gluon fieldsFootnote 2. Moreover, we introduce the shorthand notation for functional derivatives
where \(\phi _i(x_i)\) denotes a generic field.
The STIs of interest are then obtained by differentiating Eq. (A3) n times with respect to the quantum gluon. Note, in particular, that the functional derivatives of the term \(\partial _\mu \Gamma _{B_\mu ^a}(x)\) in Eq. (A3) generate divergences such as \(\partial _\mu \Gamma _{B_\mu ^a Q_{\nu _{{\scriptscriptstyle 1}}}^{b_{{\scriptscriptstyle 1}}}\ldots Q_{\nu _{{\scriptscriptstyle n}}}^{b_{{\scriptscriptstyle n}}}}(x,y_1, \ldots , y_n)\) which, after Fourier transformation, result in the typical l.h.s. of the Abelian STIs, i.e., a Green’s function contracted with a background gluon momentum.
To fix the ideas, let us consider as two special cases the STIs for the BQ and BQQ functions.
Differentiating Eq. (A3) with respect to \(Q_{\nu _1}^{b_{{\scriptscriptstyle 1}}}(y_1)\) we obtain
Setting the gluon field \(Q=0\), and the one-point function \(\Gamma _{\!Q_{\nu _1}^e}(x)=0\), we obtain
where \(\Gamma _{B_\mu ^aQ_{\nu _1}^{b_{{\scriptscriptstyle 1}}}}(x,y_1)\) is the inverse BQ propagator, with its \(1/\xi _Q\) term removed. In momentum space notation, Eq. (A6) becomes
expressing the exact transversality of the BQ self-energy.
Then, an additional differentiation of Eq. (A5) with respect to \(Q_{\nu _2}^{b_2}(y_2)\) yields
At this point, by setting all the fields to zero we obtain the Abelian STI for the BQQ vertex in configuration space, namely
Now, Fourier transforming the above equation to momentum space leads to
which, with the definition of Eq. (2.3), becomes Eq. (C1). The derivation of the STI for the BBB vertex, given in Eq. (3.6), is completely analogous.
Next, we prove that the STI of the \(\textrm{BQ}^n\) vertex is given by
To that end, we first differentiate Eq. (A8) \(n-2\) times. This procedure yields
Clearly, to demonstrate Eq. (A11) we need to prove that
The proof proceeds by induction. First, it is clear that Eq. (A13) holds for \(n = 3\). Indeed, in this case one has to take a single derivative
which is Eq. (A13) for \(n = 3\).
Then, assume that Eq. (A13) is true for \(n=k\). Differentiating the result once more with respect to \(Q_{\nu _{k+1}}^{b_{k+1}}\) we obtain
which is Eq. (A13) for \(n= k+1\). This completes the proof.
In momentum space, Eq. (A11) is given by (suppressing a factor of g)
The corresponding WI is obtained by expanding Eq. (A16) around \(q = 0\) and collecting terms linear in q. Using \(p_n=-\sum \limits _{i=1}^{n-1} p_i\), we obtain
Note that the absence of a zeroth order term on the l.h.s. of Eq. (A16) implies the relation
whose validity we have checked explicitly for \(n=3,4\).
Appendix B: Feynman rules for BFM vertices
In the Table 1 of this Appendix we list the Feynman rules for BFM vertices at tree level.
Appendix C: Abelian Slavnov–Taylor identities in the BFM
In the Table 2 we collect all the Abelian STI in the BFM necessary to demonstrate the block-wise realization of the STI for the background three-gluon vertex.
Appendix D: Expressions for the two-loop ghost sector of the BBB SDE
The two-loop ghost sector of the SDE of the vertex BBB given by diagram (e) in Fig. 2, whose expansion is given in Fig. 6, relate with the background gluon self-energy by Eq. (3.43), where the expression for the diagrams \((a_{{\scriptscriptstyle 7}})\), \((a_{{\scriptscriptstyle 8}})\), \((a_{{\scriptscriptstyle 9}})\) and \((a_{{\scriptscriptstyle 10}})\), in Fig. 1 can be expressed as
The decomposition of diagram (e), given in Eqs. (3.41) and (3.42), can be separated in three groups: \((e_{1})^{abc}_{\alpha \mu \nu }\), with
\((e_{2})^{abc}_{\alpha \mu \nu }\), with
and finally \((e_{3})^{abc}_{\alpha \mu \nu }\), with
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Aguilar, A.C., Ferreira, M.N., Ibañez, D. et al. Patterns of gauge symmetry in the background field method. Eur. Phys. J. C 83, 86 (2023). https://doi.org/10.1140/epjc/s10052-023-11219-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11219-1