On the trace anomaly of a Weyl fermion in a gauge background

We study the trace anomaly of a Weyl fermion in an abelian gauge background. Although the presence of the chiral anomaly implies a breakdown of gauge invariance, we find that the trace anomaly can be cast in a gauge invariant form. In particular, we find that it does not contain any odd-parity contribution proportional to the Chern-Pontryagin density. The latter would be allowed by the consistency conditions. We perform our calculations using Pauli-Villars regularization and heat kernel methods. The issue is analogous to the one recently discussed in the literature about a conjectured contribution of an odd-parity term to the trace anomaly of a Weyl fermion in curved backgrounds.


Introduction
In this paper we study the trace anomaly of a chiral fermion coupled to an abelian gauge field in four dimensions. It is well-known that the model contains an anomaly in the axial gauge symmetry, thus preventing the quantization of the gauge field in a consistent manner. Nevertheless, it is useful to study the explicit structure of the trace anomaly emerging in the axial U (1) background.
One reason to study the problem is that an analogous situation has recently been addressed for a Weyl fermion coupled to gravity. In particular, the presence of an odd-parity term (the Pontryagin density of the curved background) in the trace anomaly has been reported in [1], and further elaborated upon in [2,3]. This anomaly was envisaged also in [4], and discussed more recently in [5]. However, there are many indications that such an anomaly cannot be present in the theory of a Weyl fermion. The explicit calculation carried out in [6] confirms this last point of view.
One of the reasons why one does not expect the oddparity contribution to the trace anomaly is that by CPT in four dimensions a left handed fermion has a right handed a e-mail: bastianelli@bo.infn.it b e-mail: matteo.broccoli2@studio.unibo.it antiparticle, expected to contribute oppositely to any chiral imbalance in the coupling to gravity. To see that, one may cast the quantum field theory of a Weyl fermion as the quantum theory of a Majorana fermion. The latter shows no sign of an odd-parity trace anomaly. Indeed, the functional determinant that arises in a path integral quantization can be regulated using Pauli-Villars Majorana fermions with Majorana mass, so to keep the determinant manifestly real, thereby excluding the appearance of a phase that might produce an anomaly (the odd-parity term would carry an imaginary coefficient) [7]. Recently, this has been verified again using Feynman diagrams [8], which confirms the results of [6]. An additional piece of evidence comes from studies of the 3-point correlation functions of conserved currents in four dimensional CFTs, which exclude odd-parity terms in the correlation function of three stress tensors at non-coinciding points [9,10], seemingly excluding its presence also in the trace anomaly (see however [11]).
Here we analyze the analogous situation of a Weyl fermion coupled to an abelian U (1) gauge background. The theory exhibits a chiral anomaly that implies a breakdown of gauge invariance. It is nevertheless interesting to compute its trace anomaly. Apart from the standard gauge invariant contribution (∼ F 2 ) and possible gauge noninvariant terms, which as we shall show can be canceled by counterterms, one might expect a contribution from the odd-parity Chern-Pontryagin density FF. Indeed the latter satisfies the consistency conditions for trace anomalies. In addition, the fermionic functional determinant is now complex in euclidean space, and thus carries a phase (which is responsible for the known U (1) axial anomaly). On the other hand, the structure of the 3point correlation function of the stress tensor with two U (1) currents in generic CFTs does not allow for odd-parity terms [9,10] that could signal a corresponding anomaly in the trace of the stress tensor in a U (1) background. Apart from a few differences, the case seems analogous to that of the chiral fermion in curved space, and thus it is worth addressing.
To ascertain the situation we compute explicitly the trace anomaly of a Weyl fermion coupled to a U (1) gauge field. Using a Pauli-Villars regularization we find that no oddparity term emerges in the quantum trace of the stress tensor. We use a Majorana mass for computing the trace anomaly, as this mass term can be covariantized (to curved space) without the need of introducing additional fields of opposite chirality, as required by a Dirac mass. The coupling to gravity (needed only at linear order) is used to treat the metric (or vierbein) as an external source for the stress tensor, and to relate the trace of the latter to a Weyl rescaling of the metric (or vierbein). The manifest covariance of the Majorana mass guarantees that the stress tensor can be kept conserved and symmetric also at the quantum level, i.e. without general coordinate (Einstein) and local Lorentz anomalies. We repeat part of our calculations with a Dirac mass as well. In addition, we calculate also the anomalies of a massless Dirac fermion which, while well-known, serve for comparison and as a test on the scheme adopted. We verify the consistency of the different regularizations, and report the local counterterms that relate them.
We organize the paper as follows. In Sect. 2 we set up the stage and review the lagrangians of the Weyl and Dirac fermions, respectively, and identify the relevant differential operators that enter our regularization schemes. In Sect. 3 we review the method that we choose for computing the chiral and trace anomalies. In Sect. 4 we present our results. We conclude in Sect. 5, confining to the appendices notational conventions, heat kernels formulas, and sample calculations.

Actions and symmetries
We first present the classical models that we wish to consider, and review their main properties to set up the stage for our calculations. The model of main interest is a massless Weyl fermion coupled to an abelian gauge field. We first describe its symmetries, and then the mass terms to be used in a Pauli-Villars regularization. For comparison, we consider also a massless Dirac fermion coupled to vector and axial abelian gauge fields, a set-up used by Bardeen to compute systematically the anomalies in vector and axial currents [12]. Our notation is commented upon and recapitulated in "Appendix A".

The Weyl fermion
The lagrangian of a left handed Weyl spinor λ coupled to a U (1) gauge field is where the chirality of the spinor is defined by the constraint γ 5 λ = λ, or equivalently by λ = 1+γ 5 2 λ. It is classically gauge invariant and conformally invariant. Both symmetries become anomalous at the quantum level.
In the following we find it convenient to use the charge conjugated spinor λ c , which has the opposite chirality of λ The lagrangian can be cast in equivalent forms using λ c rather then λ where the last two forms are valid up to boundary terms (we perform partial integrations in the action and drop boundary terms). We use the last form in our calculations. The gauge transformations can be written as (4) and the action S W = d 4 x L W is gauge invariant. Recall also that A a can be used as an external source for the current Varying in the action only A a with a gauge transformation with infinitesimal parameter α(x) produces and the full gauge symmetry (δ α S W = 0) guarantees that the U (1) current is conserved on-shell (i.e. using the fermion equations of motion) Similarly, one may check that the action is classically conformal invariant and that the stress tensor has a vanishing trace. To see this one couples the model to gravity by introducing the vierbein e μ a (and related spin connection ω μ ab ), and realizes that the action is invariant under general coordinate, local Lorentz, and Weyl transformations. The stress tensor, or energy momentum tensor, is defined as usual by where e is the determinant of the vierbein, and is covariantly conserved, symmetric, and traceless on-shell, as con-sequence of diffeomorphisms, local Lorentz invariance, and Weyl symmetry, respectively (indices are made "curved" or "flat" by using the vierbein and its inverse). The vierbein can be used as an external source for the stress tensor, and an infinitesimal Weyl transformation on the vierbein acts as a source for the trace T a a . In the following we only need a linearized coupling to gravity to produce a single insertion of the stress tensor in correlation functions. Otherwise, we are interested in flat space results only. In any case, the full coupling to gravity reads where γ μ = e μ a γ a are the gamma matrices with curved indices, e μ a is the inverse vierbein, and ∇ μ is the covariant derivative containing both the U (1) gauge field A μ and spin connection ω μab The local Weyl symmetry is given by where σ (x) is an arbitrary function. Varying in the action only the vierbein with an infinitesimal Weyl transformation produces the trace of the stress tensor and the full Weyl symmetry of the action (δ σ S W = 0) guarantees that it is traceless on-shell For completeness, we record the form of the stress tensor in flat space emerging from the previous considerations, simplified by using the equations of motion, where ↔ Da = Da − ← Da (in terms of the gauge covariant derivative). It is traceless on-shell.

Mass terms
To compute the anomalies in the quantum theory we regularize the latter introducing massive Pauli-Villars (PV) fields, with the anomalies eventually coming from the noninvariance of the mass term. For the massless Weyl fermion, one can take as PV field a Weyl fermion of the same chirality, with a Majorana mass added. The mass term is Lorentz invariant, but breaks the gauge and conformal symmetries. It takes many equivalent forms where h.c. denotes the hermitian conjugate and M is a real mass parameter. Since the charge conjugation matrix C is antisymmetric this term is nonvanishing for an anticommuting spinor. 1 Casting the full massive PV action where φ is a column vector containing both λ and λ c (thus φ is a 8 dimensional vector) permits the identification of the operators and The latter will be used in our anomaly calculations. The chiral projectors P L and P R have been introduced to stress that the matrix T is not invertible in the full 8 dimensional space on which φ lives. An 1 In terms of the 2-component left handed Weyl spinor l α this mass term reads as and it does not contain any other spinor apart from l α and its complex conjugate l * α . In the chiral representation of the gamma matrices the 2-component spinor l α sits inside λ, as in Eq. (A.12). advantage of the Majorana mass term is that it can be constructed without the need of introducing extra degrees of freedom (as required by the Dirac mass term discussed below). Moreover, it can be covariantized under Einstein (general coordinate) and local Lorentz symmetries. The covariantization is achieved by multiplying it with the determinant of the vierbein e An alternative mass term is the Dirac mass. To use it one must introduce in addition also an uncoupled right handed PV fermion ρ (satisfying ρ = P R ρ), so that the full massive PV lagrangian reads or, equivalently, The latter expression allows to cast the PV lagrangian in the general form (18) with where each entry is a 4 dimensional Dirac spinor (with chiral projectors attached), and one finds The differential operators in O 2 have appeared also in [13], where definitions for the determinant of a chiral Dirac oper-ator were studied with the purpose of addressing the chiral anomalies.
A drawback of the Dirac mass term, as regulator of the Weyl theory, is that one cannot covariantize it while keeping the auxiliary right handed spinor ρ free in the kinetic term (it cannot be coupled to gravity, otherwise it would not regulate properly the original chiral theory). One can still use the regularization keeping ρ free in the kinetic term but, as the mass term breaks the Einstein and local Lorentz symmetries explicitly, one would get anomalies in the conservation (∂ a T ab ) and antisymmetric part (T [ab] ) of the stress tensor. Then, one is forced to study the counterterms to reinstate conservation and symmetry of the stress tensor (it can always be done in 4 dimensions [7,14]), and eventually check which trace anomaly one is left with. As this is rather laborious, we do not use this mass term to calculate the trace anomaly in the Weyl theory. 2

The Dirac fermion
We consider also the more general model of a massless Dirac fermion coupled to vector and axial U (1) gauge fields A a and B a . The lagrangian is where the last form is valid up to boundary terms. A chiral projector emerges when A a = ±B a , and we use this model to address again the issue of the chiral fermion in flat space (the limit A a = B a → A a 2 reproduces the massless part of (24)).
The lagrangian is invariant under the local Again one can use A a and B a as sources for J a = iψγ a ψ and J a 5 = iψγ a γ 5 ψ, respectively. Under infinitesimal variation of these external sources one finds and the classical gauge symmetries imply that J a and J a 5 are conserved on-shell A coupling to gravity shows that the stress tensor is traceless because of the Weyl symmetry. The Weyl transformations rules have the same form as in (12), with B a left invariant. An infinitesimal Weyl variation on the vierbein produces the trace of the stress tensor and the Weyl symmetry implies that it vanishes on-shell

Mass terms
To regulate the one-loop graphs we introduces massive PV fields. The standard Dirac mass term preserves vector gauge invariance, and casting the PV lagrangian L PV = L D + Δ M L D in the form (18), now with φ = ψ ψ c , allows to recognize the operators and This mass term mixes the two chiral parts λ and ρ of the Dirac fermion ψ = λ+ρ, see Eqs. (24) or (25) that makes it visible. After covariantization to gravity the decoupling of the two chiralities is not easily achievable, and relations between the trace anomaly of a Dirac fermion and the trace anomaly of a Weyl fermion cannot be studied directly by using a Dirac mass in the PV regularization.
Thus, it is useful to consider a Majorana mass as well. It breaks both vector and axial symmetries and one finds from the alternative PV lagrangianL PV = L D +Δ M L D the operators and Covariantization to gravity does not mix the chiral parts of the Dirac fermion, and a decoupling limit to the chiral theory of a Weyl fermion λ is now attainable.

Regulators and consistent anomalies
To compute the anomalies we employ a Pauli-Villars regularization [15]. Following the scheme of Refs. [16,17] we cast the calculation in the same form as the one obtained by Fujikawa in analyzing the measure of the path integral [18,19]. This makes it easier to use heat kernel formulas [20,21] to evaluate the anomalies. At the same time, the method guarantees one to obtain consistent anomalies, i.e. anomalies that satisfy the consistency conditions [22,23]. Let us review the scheme of Ref. [16]. One considers a lagrangian for a field ϕ which is invariant under a linear symmetry that generically acts also on the operator T O, as it may depend on background fields. The one-loop effective action can be regulated by subtracting a loop of a massive PV field φ with action where M is a real parameter. 3 The mass term identifies the operator T , that in turn allows to find the operator O. As we shall see, in fermionic theories with a first order differential operator O in the kinetic term, the operator O 2 acts as a regulator in the final formula for the anomaly. The invariance of the original action extends to an invariance of the massless part of the PV action by defining so that only the mass term may break the symmetry The path integral Z and the one-loop effective action Γ are regulated by the PV field where it is understood that one should take the M → ∞ limit, with all divergences canceled as explained in the footnote. The anomalous response of the path integral under a symmetry is due to the PV mass term only, as one can define the measure of the PV field so to make the whole path integral measure invariant [16]. In a hypercondensed notation, where a term like φ T φ includes in the sum of the indices a spacetime integration as well, a lagrangian like the one in (46) is equivalent to the action, and one may compute the symmetry variation of the regulated path integral to obtain where brackets . . . denote normalized correlation functions. For our purposes, it is convenient to cast it in an equivalent form [17] iδΓ = i δS 3 To be precise, one should employ a set of PV fields with mass M i and relative weight c i in the loop to be able to regulate and cancel all possible one-loop divergences [15]. For simplicity, we consider only one PV field with relative weight c = −1, as this is enough for our purposes. The weight c = −1 means that we are subtracting a massive PV loop from the original one.
In deriving these expressions, we have considered a fermionic theory, used the PV propagator taken into account the opposite sign for the PV field in the loop, and considered an invertible mass matrix T . In the limit M → ∞ the regulating term M 2 . This is allowed as, for the purpose of extracting the limit, these regulators cut off the ultraviolet frequencies in an equivalent way (we assume that O 2 is negative definite after a Wick rotation to euclidean space) [16]. Clearly, if one finds a symmetrical mass term, then the symmetry would remain automatically anomaly free.
Heat kernel formulas may now be directly applied. Denoting the anomaly is related to the trace of the heat kernel of the regulator R with an insertion of J This has the same form that appears in Fujikawa's method for computing anomalies [18,19], where J is the infinitesimal part of the fermionic jacobian arising from a change of the path integral variables under a symmetry transformation, and R is the regulator. The limit extracts the mass independent term (negative powers of the mass vanish in the limit, while positive (diverging) powers are made to cancel by using additional PV fields). The PV method guarantees that the regulator R together with J produces consistent anomalies, which follows from the fact that one is computing directly the variation of the effective action. The heat kernel formulas that we need in the anomaly calculation are well-known, and we report them in "Appendix B" using a minkowskian time. In particular, in four dimensions we need the Seeley-DeWitt coefficients a 2 (R), corresponding to the various regulators R associated to the fields assembled into φ. These are the only coefficients that survive in the limit M → ∞ (as said, diverging pieces are removed by the PV renomalization). Running through the various cases presented in the previous section, we extract the "jacobians" J and regulators R to find the structure of the anomalies. For the Weyl theory we find (56) These formulas are obtained by considering that for the U (1) symmetry the jacobian J in (54) is found from the symmetry transformations of λ and λ c in (4) Only K contributes, as δT vanishes as well as the contribution from δO (it vanishes after taking the traces in (56), as will be checked in the next section). The infinitesimal parameter α is eventually factorized away from (55) to obtain the local form in (56). In computing J from (54), it is enough to check that the mass matrix T is invertible on the relevant chiral spaces (extracted by the projectors P L and P R ). For the Weyl symmetry one uses instead the transformation laws in (12) to find where it is now crucial to consider that the covariant (under gravity) extension of the mass terms contains a factor of e, see Eq. (23), which brings in a contribution from 1 2 T −1 δT to J . This contribution is necessary to guarantee that general coordinate invariance is kept anomaly free in the regularization (δO is neglected again for the same reason as before). The infinitesimal Weyl parameter σ is then factorized away from (55) to obtain the second equation in (56).
Proceeding in a similar way, we find for the Dirac model All remaining traces are traces on the gamma matrices taken in the standard four dimensional Dirac spinor space.

Anomalies
In this section we compute systematically the chiral and trace anomalies for the Weyl and Dirac theories described earlier. We use, when applicable, two different versions of the Pauli-Villars regularization with different mass terms. We verify that the final results are consistent with each other, and coincide after taking into account the variation of local counterterms.

Chiral and trace anomalies of a Weyl fermion
We consider first the case of a Weyl fermion.

PV regularization with Majorana mass
The regularization of the Weyl fermion coupled to an abelian gauge field is achieved in the most minimal way by using a PV fermion of the same chirality with the Majorana mass term in Eq. (16) added. This set-up was already used in [6] to address the case of a Weyl fermion in a gravitational background, but without the abelian gauge coupling. The mass term is Lorentz invariant and does not introduce additional chiralities, but breaks the gauge and conformal (Weyl) symmetries. Therefore, one expects chiral and trace anomalies.
To obtain the anomalies we have to compute the expressions in (56) with the regulators contained inside O 2 of Eq. (21). They read Using the Seeley-DeWitt coefficients a 2 of these regulators we find the chiral anomaly where F ab = ∂ a A b − ∂ b A a (see "Appendix C" for an outline of the calculation). It contains normal-parity terms that can be canceled by the gauge variation of the local counterterm so that the chiral gauge anomaly takes the form This is the standard result. Similarly, we compute the trace anomaly, given by It does not contain any odd-parity contribution. Gauge invariance is broken by the chiral anomaly, but we find that the trace anomaly can be cast in a gauge invariant form by varying a local counterterm with a Weyl transformation (and then restricting to flat space). The (gravity covariant but gauge noninvariant) counterterm is given by and the trace anomaly takes the form The counterterms Γ 1 and Γ 2 are consistent with each other, and merge into the unique counterterm (needed only at linear order in the metric) where, of course, Thus, we have seen that the trace anomaly of a Weyl fermion does not contain any contribution from the topological density FF (which on the other hand enters the chiral anomaly in (63), as well-known). It can be presented in a gauge invariant form by the variation of a local counterterm, and equals half the standard trace anomaly of a Dirac fermion. These are the main results of our paper.

PV regularization with Dirac mass
For using a Dirac mass we have to include a right handed free fermion in the PV lagrangian as well. The lagrangian is given in (24), and from Eq. (27) one finds the regulators Then, from the corresponding heat kernel coefficients a 2 we find the chiral anomaly It contains noncovariant normal-parity terms, that are canceled by the variation of the local counterterm so that the anomaly takes the standard form as in the previous section. Unfortunately, we cannot proceed to compute in a simple way the trace anomaly using this regularization, as the mass term breaks the Einstein and local Lorentz symmetries as well. The ensuing anomalies should then be computed and canceled by local counterterms, to find eventually the expected agreement of the remaining trace anomaly with the one found in the previous section.

Chiral and trace anomalies of a Dirac fermion
For completeness, we now consider the case of the massless Dirac spinor coupled to vector and axial gauge fields with lagrangian given in Eq. (31). The results are well-known, but we wish to present them for comparison and as a check on our method. The most natural regularization is obtained by employing a Dirac mass for the PV fields, but we employ also a Majorana mass. The latter allows to take a chiral limit in a simple way, which we use to rederive the previous results on the Weyl fermion.

PV regularization with Dirac mass
The relevant regulators are obtained from (40) and read The vector symmetry is guaranteed to remain anomaly free by the invariance of the mass term, while the chiral anomaly from (59) becomes It contains normal-parity terms in the B field. They are canceled by the variation of a local counterterm so that one ends up with As for the trace anomaly, we find from (59) with the counterterm that brings it into the gauge invariant form T a a = −

PV regularization with Majorana mass
At last, we consider the regularization with a Majorana mass.
As both vector and chiral symmetries are broken by the mass term, we expect anomalies in both U (1) currents. From Eq.
(43) we find the regulators Then, we compute from (59) and ∂ a J a 5 = The counterterm Γ 8 + Γ 9 allows to recover vector gauge invariance, and the anomalies take the form As for the trace anomaly, we find and using the counterterm we get the final gauge invariant form Also the counterterms employed in this section are consistent with each other, and combine into a unique final counterterm, which we report for completeness Evidently, the anomalies computed with the Majorana mass coincide with those obtained with the Dirac mass, after using local counterterms.
The results of this section can be projected consistently to recover the chiral and trace anomalies of a Weyl fermion. Indeed, one can consider the limit A a = B a → 1 2 A a . In this limit, a chiral projector P L = 1+γ 5 2 emerges inside the Dirac lagrangian (31) to reproduce the Weyl lagrangian (1). In addition, in the coupling to gravity, the right handed component of the Dirac field can be kept free, both in the kinetic and PV mass term, preserving at the same time covariance of the mass term of the left handed part of the PV Dirac fermion. Then, the right handed part decouples completely and can be ignored altogether. Thus, one may verify that the anomalies in Sect. 4.1.1 are reproduced by those computed here, including the counterterms, by setting A a = B a → 1 2 A a (note that the current J a in Sect. 4.1.1 corresponds to half the sum of J a and J a 5 of this section).
As final remark, we have checked that terms proportional to δO in (54) never contribute to the anomalies computed thus far, as the extra terms vanish under the Dirac trace.

Conclusions
We have calculated the trace anomaly of a Weyl fermion coupled to an abelian gauge field. We have found that the anomaly does not contain any odd-parity contribution. In particular, we have shown that the Chern-Pontryagin term FF is absent, notwithstanding the fact that it satisfies the consistency conditions for Weyl anomalies. Of course, the chiral anomaly implies that gauge invariance is broken. Nevertheless the trace anomaly can be cast in a gauge invariant form, equal to half the standard contribution of a nonchiral Dirac fermion.
While this result seems to have no direct implications for the analogous case in curved background, it strengthens the findings of ref. [6].
Recently, a generalized axial metric background has been developed in [2,3] to motivate and explain the appearance of the Pontryagin term in the trace anomaly of a Weyl fermion, which however is in contradiction with the explicit calculation of [6]. Perhaps it would be useful to apply the methods used here in the axial metric background to clarify the situation in that context, and spot the source of disagreement. take the charge conjugation matrix C to be given by and satisfies C = −C T = −C −1 = −C † = C * (A.14) (some of these relations are representation dependent). In the chiral representation the Majorana constraint (A.8) takes the form 15) which shows that the two-dimensional spinors l and r cannot be independent. The Majorana condition can be solved in terms of the single two-dimensional left-handed spinor l by which, evidently, contains the four-dimensional chiral spinors λ and λ c defined by In a four-dimensional spinors notation one can write Alternatively, the Majorana condition can be solved in terms of the two-dimensional right-handed spinor r by which contains the four-dimensional chiral spinors ρ and ρ c .20) and μ = ρ + ρ c . This solution is of course the same as the previous one, as one identifies λ = ρ c . The explicit dictionary between Weyl and Majorana spinors shows clearly that the field theory of a Weyl spinor is equivalent to that of a Majorana spinor, as Lorentz symmetry fixes uniquely their actions, which are bound to be identical.

Appendix B: The heat kernel
We consider an operator in flat D dimensional spacetime of the form with V a matrix potential and ∇ 2 = ∇ a ∇ a constructed with a gauge covariant derivative ∇ a = ∂ a + W a that satisfies The trace of the corresponding heat kernel is perturbatively given by where the symbol "tr" is the trace on the remaining discrete matrix indices, J (x) is an arbitrary matrix function, and a n (x, H ) are the so-called Seeley-DeWitt, or heat kernel, coefficients. They are matrix valued, and the first few ones are given by As V is allowed to be a matrix, then ∇ a V = ∂ a V + [W a , V ], etc.. In the main text, the role of the hamiltonian H is played by the various regulators R, and is ∼ 1 M 2 , see Eq. (55). In D = 4 the s-independent term is precisely the one with a 2 (x, H ), which is the coefficient producing the anomalies in 4 dimensions (we use a minkowskian set-up, but justify the heat kernel formulas by Wick rotating to euclidean time and back, when necessary).
More details on the heat kernel expansion are found in [20,21], where the coefficients appear with the additional coupling to a background metric. They have been recomputed with quantum mechanical path integrals in [24], a useful report is [25], while in [26] one may find the explicit expression for a 3 (x, H ), originally calculated by Gilkey [27], which is relevant for calculations of anomalies in 6 dimensions.

Appendix C: Sample calculations
As an example of the calculations leading to the results of Sect. 4, we consider the case of the PV regularization with Majorana mass used for the Weyl model in Sect At this stage one proceeds to evaluate the field strength F ab in Eq. (B.23) associated to this particular W a , and use it to evaluate the coefficient a 2 (R λ ) from a 2 (H ) of Eq. (B.25) (remembering to reinsert the projector). In particular, evaluating the trace one finds tr [P L a 2 (R λ )] (C. 30) Note that this particular coefficient contains an odd-parity term proportional to the topological density FF. Similarly, one computes the coefficients related the other regulators, and proceeds to evaluate (56) and (59). We have checked our trace calculations on the gamma matrices also by computer, employing a notebook developed in [28] using the xAct and xTensor packages [29,30].