Background independence and the Adler-Bardeen theorem

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.


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 O( ), level. 1 It has been argued for at various levels of rigour and generality [6,7,8,9,10]. 2With the exception of [10], the Callan-Symanzik equation [14,15], and the quantum action principle [16,17] are employed. 3However, 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]). 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 1 The original statement [1], see also [2,3,4], did actually not concern the gauge anomaly, but the chiral anomaly in QED.Recently, also a non-perturbative version of this was proven for lattice QED [5]. 2 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.
3 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. 4Other approaches [6,7,10] also apply to some of the possible abelian anomalies (the first two of those listed in (46) below), but apparently not to general abelian anomalies, see also Remark 4 below.is formalised 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 O( ), vanishes [25,26].Furthermore, the obstruction is, for the case of variations of a background gauge connection, the covariant divergence T ( ∇µ J µI 0 ) of the corresponding renormalized free current.Here ∇ indicates the covariant derivative w.r.t. the background gauge connection, J µI 0 := δ δ ĀI µ S 0 is the functional derivative of the free part of the action w.r.t. the background gauge connection Ā (with I a Lie algebra index), and T denotes a renormalization scheme (a time-ordered product in the terminology used below). 5In more formal approaches a non-vanishing T ( ∇µ J µI 0 ) 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 ( ∇µ J µI 0 ) of the renormalized free current (which is an O( ) statement, as J 0 is quadratic in the fields so that application of T yields a further cnumber term of O( )), 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 ( ∇µ J µI 0 ) of the free current vanishes (on-shell, when antifields 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 ( ∇µ J µI 0 ) 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 µI 0 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. 6The 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 Tr[γ 5 T I {T J , T K }] = 0 and7 Tr[γ 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 ) to arbitrarily high order in .
The proof of the above theorem is based on the following strategy: As is well-known [29,21], but also recalled below, the potential gauge anomalies can be classified cohomologically as elements of H 1 4 (s|d), i.e., 4-forms of ghost number 1, which are closed under the BV differential s, up to 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|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., Da = sb + dc, where 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 Db 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 Section 3, prove Theorem 1.In the concluding Section 4 we in particular sketch the generalization to non-trivial bosonic background matter fields.

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 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 p the associated g vector bundle (whose sections would be "Lie-algebra valued functions" in physics parlance).On P , we consider connections A whose curvatures F are sections of p ⊗ Ω 2 ("Lie-algebra valued two-forms").Given a representation ρ of G, we consider matter fields ψ as sections of the associated vector bundle. 8The starting point of our considerations is then an action of the form S = 1 4 with vol the volume four-form, indices I labelling an appropriately normalized basis of g, and ∇ the covariant derivative w.r.t. the connection A.
Given a background configuration Ā of the gauge connection A, we consider perturbations A, i.e., we write where A is a section of9 p ⊗ Ω 1 (a "Lie algebra valued one-form").We then consider Ā 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 Ā being on-shell, i.e., a configuration extremizing (1) with ψ = 0. Expanding S in A, the component 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 S the "manifold" of on-shell backgrounds and by T S its tangent space, consisting of infinitesimal perturbations ā of Ā, which are solutions to the linearized equations of motion. 10he free part S0 of the action, which is of second order in (A, ψ), 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 C, all of which are sections of p, and define the Batalin-Vilkovisky (BV) operator s by (the commutators are Lie algebra commutators and ∇ the covariant derivative induced by the background connection Ā) 11sA I µ = ∇µ We collectively denote these fields by Φ = (A I µ , B I , C I , CI , ψ) 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, 3  2 for spin 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 nil-potent when graded w.r.t. the Grassmann parity.
We also introduce anti-fields Φ ‡ = (A µI ‡ , B I ‡ , C I ‡ , CI ‡ , ψ ‡ ), which we interpret as densities with ghost numbers (−1, −1, −2, 0, −1).We supplement the action with a source term with i labelling the different fields.With this definition sF = (S 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 Ψ, which we take to be of the form Ψ = CI ∇µ We then supplement the action by an additional gauge fixing term sΨ.The new action S = S + S source + sΨ thus obtained consists of a free part S 0 containing all terms of second order in (anti-) fields, and an interacting part S int containing all terms of higher order in (anti-) fields. 12hen we extend the definition of s to functionals involving anti-fields by The original action depended on Ā, A only through the combination Ā + 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 ā ∈ T S, where δā denotes the functional derivative w.r.t. the background field Ā in the direction ā, defined as δā while δ ā 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 formal13 identity [27] δā The appropriate replacement of the condition (8) for a classical local functional F to be background independent is then [27] Dā Note that, as D āΨ does not contain anti-fields, Dā and D ā coincide on functionals F not containing anti-fields.From now on, we think of ā not as a vector, i.e., an element of T S, but as a vector field, i.e., a section of T S. The operator D then fulfills [27,Thm. 3.3] where ⌊•, •⌋ denotes the Lie bracket of vector fields.In view of the last equality, it is natural to interpret Dā F = ( DF )(ā) as the evaluation of the "background variation one-form" DF in the vector field ā.We can thus promote 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 ā as a new fermionic field variable. 14This is discussed in more detail in Section 3 below.
From the free part S 0 of the action, one obtains hyperbolic equations of motions for the fields Φ i , giving rise to a causal propagator ∆ ij being the difference of retarded and advanced propagator.One then defines a ⋆ product of functionals15 such that with ε i the Grassmann parity of Φ i .The anti-fields (anti-) commute with all other fields w.r.t. the ⋆ product.The ⋆ product preserves the grading Deg = 2 deg + deg Φ ( ‡) with deg counting the factors of and deg Φ ( ‡) the total number of fields and anti-fields.The 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 Deg. 16s in [20,21], one defines local and covariant time-ordered products which can be inductively fixed up to the total diagonal by their defining property of causal factorization, i.e., whenever supp F i does not intersect the causal past of supp F j for all 1 ≤ i ≤ k and k+1 ≤ j ≤ 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 timeordered product with a single field factor simplifies as (for notational convenience, we assume the F k to be Grassmann even) [25] T where ∆ − is the advanced propagator and integration over y is understood (recall that we interpret δ δΦ j (y) F as a density).Furthermore, time-ordered products respect the Deg grading and can be assumed to act trivially on anti-fields (here O is an arbitrary local field):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 [41,24], 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 are local functionals (supported on the total diagonal of the F k 's), and at least of O( ). 18They 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 Deg grading, they fulfill ) (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 by 19 [42] T (e 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 [42,Thm. 1] (in contrast to . With respect to the 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 ⋆ 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 have20 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 O( ).It is subject to the consistency condition In particular, if A m (e F ⊗ ) is the first non-trivial term in the expansion of A(e 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 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 space-time region R, one first introduces a compactly supported adiabatic cutoff λ(x) with λ| R = 1 in the interacting part S int of the action.We do this in such a way that cubic terms of the Lagrangian are multiplied with λ(x) while the quartic ones are multiplied with λ 2 (x).The generating functional for interacting local functionals F supported inside R is then (the inverse on the r.h.s. is w.r.t.⋆) and these generate the interacting algebra for the space-time region R.The algebra thus obtained is independent on the adiabatic cutoff λ (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 nil-potent, i.e., a proper differential, in case that i.e., the gauge anomaly A(e S int ⊗ ) vanishes in the region where the interacting observables are considered. 21In 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 S int ⊗ ) is a local functional, which can be expressed as with α k multiindices and a n α 1 ...αn determined locally and covariantly out of (anti-) fields and background fields and symmetric under interchange α i ↔ α j .The above expression can be understood in the sense of a formal power series in λ.However, with our choice of adiabatic cutoff in S int , the expansion in powers of λ is equivalent to an expansion in the Deg grading, as Deg(a n α 1 ...αn ) = n + 2. We have the following: Lemma 3.An expression of the form (34) with for some c ∈ N vanishes for all compactly supported λ (order by order in Deg) only if, for all n, for some local field b n µ .Hence, an expression of the form (34) determines a four-form up to a total derivative, i.e., modulo d, in the following sense: Two expression of the form (34) coincide for all compactly supported λ 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 λ, then the functional derivative w.r.t.λ(x) must vanish, i.e., where ᾱi is the multi-index in reverse order.This must hold order by order in the Deg grading, so we can restrict to a fixed n.Choosing λ = 1 near x, we obtain All but the first (k = 0) term on the l.h.s. are total derivatives, proving the statement.
Expressions of the form (34), with coefficients a n α 1 ...α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 •| λ=1 , i.e., in the above case22 We call two expressions F , G, of the form (34) equivalent, F ∼ G, if F | λ=1 = G| λ=1 mod 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 S int ⊗ ) the O( k ) component of A(e S int ⊗ ) and assume that A k (e S int ⊗ ) ∼ 0 for all k < m, while A m (e S int ⊗ ) ∼ 0, i.e., A m (e S int ⊗ ) is the first non-trivial term in the expansion of A(e S int ⊗ ).Denote by a m := A m (e S int ⊗ )| λ=1 the corresponding four-form according to (37).Then, using that 23s 0 S int + 1 2 (S int , S int ) ∼ 0, (42) it follows from (28) and the fact that [s 0 A m (e On the other hand, if a m is s exact modulo d, i.e., a m = sc m + dd m , then one can perform a redefinition of time-ordered products as in (21) to obtain a m = 0 [21], see also (56) below.
Proceeding inductively in the order of , one obtains absence of the gauge anomaly, in case that each a m is s exact modulo d.Hence, the potential obstructions to achieve (41) are characterized by the cohomology H 1 4 (s|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|d) is a linear combination of the non-abelian anomaly with Tr N an invariant trace over one of the non-abelian factors and ∇ the covariant differential 24defined by ∇A = ∇µ A ν dx µ dx ν , and an abelian anomaly with C A the abelian ghost and G A ∈ 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 Tr N vanishes, i.e., 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 nontrivial 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.
, where ≈ 0 denotes equality modulo the free equations of motions (generated by S 0 ), when anti-fields are set to zero.For if 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 O( ) 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 ϕ and •, • V a G invariant hermitean 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. 25We 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 int to off-shell backgrounds. 26The free BV differential s 0 will then no longer be nil-potent, except when acting on functionals supported in the region where the background is on-shell.We denote by a a compactly supported section of p ⊗ Ω 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] δ r a T (e It formalizes the notion that it should not matter whether we quantize around a background connection Ā′ or around an (infinitesimally close) background connection Ā, with the difference to Ā′ taken into account in an interaction term S 0 [ Ā′ ]−S 0 [ Ā].The identification of the algebras over different backgrounds is implemented via the retarded variation δ 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) = δ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 ≤ 4, this condition can in turn be fulfilled 27 [26] provided that the covariant divergence of the free current vanishes, for any compactly supported section Λ of p (a "Lie algebra valued function").Here ≈ 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), Λ is supported in the region where λ = 1 and ≈ 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 λ = 1, and ā 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 ā of the free action S 0 by multiplication with the adiabatic cut-off λ.This is necessary to have the expression well-defined, but obviously the choice of λ is irrelevant by the locality of the anomaly and the restriction on the support of F . 28Later, we will apply (52) to the case F = S int , whose support is not restricted to the region where λ = 1.It follows that there will be supplementary terms supported in supp dλ, i.e., the equality in ( 52) is replaced by the equivalence ∼ as defined below 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): 27 Using the explicit form of δ r a given in [27] one can easily check that (19), which was not required in [27], can be preserved under the necessary redefinitions of time-ordered products.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 λ in the interaction, the identity (10) can be stated as follows: Note the presence of the adiabatic cut-off 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 Deg grading and the order in λ holds.Hence, the l.h.s. is of the form (34), with Deg(a n α 1 ...αn ) = n + 1, so that Lemma 3 is applicable.

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 at which the anomaly a m is not d exact.If the anomaly is trivial in H 1 4 (s|d), i.e., then, following [21], one performs a redefinition of the form ( 21) such that Here S 1 is the part of S int which is cubic in (anti-) fields and n = 2m − 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 Deg grading). 29By (29), the anomaly at O( 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 int contains neither the field B I nor the anti-fields A A ‡ µ , C A ‡ , CI ‡ , B I ‡ (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 ‡ µ , C A ‡ , CI ‡ , B I ‡ 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 , Proof.By the power counting and ghost number constraints, the only possible term in b m containing A A ‡ µ is (up to a total derivative) ∇µ C A A A ‡ µ .However, as s( ∇µ , we can re-express it without the use of anti-fields.As C A ‡ 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 ‡ can not 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 , CI ‡ , or B I ‡ , 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 ∇µ A I µ )vol, so that we can replace (57) in b m by an expression which contains one power of B I , CI ‡ , B I ‡ less.In case D I still contains the undesired fields, one iterates the procedure.
Hence, we may choose b m in (55) such that it does not contain any of the (anti-) fields B I , A A ‡ µ , C A ‡ , CI ‡ , B I ‡ , 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 d) On the other hand, from field independence of D and (54), we also have (again modulo d) These two redefinitions are linearly independent (and can thus both be performed independently), unless (S, δλā Ψ) ∼ 0. In that case the two redefinitions are consistent if and only if δā b m = δ āb m mod d.Hence, we need to show that we can choose b m such that (S, δλā Ψ) ∼ 0 implies D āb m = 0 mod d.For general perturbations ā, 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 D λ ā := δλā − δ ā.Hence, (S, δλā Ψ) ∼ 0 implies that D āa m = 0 mod d.Now (S, δλā Ψ) ∼ 0 only holds for a perturbation ā purely in the abelian direction, in which case δλā Ψ = 0 and D āΨ = − CI ∇µ āI µ vol.Hence, for such ā, (F, D āΨ) = 0 unless F contains C ‡ .As already argued above, a m does not contain C ‡ , so we also have Dā a m = 0 mod d for such ā.Given a solution b m , c m to a m = sb m + dc 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" D (recall ( 14)) to all backgrounds. 30Then a m = sb m +dc m is fulfilled on all backgrounds and Dā b m = 0 for ā in the abelian direction.As discussed above, by Lemma 7, we can choose b m such that it does not contain C ‡ .Starting the parallel transport with such b m , this will be the case on all backgrounds, so in particular the anti-bracket with D āΨ will vanish for ā in the abelian direction.Hence, we also have D āb m = 0 for such ā, 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 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., D āa m = 0 (modulo 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 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 S int ⊗ )| λ=1 is the lowest non-trivial term in an 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 λ 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 int which depend on the abelian ghost are the source terms for the matter gauge transformations, i.e., schematically of the form ρ(C)ψψ ‡ .Hence, δ δC A (x) S 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 λ equals 1, For convenience, we integrate against Λ A (x), i.e., we consider the functional derivative w.r.t.C A in the direction Λ A with Λ A supported within the region where λ = 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 m .As the connected time-ordered products are formal power series in , the O( m ) component of the l.h.s.can be expressed as T m c (G A (x) ⊗ e S int ⊗ ), where the superscript m denotes the restriction to O( m ).As each factor S int increases the total Deg of T m c (G A (x)⊗e S int ⊗ ) at least by 1 (this follows from (22) and Deg S int ≥ 3), the lowest non-vanishing term in a filtration of T m c (G A (x) ⊗ e S 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 ≈ 0 0. But, as argued below (45), this is not possible for a non-trivial abelian anomaly.
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 is of the form (44), so in particular anti-field independent.Then (60) can be rewritten as where we used Dλ ā := δλā − δ ā − (•, D λ ā Ψ).Considering this at lower order in , this in particular implies We now use the following corollary of the expanded consistency condition (28): 31Corollary 9. Let A m (e S int ⊗ ) be the first non-trivial term (w.r.t.∼) in the expansion of A(e S int ⊗ ).
) are the first non-trivial terms in the expansion of A(F 1/2 ⊗ e S int ⊗ ), and ⊗ ), k ≤ m, is the first non-trivial term in the expansion of A(F 1 ⊗ F 2 ⊗ e S 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 ( δλā Ψ ⊗ e S int ⊗ )) ∼ 0 for k < m.Hence, the four-form field ξ k ā := A k ( δλā Ψ ⊗ e S int ⊗ )| λ=1 (recall the definition of •| λ=1 below Lemma 3), which is of vanishing ghost number, mass dimension four (we count ā as having mass dimension 1), and linear in ā, is s closed modulo d.Furthermore, as Ψ is independent of the abelian part of the background connection, we can restrict to perturbations ā which are purely in the non-abelian directions.To such fields, the following applies: Lemma 10.Fields ξ ā of mass dimension four which are linear in a perturbation ā purely in the non-abelian directions are trivial in H 0 4 (s|d).
Proof.A general element ξ ā ∈ H 0 4 (s|d) is of the form ξ ā = Tr N (ā∧ * D) with D a section of p⊗Ω 1 of vanishing ghost number and mass dimension 3 (one mass dimension is contributed by ā) and * the Hodge dual.Furthermore, ξ ā being s closed modulo d implies that sD = P lin E, where P lin is the linearized Yang-Mills operator (which vanishes on ā, so that sξ ā is a total derivative) for some E of ghost number and mass dimension 1.It must thus be a linear combination of ∇C I and [A, C] I .But as P lin • ∇ = 0, the first term can always be added to E I , so unless it is trivial, we can write it as E I = c( ∇C + [A, C]) I = csA I with a numerical coefficient c.
Again by P lin ā = 0, Tr N (ā ∧ * P lin A) is a total derivative, so ξ ′ ā = Tr N (ā ∧ * (D − cP lin A)) is in the same cohomology class as ξ ā.However, the corresponding D ′ = D − cP lin A is now s closed: sD ′ = P lin (E − E) = 0. We are thus looking for an s closed Lie algebra valued oneform 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 ∇ CI , or a c-number.By power counting, the only possibility is D I ν = ∇µ Fµν , which however vanishes by our assumption that the background is on-shell.
Analogously to the removal of the gauge anomaly, we can thus, by redefinition of timeordered products T ( δλā Ψ ⊗ e i S int ⊗ ) (which does not spoil perturbative agreement), achieve that Now as both δλā Ψ and the anomaly a m are anti-field independent, it follows from (68), (71), and (69) that (S, In particular, with (67), This implies that there must be fields As Dā commutes with d and s, cf.(13), it is well-defined on the cohomology H(s|d).The above shows that if the assumptions of Theorem 5 are fulfilled, then Dā a m is trivial in H 1 (s|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 ā explicitly given by Hence, (74) can not 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 ξ m ā given below Corollary 9, we have for some d m ā ∈ H 0 (s|d) (in particular, this includes d exact terms).This ambiguity is due to the fact that (74) defines b m ā only up to terms in the kernel of s (modulo d).Furthermore, a trivial element of H 0 (s|d) can be removed from ξ m ā by a redefinition of T ( δλā Ψ ⊗ e i S 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 ā in (76).We would now like to compute a further "background derivative", namely of (76).As already indicated below (14), we promote D to a differential on the tangent space T 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 DΞ dual to a tangent vector āI µ (x), meaning that the evaluation of a tangent vector ā in DΞ is given by DΞ I µ (x)(ā) = āI µ (x).On such an expression, the differential D acts as By ( 14), ( 13), the differential D is nilpotent and anticommutes with s.On expressions of the form (34), one similarly defines Dλ (due to the presence of the cut-off λ this is a differential only w.r.t. the relation ∼).
In the notation just introduced, A m ( δλā Ψ ⊗ e S int ⊗ ) can be seen as the evaluation of the background variation one form A m ( δλµ I Ψ ⊗ e S int ⊗ ) DΞ I µ in ā (the superscript λ at δ indicates multiplication with the cut-off λ).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 δλµ I Ψ by Dλµ I Ψ in this expression.We now compute a Dλ differential of this background variation one-form.A further application of field independence (30), background independence (52), and (54) yields, for k ≤ m, The first term on the r.h.s.vanishes (w.r.t.∼), by nilpotency of Dλ .To deal with the second term, we note that, analogously to (68), (71), we have, for all k < m, 32 Then, with (70), we have (recall that Ψ is fermionic) Hence, In terms of fields, this means that, modulo d exact terms, with χ m = 1 2 A m ( Dλ Ψ ⊗ Dλ Ψ ⊗ e S int ⊗ )| λ=1 . 32The second identity follows directly from (80) and (71).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 d).But there are no such fields of ghost number −1, anti-symmetric and linear in ā, ā′ and of mass dimension four (two of which are already contributed by ā and ā′ ): By power counting, the only possible fields with these properties are TrN ([ā µ , ā′ µ ]B ‡ ) and TrN ([ā µ , ā′ µ ] C)vol, but no linear combination of these is s closed modulo d.
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 d exact terms, ( Db m )(ā 1 , ā2 ) = 1  2 Tr N (ā 1 ā2 − ā2 ā1 ) F . (85) The r.h.s., being a c-number and not d exact, is not s exact modulo d.It vanishes for general background connections and variations ā1 , ā2 thereof if and only if the d symbol of the trace 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 can not 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 ( ∇µ J µI 0 ) ∝ Tr N [T I F 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).

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 ϕ by Φ + ϕ, with Φ the matter background field.The action of the BV operator on ϕ then has to be modified to sϕ = −ρ(C)( Φ + ϕ) 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 CI H I ( Φ, ϕ)vol would be included, allowing for an R ξ 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 Φ (not just on the combination Φ + ϕ which has already been ruled out by Theorem 1 for Φ = 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 O( ) criterion decides on whether perturbative agreement can be fulfilled.To show this, one proceeds inductively (in deg Φ , the total number of fields) [25,26].This procedure is model independent in the sense that the specific model considered only enters through the O( ) 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.