Abstract
To all orders of perturbation theory, the renormalization of the topological charge density in dimensionally regularized QCD is shown to require no more than an additive renormalization proportional to the divergence of the flavour-singlet axial current. The proof is based on the standard BRS analysis of the QCD vertex functional in the background gauge and exploits the special algebraic properties of the charge density through the Stora–Zumino chain of descent equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
All known consistent forms of dimensional regularization of QCD break chiral symmetry and the symmetry is then only recovered after renormalization and removal of the regularization. In the flavour-singlet channel, the situation is further complicated by the chiral anomaly, a term proportional to the topological charge density in the axial-current conservation equation, which requires renormalization as do the other terms in that equation.
Parity-odd fields are in general not easy to deal with in dimensional regularization, because the fifth Dirac matrix \(\gamma _{5}\) and the Levi-Civita symbol \(\epsilon _{\mu \nu \rho \sigma }\) are not naturally defined in dimensions other than four. In QCD this technical difficulty can however be bypassed by representing such fields through totally antisymmetric tensor fields [1, 2]. Using this representation, the renormalization of the axial quark densities, the axial currents and the chiral anomaly has been worked out to high order in the gauge coupling [2,3,4,5].
In these computations, a multiplicative renormalization of the topological charge density turned out to be unnecessary, thus suggesting that the density is finite to all orders up to additive renormalizations [5]. The absence of a divergent multiplicative renormalization is perhaps not unexpected in view of the Adler–Bardeen theorem [6] or simply because the topological charge of classical fields assumes integer values. Many years ago, Breitenlohner, Maison and Stelle [7] attempted to trace back the finiteness of the charge density to its algebraic properties, but their argumentation remained incomplete and was partially incorrect to the extent of being inconclusive. To date a rigorous all-order discussion of the situation in dimensionally regularized QCD appears to be missing and the principal goal here is to fill this gap, using the standard BRS analysis of the QCD vertex functional [8,9,10], the background gauge [11,12,13,14] and the Stora–Zumino descent equations [15,16,17].
After going through some definitions and preliminary material in Sect. 2, the rather special algebraic properties of the topological charge density, as expressed through the descent equations, are exposed in Sect. 3. The symmetries of the QCD vertex functional in presence of a background gauge field and the sources for the descendants of the charge density are then discussed. These strongly constrain the form of the divergent parts of the vertex functional and, as shown in Sect. 5, eventually exclude a multiplicative renormalization of the charge density. The paper ends with some comments on the axial anomaly and a few concluding remarks.
2 Preliminaries
2.1 Background field technique
The theory is set up in Euclidean space in the standard manner with any number \(N_{\mathrm{f}}\ge 0\) of quarks in the fundamental representation of the gauge group \(\mathrm{SU}(N)\) (see Appendix A for any unexplained notation).
In the background field formalism, the fundamental gauge potential \(A_{\mu }(x)\) is normalized such that the associated field tensor \(F_{\mu \nu }(x)\) and the gauge-covariant derivatives do not involve the gauge coupling. The QCD action in D dimensions is then given by
![](http://media.springernature.com/lw384/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09296-1/MediaObjects/10052_2021_9296_Equ1_HTML.png)
where the index r of the quark fields \(\overline{\psi }_r\) and \(\psi _r\) labels the quark flavours, \(g_0\) is the bare coupling and \(m_{0,{r}}\) the bare mass of the quark number r.
The background field technique permits the theory to be probed with greater respect for the gauge symmetry than is the case when probed in conventional ways [11,12,13,14]. Let \(B_{\mu }(x)\) be a smooth classical gauge potential and consider the decomposition
of the fundamental gauge potential \(A_{\mu }\) in the background field \(B_{\mu }\) and the quantum field \(q_{\mu }\), which is now the field integrated over in the functional integral. A possible choice of the gauge-fixing and associated ghost action is then
c and \(\bar{c}\) being the ghost and antighost fields. As is quite clear from these expressions, and further discussed in Sect. 3.2, this way of fixing the gauge preserves a classical gauge symmetry.
The theory with total action
has a regular perturbation expansion in Feynman diagrams, if the background field is treated as an additional source field, i.e. if the functional integral is expanded in a powers series in this field. In particular, at vanishing background field, the theory in the standard Lorentz-covariant gauge is recovered. All-important is then the fact that the theory renormalizes in the same way with and without background field, the latter requiring no renormalization.
An introduction to the subject and a proof of the renormalizability of the dimensionally regularized theory in presence of the background field is provided in the first few sections of Ref. [18]. Some of the strategies described there will again be used here, but the presentation in the following is intended to be self-contained.
2.2 Tensor fields and the topological charge density
In \(D=4\) dimensions, the topological charge density is given by
Since the Levi-Civita symbol \(\epsilon _{\mu \nu \rho \sigma }\) is not a well defined object in dimensions other than four, the use of Eq. (2.6) in any dimension would require the first four dimensions to be distinguished from the \(-2\epsilon \) extra dimensions.
Following Refs. [1,2,3,4,5], such a distinction can be avoided by noting that the totally antisymmetric tensor field
is, in four dimensions, proportional to \(\epsilon _{\mu \nu \rho \sigma }\) times the charge density. This tensor field is well defined in any dimension and thus provides a possible representation of the charge density in the framework of dimensional regularization.
In the case of the axial quark densities and currents, the totally antisymmetric tensor fields
may similarly be taken as a possible representation of these fields in arbitrary dimensions (following common practice, an antisymmetrization over the indices enclosed in square brackets is implied). It may be worth mentioning in passing that the fields (2.8), (2.9) satisfy an exact PCAC relation, in any dimension, involving an evanescent further field, which renormalizes the other fields in the equation and gives rise to the axial anomaly at \(D=4\).
Correlation functions of tensor fields and the fundamental fields can be worked out in perturbation theory in the standard manner. Covariance under the full Lorentz group, including parity, is exactly preserved in these calculations and the required counterterms are Lorentz-covariant polynomials in the external momenta, Kronecker deltas and products of Dirac matrices (if some external Dirac indices are uncontracted). In particular, tensor fields renormalize among themselves.
3 Algebraic properties of the topological charge density
Totally antisymmetric tensors like \((FF)_{\mu \nu \rho \sigma }\) are naturally associated with differential forms. In this particular case, the form is, in any dimension, proportional to the second Chern character and thus has some special algebraic properties.
3.1 BRS variation [8, 9]
In presence of the background gauge potential \(B_{\mu }\), the BRS variation of the quantum field \(q_{\mu }\), the ghost fields c, \(\bar{c}\) and the quark fields \(\psi ,\overline{\psi }\) is given by
Since the background field is not transformed, Eq. (3.1) implies
which shows that the BRS transformation of the gauge potential \(A_{\mu }\) is an infinitesimal gauge transformation.
The BRS variation is an antiderivative with respect to the grading defined by the fermion (ghost plus quark) number, i.e.
if f has fermion number n. When acting on differential forms, the rank of the form is often included in the grading and the exterior differential \(\mathrm{d}\) then anticommutes with \(\delta _{\mathrm{BRS}}\). In the present context, where the BRS variation eventually acts on tensor fields, this convention however tends to be confusing and is not applied.
3.2 Background gauge variation
Background gauge transformations are generated by classical fields \(\omega (x)\) with values in the Lie algebra of \(\mathrm{SU}(N)\). The associated gauge variation includes the background field
and acts on the quantum fields according to
Gauge and BRS transformations both preserve the total action (2.5) and their commutator \([\delta _{\mathrm{BRS}},\delta _{\omega }]\) vanishes.
3.3 Descent equations
The Stora–Zumino chain of equations [15,16,17], which descends from the second Chern character, make the special algebraic properties of the latter explicit (for an introduction to the subject see Ref. [19], for example). It is now helpful to introduce the differential forms
and similarly the forms B and q. Starting from the 4-form
a sequence \(\phi _3,\phi _2,\phi _1,\phi _0\) of differential forms of decreasing rank may then be constructed satisfying the descent equations
The particular solution of these equations chosen here,
includes several terms proportional to the background field B, which serve to ensure a simple transformation behaviour,
under background gauge transformations.
4 Definition and symmetries of the bare vertex functional
The renormalization of the theory with insertions of composite fields will be studied by adding sources for all relevant fields and by discussing the possible structure of the divergent parts of the associated vertex functional. Since the quark fields give rise to only minor complications in this analysis, the pure gauge theory will now first be considered, the modifications required in full QCD being discussed in Sect. 5.6.
4.1 Source terms for the basic fields
Following standard practice, the basic source terms included in the QCD functional integral are
where \(J_{\mu },\bar{\eta },\eta ,K_{\mu }\) and L are classical source fields with values in the Lie algebra of \(\mathrm{SU}(N)\). Scalar products of such coloured fields like
are defined in the obvious way and it is understood that \(\bar{\eta },\eta \) and \(K_{\mu }\) are fermion fields that anticommute with the ghost fields.
The source terms (4.1) are such that the application of the BRS variation to the sum of terms is equivalent to a change of the source fields. This property is shared by the further source terms introduced below and eventually ensures that the BRS symmetry turns into a symmetry of the vertex functional.
4.2 Sources for the descendants of the charge density
Appropriate source fields for the totally antisymmetric coefficients \((\phi _k)_{\mu _1\ldots \mu _k}\) of the differential forms (3.16)–(3.19) are classical tensor fields \((H_k)_{\mu _1\ldots \mu _k}\) of the same type. The corresponding source terms,
transform under the BRS variation according toFootnote 1
where
As will become clear in Sect. 5, source terms for two further fields,
must be included together with the terms (4.3) to be able to renormalize the correlation functions with insertions of \((\phi _1)_{\mu }\) and \((\phi _2)_{\mu \nu }\).
The fields \(s,\delta _{\mathrm{BRS}}s\) and \(\phi _k\) are such that the short-distance singularities generated by their insertion in correlation functions of the basic fields \(q,\ldots ,\delta _{\mathrm{BRS}}c\) are integrable at \(D=4\). Additional poles in \(1/\epsilon \) are therefore excluded when off-shell correlation functions are considered and there is no difference in these cases between off- and on-shell renormalization.
4.3 Definition of the vertex functional
The complete list of source terms included in the functional integral is thus
some relevant properties of the source fields being listed in Table 1.
From the partition function \(Z[B,J,\ldots ,H_3]\) of the theory in presence of the background gauge field and the source terms, the generating functional for the connected correlation functions of the fields \(q,\ldots ,\phi _3\),
is obtained as usual. The Legendre transform
in the source fields for q, c and \(\bar{c}\) then leads to the vertex functional \(\Gamma [B,\ldots ,H_3]\) of the theory, all other source fields \(E,\ldots ,H_3\) and the background field being spectators in this transformation.
4.4 BRS symmetry
A little algebra now shows that the BRS symmetry implies [10]
The first three terms in this equation are the usual ones deriving from the BRS variation of the basic fields, while all further terms reflect the transformation behaviour of the added fields \(s,\ldots ,\phi _3\).
4.5 Background gauge transformations
If the coloured source fields are transformed according to
the vertex functional is invariant under background gauge transformations up to an inhomogeneous term,
that derives from the non-invariance of \(\phi _3\) [cf. Eq. (3.20)]. In particular, the vertex functional is gauge invariant beyond the tree level of perturbation theory.
4.6 Shift symmetry
In the background gauge, the QCD action (2.1) is a function of the gauge potential \(A_{\mu }\), while the gauge-fixing and the ghost action depend on both the background and the quantum field. Under an infinitesimal shift
of these fields by an arbitrary classical field \(\upsilon _{\mu }\), the total action transforms like
An identity used later, which derives from this property, is
where \((H_4)_{\mu \nu \rho \sigma }\) is any totally antisymmetric tensor source field of rank 4.
5 Renormalization
In the following, the focus will be on the vertex functions with either no or a single insertion of the fields \(s,\ldots ,\phi _3\). The corresponding parts of the vertex functional are denoted by \(\Gamma ^{(0)}\) and \(\Gamma ^{(1)}\). Clearly,
while \(\Gamma ^{(1)}[B,\ldots ,H_3]\) coincides with the part of the vertex functional that depends linearly on the source fields \(E,\ldots ,H_3\). The discussion in this section largely follows the one in Ref. [18], where the renormalizability of \(\Gamma ^{(0)}[B,\ldots ,L]\) was proved. Here the goal is to extend this result to \(\Gamma ^{(1)}[B,\ldots ,H_3]\).
5.1 Renormalized vertex functional
The vertex functional is tentatively renormalized by scaling the source fields,
and by expressing the bare coupling and gauge parameter through the renormalized coupling g and gauge parameter \(\lambda \) according to
In these equations, \(Z_1,Z_3\) and \(\widetilde{Z}_3\) are the renormalization constants already required for the renormalization of the theory without insertions of the fields \(s,\ldots ,\phi _3\). Some of the other renormalization constants are not independent and satisfy
The additive renormalizations proportional to \(X_E\) are included in Eq. (5.2), because the field \(\phi _1\) mixes with \(\delta _{\mathrm{BRS}}s\) and \(\phi _2\) with \(\mathrm{d}s\). A non-zero mixing actually already occurs at one-loop order of perturbation theory. In the following, minimal subtraction (i.e. the MS scheme) is assumed for all renormalization constants.
Equations (5.2)–(5.6) are such that the renormalization preserves the form of the BRS identity (4.13), viz.
Moreover, the shift-symmetry identity (4.21) continues to hold when \(W[B,\ldots ,H_3]\) is replaced by the generating functional \(W_R[B,\ldots ,H_3]\) of the renormalized connected correlation functions. In the case of the background gauge symmetry, the transformation law for the renormalized vertex functional,
however involves the renormalization constant \(Z_H\), which already shows that \(Z_H\) cannot diverge in the limit \(D\rightarrow 4\) if \(\Gamma ^{(1)}_R[B,\ldots ,H_3]\) is finite.
5.2 Loop expansion of the renormalized vertex functional
The renormalized vertex functional may be expanded in a series
of terms of increasing loop order l, the lowest-order term being
All hatted fields in this formula and the hatted total action are obtained from the corresponding expressions in the quantum fields by substituting \(q_{\mu }\rightarrow Q_{\mu }\), \(c\rightarrow C\), \(\bar{c}\rightarrow \overline{C}\), \(g_0\rightarrow \mu ^{\epsilon }g\) and \(\lambda _0\rightarrow \lambda \). The BRS variation
acting on the source fields must be distinguished from the one acting on the quantum fields, but has identical algebraic properties.
5.3 Proof of finiteness: first steps
The proof of finiteness of \(\Gamma ^{(1)}_R[B,\ldots ,H_3]\) and thus of \(Z_H\) proceeds by induction over the loop order l. At a given order n, the induction hypothesis is that the divergences of \(\Gamma ^{(1)}_{R,{l}}\) can be canceled at all orders \(l<n\) by setting \(Z_H=1\) and by adjusting the l-loop coefficients of \(Z_E\) and \(X_E\). The task is then to show that the same is the case at loop order n.
First this requires the structure of the divergent part \(\Delta \Gamma ^{(1)}_{R,{n}}\) of \(\Gamma ^{(1)}_{R,{n}}\) to be determined for vanishing n-loop terms \(Z_{E,n},X_{E,n},Z_{H,n}\) of \(Z_E,X_E\) and \(Z_H\), their contribution to the vertex functional at this order,
being taken into account in Sect. 5.5.
General principles imply that
where p(x) is a local polynomial in the source fields \(B,Q,\ldots ,H_3\) and their derivatives, which must have dimension 4, ghost number 0 and be linear in \(E,\ldots ,H_3\). Partial integration moreover allows any terms with derivatives of these latter fields to be traded for terms in which they appear without derivatives. The field p(x) then inherits the invariance of \(\Delta \Gamma ^{(1)}_{R,{n}}\) under Lorentz and background gauge transformations (since \(Z_{H,n}\) is, at this point, set to zero).
All these properties already strongly constrain the form of p(x). Recalling table 1, inspection shows that the field cannot depend on the fields \(\overline{C}\), K or L. Moreover, the terms in p(x) depending on the fields E and \(H_0\) must be proportional to \(E_{\mu }(x)\hat{s}_{\mu }(x)\) and \(H_0(x)\hat{\phi }_0(x)\).
5.4 Consequences of the BRS symmetry
Further constraints on \(\Delta \Gamma ^{(1)}_{R,{n}}\) derive from the BRS identity (5.7), which holds at all loop orders and all orders in the source fields \(E,\ldots ,H_3\). At loop order n, and for the terms linear in these fields, the identity together with the induction hypothesis and the leading-order form (5.10) of the vertex functional implies
If only the first two terms were present, the left-hand side of this equation would coincide with \(\hat{\delta }_{\mathrm{BRS}}\Delta \Gamma ^{(1)}_{R,{n}}\). The equation thus relates the BRS variation of the terms proportional to \(E,H_1,H_2\) and \(H_3\) to the terms proportional to \(F,H_0,H_1\) and \(H_2\). As a consequence,
where \(z_E\) is a (divergent) constant and \(\hat{f}_k\), \(k=0,\ldots ,3\), some gauge-invariant forms of rank k, with dimension 3 and ghost number \(3-k\), satisfying
for all \(k=1,2,3\).
The discussion in appendix A of the descent equations for quantum fields carries over literally to the case of the descent equations (5.17) and shows that these equations have only two linearly independent solutions with the required properties. As a result,
where \(x_E\) and \(z_H\) are further (divergent) coefficients.
5.5 Proof of finiteness: final steps
Now when the counterterms (5.13) are included in the vertex functional, all terms on the right of Eq. (5.18) except for the last one can be canceled by adjusting the n-loop coefficients of \(Z_E,X_E\) and \(Z_H\). Since the uncanceled term only depends on B and \(H_3\), it is a spectator in the Legendre transform that leads from the renormalized vertex functional to the generating functional \(W_R[B,\ldots ,H_3]\) of the renormalized correlation functions. The latter is therefore finite too at n-loop order apart from this additive divergent term and terms of higher than linear order in the source fields \(E,\ldots ,H_3\).
Such a divergent term is however excluded by the shift-symmetry relation (4.21) (with \(W\rightarrow W_R\)) and its coefficient \(z_H\) must hence be equal to zero. The terms in Eq. (5.18) proportional to \(z_H\) are thus absent and all divergences at n-loop order can be canceled by setting \(Z_H=1\) and adjusting \(Z_E\) and \(X_E\), as was to be shown.
5.6 Inclusion of the quark fields
In presence of the quark fields, \(\phi _3\) requires an additive renormalization proportional to the flavour-singlet axial current, which is here represented by the tensor field
After adding source terms for the quark and antiquark fields, their BRS variation and the axial current (5.19), the finiteness of \(\Gamma ^{(1)}_R\) can then again be proved following the steps taken in the case of the pure gauge theory.
Since \(A^s\) is invariant under both the BRS and the background gauge symmetry, there is now a third solution, \(\hat{f}_k=\delta _{k3} \hat{A}^s\), of the descent equations (5.17) with all the required properties. The mixing of \(\phi _3\) with \(A^s\) derives from the existence of this additional solution, but a multiplicative renormalization of \(\phi _3\) remains excluded.
There is, on the other hand, no field that could mix with the axial current. The results obtained in appendix B in fact show that no BRS and gauge invariant 3-form of dimension 3 can be built from the gauge and ghost fields alone. The Lorentz and flavour symmetry then imply that the current must renormalize multiplicatively.
6 Flavour-singlet axial Ward identity
Since the axial anomaly does not require multiplicative renormalization, the relation between the bare and the renormalized fields that appear in the flavour-singlet axial-current conservation equation is slightly simplified. The structure of the equation in the renormalized theory in four dimensions is then easily determined, but there is little new here and the section is included mainly for completeness. All statements made in the following refer to standard QCD with vanishing background field.
6.1 Renormalized fields
The renormalized fields participating in the Ward identity are
In these equations, the renormalization constants \(Z_m,Z_A\) and \(Z_P\) are for the quark masses and for the flavour-singlet axial current and density, while \(Z_{FA}=\mathrm{O}(g^4)\) is a mixing coefficient. Minimal subtraction is assumed, as before, and the contraction with the Levi-Civita symbol is performed only after passing to \(D=4\) dimensions.
The anomalous dimensions of \((A^s_{\mu })_{\mathrm{R}}\) and \((mP)_{\mathrm{R}}\) are
where \(\beta =-b_0g^3-b_1g^5+\ldots \) denotes the \(\beta \)-function at \(\epsilon =0\). Since \((F^*F)_{\mathrm{R}}\) mixes with \(\partial _{\mu }(A^s_{\mu })_{\mathrm{R}}\), the associated anomalous dimension is a \(2\times 2\) matrix,
acting on these fields.
6.2 Renormalization-group-invariant (RGI) fields
RGI fields are related to the renormalized ones through finite renormalization factors chosen such that the anomalous dimensions vanish. In the case of a multiplet \(({\mathcal {O}}_{k})_{\mathrm{R}}\), \(k=1,\ldots ,n\), of fields with anomalous-dimension matrix \(\gamma \), the RGI fields are given by
where \({\mathcal {R}}\) is an \(n\times n\) matrix satisfying
plus some conventional boundary condition at \(g=0\). Apart from having vanishing anomalous dimension, RGI fields are independent of the renormalization scheme and any relations among them are therefore universally valid.
In the case of the fields considered here, the boundary condition \(\lim _{g\rightarrow 0}{\mathcal {R}}=1\) can be imposed and the RGI fields are then given by
where
(the integrals are all absolutely convergent, since the anomalous dimensions \(\gamma _A\), \(\gamma _{mP}\) and \(\gamma _{FA}\) are of order \(g^4\)). The factor \({\mathcal {X}}_{mP}\) can, incidentally, also be determined by matching the normalizations of the axial and scalar quark densities as in Ref. [2], for example.
6.3 Ward identity
In terms of the RGI fields, and for any product \({\mathcal {O}}\) of fields at non-zero distances from x, the flavour-singlet Ward identity assumes the form
Since the renormalization group excludes a dependence of the coefficients \(k_1\) and \(k_2\) on the gauge coupling, their values
coincide with the ones obtained at 1-loop order of perturbation theory.
If the Ward identity is written in terms of the minimally subtracted field \((F^*F)_{\mathrm{R}}\) instead of \((F^*F)_{\mathrm{RGI}}\), as in Refs. [2,3,4,5], the equation becomes
In this renormalization scheme, the anomalous dimensions satisfy
as already noted in Ref. [5], and the finite renormalization factor \({\mathcal {X}}_A+k_2{\mathcal {X}}_{FA}\) can be computed by requiring (6.16) to hold in the massless theory [2].
7 Concluding remarks
The fact that the topological charge density does not require multiplicative renormalization derives from its algebraic properties, namely that it coincides with the exterior differential of a gauge-variant local 3-form, the Chern–Simons form. Eventually the normalization of the density is fixed by the inhomogeneous gauge transformation behaviour of the latter.
A straightforward argumentation along this line is however not possible in perturbation theory in view of the required gauge fixing. Use had instead to be made of the background gauge and the BRS symmetry, whose application to the Chern–Simons form generates a chain of forms with increasing ghost number. All these forms must be included in the renormalization process and a multiplicative renormalization of the Chern–Simons form (and thus of the charge density) is then seen to be excluded by the symmetries of the QCD vertex functional. The other forms however require multiplicative renormalization and some additive renormalization as well.
Specific renormalization properties like the one discussed in this paper can depend on the chosen regularization of the theory. Simple expressions for the topological charge density in lattice QCD, for example, need not be exactly representable through a discrete version of the Chern–Simons form and may consequently require multiplicative renormalization. After renormalization and removal of the regularization, the RGI form (6.14) of the flavour-singlet chiral Ward identity however holds in these cases too.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is an essentially mathematical paper, where the text and formulae contain the complete information. No other data were produced in the course of this work.]
Notes
Algebraic consistency requires that source fields with odd fermion number anticommute with the BRS variation of the quantum fields.
References
S.A. Larin, J.A.M. Vermaseren, The \(\alpha _s^3\) corrections to the Bjorken sum rule for polarized electroproduction and to the Gross–Llewellyn Smith sum rule. Phys. Lett. B 259, 345 (1991)
S.A. Larin, The renormalization of the axial anomaly in dimensional regularization. Phys. Lett. B 303, 113 (1993)
M. Zoller, OPE of the pseudoscalar gluonium correlator in massless QCD to three-loop order. JHEP 07, 40 (2013)
T. Ahmed, T. Gehrmann, P. Mathews, N. Rana, V. Ravindran, Pseudo-scalar form factors at three loops in QCD. JHEP 11, 169 (2015)
T. Ahmed, L. Chen, M. Czakon, Renormalization of the flavor-singlet axial-vector current and its anomaly in dimensional regularization. JHEP 05, 87 (2021)
S.L. Adler, W.A. Bardeen, Absence of higher-order corrections in the anomalous axial-vector divergence equation. Phys. Rev. 182, 1517 (1969)
P. Breitenlohner, D. Maison, K.S. Stelle, Anomalous dimensions and the Adler–Bardeen theorem in supersymmetric Yang–Mills theories. Phys. Lett. B 134, 63 (1984)
C. Becchi, A. Rouet, R. Stora, Renormalization of the Abelian Higgs-Kibble model. Commun. Math. Phys. 42, 127 (1975)
C. Becchi, A. Rouet, R. Stora, Renormalization of gauge theories. Ann. Phys. (NY) 98, 287 (1976)
J. Zinn-Justin, Renormalization of gauge theories, in Trends in Elementary Particle Theory. Lecture Notes in Physics, vol. 37, ed. by H. Rollnik, K. Dietz (Springer, Berlin, 1975)
B.S. DeWitt, Quantum theory of gravity. 2. The manifestly covariant theory. Phys. Rev. 162, 1195 (1967)
B.S. DeWitt, Quantum theory of gravity. 3. Applications of the covariant theory. Phys. Rev. 162, 1239 (1967)
H. Kluberg-Stern, J.B. Zuber, Renormalization of non-Abelian gauge theories in a background field gauge. 1. Green functions. Phys. Rev. D 12, 482 (1975)
H. Kluberg-Stern, J.B. Zuber, Renormalization of non-Abelian gauge theories in a background field gauge. 2. Gauge-invariant operators. Phys. Rev. D 12, 3159 (1975)
R. Stora, Continuum gauge theories, in New Developments in Quantum Field Theory and Statistical Mechanics (Cargèse 1976), ed. by M. Lévy, P. Mitter (Plenum Press, New York, 1977)
R. Stora, Algebraic structure and topological origin of anomalies, in Progress in Gauge Field Theory (Cargèse 1983), ed. by G. ’t Hooft, et al. (Plenum Press, New York, 1984)
B. Zumino, Chiral anomalies and differential geometry, in Relativity, Groups and Topology II (Les Houches 1983), ed. by B.S. DeWitt, R. Stora (North Holland, Amsterdam, 1984)
M. Lüscher, P. Weisz, Background field technique and renormalization in lattice gauge theory. Nucl. Phys. B 452, 213 (1995)
R.A. Bertlmann, Anomalies in Quantum Field Theory (Clarendon Press, Oxford, 2000)
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Notation
1.1 A.1 Gauge group
The Lie algebra of the gauge group \(\mathrm{SU}(N)\) may be identified with the space of all complex antihermitian \(N\times N\) matrices with vanishing trace. If \(T^a\), \(a=1,\ldots ,N^2-1\), is a basis of such matrices satisfying
the general element X of the Lie algebra is given by \(X=X^aT^a\) with real components \(X^a=-2\mathrm{tr}\{XT^a\}\) (repeated indices are automatically summed over).
While the quark fields are assumed to be in the fundamental representation of the gauge group, the gauge and ghost fields take values in its Lie algebra. The adjoint action of the latter on itself is defined by
where \(f^{abc}\) are the \(\mathrm{SU}(N)\) structure constants in the chosen basis of group generators.
1.2 A.2 Dimensional regularization
The theory is defined in the standard manner in \(D=4-2\epsilon \) Euclidean dimensions. Lorentz indices run from 0 to 3 in \(D=4\) dimensions and formally to \(D-1\) in arbitrary dimensions, i.e. the trace of the Kronecker delta \(\delta _{\mu \nu }\) is equal to D.
The Dirac matrices \(\gamma _{\mu }\) in D dimensions are formal objects satisfying
By taking products and linear combinations, the Dirac matrices generate an infinite dimensional linear space. The trace \(\mathrm{tr}\{\cdot \}\) is a mapping from this space to the space of polynomials in Kronecker deltas, which is implicitly defined by its linearity and cyclicity, the normalization convention
the Dirac algebra (A.3) and the rule that products of odd numbers of Dirac matrices have vanishing trace.
In \(D=4\) dimensions, the Dirac matrices are assumed to be Hermitian and the fifth Dirac matrix is taken to be
but no attempt is made to assign a meaning to \(\gamma _{5}\) in arbitrary dimensions. The same applies to the Levi-Civita symbol \(\epsilon _{\mu \nu \rho \sigma }\), which is normalized such that \(\epsilon _{0123}=1\).
1.3 A.3 Differential forms
Differential forms f(x) of rank n are homogeneous polynomials
in the Grassmann algebra generated by the anticommuting symbols \(\mathrm{d}x_{\mu }\). The coefficients \(f(x)_{\mu _1\ldots \mu _n}\) may be real, complex or take values in the Lie algebra of \(\mathrm{SU}(N)\), for example.
The exterior differential \(\mathrm{d}\) acts on such forms according to
Clearly, \(\mathrm{d}^2=0\) and
if f(x) has rank n.
Appendix B: Solution of the descent equations
The goal in this appendix is to find the general solution of the descent equations
in the space of local gauge-invariant forms \(f_k\) of rank \(k=0,\ldots ,3\), with ghost number \(3-k\) and dimension 3, which can be composed from the fields \(B_{\mu }^a,q_{\mu }^a,c^a\) and their derivatives.
1.1 B.1 Gauge-covariant exterior differential
Let f be any differential form of rank n with values in the space of \(N\times N\) matrices of elements of a complex Grassmann algebra. The gauge-covariant exterior differential \(\mathrm{d}^B\) acts on f according to
If f is a gauge-covariant expression in the basic fields, i.e. if
its differential \(\mathrm{d}^Bf\) is gauge-covariant too. Moreover,
Using these rules, the differential of the trace of any gauge-covariant polynomial in the basic fields can be worked out and yields expressions of the same type.
1.2 B.2 Gauge-invariant forms
The dimension, ghost number and gauge invariance of the differential forms \(f_k\) implies that they are linear combinations of terms of the form \(\mathrm{tr}\{{\mathcal {O}}\}\), where \({\mathcal {O}}\) is a product of three of the fields \(B_{\mu },q_{\mu },c\) or of one of these fields and another one with a derivative acting on it. Moreover, none of the Lorentz indices of the fields may be contracted, i.e. \({\mathcal {O}}\) must be a product of \(B,q,c,\mathrm{d}B,\mathrm{d}q\) and \(\mathrm{d}c\). The gauge-invariant terms with ghost number \(0,\ldots ,3\),
are then easily found by applying a gauge variation to the general linear combination of all possible terms.
1.3 B.3 General solution of the descent equations
Recalling the discussion in Sect. 3.3, the sequence of forms
is easily shown to satisfy the descent equations (B.1) and all other requirements too. An obvious second solution is
but there are no further linearly independent solutions.
The proof of this statement begins by noting that the forms \(f_k\) must be linear combinations
of the forms \(h_1,\ldots ,h_{10}\) with some coefficients \(c_1,\ldots ,c_{10}\). Since
the coefficients \(c_3\) and \(c_5\) can be nullified by subtracting a linear combination of the solutions (B.12), (B.13) and it remains to be shown that the descent equations imply the vanishing of all coefficients \(c_1,\ldots ,c_{10}\) if \(c_3=c_5=0\).
Noting
some algebra yields
for the forms with ghost number 0, while
The matching of the independent terms on the two sides of the equation \(\delta _{\mathrm{BRS}}f_3=\mathrm{d}f_2\) then shows that \(c_1=c_2=c_4=c_6=c_7=0\) and thus \(f_2=f_3=0\). Finally, since the forms
are linearly independent, the remaining coefficients \(c_8,c_9,c_{10}\) must vanish too.
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
About this article
Cite this article
Lüscher, M., Weisz, P. Renormalization of the topological charge density in QCD with dimensional regularization. Eur. Phys. J. C 81, 519 (2021). https://doi.org/10.1140/epjc/s10052-021-09296-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09296-1