Abstract
We prove that for renormalizable Yang–Mills gauge theory with arbitrary compact gauge group (of at most a single abelian factor) and matter coupling, the absence of gauge anomalies can be established at the one-loop level. This proceeds by relating the gauge anomaly to perturbative agreement, which formalizes background independence.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In its most general form, the Adler–Bardeen theorem states that in perturbative, renormalizable Yang–Mills gauge theory, gauge anomalies are absent if they are absent at the one-loop, or \({{\mathcal {O}}}(\hbar )\), level.Footnote 1 It has been argued for at various levels of rigor and generality [6,7,8,9,10].Footnote 2 With the exception of [10], the Callan–Symanzik equation [14, 15] and the quantum action principle [16, 17] are employed.Footnote 3 However, the arguments put forward are not completely satisfactory: They are based on a particular (vacuum) state, while in generic backgrounds (of gravitational and/or gauge type), there is no preferred state. Furthermore, the generating (vertex) functionals used in these approaches are formal, as they are integrated over the entire spacetime, leading to potential infrared issues. Finally, the “algebraic” approaches [8, 9] seem to apply only to the non-abelian anomaly, but not to abelian anomalies (which, for example, are most crucial to establish that anomaly freedom essentially fixes the matter representation in the Standard Model [18]).Footnote 4
It is thus desirable to prove the Adler–Bardeen theorem in the rigorous framework of locally covariant field theory [19,20,21], cf. also [22, 23] for recent reviews or monographs. The author’s attempts to adapt the above-mentioned approaches by replacing the Callan–Symanzik equation by renormalization group transformations as defined in [24] failed. However, it turns out that there is a close connection between gauge anomalies and anomalies of background independence, which one can exploit to prove the Adler–Bardeen theorem. Background independence is formalized in perturbative agreement [25, 26], which essentially states that quadratic terms can be equivalently included in the free or the interacting part of the action, see also [27] for a discussion. Typically, one thinks of these quadratic terms as arising from the free action by variations of some of the background geometric data, such as the metric [25] or a background gauge connection [26]. For our purposes, it is the latter notion which is of relevance.
A first indication of a connection between gauge anomalies and perturbative agreement is the fact that the latter actually has the Adler–Bardeen property: Perturbative agreement can be fulfilled to all orders, if a certain obstruction, visible at \({{\mathcal {O}}}(\hbar )\), vanishes [25, 26]. Furthermore, the obstruction is, for the case of variations of a background gauge connection, the covariant divergence \(T( \bar{\nabla }_\mu J_0^{\mu I})\) of the corresponding renormalized free current. Here, \({{\bar{\nabla }}}\) indicates the covariant derivative w.r.t. the background gauge connection, \(J_0^{\mu I} \mathrel {:=}\frac{\delta }{\delta {{\bar{{{\mathcal {A}}}}}}^I_\mu } S_0\) is the functional derivative of the free part of the action w.r.t. the background gauge connection \({{\bar{{{\mathcal {A}}}}}}\) (with I a Lie algebra index), and T denotes a renormalization scheme (a time-ordered product in the terminology used below).Footnote 5 In more formal approaches, a non-vanishing \(T( {{\bar{\nabla }}}_\mu J_0^{\mu I})\) is called a covariant anomaly, and it has (formally) a well-understood relation [28] to the consistent anomaly, which governs the gauge anomaly. Hence, in practice, when determining violations of perturbative agreement, one computes the well-known anomalies, just in covariant form.
The fact that an Adler–Bardeen-type theorem has already been proven for perturbative agreement suggests the following strategy for proving the Adler–Bardeen theorem: When we assume vanishing of the covariant divergence \(T( {{\bar{\nabla }}}_\mu J_0^{\mu I})\) of the renormalized free current (which is an \({{\mathcal {O}}}(\hbar )\) statement, as \(J_0\) is quadratic in the fields so that application of T yields a further c-number term of \({{\mathcal {O}}}(\hbar )\)), we may also assume fulfillment of perturbative agreement w.r.t. changes in the background connection. These two properties turn out to be sufficient to prove absence of anomalies. To summarize, we prove the following:
Theorem 1
Assume that, in a perturbatively renormalizable Yang–Mills gauge theory with a compact gauge group of at most a single U(1) factor and arbitrary matter coupling on a globally hyperbolic four-dimensional spacetime, there exists a locally covariant renormalization scheme such that the covariant divergence \(T( {{\bar{\nabla }}}_\mu J_0^{\mu I})\) of the free current vanishes (on-shell, when anti-fields are set to zero) for generic on-shell background gauge fields and vanishing background matter fields. Then, there exists a locally covariant renormalization scheme in which gauge anomalies are absent for generic on-shell background gauge fields and vanishing background matter fields.
The terms “locally covariant renormalization scheme” and “gauge anomaly” will be explained below (the former one at least as far as necessary for our purposes). Let us first remark on the assumptions and the implications of the theorem:
-
The restriction to at most a single U(1) factor in the gauge group ensures the absence of so-called exceptional anomalies [29]. This assumption can be relaxed when the occurrence of the exceptional anomalies can be excluded otherwise. In any case, as the gauge group of the Standard Model only contains a single U(1) factor, the theorem is applicable to the Standard Model (at least in the unbroken phase, see next item).
-
The restriction to trivial matter background implies no restrictions on the matter action (except for the absence of a linear “source” term for the matter fields in the action), as the discussion is limited to the algebraic level, i.e., existence of states is not required. In particular, the vanishing matter background need not be stable (as long as it is a solution to the classical field equations). Nevertheless, in view of the Higgs mechanism in the Standard Model, an extension to non-trivial bosonic background matter fields is desirable and will be sketched after establishing our main result.
-
The existence of a locally covariant renormalization scheme on globally hyperbolic spacetimes is well established [20, 22] (see also [30] for the generalization to background gauge connections), irrespective of the gauge group or the matter content. Hence, the non-trivial crucial assumption is the vanishing of the covariant divergence \(T( {{\bar{\nabla }}}_\mu J_0^{\mu I})\) of the free current. As discussed above, if it is satisfied, we may also assume perturbative agreement, which in turn will be used to rule out the occurrence of gauge anomalies. The crucial point is that this condition is easy to check in concrete examples, as it can be reduced to studying violations of the Hadamard parametrix being a solution to the equation of motion, as in [31] for the case of chiral fermions in background gauge fields. Concretely, we can split the free current \(J_0^{\mu I}\) into a contribution from the matter Lagrangian, and a contribution which only contains gauge and the corresponding auxiliary fields. That the covariant divergence of the latter part vanishes on-shell can be shown without detailed analysis of the Hadamard parametrix.Footnote 6 The covariant divergence of the matter part for (chiral) fermions was calculated in [31, Sect. 5], and it vanishes if and only if the well-known criteria for the cancellation of the “triangle anomalies” are fulfilled, namely \({{\,\textrm{Tr}\,}}[ \gamma ^5 T^I \{ T^J, T^K \} ] = 0\) andFootnote 7\({{\,\textrm{Tr}\,}}[ \gamma ^5 T^I ] = 0\) with \(T^I\) the generators of the matter representation and the trace over spinor and representation indices. That no contributions to the divergence of the free current arise from scalar matter fields can be easily seen by adapting the results of [31]. Hence, we see that our result ensures the absence of gauge anomalies in the Standard Model.
-
“Absence of gauge anomalies” is to be understood in the usual sense of perturbative gauge theory: The gauge anomaly can be removed (inductively, order by order in \(\hbar \)) to arbitrarily high order in \(\hbar \).
The proof of the above theorem is based on the following strategy: As is well known [21, 29], but also recalled below, the potential gauge anomalies can be classified cohomologically as elements of \(H^1_4(s | \textrm{d})\), i.e., 4-forms of ghost number 1, which are closed under the BV differential s, up to \(\textrm{d}\) exact terms. By our assumption on the gauge group, a potential anomaly is a linear combination of an abelian anomaly (a product of the abelian ghost and a gauge invariant field) and a non-abelian anomaly [29]. The general strategy is to show that both these types of anomalies are inconsistent with perturbative agreement. The first step of the proof is to show that a trivial gauge anomaly, i.e., a trivial element of \(H^1_4(s | \textrm{d})\), can be removed by redefinitions of time-ordered products (this is well known), while preserving perturbative agreement. (This needs to be established.) In the next step, we rule out abelian anomalies. Using the fact that the abelian ghost enters the interaction only through a “source term” generating abelian gauge transformations of the matter fields, we can relate an abelian anomaly to the divergence of the interacting current (the interacting version of the free current discussed above). By perturbative agreement, this vanishes, implying the absence of abelian anomalies. In the last step, we rule out non-abelian anomalies. This proceeds by noting that, due to perturbative agreement and results of [27], the anomaly a is background independent in cohomology, i.e., \({{\hat{{\mathcal {D}}}}} a = s b + \textrm{d}c\), where \({{\hat{{\mathcal {D}}}}}\) is a differential which measures the background dependence of fields. (It vanishes when acting on a field which is background independent, i.e., does not depend on how the gauge connection is split into a background and a dynamical part.) The field b in the above identity can be explicitly determined for the non-abelian anomaly. But, again by perturbative agreement, also \({{\hat{{\mathcal {D}}}}} b\) must be trivial in cohomology. This, however, is not fulfilled for the concrete b corresponding to the non-abelian anomaly. This rules out the non-abelian anomaly and concludes the proof.
In the following, we will first recall some results of [21, 27] on gauge anomalies and background independence and prove some elementary lemmata. We will then, in Sect. 3, prove Theorem 1. In the concluding Sect. 4, we in particular sketch the generalization to non-trivial bosonic background matter fields.
2 Gauge Anomalies and Background Independence
We are working on general four-dimensional globally hyperbolic spacetimes (M, g), equipped with an orientation and a time orientation. We consider a compact Lie group G with at most a single abelian factor, i.e., a quotient by a discrete subgroup of a product of simple groups and at most one U(1), and denote its Lie algebra by \({\mathfrak {g}}\). On the latter, we choose an invariant negative definite symmetric bilinear form, which on the simple factors is a multiple of the Killing form. We consider principal G bundles P with base manifolds M and denote by \({\mathfrak {p}}\) the associated \({\mathfrak {g}}\) vector bundle (whose sections would be “Lie algebra-valued functions” in physics parlance). On P, we consider connections \({{\mathcal {A}}}\) whose curvatures F are sections of \({\mathfrak {p}}\otimes \Omega ^2\) (“Lie algebra-valued two-forms”). Given a representation \(\rho \) of G, we consider matter fields \(\psi \) as sections of the associated vector bundle.Footnote 8 The starting point of our considerations is then an action of the form
with \(\textrm{vol}\) the volume four-form, indices I labeling an appropriately normalized basis of \({\mathfrak {g}}\), and \(\nabla \) the covariant derivative w.r.t. the connection \({{\mathcal {A}}}\).
Given a background configuration \({{\bar{{{\mathcal {A}}}}}}\) of the gauge connection \({{\mathcal {A}}}\), we consider perturbations A, i.e., we write
where A is a section ofFootnote 9\({\mathfrak {p}}\otimes \Omega ^1\) (a “Lie algebra valued one-form”). We then consider \({{\bar{{{\mathcal {A}}}}}}\) as a geometric datum on the same footing as the metric g (see [30] for the formulation of local covariance including background gauge connections). An important case is that of \(\bar{{\mathcal {A}}}\) being on-shell, i.e., a configuration extremizing (1) with \(\psi = 0\). Expanding \({{\tilde{S}}}\) in A, the component \({{\tilde{S}}}_{-1}\) which is of first order in A then drops out. We shall from now on restrict to that case and comment on deviations for off-shell backgrounds below. We denote by \({\mathcal {S}}\) the “manifold” of on-shell backgrounds and by \(T {\mathcal {S}}\) its tangent space, consisting of infinitesimal perturbations \({{\bar{a}}}\) of \(\bar{{\mathcal {A}}}\), which are solutions to the linearized equations of motion.Footnote 10
The free part \({{\tilde{S}}}_0\) of the action, which is of second order in \((A, \psi )\), does not give rise to hyperbolic equations of motion, i.e., a well-posed initial value formulation. To remedy this, we follow the standard procedure (see, for example, [21, 23, 33]) and first introduce Lagrange multipliers B, ghosts C, and anti-ghosts \({{\tilde{C}}}\), all of which are sections of \({\mathfrak {p}}\), and define the Batalin–Vilkovisky (BV) operator s by (the commutators are Lie algebra commutators and \({{\bar{\nabla }}}\) the covariant derivative induced by the background connection \({{\bar{{{\mathcal {A}}}}}}\))Footnote 11
We collectively denote these fields by \(\Phi = (A_\mu ^I, B^I, C^I, {{\tilde{C}}}^I, \psi )\) and attribute a ghost number \((0,0,1,-1,0)\) and mass dimension \((1,2,0,2, *)\), with the mass dimension of the matter fields the canonical one (1 for scalars, \(\frac{3}{2}\) for spin \(\frac{1}{2}\) fermions). Then, s increases the ghost number by one, but does not increase the mass dimension. The Grassmann parity of the fields is the same as their ghost number modulo 2, except for fermionic matter fields, which have Grassmann parity 1. The BV differential is nilpotent when graded w.r.t. the Grassmann parity.
We also introduce anti-fields \(\Phi ^\ddag = (A^{\mu I \ddag }, B^{I \ddag }, C^{I \ddag }, {{\tilde{C}}}^{I \ddag }, \psi ^\ddag )\), which we interpret as densities with ghost numbers \((-1, -1, -2, 0, -1)\). We supplement the action with a source term
with i labeling the different fields. With this definition \(s F = (S_{\textrm{source}}, F)\) for any local functional F not depending on anti-fields, with the anti-bracket of local functionals defined by
The anti-bracket fulfills a graded symmetry and a graded Jacobi identity, see [34], for example.
Gauge fixing is performed by choosing a gauge-fixing fermion \(\Psi \), which we take to be of the form
We then supplement the action by an additional gauge fixing term \(s \Psi \). The new action \(S = {{\tilde{S}}} + S_{\textrm{source}} + s \Psi \) thus obtained consists of a free part \(S_0\) containing all terms of second order in (anti-) fields, and an interacting part \(S_{\textrm{int}}\) containing all terms of higher order in (anti-) fields.Footnote 12 Then, we extend the definition of s to functionals involving anti-fields by
The original action depended on \({{\bar{{{\mathcal {A}}}}}}\), A only through the combination \({{\bar{{{\mathcal {A}}}}}} + A\), and was in this sense background independent. Analogously, we may say that a classical local functional F is background independent, if it only depends on this combination, or in other words, if for any \({{{\bar{a}}}}\in T {\mathcal {S}}\),
where \({{\bar{\delta }}}_{{{{\bar{a}}}}}\) denotes the functional derivative w.r.t. the background field \({{\bar{{{\mathcal {A}}}}}}\) in the direction \({{{\bar{a}}}}\), defined as
while \(\delta _{{{{\bar{a}}}}}\) denotes the functional derivative w.r.t. the dynamical field A, in the same direction. The gauge fixing destroys the background independence of the action, as we have the formalFootnote 13 identity [27]
The appropriate replacement of the condition (8) for a classical local functional F to be background independent is then [27]
Note that as \({\mathcal {D}}_{{{\bar{a}}}}\Psi \) does not contain anti-fields, \({{\hat{{\mathcal {D}}}}}_{{{\bar{a}}}}\) and \({\mathcal {D}}_{{{\bar{a}}}}\) coincide on functionals F not containing anti-fields. From now on, we think of \({{{\bar{a}}}}\) not as a vector, i.e., an element of \(T {\mathcal {S}}\), but as a vector field, i.e., a section of \(T {\mathcal {S}}\). The operator \({{\hat{{\mathcal {D}}}}}\) then fulfills [27, Thm. 3.3]
where \(\lfloor \cdot , \cdot \rfloor \) denotes the Lie bracket of vector fields. In view of the last equality, it is natural to interpret \({{\hat{{\mathcal {D}}}}}_{{{{\bar{a}}}}} F = ({{\hat{{\mathcal {D}}}}} F)({{{\bar{a}}}})\) as the evaluation of the “background variation one-form” \({{\hat{{\mathcal {D}}}}} F\) in the vector field \({{{\bar{a}}}}\). We can thus promote \({{\hat{{\mathcal {D}}}}}\) to a differential, which, by (13), anticommutes with s (if the grading of background variation forms is taken into account). Put differently, one treats the perturbation \({{{\bar{a}}}}\) as a new fermionic field variable.Footnote 14 This is discussed in more detail in Sect. 3.
From the free part \(S_0\) of the action, one obtains hyperbolic equations of motions for the fields \(\Phi ^i\), giving rise to a causal propagator \(\Delta ^{ij}\) being the difference of retarded and advanced propagator. One then defines a \(\star \) product of functionals,Footnote 15 such that
with \(\varepsilon _i\) the Grassmann parity of \(\Phi ^i\). The anti-fields (anti-) commute with all other fields w.r.t. the \(\star \) product. The \(\star \) product preserves the grading \({{\,\textrm{Deg}\,}}= 2 \deg _\hbar + \deg _{\Phi ^{(\ddag )}}\) with \(\deg _\hbar \) counting the factors of \(\hbar \) and \(\deg _{\Phi ^{(\ddag )}}\) the total number of fields and anti-fields. The \({{\,\textrm{Deg}\,}}\) grading can be used to make sense of the series typically occurring in perturbation theory, i.e., equations relating such series can be understood as equations at each order in \({{\,\textrm{Deg}\,}}\).Footnote 16
As in [20, 21], one defines local and covariant time-ordered products \(T(F_1 \otimes \dots \otimes F_n)\) of local functionals \(F_j\), which can be inductively fixed up to the total diagonal by their defining property of causal factorization, i.e.,
whenever \({{\,\textrm{supp}\,}}F_i\) does not intersect the causal past of \({{\,\textrm{supp}\,}}F_j\) for all \(1\le i \le k\) and \(k+1 \le j \le n\), and which in particular are graded symmetric and fulfill field independence
Apart from the axioms listed in [20, 21] (we refrain from listing and explaining all the axioms, instead focusing on those that are relevant for our considerations), we also require that a time-ordered product with a single field factor simplifies as (for notational convenience, we assume the \(F_k\) to be Grassmann even) [25]
where \(\Delta _-\) is the advanced propagator and integration over y is understood. (Recall that we interpret \(\frac{\delta }{\delta \Phi ^j(y)} F\) as a density.) Furthermore, time-ordered products respect the \({{\,\textrm{Deg}\,}}\) grading and can be assumed to act trivially on anti-fields (here \({{\mathcal {O}}}\) is an arbitrary local field)Footnote 17:
As shown in [20, 39], time-ordered products complying to these requirements can be constructed recursively, using the Epstein–Glaser method [40] (extension of distributions to the diagonal).
Time-ordered products are not unique, but are subject to renormalization ambiguities encoded in the main theorem of renormalization [24, 41], which is most conveniently formulated in terms of generating functionals (equations involving such generating functionals have to be understood as yielding identities order by order in F)
It states that any two time-ordered products T, \(T'\) are related by
where \(D(F_1 \otimes \dots \otimes F_n)\) are local functionals (supported on the total diagonal of the \(F_k\)’s), and at least of \({{\mathcal {O}}}(\hbar )\).Footnote 18 They inherit many of the properties of time-ordered products, such as field independence, i.e., (17) also holds for T symbols replaced by D symbols. With respect to the \({{\,\textrm{Deg}\,}}\) grading, they fulfill
Furthermore, if \(F_k\) are integrated fields of mass dimension \(d_k\), then \(D(F_1 \otimes \dots \otimes F_n)\) is an integrated field of mass dimension \(4 + \sum _{k} (d_k - 4)\) (assuming that the test sections used for the smearing are attributed vanishing mass dimension).
It is sometimes also convenient to consider connected time-ordered products, which can be implicitly defined byFootnote 19 [42]
where
One advantage of connected time-ordered products (which is also the reason why we consider them in the following) is that they are formal power series in \(\hbar \) [42, Thm. 1] (in contrast to \(T(e_\otimes ^{{\frac{i}{\hbar }}F}\))). With respect to the \({{\,\textrm{Deg}\,}}\) grading, they fulfill the same relation (22) as the renormalization map D.
The free BV differential \(s_0\) is the linear part of s, i.e., it acts on fields as
and more generally on local functionals by \(s_0 F = (S_0, F)\). Like s, it is nilpotent. The \(\star \) product can be defined such that \(s_0\) fulfills a graded Leibniz rule w.r.t. to it [21, 27]. The incompatibility of time-ordered products with \(s_0\) is encoded in the anomaly, through the anomalous Ward identity [21, Props. 2, 4, 5]:
Theorem 2
We haveFootnote 20
The anomaly A maps tensor products of local functionals linearly to locals functionals. It increases the ghost number by one and is at least of \({{\mathcal {O}}}(\hbar )\). It is subject to the consistency condition
In particular, if \(A^m(e_\otimes ^{F})\) is the first non-trivial term in the \(\hbar \) expansion of \(A(e_\otimes ^{F})\), then
If T and \(T'\) are two renormalization schemes related by (21), the corresponding anomalies A and \(A'\) are related by
The anomaly A inherits many of the properties of time-ordered products. In particular, it is field (and anti-field) independent,
vanishes if one of the factors is a linear field [27, App. A], and fulfills the same relation (22) to the \({{\,\textrm{Deg}\,}}\) grading as the renormalization map. Also, its relation to the mass dimension is as described for the renormalization map D below (22) [21, Prop. 2].
In order to define the algebra of interacting fields for a spacetime region \({\mathcal {R}}\), one first introduces a compactly supported adiabatic cutoff \(\lambda (x)\) with \(\lambda |_{\mathcal {R}}= 1\) in the interacting part \(S_{{\textrm{int}}}\) of the action. We do this in such a way that cubic terms of the Lagrangian are multiplied with \(\lambda (x)\), while the quartic ones are multiplied with \(\lambda ^2(x)\). The generating functional for interacting local functionals F supported inside \({\mathcal {R}}\) is then (the inverse on the r.h.s. is w.r.t. \(\star \))
and these generate the interacting algebra for the spacetime region \({\mathcal {R}}\). The algebra thus obtained is independent on the adiabatic cutoff \(\lambda \) (up to unitary equivalence) [39].
The interacting fields thus obtained are in general not gauge invariant, i.e., observables. In the classical theory, the gauge invariant, on-shell observables are given by the cohomology of s at vanishing ghost number. In the quantum theory, there are quantum corrections due to anomalies. The quantum BV differential [21, 34, 42]
turns out to be nilpotent, i.e., a proper differential, in case that
i.e., the gauge anomaly \(A(e_\otimes ^{S_{\textrm{int}}})\) vanishes in the region where the interacting observables are considered.Footnote 21 In this case, we say that gauge anomalies are absent. Then, the cohomology of q determines the interacting local observables in the quantum theory. It is thus crucial to understand the potential obstructions to achieving (33).
The gauge anomaly \(A(e_\otimes ^{S_{\textrm{int}}})\) is a local functional, which can be expressed as
with \(\alpha _k\) multi-indices and \(a^n_{\alpha _1 \dots \alpha _n}\) determined locally and covariantly out of (anti-) fields and background fields and symmetric under interchange \(\alpha _i \leftrightarrow \alpha _j\). The above expression can be understood in the sense of a formal power series in \(\lambda \). However, with our choice of adiabatic cutoff in \(S_{\textrm{int}}\), the expansion in powers of \(\lambda \) is equivalent to an expansion in the Deg grading, as \({{\,\textrm{Deg}\,}}(a^n_{\alpha _1 \dots \alpha _n}) = n + 2\). We have the following:
Lemma 3
An expression of the form (34) with
for some \(c \in {\mathbb {N}}\) vanishes for all compactly supported \(\lambda \) (order by order in \({{\,\textrm{Deg}\,}}\)) only if, for all n,
for some local field \(b^n_\mu \). Hence, an expression of the form (34) determines a four-form
up to a total derivative, i.e., modulo \(\textrm{d}\), in the following sense: Two expressions of the form (34) coincide for all compactly supported \(\lambda \) if and only if the corresponding four-forms a defined by (37) coincide modulo an exact form.
Proof
If (34) vanishes for all compactly supported \(\lambda \), then the functional derivative w.r.t. \(\lambda (x)\) must vanish, i.e.,
![](http://media.springernature.com/lw462/springer-static/image/art%3A10.1007%2Fs00023-023-01368-0/MediaObjects/23_2023_1368_Equ38_HTML.png)
where \({{\bar{\alpha }}}_i\) is the multi-index in reverse order. This must hold order by order in the \({{\,\textrm{Deg}\,}}\) grading, so we can restrict to a fixed n. Choosing \(\lambda = 1\) near x, we obtain
All but the first (\(k = 0\)) term on the l.h.s. are total derivatives, proving the statement. \(\square \)
Expressions of the form (34), with coefficients \(a^n_{\alpha _1 \dots \alpha _n}\) fulfilling a relation (35), will frequently occur, not just for the gauge anomaly. Also to such expressions we can associate a four-form (up to a total derivative). We denote this association by \( \cdot |_{\lambda = 1}\), i.e., in the above caseFootnote 22
We call two expressions F, G, of the form (34) equivalent, \(F \sim G\), if \(F|_{\lambda = 1} = G|_{\lambda = 1} \mod \textrm{d}\) (this is similar to the equivalence of “generalized Lagrangians” used in [43]). We can thus reformulate the condition (33) as
Now, denote by \(A^k(e_\otimes ^{S_{\textrm{int}}})\) the \({{\mathcal {O}}}(\hbar ^k)\) component of \(A(e_\otimes ^{S_{\textrm{int}}})\) and assume that \(A^k(e_\otimes ^{S_{\textrm{int}}}) \sim 0\) for all \(k < m\), while \(A^m(e_\otimes ^{S_{\textrm{int}}}) \not \sim 0\), i.e., \(A^m(e_\otimes ^{S_{\textrm{int}}})\) is the first non-trivial term in the \(\hbar \) expansion of \(A(e_\otimes ^{S_{\textrm{int}}})\). Denote by \(a^m \mathrel {:=}A^m(e_\otimes ^{S_{\textrm{int}}})|_{\lambda = 1}\) the corresponding four-form according to (37). Then, using thatFootnote 23
it follows from (28) and the fact that \([s_0 A^m(e_\otimes ^{S_{\textrm{int}}}) + (S_{\textrm{int}}, A^m(e_\otimes ^{S_{\textrm{int}}}))] |_{\lambda = 1} = s a^m \mod \textrm{d}\), that \(a^m\) is s closed modulo \(\textrm{d}\), i.e.,
On the other hand, if \(a^m\) is s exact modulo \(\textrm{d}\), i.e., \(a^m = s c^m + \textrm{d}d^m\), then one can perform a redefinition of time-ordered products as in (21) to obtain \(a^m = 0\) [21], see also (56). Proceeding inductively in the order of \(\hbar \), one obtains absence of the gauge anomaly, in case that each \(a^m\) is s exact modulo \(\textrm{d}\). Hence, the potential obstructions to achieve (41) are characterized by the cohomology \(H^1_4(s | \textrm{d})\) of local and covariant four-forms of ghost number 1 and mass dimension 4 (or less, if the matter action contains terms of mass dimension less than 4). The most general such element of \(H^1_4(s | \textrm{d})\) is a linear combination of the non-abelian anomaly
with \({{\,\textrm{Tr}\,}}_N\) an invariant trace over one of the non-abelian factors and \({{\bar{\nabla }}}\) the covariant differentialFootnote 24 defined by \({{\bar{\nabla }}} A = {{\bar{\nabla }}}_\mu A_\nu \textrm{d}x^\mu \textrm{d}x^\nu \), and an abelian anomaly
with \(C^A\) the abelian ghost and \(G^A \in H^0_4(s)\), cf. [29, 44]. For the later considerations, it is important to note two facts about the above anomalies. First, the non-abelian anomaly (44) vanishes if and only if the d symbol (symmetric structure constant) of the trace \({{\,\textrm{Tr}\,}}_N\) vanishes, i.e., \({{\,\textrm{Tr}\,}}_N (T^I \{ T^J, T^K \}) = 0\) for generators \(T^I\) of the gauge group G. Second, for an abelian anomaly (45), a representer \(G^A\) of a non-trivial cohomology class in \(H^0_4(s)\) can be chosen such that if \(G^A_i\) is the lowest non-trivial component in a filtration w.r.t. the total (anti-)field number, then \(G^A_i\) is a non-trivial element of \(H^0_4(s_0)\), so in particular not \(s_0\) exact, see [45, Prop. 5.6]. Furthermore, the restriction of \(G^A_i\) to the component of vanishing anti-field number does not vanish, i.e., \(G^A_i|_{\Phi ^\ddag = 0} \ne 0\), [29, Thm 7.1]. It follows that \(G^A_i \not \approx _0 0\), where \(\approx _0\) denotes equality modulo the free equations of motions (generated by \(S_0\)), when anti-fields are set to zero. For if \(G^A_i \approx _0 0\), then \(G^A_i|_{\Phi ^\ddag = 0} = (s_0 H_i)|_{\Phi ^\ddag = 0}\) for some \(H_i\). Then, \(G^{\prime A}_i \mathrel {:=}G^A_i - s_0 H_i\) is in the same equivalence class of \(H^0_4(s_0)\) as \(G^A_i\), but has \(G^{\prime A}_i|_{\Phi ^\ddag = 0} = 0\).
Remark 4
Examples for abelian anomalies are
with R the Riemann curvature tensor, interpreted as an so(3, 1) valued two-form. These are relevant in particular for the Standard Model (the vanishing of the corresponding coefficient at \({{\mathcal {O}}}(\hbar )\) essentially fixes the hypercharges of quark and leptons [18]). Other potential abelian anomalies would be
Here, V is the representation space of the bosonic matter field \({\varphi }\) and \(\langle \cdot , \cdot \rangle _V\) a G invariant Hermitian inner product. Obviously, there are many possible variants of the last term, for example, involving the fermionic matter fields or derivatives. Such anomalies have, up to now, not occurred in perturbative calculations and are scarcely discussed in the literature (an exception is [46]). However, we are not aware of a general argument excluding such anomalies.Footnote 25 We intend to revisit this topic in the future. In any case, the proof of our main theorem given below does apply to all potential abelian anomalies.
In order to formulate the requirement of perturbative agreement, we have to relax the condition that the background is on-shell, so that we are able to consider infinitesimal changes of the background connection which are compactly supported (and not necessarily pure gauge). We can simply do this by extending the action \(S_0 + S_{\textrm{int}}\) to off-shell backgrounds.Footnote 26 The free BV differential \(s_0\) will then no longer be nilpotent, except when acting on functionals supported in the region where the background is on-shell. We denote by a a compactly supported section of \({\mathfrak {p}}\otimes \Omega ^1\), representing an infinitesimal variation of the background connection. Perturbative agreement w.r.t. changes in the background gauge now means that, for any such a, [25, 26]
It formalizes the notion that it should not matter whether we quantize around a background connection \(\bar{{\mathcal {A}}}'\) or around an (infinitesimally close) background connection \({{\bar{{{\mathcal {A}}}}}}\), with the difference to \({{\bar{{{\mathcal {A}}}}}}'\) taken into account in an interaction term \(S_0[{{\bar{{{\mathcal {A}}}}}}'] - S_0[{{\bar{{{\mathcal {A}}}}}}]\). The identification of the algebras over different backgrounds is implemented via the retarded variation \(\delta ^{\textrm{r}}_a\) w.r.t. the infinitesimal background perturbation a. (As it is not used in the proof of our main statement, we refrain from stating the precise definition, which can be found, for example, in [27].) Perturbative agreement is a consistency condition between renormalization prescriptions on different backgrounds, beyond the constraints imposed by local covariance. The quantity \(J_0(a) = \bar{\delta }_a S_0\) occurring in (48) can be seen as the free current \(J_0\) smeared with the compactly supported Lie algebra-valued one-form a. By induction in the total number of fields, one can show [25, 26] that perturbative agreement can be fulfilled provided that
a condition which is in fact closely related to the Wess–Zumino consistency condition [47], see [48]. In dimensions \(D \le 4\), this condition can in turn be fulfilledFootnote 27 [26] provided that the covariant divergence of the free current vanishes,
for any compactly supported section \(\Lambda \) of \({\mathfrak {p}}\) (a “Lie algebra valued function”). Here, \(\approx _0\) denotes equality modulo the free equations of motion, when anti-fields are set to zero. This condition can be rather straightforwardly checked in concrete cases, cf. [31] for the case of chiral fermions in gauge backgrounds. The calculation boils down to determining the violation of the Hadamard parametrix to being a solution of the free field equation, a calculation which actually does not involve any loop integrals. For our purposes, the following is crucial [26, Prop 3.4] [27, Thm. 3.8]:
Theorem 5
If (50) and perturbative agreement w.r.t. changes in the background gauge connection is fulfilled, then
In (51), \(\Lambda \) is supported in the region where \(\lambda = 1\) and \(\approx _0\) denotes equality modulo the free equations of motion (derived from \(S_0\)), when anti-fields are set to zero. In (52), F is supported in the region where \(\lambda = 1\), and \({{{\bar{a}}}}\) is again a solution to the linearized equations of motions, i.e., an infinitesimal variation of an on-shell background connection.
Note that in (52), we cut off the (not necessarily compactly supported) infinitesimal variation \({{{\bar{a}}}}\) of the free action \(S_0\) by multiplication with the adiabatic cutoff \(\lambda \). This is necessary to have the expression well defined, but obviously the choice of \(\lambda \) is irrelevant by the locality of the anomaly and the restriction on the support of F.Footnote 28 Later, we will apply (52) to the case \(F = S_{\textrm{int}}\), whose support is not restricted to the region where \(\lambda = 1\). It follows that there will be supplementary terms supported in \({{\,\textrm{supp}\,}}\textrm{d}\lambda \), i.e., the equality in (52) is replaced by the equivalence \(\sim \) as defined in Lemma 3.
In the following, we will need to perform redefinitions of time-ordered products, but have to preserve perturbative agreement. For this, the following is essential (we omit the straightforward proof):
Lemma 6
If time-ordered products T fulfill perturbative agreement, then the time-ordered products \(T'\) defined by (21) also fulfill perturbative agreement if and only if
Finally, we note that in the presence of an adiabatic cutoff \(\lambda \) in the interaction, the identity (10) can be stated as follows:
Note the presence of the adiabatic cutoff in all functional derivatives w.r.t. background fields. It ensures the well-definedness of these expressions, but also that in all terms the same (affine) linear relation between the \({{\,\textrm{Deg}\,}}\) grading and the order in \(\lambda \) holds. Hence, the l.h.s. is of the form (34), with \({{\,\textrm{Deg}\,}}( a^n_{\alpha _1 \dots \alpha _n} ) = n+1\), so that Lemma 3 is applicable.
3 Proof of Theorem 1
As discussed above, if the conditions of Theorem 1 are met, we can assume that perturbative agreement holds. We begin by arguing that trivial anomalies can be removed by redefinitions of time-ordered products, without destroying perturbative agreement.
Assume m is the lowest order in \(\hbar \) at which the anomaly \(a^m\) is not \(\textrm{d}\) exact. If the anomaly is trivial in \(H^1_4(s | \textrm{d})\), i.e.,
then, following [21], one performs a redefinition of the form (21) such that
Here \(S_1\) is the part of \(S_{\textrm{int}}\) which is cubic in (anti-) fields and \(n = 2\,m - 2 + k\), with k the total number of (anti-) fields in \(b^m\) (the latter condition ensures that the redefined time-ordered products respect the \({{\,\textrm{Deg}\,}}\) grading).Footnote 29 By (29), the anomaly at \({{\mathcal {O}}}(\hbar ^m)\) is then removed for the modified time-ordered products.
Let us first verify that the modification (56) can be made such that (anti-) field independence of time-ordered products is preserved. (This was not explicitly shown in [21].) As \(S_{\textrm{int}}\) contains neither the field \(B^I\) nor the anti-fields \(A^{A \ddag }_\mu \), \(C^{A \ddag }\), \({{\tilde{C}}}^{I \ddag }\), \(B^{I \ddag }\) (here I is a general Lie algebra index, while A stands for the abelian direction), we have to make sure that we can choose \(b^m\) such that it also does not contain these. By field independence of the anomaly, we know that also \(a^m\) is independent of these. We can thus use the following:
Lemma 7
Let \(a^m\) be a four-form of ghost number one and mass dimension four, which is independent of \(B^I\), \(A^{A \ddag }_\mu \), \(C^{A \ddag }\), \({{\tilde{C}}}^{I \ddag }\), \(B^{I \ddag }\) and can be expressed as (55). Then, \(a^m\) can also be expressed as (55) with the four-form \(b^m\) independent of \(B^I\), \(A^{A \ddag }_\mu \), \(C^{A \ddag }\), \({{\tilde{C}}}^{I \ddag }\), \(B^{I \ddag }\).
Proof
By the power counting and ghost number constraints, the only possible term in \(b^m\) containing \(A^{A \ddag }_\mu \) is (up to a total derivative) \({{\bar{\nabla }}}^\mu C^A A^{A \ddag }_\mu \). However, as \(s ({{\bar{\nabla }}}^\mu C^A A^{A \ddag }_\mu ) = - s ( A^{A\mu } s A^{A \ddag }_\mu )\), we can re-express it without the use of anti-fields. As \(C^{A \ddag }\) is of ghost number \(-2\) and there is no field of ghost number 2 and vanishing mass dimension to multiply it with (\([C, C]^I\) has no component in the abelian direction), \(C^{A \ddag }\) cannot occur in \(b^m\). Finally, up to total derivatives and elements in the kernel of s, any linear combination of terms containing at least one \(B^I\), \({{\tilde{C}}}^{I \ddag }\), or \(B^{I \ddag }\), and such that the image under s does not contain any of these, can be written as
for some \(D^I\) of vanishing ghost number (which in principle could still contain the undesired fields). However, the image of this under s can be expressed as \(- s ( D^I {{\bar{\nabla }}}^\mu A^I_\mu ) \textrm{vol}\), so that we can replace (57) in \(b^m\) by an expression which contains one power of \(B^I\), \({{\tilde{C}}}^{I \ddag }\), \(B^{I \ddag }\) less. In case \(D^I\) still contains the undesired fields, one iterates the procedure. \(\square \)
Hence, we may choose \(b^m\) in (55) such that it does not contain any of the (anti-) fields \(B^I\), \(A^{A \ddag }_\mu \), \(C^{A \ddag }\), \({{\tilde{C}}}^{I \ddag }\), \(B^{I \ddag }\), so that the redefinition (56) is not obstructed by (anti-) field independence. In order to also preserve (19) under the field redefinition, we have to make sure that the total anti-field content on both sides of (56) match. This can be achieved by decomposing \(S_1\) into monomials and choosing the combination of these on the l.h.s. of (56) such that total anti-field content matches that of \(b^m\).
Finally, let us check that the redefinition (56) does not spoil perturbative agreement. For this, we must have, by Lemma 6, (all equalities modulo \(\textrm{d}\))
On the other hand, from field independence of D and (54), we also have (again modulo \(\textrm{d}\))
These two redefinitions are linearly independent (and can thus both be performed independently), unless \((S, {{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} \Psi ) \sim 0\). In that case the two redefinitions are consistent if and only if \({{\bar{\delta }}}_{{{\bar{a}}}}b^m = \delta _{{{\bar{a}}}}b^m \mod \textrm{d}\). Hence, we need to show that we can choose \(b^m\) such that \((S, {{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} \Psi ) \sim 0\) implies \({\mathcal {D}}_{{{\bar{a}}}}b^m = 0 \mod \textrm{d}\).
For general perturbations \({{{\bar{a}}}}\), we have, if the conditions of Theorem 5 are met, using (52), field independence (30) of the anomaly, and the relation (54),
where we introduced \({\mathcal {D}}^\lambda _{{{\bar{a}}}}\mathrel {:=}{{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} - \delta _{{{\bar{a}}}}\). Hence, \((S, {{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} \Psi ) \sim 0\) implies that \({\mathcal {D}}_{{{\bar{a}}}}a^m = 0 \mod \textrm{d}\). Now, \((S, \bar{\delta }_{\lambda {{{\bar{a}}}}} \Psi ) \sim 0\) only holds for a perturbation \({{{\bar{a}}}}\) purely in the abelian direction, in which case \(\bar{\delta }_{\lambda {{{\bar{a}}}}} \Psi = 0\) and \({\mathcal {D}}_{{{\bar{a}}}}\Psi = - \int {{\tilde{C}}}^I {{\bar{\nabla }}}^\mu {{{\bar{a}}}}^I_\mu \textrm{vol}\). Hence, for such \({{{\bar{a}}}}\), \((F, {\mathcal {D}}_{{{\bar{a}}}}\Psi ) = 0\) unless F contains \({{\tilde{C}}}^\ddag \). As already argued above, \(a^m\) does not contain \({{\tilde{C}}}^\ddag \), so we also have \({{\hat{{\mathcal {D}}}}}_{{{\bar{a}}}}a^m = 0 \mod \textrm{d}\) for such \({{{\bar{a}}}}\). Given a solution \(b^m\), \(c^m\) to \(a^m = s b^m + \textrm{d}c^m\) for generic non-abelian background connections but a fixed abelian background, we may extend \(b^m\), \(c^m\) via “parallel transport” along the abelian direction w.r.t. the flat “connection” \({{\hat{{\mathcal {D}}}}}\) (recall (14)) to all backgrounds.Footnote 30 Then, \(a^m = s b^m + \textrm{d}c^m\) is fulfilled on all backgrounds and \({{\hat{{\mathcal {D}}}}}_{{{\bar{a}}}}b^m = 0\) for \({{{\bar{a}}}}\) in the abelian direction. As discussed above, by Lemma 7, we can choose \(b^m\) such that it does not contain \({{\tilde{C}}}^\ddag \). Starting the parallel transport with such \(b^m\), this will be the case on all backgrounds, so in particular the anti-bracket with \({\mathcal {D}}_{{{\bar{a}}}}\Psi \) will vanish for \({{{\bar{a}}}}\) in the abelian direction. Hence, we also have \({\mathcal {D}}_{{{\bar{a}}}}b^m = 0\) for such \({{{\bar{a}}}}\), so that there is no obstruction to preserve perturbative agreement in the removal of trivial gauge anomalies.
We may thus assume that at the first non-trivial order in \(\hbar \) the anomaly is non-trivial, i.e., a linear combination of the non-abelian anomaly (44) and an abelian anomaly of the form (45).
The above already showed that the abelian anomaly is background independent, i.e., \({\mathcal {D}}_{{{\bar{a}}}}a^m = 0\) (modulo \(\textrm{d})\) for an abelian anomaly \(a^m\), cf. (60). This is, however, not sufficient to rule it out, as there are many possible background independent abelian anomalies, for example, the ones in (46) with F the full field strength (of \({{\mathcal {A}}}= {{\bar{{{\mathcal {A}}}}}} + A\)). However, we can proceed differently:
Proposition 8
If (50) and perturbative agreement w.r.t. changes in the background connection holds, and \(a^m = A^m(e_\otimes ^{S_{\textrm{int}}})|_{\lambda = 1}\) is the lowest non-trivial term in an \(\hbar \) expansion of the gauge anomaly, then \(a^m\) can not contain a contribution from a non-trivial abelian anomaly of the form (45).
Proof
If \(a^m\) contains an abelian anomaly (45), then its coefficient \(G^A\) can be obtained by functional differentiation w.r.t. the abelian ghost,
where in the second step we used field independence (30) of the anomaly. We may here and in the following restrict to x contained in the region where the cutoff \(\lambda \) equals 1. On the other hand, by the definition of the anomaly, we have
We will be interested in considering this equality modulo anti-fields and the free equations of motion. The only terms in \(S_{\textrm{int}}\) which depend on the abelian ghost are the source terms for the matter gauge transformations, i.e., schematically of the form \(\int \rho (C) \psi \psi ^\ddag \). Hence, \(\tfrac{\delta }{\delta C^A(x)} S_{\textrm{int}}\) is linear in the matter anti-fields, and thus, the last term on the r.h.s. of (62) vanishes when anti-fields are set to zero (recall (19), i.e., that anti-fields are not contracted in time-ordered products). By the same argument, the l.h.s. of (62) vanishes on-shell (w.r.t. to the free equations of motion) when anti-fields are set to zero (recall that the action of \(s_0\) on anti-fields generates the free equations of motion). Regarding the first term on the r.h.s. of (62), we notice that, by the restriction of x to the region where \(\lambda \) equals 1,
For convenience, we integrate against \(\Lambda ^A(x)\), i.e., we consider the functional derivative w.r.t. \(C^A\) in the direction \(\Lambda ^A\) with \(\Lambda ^A\) supported within the region where \(\lambda = 1\). Then,
and thus
where in the last step, we used (54) and the fact that the gauge-fixing fermion does not depend on the abelian background gauge field. Hence, the first term on the r.h.s. of (62) is (\(-1\) times) the divergence of the interacting current, which, by (51), vanishes on-shell w.r.t. the free equations of motion, when anti-fields are set to zero. Hence, we have shown that
Now, assume that there is a non-trivial abelian anomaly \(C^A G^A\) at the leading order \(\hbar ^m\). As the connected time-ordered products are formal power series in \(\hbar \), the \({{\mathcal {O}}}(\hbar ^m)\) component of the l.h.s. can be expressed as \(T^m_c( G^A(x) \otimes e_\otimes ^{S_{\textrm{int}}})\), where the superscript m denotes the restriction to \({{\mathcal {O}}}(\hbar ^m)\). As each factor \(S_{\textrm{int}}\) increases the total \({{\,\textrm{Deg}\,}}\) of \(T^m_c( G^A(x) \otimes e_\otimes ^{S_{\textrm{int}}})\) at least by 1 (this follows from (22) and \({{\,\textrm{Deg}\,}}S_{\textrm{int}}\ge 3\)), the lowest non-vanishing term in a filtration of \(T^m_c( G^A(x) \otimes e_\otimes ^{S_{\textrm{int}}})\) w.r.t. the total (anti-) field number is \(G^A_i(x)\) in the notation introduced below (45). Hence, we have shown that \(G^A_i \approx _0 0\). But, as argued below (45), this is not possible for a non-trivial abelian anomaly. \(\square \)
It remains to rule out the non-abelian anomaly (44). As we already ruled out trivial and abelian anomalies, we can assume that the contribution \(a^m\) of lowest non-vanishing order in \(\hbar \) is of the form (44), so in particular anti-field independent. Then, (60) can be rewritten as
where we used \({{\hat{{\mathcal {D}}}}}^\lambda _{{{\bar{a}}}}\mathrel {:=}{{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} - \delta _{{{\bar{a}}}}- ( \cdot , {\mathcal {D}}^\lambda _{{{\bar{a}}}}\Psi )\). Considering this at lower order in \(\hbar \), this in particular implies
We now use the following corollary of the \(\hbar \) expanded consistency condition (28)Footnote 31:
Corollary 9
Let \(A^m(e_\otimes ^{S_{\textrm{int}}})\) be the first non-trivial term (w.r.t. \(\sim \)) in the \(\hbar \) expansion of \(A(e_\otimes ^{S_{\textrm{int}}})\). If \(A^k(F \otimes e_\otimes ^{S_{\textrm{int}}})\), \(k \le m\) is the first non-trivial term in the \(\hbar \) expansion of \(A(F \otimes e_\otimes ^{S_{\textrm{int}}})\), then
Also, if \(A^m(F_{1/2} \otimes e_\otimes ^{S_{\textrm{int}}})\) are the first non-trivial terms in the \(\hbar \) expansion of \(A(F_{1/2} \otimes e_\otimes ^{S_{\textrm{int}}})\), and \(A^k(F_1 \otimes F_2 \otimes e_\otimes ^{S_{\textrm{int}}})\), \(k \le m\), is the first non-trivial term in the \(\hbar \) expansion of \(A(F_1 \otimes F_2 \otimes e_\otimes ^{S_{\textrm{int}}})\), then
Here, \(F_1\), \(F_2\) are assumed to be bosonic (otherwise the signs need to be adjusted).
From (68) and (69), we may thus conclude that \((S, A^k({{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} \Psi \otimes e_\otimes ^{S_{\textrm{int}}})) \sim 0\) for \(k < m\). Hence, the four-form field \(\xi ^k_{{{\bar{a}}}}\mathrel {:=}A^k({{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} \Psi \otimes e_\otimes ^{S_{\textrm{int}}})|_{\lambda = 1}\) (recall the definition of \(\cdot |_{\lambda = 1}\) in Lemma 3), which is of vanishing ghost number, mass dimension four (we count \({{{\bar{a}}}}\) as having mass dimension 1), and linear in \({{{\bar{a}}}}\), is s closed modulo \(\textrm{d}\). Furthermore, as \(\Psi \) is independent of the abelian part of the background connection, we can restrict to perturbations \({{{\bar{a}}}}\) which are purely in the non-abelian directions. To such fields, the following applies:
Lemma 10
Fields \(\xi _{{{\bar{a}}}}\) of mass dimension four which are linear in a perturbation \({{{\bar{a}}}}\) purely in the non-abelian directions are trivial in \(H^0_4(s | \textrm{d})\).
Proof
A general element \(\xi _{{{\bar{a}}}}\in H^0_4(s | \textrm{d})\) is of the form \(\xi _{{{\bar{a}}}}= {{\,\textrm{Tr}\,}}_N ({{{\bar{a}}}}\wedge * D)\) with D a section of \({\mathfrak {p}}\otimes \Omega ^1\) of vanishing ghost number and mass dimension 3 (one mass dimension is contributed by \({{{\bar{a}}}}\)) and \(*\) the Hodge dual. Furthermore, \(\xi _{{{\bar{a}}}}\) being s closed modulo \(\textrm{d}\) implies that \(s D = P_{\textrm{lin}}E\), where \(P_{\textrm{lin}}\) is the linearized Yang–Mills operator (which vanishes on \({{{\bar{a}}}}\), so that \(s \xi _{{{\bar{a}}}}\) is a total derivative) for some E of ghost number and mass dimension 1. It must thus be a linear combination of \({{\bar{\nabla }}} C^I\) and \([A, C]^I\). But as \(P_{\textrm{lin}}\circ {{\bar{\nabla }}} = 0\), the first term can always be added to \(E^I\), so unless it is trivial, we can write it as \(E^I = c ( {{\bar{\nabla }}} C + [A, C] )^I = c s A^I\) with a numerical coefficient c. Again by \(P_{\textrm{lin}}{{{\bar{a}}}}= 0\), \({{\,\textrm{Tr}\,}}_N ({{{\bar{a}}}}\wedge * P_{\textrm{lin}}A)\) is a total derivative, so \(\xi '_{{{\bar{a}}}}= {{\,\textrm{Tr}\,}}_N ({{{\bar{a}}}}\wedge * (D - c P_{\textrm{lin}}A))\) is in the same cohomology class as \(\xi _{{{\bar{a}}}}\). However, the corresponding \(D' = D - c P_{\textrm{lin}}A\) is now s closed: \(s D' = P_{\textrm{lin}}( E - E ) = 0\). We are thus looking for an s closed Lie algebra valued one-form D of vanishing ghost number and mass dimension 3. Hence, D must at the same time transform covariantly under background gauge transformations and be invariant under a gauge transformation of the dynamical fields. It follows from the well-known characterization of \(H^0(s)\) that it must either be trivial, for example, \(D^I = s {{\bar{\nabla }}} {{\tilde{C}}}^I\), or a c-number. By power counting, the only possibility is \(D^I_\nu = \bar{\nabla }^\mu {{\bar{F}}}_{\mu \nu }\), which, however, vanishes by our assumption that the background is on-shell. \(\square \)
Analogously to the removal of the gauge anomaly, we can thus, by redefinition of time-ordered products \(T( {{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} \Psi \otimes e_\otimes ^{{\frac{i}{\hbar }}S_{\textrm{int}}} )\) (which does not spoil perturbative agreement), achieve that
Now, as both \({{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} \Psi \) and the anomaly \(a^m\) are anti-field independent, it follows from (68), (71), and (69) that
In particular, with (67),
This implies that there must be fields \(b^m_{{{\bar{a}}}}\), \(c^m_{{{\bar{a}}}}\) such that
As \({{\hat{{\mathcal {D}}}}}_{{{\bar{a}}}}\) commutes with \(\textrm{d}\) and s, cf. (13), it is well defined on the cohomology \(H(s | \textrm{d})\). The above shows that if the assumptions of Theorem 5 are fulfilled, then \(\hat{\mathcal {D}}_{{{\bar{a}}}}a^m\) is trivial in \(H^1(s | \textrm{d})\), i.e., \(a^m\) is background independent in cohomology. If the non-abelian anomaly (44) turned out to be not background independent in cohomology, this would already prove Theorem 1. However, as shown in [44], the non-abelian anomaly (44) fulfills (74), with \(b^m_{{{\bar{a}}}}\) explicitly given by
Hence, (74) cannot yet be used to rule out the non-abelian anomaly (44). Nevertheless, we have learned something: By comparing (74) and (73) and recalling the definition of \(\xi ^m_{{{\bar{a}}}}\) given in Corollary 9, we have
for some \(d^m_{{{\bar{a}}}}\in H^0(s | \textrm{d})\). (In particular, this includes \(\textrm{d}\) exact terms.) This ambiguity is due to the fact that (74) defines \(b^m_{{{{\bar{a}}}}}\) only up to terms in the kernel of s (modulo \(\textrm{d}\)). Furthermore, a trivial element of \(H^0(s | \textrm{d})\) can be removed from \(\xi ^m_{{{\bar{a}}}}\) by a redefinition of \(T(\bar{\delta }_{\lambda {{{\bar{a}}}}} \Psi \otimes e_\otimes ^{{\frac{i}{\hbar }}S_{\textrm{int}}})\), which can be performed without destroying perturbative agreement. However, by Lemma 10, the relevant cohomology class is trivial, so that we can ignore the ambiguity \(d^m_{{{\bar{a}}}}\) in (76).
We would now like to compute a further “background derivative,” namely of (76). As already indicated below (14), we promote \({{\hat{{\mathcal {D}}}}}\) to a differential on the tangent space \(T {\mathcal {S}}\) of background variations and interpret (76) as an equality of background variation one-forms. To deal with background variation p-forms, we introduce some notation. A general background variation p-form field H can be expressed as
with \(I_k\) Lie algebra indices and \(\hat{\mathcal {D}}\Xi \) dual to a tangent vector \({{{\bar{a}}}}_\mu ^I(x)\), meaning that the evaluation of a tangent vector \({{{\bar{a}}}}\) in \({{\hat{{\mathcal {D}}}}} \Xi \) is given by \({{\hat{{\mathcal {D}}}}} \Xi ^I_\mu (x)({{{\bar{a}}}}) = {{{\bar{a}}}}^I_\mu (x)\). On such an expression, the differential \({{\hat{{\mathcal {D}}}}}\) acts as
where \(\varepsilon _H\) is the Grassmann parity of \(H^{\mu _1 \dots \mu _p}_{I_1 \dots I_p}(x)\) and \({{\hat{{\mathcal {D}}}}}_{I}^{\mu }\) is defined by
By (14), (13), the differential \({{\hat{{\mathcal {D}}}}}\) is nilpotent and anticommutes with s. On expressions of the form (34), one similarly defines \({{\hat{{\mathcal {D}}}}}^\lambda \). (Due to the presence of the cutoff \(\lambda \) this is a differential only w.r.t. the relation \(\sim \).)
In the notation just introduced, \(A^m({{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} \Psi \otimes e_\otimes ^{S_{\textrm{int}}})\) can be seen as the evaluation of the background variation one-form \(A^m({{\bar{\delta }}}^{\lambda \mu }_I \Psi \otimes e_\otimes ^{S_{\textrm{int}}}) {{\hat{{\mathcal {D}}}}} \Xi _\mu ^I\) in \({{{\bar{a}}}}\). (The superscript \(\lambda \) at \({{\bar{\delta }}}\) indicates multiplication with the cutoff \(\lambda \).) As the gauge-fixing fermion is of second order in the dynamical fields and does not contain anti-fields, and the anomaly vanishes if one of the factors is a linear field [27, Lemma A.2], we may replace \({{\bar{\delta }}}^{\lambda \mu }_I \Psi \) by \({{\hat{{\mathcal {D}}}}}^{\lambda \mu }_I \Psi \) in this expression. We now compute a \({{\hat{{\mathcal {D}}}}}^\lambda \) differential of this background variation one-form. A further application of field independence (30), background independence (52), and (54) yields, for \(k \le m\),
The first term on the r.h.s. vanishes (w.r.t. \(\sim \)), by nilpotency of \({{\hat{{\mathcal {D}}}}}^\lambda \). To deal with the second term, we note that, analogously to (68), (71), we have, for all \(k < m\),Footnote 32
Then, with (70), we have (recall that \(\Psi \) is fermionic)
Hence,
of fields, this means that, modulo \(\textrm{d}\) exact terms,
with \(\chi ^m = \frac{1}{2} A^m( {{\hat{{\mathcal {D}}}}}^\lambda \Psi \otimes {{\hat{{\mathcal {D}}}}}^\lambda \Psi \otimes e_\otimes ^{S_{\textrm{int}}} ) |_{\lambda = 1}\).
On the other hand, we can directly compute the l.h.s. of (84) for \(b^m\) corresponding to the non-abelian anomaly, i.e., given by (75). We obtain, up to \(\textrm{d}\) exact terms,
The r.h.s., being a c-number and not \(\textrm{d}\) exact, is not s exact modulo \(\textrm{d}\). It vanishes for general background connections and variations \({{\bar{a}}}_1\), \({{\bar{a}}}_2\) thereof if and only if the d symbol of the trace \({{\,\textrm{Tr}\,}}_N\) vanishes (in which case also the non-abelian anomaly (44) vanishes, as discussed below (45)). Hence, (84) is not fulfilled. Thus, also the non-abelian anomaly cannot be present under the assumptions of Theorem 1. This concludes the proof of Theorem 1.
Remark 11
The expression on the r.h.s. of (85) also occurs as the obstruction \(E(a_1, a_2)\), cf. (49), to remove a violation of perturbative agreement indicated by a non-vanishing covariant divergence of the free current of the form \(T( {{\bar{\nabla }}}_\mu J^{\mu I}_0 ) \propto {{\,\textrm{Tr}\,}}_N [ T^I {{\bar{F}}} {{\bar{F}}} ]\), as shown in [48]. This indicates a connection between the cohomological classification of obstructions to perturbative agreement and anomaly freedom (at least for the non-abelian anomalies).
4 Conclusion
We have proven under quite general conditions that the absence of gauge anomalies can be determined at the one-loop level. As our proof is based on perturbative agreement, which is a formalization of background independence (but see [27] for a thorough discussion of background independence in gauge theories), one might also phrase our result as stating that background independence w.r.t. changes in the background connection implies absence of gauge anomalies.
A shortcoming of our analysis is that we restricted to vanishing background bosonic matter fields. We briefly sketch how to include these and how to possibly extend our result to that case. At the level of the action, non-trivial background matter fields can be simply introduced by replacing the bosonic matter field \({\varphi }\) by \({{\bar{\Phi }}} + {\varphi }\), with \({{\bar{\Phi }}}\) the matter background field. The action of the BV operator on \({\varphi }\) then has to be modified to \(s {\varphi }= - \rho (C) ({{\bar{\Phi }}} + {\varphi })\) so that also the free part \(s_0\) acts non-trivially on the bosonic matter fields. In the gauge-fixing fermion (6), also a term \(\int {{\tilde{C}}}^I H^I({{\bar{\Phi }}}, {\varphi }) \textrm{vol}\) would be included, allowing for an \(R_\xi \) gauge (in which terms with single derivatives are eliminated from the free part of the action).
As for anomalies, the non-abelian anomaly (44) is independent of matter fields (in particular background matter fields), so if it is absent for vanishing matter background fields (as is guaranteed if the assumptions of Theorem 1 are fulfilled), it will also be absent for non-trivial matter background fields. The same is true for the abelian anomalies of the form (46), which are well known to potentially occur. It remains to rule out abelian anomalies depending on the background matter field. As discussed in Remark 4, one may hope to rule these out on general grounds. Alternatively, one can slightly strengthen the requirements of Theorem 1 such that also perturbative agreement w.r.t. changes in the background matter field holds and rule out the occurrence of anomalies depending explicitly on the background matter field \({{\bar{\Phi }}}\) (not just on the combination \({{\bar{\Phi }}} + {\varphi }\) which has already been ruled out by Theorem 1 for \({{\bar{\Phi }}} = 0\)) by using again the background independence of the anomaly.
Finally, we remark that the technique used here (which was essentially model independent) can apparently not be straightforwardly used to prove the original version of the Adler–Bardeen theorem [1], i.e., the non-renormalization of the chiral anomaly in QED: An essential ingredient of our proof is that a simple \({{\mathcal {O}}}(\hbar )\) criterion decides on whether perturbative agreement can be fulfilled. To show this, one proceeds inductively (in \(\deg _\Phi \), the total number of fields) [25, 26]. This procedure is model independent in the sense that the specific model considered only enters through the \({{\mathcal {O}}}(\hbar )\) criterion that needs to be checked (the on-shell vanishing of the free current). However, if the relevant criterion is not fulfilled at lowest order, then not only will perturbative agreement not be fulfilled at higher order, but we also lose control about how it is violated, at least unless one engages in a model-dependent analysis.
Notes
Recently, also non-perturbative (lattice) results in this direction were established [11,12,13]. However, not the full field content of the Standard Model is included and only a U(1) gauge symmetry is considered in these approaches. Hence, while having a broader scope (in the sense of being non-perturbative), the mentioned results apply to a more restricted class of theories, not (yet) covering the Standard Model, contrary to our approach.
By contrast, in [10] a particular, rather non-trivial, regularization scheme is employed in which the anomaly cancellation to all orders is argued to be manifest.
Note that a time-ordered product with a single factor (as considered above) is often called a (renormalized) Wick product. However, in non-trivial backgrounds, already the renormalization of such Wick powers is non-trivial and ambiguous [19] and it is very convenient to denote renormalized Wick powers and time-ordered products by the same symbol (for example, in order to express certain relations between them, such as (16), in a uniform notation).
The “gauge part” of the free current has no component in the abelian direction, and this property is conserved by Hadamard point-split renormalization, so we can restrict consideration to the semi-simple part of the Lie algebra. The covariant divergence of this part of the current is a Lie algebra valued function (or rather a section of the bundle \({\mathfrak {p}}\) defined below) of mass dimension four. However, for a semi-simple Lie algebra, one cannot construct such sections covariantly out of the background fields, using the structure constants of the adjoint representation: Only the background field strength \({{\bar{F}}}^I_{\mu \nu }\) carries a Lie algebra index, and to contract it to a Lorentz scalar, one needs either \({{\bar{F}}}^I_{\mu \nu }\) or \(* {{\bar{F}}}^I_{\mu \nu }\) (the star indicating the Hodge dual). But as the symmetric structure constants of the adjoint representation vanish, one cannot construct a possible violation of current conservation in this way.
The latter condition is necessary for the cancellation of mixed gauge/gravitational anomalies.
When spin \(\frac{1}{2}\) matter fields are considered, M should also be equipped with a spin structure.
The difference of any two principal bundle connections \({{\mathcal {A}}}\), \({{\mathcal {A}}}'\) can be naturally interpreted as a section of this bundle.
Strictly speaking, the set of solutions to the Yang–Mills equation is a manifold only up to singular points corresponding to solutions possessing certain symmetries [32], i.e., the linearized equations around these special configurations have solutions which do not correspond to infinitesimal variations of the full solution. This does not affect our considerations, as we work locally in configuration space so that we can avoid these singular configurations.
With a slight abuse of notation, we here denote the Lie algebra representation on the matter fields by the same symbol as the group representation \(\rho \) from which it is derived.
Note that we drop the terms of \({{\tilde{S}}}\) of order lower than 2 in the fields (the terms of first order in the fields are anyway a total derivative by our assumption that the background connection is on-shell).
This is only formal as the integrals will in general not be convergent. This will be remedied below, in (54), after we introduce an adiabatic cutoff for the interaction.
This grading also naturally occurs in the context of deformation quantization, cf. [38].
As the anti-fields (anti-) commute with all other fields, this assumption is consistent with the other axioms. As it is not stated explicitly in [21], we do so here, even though it is usually (implicitly) assumed in the literature.
Note that we do not assume that \(D(F) = 0\).
Note that this definition deviates from the one employed in [36], where the classical product replaces the \(\star \) product.
In [21], the anomaly is defined via time-ordered products instead of connected time-ordered products. These definitions can easily be seen to be equivalent.
Note that \(\cdot |_{\lambda = 1}\) does not stand for setting \(\lambda = 1\) in the (integrated) local functional. Instead, it associates a four-form (defined up to a total derivative) to the local functional.
The nilpotency of s and \(s_0\) leads, via the Jacobi identity for the anti-bracket, to the formal identity \(2 s_0 S_{\textrm{int}}+ (S_{\textrm{int}}, S_{\textrm{int}}) = 0\). Including the adiabatic cutoff in \(S_{\textrm{int}}\) remedies the formality, but introduces violation terms involving \(\nabla \lambda \), so that the equality is reduced to the \(\sim \) equivalence.
It is not a proper differential, as it squares to the commutator with the curvature two-form \({{\bar{F}}}\) of the background connection.
Note that this is not the same as the expansion of the original action around off-shell backgrounds, as this would lead to a term linear in the dynamical fields, which we do not consider.
Note that \(A( {{\bar{\delta }}}_{\lambda {{{\bar{a}}}}} S_0) = 0\), as by the \({{\,\textrm{Deg}\,}}\) grading rule the result must be a c number, which is not possible at ghost number 1.
In case \(b^m\) is not homogenous in the total number of (anti-) fields, one decomposes it and applies the above to each component.
As the equations of motion for the abelian and the non-abelian background connections decouple, we can see the manifold \({\mathcal {S}}\) of solutions to the Yang–Mills equation as a Cartesian product of the manifolds of abelian and non-abelian background connections.
The second identity follows directly from (71) and (80). From the second identity, (71), and (70), we conclude that the field corresponding to the l.h.s. of the first identity is s closed (modulo \(\textrm{d}\)). But there are no such fields of ghost number \(-1\), anti-symmetric and linear in \({{{\bar{a}}}}\), \({{{\bar{a}}}}'\) and of mass dimension four (two of which are already contributed by \({{{\bar{a}}}}\) and \({{{\bar{a}}}}'\)): By power counting, the only possible fields with these properties are \({{\,\textrm{Tr}\,}}_N ([{{{\bar{a}}}}^\mu , {{{\bar{a}}}}'_\mu ] B^{\ddag })\) and \({{\,\textrm{Tr}\,}}_N ([{{{\bar{a}}}}^\mu , {{{\bar{a}}}}'_\mu ] {{\tilde{C}}} ) \textrm{vol}\), but no linear combination of these is s closed modulo \(\textrm{d}\).
References
Adler, S.L., Bardeen, W.A.: Absence of higher order corrections in the anomalous axial vector divergence equation. Phys. Rev. 182, 1517 (1969)
Zee, A.: Axial vector anomalies and the scaling property of field theory. Phys. Rev. Lett. 29, 1198 (1972)
Lowenstein, J.H., Schroer, B.: Comment on the absence of radiative corrections to the anomaly of the axial-vector current. Phys. Rev. D 7, 1929 (1973)
Kopper, C., Levêque, B.: Regularized path integrals and anomalies: U(1) chiral gauge theory. J. Math. Phys. 53, 022305 (2012). [arXiv:1112.3526]
Mastropietro, V.: Emergent Adler-Bardeen theorem. JHEP 03, 095 (2020). [arXiv:2001.00183]
Costa, G., et al.: Nonabelian gauge theories and triangle anomalies. Nuovo Cim. A 38, 373 (1977)
Bandelloni, G., et al.: On the cancellation of hard anomalies in gauge field models: a regularization independent proof. Commun. Math. Phys. 72, 239 (1980)
Piguet, O., Sorella, S.P.: On the finiteness of the BRS modulo d cocycles. Nucl. Phys. B 381, 373 (1992). [arXiv:hep-th/9302122]
Piguet, O., Sorella, S.P.: Adler-Bardeen theorem and vanishing of the gauge beta function. Nucl. Phys. B 395, 661 (1993). [arXiv:hep-th/9302123]
Anselmi, D.: Adler-Bardeen theorem and manifest anomaly cancellation to all orders in gauge theories. Eur. Phys. J. C 74, 3083 (2014). [arXiv:1402.6453]
Mastropietro, V.: Anomaly cancellation condition in an effective nonperturbative electroweak theory. Phys. Rev. D 103, 013009 (2021). [arXiv:2010.11016]
Mastropietro, V.: Anomaly cancellation condition in lattice effective electroweak theory. J. Math. Phys. 64, 032303 (2023). [arXiv:2111.14442]
Mastropietro, V.: Vanishing of the anomaly in lattice chiral gauge theory, Ann. H. Poincaré (2023), [arXiv:2303.02790]
Callan, C.G., Jr.: Broken scale invariance in scalar field theory. Phys. Rev. D 2, 1541 (1970)
Symanzik, K.: Small distance behavior in field theory and power counting. Commun. Math. Phys. 18, 227 (1970)
Lowenstein, J.H.: Differential vertex operations in Lagrangian field theory. Commun. Math. Phys. 24, 1 (1971)
Lam, Y.M.P.: Perturbation Lagrangian theory for scalar fields: Ward-Takahasi identity and current algebra. Phys. Rev. D 6, 2145 (1972)
Geng, C.Q., Marshak, R.E.: Uniqueness of quark and lepton representations in the standard model from the anomalies viewpoint. Phys. Rev. D 39, 693 (1989)
Hollands, S., Wald, R.M.: Local Wick polynomials and time ordered products of quantum fields in curved space-time. Commun. Math. Phys. 223, 289 (2001). [arXiv:gr-qc/0103074]
Hollands, S., Wald, R.M.: Existence of local covariant time ordered products of quantum fields in curved space-time. Commun. Math. Phys. 231, 309 (2002). [arXiv:gr-qc/0111108]
Hollands, S.: Renormalized quantum yang-mills fields in curved spacetime. Rev. Math. Phys. 20, 1033 (2008). [arXiv:0705.3340]
Hollands, S., Wald, R.M.: Quantum fields in curved spacetime. Phys. Rept. 574, 1 (2015). [arXiv:1401.2026]
Rejzner, K.: Perturbative algebraic quantum field theory. Springer, Cham (2016)
Hollands, S., Wald, R.M.: On the renormalization group in curved spacetime. Commun. Math. Phys. 237, 123 (2003). [arXiv:gr-qc/0209029]
Hollands, S., Wald, R.M.: Conservation of the stress tensor in interacting quantum field theory in curved spacetimes. Rev. Math. Phys. 17, 227 (2005). [arXiv:gr-qc/0404074]
Zahn, J.: Locally covariant charged fields and background independence. Rev. Math. Phys. 27, 1550017 (2015). [arXiv:1311.7661]
Tehrani, M.T., Zahn, J.: Background independence in gauge theories, Annales Henri Poincaré 21 (2020) 1135, [arXiv:1804.07640]
Bardeen, W.A., Zumino, B.: Consistent and covariant anomalies in gauge and gravitational theories. Nucl. Phys. B 244, 421 (1984)
Barnich, G., Brandt, F., Henneaux, M.: Local BRST cohomology in gauge theories. Phys. Rept. 338, 439 (2000). [arXiv:hep-th/0002245]
Zahn, J.: The renormalized locally covariant Dirac field. Rev. Math. Phys. 26, 1330012 (2014). [arXiv:1210.4031]
Zahn, J.: Locally covariant chiral fermions and anomalies. Nucl. Phys. B 890, 1 (2015). [arXiv:1407.1994]
Arms, J.M.: The structure of the solution set for the yang-mills equations. Math. Proc. Cambridge Philos. Soc. 90, 361 (1981)
Dütsch, M.: From classical field theory to perturbative quantum field theory. Springer International Publishing, Birkhäuser (2019)
Tehrani, M.T.: Quantum BRST charge in gauge theories in curved space-time. J. Math. Phys. 60, 012304 (2019). [arXiv:1703.04148]
Kluberg-Stern, H., Zuber, J.B.: Renormalization of nonabelian gauge theories in a background field gauge. 1. Green Functions. Phys. Rev. D 12, 482 (1975)
Dütsch, M., Fredenhagen, K.: Algebraic quantum field theory, perturbation theory, and the loop expansion. Commun. Math. Phys. 219, 5 (2001). [arXiv:hep-th/0001129]
Dütsch, M., Fredenhagen, K.: Perturbative algebraic field theory, and deformation quantization, In: Mathematical physics in mathematics and physics (Siena, 2000)”, Fields Inst. Commun. Vol. 30, pp. 151–160, Amer. Math. Soc., (2001), [arXiv:hep-th/0101079]
Waldmann, S.: Poisson-geometrie und deformationsquantisierung. Springer, Berlin (2007)
Brunetti, R., Fredenhagen, K.: Microlocal analysis and interacting quantum field theories: renormalization on physical backgrounds. Commun. Math. Phys. 208, 623 (2000). [arXiv:math-ph/9903028]
Epstein, H., Glaser, V.: The role of locality in perturbation theory. Ann. Inst. H. Poincaré 19, 211 (1973)
Popineau, G., Stora, R.: A pedagogical remark on the main theorem of perturbative renormalization theory. Nucl. Phys. B 912, 70 (2016)
Fröb, M.B.: Anomalies in time-ordered products and applications to the BV-BRST formulation of quantum gauge theories. Commun. Math. Phys. 372, 281 (2019). [arXiv:1803.10235]
Brunetti, R., Dütsch, M., Fredenhagen, K.: Perturbative algebraic quantum field theory and the renormalization groups. Adv. Theor. Math. Phys. 13, 1541 (2009). [arXiv:0901.2038]
Manes, J., Stora, R., Zumino, B.: Algebraic study of chiral anomalies. Commun. Math. Phys. 102, 157 (1985)
Piguet, O., Sorella, S.P.: Algebraic renormalization, Lecture Notes in Physics Vol. 28 (Springer, 1995)
Nakayama, Y.: Realization of impossible anomalies. Phys. Rev. D 98, 085002 (2018). [arXiv:1804.02940]
Wess, J., Zumino, B.: Consequences of anomalous Ward identities. Phys. Lett. B 37, 95 (1971)
Schenkel, A., Zahn, J.: Global anomalies on Lorentzian space-times. Ann. Henri Poincaré 18, 2693 (2017). [arXiv:1609.06562]
Acknowledgements
I would like to thank Stefan Hollands for useful discussions.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Karl-Henning Rehren.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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/.
About this article
Cite this article
Zahn, J. Background Independence and the Adler–Bardeen Theorem. Ann. Henri Poincaré 25, 2641–2667 (2024). https://doi.org/10.1007/s00023-023-01368-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-023-01368-0