Abstract
In a theory of a Dirac fermion field coupled to a metric-axial-tensor (MAT) background, using a Schwinger-DeWitt heat kernel technique, we compute non-perturbatively the two (odd parity) trace anomalies. A suitable collapsing limit of this model corresponds to a theory of chiral fermions coupled to (ordinary) gravity. Taking this limit on the two computed trace anomalies we verify that they tend to the same expression, which coincides with the already found odd parity trace anomaly, with the identical coefficient. This confirms our previous results on this issue.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper is a follow up of [1] where a new version of modified gravity was introduced, a metric-axial-tensor gravity. That is, beside the usual metric, the model is endowed with an additional symmetric tensor that interacts chirally with fermions. The purpose there was not (or not yet) to describe a new phenomenological model of gravity, but to permit a more accurate investigation of the relation between gravity and chiral fermions. It is often stated in the literature that gravity is chirally blind, meaning that the relevant charge, the mass, is positive, and is thus different from the typical case of a U(1) interaction. This is certainly a basic peculiarity of gravity with several important consequences. However one should reflect on the fact that the coupling between gravity and matter is given by the juxtaposition of the metric and the energy-momentum tensor, and the energy-momentum tensors of fermions with opposite chiralities are different.
One can suspect therefore that at some stage differences might emerge between fermions with opposite chiralities in their interaction with gravity. A privileged place where such differences may show up are the anomalies. And in this case the candidate is the trace anomaly, because it involves precisely the coupling between the metric and the energy-momentum tensor. The difficulty is how to make this difference emerge. As will be argued below, one should be careful to preserve the definite fermion chirality throughout the calculation. There is no direct way to do it, basically because the Dirac operator for a Weyl fermion contains a chiral projector. Therefore one has to resort to some indirect method. Like in many other cases in physics, the best way to avoid similar problems is to embed the system in a larger setup containing more variables and/or parameters. The metric-axial-tensor (MAT) gravity is designed to do this. It is formulated for Dirac fermions coupled to the usual metric and to an axial symmetric tensor. In this case the operator involved is the usual Dirac operator. The situation appropriate for Weyl fermions is recovered in a specific limit, the collapsing limit.
As mentioned above, MAT has already been introduced and used to compute the odd-parity trace anomaly in [1]. There the approach was perturbative, we calculated the Feynman diagrams at the lowest significant order. What we want to do in this paper is to show that the same result can be obtained non-perturbatively, by means of the heat kernel method and using different regularizations. Hereafter is a qualitative, but more detailed, presentation of both the problem we wish to solve and the method we use.
1.1 Split and non-split anomalies
A basic differentiation between anomalies in fermionic field theories is the separation between split and non-split anomalies. Split anomalies have an opposite sign for opposite fermion chiralities. Non-split anomalies have the same sign for opposite chiralities. An example of the first are the consistent chiral gauge or gravity anomalies. They may of course arise only in the presence of chiral asymmetry. These anomalies undermine the consistency of theories in which they are present, and, as a consequence, they have been used as an exclusion criterion. An example of non-split anomalies are the covariant gauge or gravity anomalies, such as the Kimura–Delbourgo–Salam anomaly or the anomaly that is utilized to explain the decay of a \({\pi }^0\) into two \(\gamma \)’s. But the examples are manifold. In the family of trace anomalies, the even ones are non-split, while the odd trace anomaly, which is the main character of this paper, is split.
Split and non-split anomalies differ also for the difficulties one comes across when computing them. While there are several tested techniques to compute non-split anomalies, the calculation of the split ones is rather non-trivial. In many of the latter cases one may avail oneself of such a powerful tool as the family index theorem (for instance for consistent gauge and gravity anomalies). But, like for the odd trace anomaly, this is not always so, and, in any case, it is important to be able to derive such anomalies with independent field-theoretical methods. If one resorts to path integral methods, one has to integrate out the fermion field(s), in which case the origin of the difficulties resides in the functional measure. As discussed in [1], a basic ingredient for the calculation is the functional integration measure which, for chiral fermions, is not well-defined. On the other hand, to get the correct result, it is imperative to preserve throughout the calculation the information that the fermion field, which is being integrated out, has a definite chirality. One is then obliged to either use indirect methods or to elude a direct intrusion of the functional measure in the calculation. The second alternative refers to the use of Feynman diagrams, in which case the chirality of fermions is preserved by vertices containing the appropriate chiral projector. This is the method employed in [1,2,3] together with dimensional regularization. In the present paper however, we focus on an indirect method of calculation, first used by Bardeen, [4], for chiral gauge anomalies. He considered a theory of Dirac fermions coupled to two external non-Abelian (vector \(V_\mu \) and axial \(A_\mu \)) gauge potentials. Clearly this poses no problems from the point of view of the functional measure and the derivation of the anomaly goes through without difficulties. Eventually one takes the collapsing limit \(V\rightarrow \frac{V}{2}\) and \(A\rightarrow \frac{V}{2}\) and verifies that, in such a limit, the anomaly becomes the desired consistent gauge anomaly. For the sake of clarity we present a summary of this derivation in Appendix A.
This approach has already been introduced and applied in [1] for the odd trace anomaly. To this end we introduced there a modification of ordinary gravity, the metric-axial-tensor (MAT) gravity: beside the usual metric \(g_{\mu \nu }\) we introduced an axial symmetric 2-tensor \(f_{\mu \nu }\), and coupled it to a Dirac fermion. Then we computed the trace of the energy-momentum tensor and of its axial companion and, eventually, we took the limit \(g\rightarrow \frac{g}{2}\) and \(f\rightarrow \frac{g}{2}\) and obtained the desired result. The limit of that derivation is that it relies on Feynman diagram techniques, and, so, it is perturbative. In fact we calculated only the lowest order of the odd trace anomaly and then covariantized it. This is of course permitted provided we are sure that there are no anomalies of the diffeomorphisms. With a MAT background this verification is exceedingly complicated and in [1] we did not do it and contented ourselves with an analogous but simpler verification carried out in [3]. It is clear that to prevent any objection we have to guarantee that diffeomorphisms are respected throughout the derivation. This can be done with DeWitt’s method, [5, 6]. This method is based on point-splitting. Therefore one needs a regularization in order to get rid of divergences, but the point-splitting is along a geodesic, thus guaranteeing covariance under diffeomorphisms. Our aim here is to combine DeWitt’s with Bardeen’s method. This requires a formulation of MAT more accurate than in [1]. For this reason the anomaly calculation proper needs to be preceded by a long introduction on the so-called hypercomplex calculus, which is the appropriate framework for MAT gravity.
Organization of the paper Section 2 is a short introduction of axial-complex numbers and axial-complex analysis. In Sect. 3 we deal with the axial-complex analysis of geodesics in an axial-complex space. We introduce normal coordinates, define the world function and the coincidence limit (i.e. the limit for vanishing geodetic distance), the VVM determinant and the parallel displacement matrix for tensors and for spinors. The (pseudo)Riemannian geometry of an axial-complex space was already introduced in [1]. To help the reader, it is presented anew in Appendix B in a partially renovated notation, which seems to us more practical. In Sect. 4 we introduce the theory of Dirac fermions in a MAT background, we define the relevant energy-momentum tensors (they are two, the ordinary one and its axial companion) and analyse their classical Ward identities with respect to ordinary and axial diffeormorphisms and Weyl transformations. We also define the ‘square’ of the Dirac operator, which is crucial for the application of the Schwinger-DeWitt method. In Sect. 5 we explain this method and compute the relevant heat kernel coefficients. In Sect. 6 we apply these results to the non-perturbative computation of the (odd) trace anomalies of the two em tensors with two different regularization, the dimensional and \(\zeta \)-function ones. Then we compute the collapsing limit and show that the two anomalies collapse to a single one and take the form of the odd trace anomaly already computed in [2, 3] and [1], as expected. Section 7 is devoted to our conclusions. Appendix A is a summary of Bardeen’s method. Appendix C contains a short account of fermion propagators in a MAT background.
Overview of the literature There exists a vast literature on even trace anomalies in 4d, mostly old [7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32] but also recent [33,34,35], denoting a renewed interest in the subject. The literature on the odd parity trace anomaly in 4d (still in a settling phase) consists of [1,2,3, 36,37,38,39,40]. Textbooks on anomalies are [41,42,43]. Aspects of split and non-split anomalies, which are relevant to this paper, were discussed in [44, 45]. A regularization, not used in this paper, but which would be interesting to explore is the one introduced in [46]. Hypercomplex analysis in physical problems was introduced and used in [47,48,49,50,51,52,53].
2 Axial-complex analysis
Axial-complex numbers are defined by
where \(a_1\) and \(a_2\) are real numbers. Arithmetic is defined in the obvious way. We can define a conjugation operator
We will denote by \({{{\mathcal {A}}}}{{{\mathcal {C}}}}\) the set axial-complex numbers, by \({{{\mathcal {A}}}}{{{\mathcal {R}}}}\) the set of axial-complex numbers with \(a_2=0\) (the axial-real numbers) and by \({{{\mathcal {A}}}}{{{\mathcal {I}}}}\) the set of axial-complex numbers with \(a_1=0\) (the axial-imaginary numbers). We can define a (pseudo)norm
This determines an axial-light-cone with all the related problems. In general, whenever possible, we will keep away from it by considering the case \(|a_1| >|a_2|\). Alternatively we will use an axial-Wick-rotation (analogous to the Wick rotation for the Minkowski spacetime light-cone) \(a_2 \rightarrow i a_2\). Whenever we resort to it explicit mention will be made.
Introducing the chiral projectors \(P_\pm =\frac{1\pm \gamma _5}{2}\), we can also write
We will consider functions \({\hat{f}}({\hat{x}})\) of the axial-complex variable
from \({{{\mathcal {A}}}}{{{\mathcal {C}}}}\) to \({{{\mathcal {A}}}}{{{\mathcal {C}}}}\), which are axial-analytic, i.e. admit a Taylor expansion, and actually identify the functions with their expansions. Using the property of the projectors it is easy to see that
In the same way we will consider functions from \({{{\mathcal {A}}}}{{{\mathcal {C}}}}^4\) to \({{{\mathcal {A}}}}{{{\mathcal {C}}}}\), with analogous properties.
with \(\mu =0,1,2,3\), and
are the axial-complex coordinates.
Axial-complex numbers and analysis are a particular case of pseudo-complex or hyper-complex numbers and analysis, [47, 48].
Derivatives are defined in the obvious way:
Notice that for axial-analytic functions
whereas \(\frac{\partial }{\partial {\overline{{\hat{x}}}}}{\widehat{f}}({\hat{x}})=0\).
As for integrals, since we will always have to do with rapidly decreasing functions at infinity, we define
as the rapidly decreasing primitive \({\widehat{g}}({\hat{x}})\) of \({\widehat{f}}({\hat{x}})\). Therefore the property
follows immediately. As a consequence of (10) it follows that, for an axial-analytic function,
and we can define definite integrals such as
In this axial-spacetime we introduce an axial-Riemannian geometry as follows. Starting from a metric \({\widehat{g}}_{\mu \nu } = g_{\mu \nu }+\gamma _5 f_{\mu \nu }\), the Christoffel symbols (see Appendix B) are defined by
They split as follows
and are such that the metricity condition is satisfied
which, in \({{{\mathcal {A}}}}{{{\mathcal {R}}}}^4\), takes the form
3 MAT geodesics
Let us set
The equation for MAT geodesics is
where a dot denotes derivation with respect to an axial-affine parameter \(t=t_1+\gamma _5 t_2\). For axial-real and axial-imaginary components this means
These geodesic equations can be obtained as equations of motion from the action
where \({\widehat{g}}_{\mu \nu } = g_{\mu \nu }+ \gamma _5 f_{\mu \nu }\).
The action takes values in \({{{\mathcal {A}}}}{{{\mathcal {C}}}}\). For instance, setting the proper time \({\hat{\tau }}=\tau _1+\gamma _5\tau _2\),
But unlike [47, 48] we require the action principle to be specified by \(\delta {\widehat{S}}[{{\widehat{x}}}]=0\).
Taking the variation of \(S[{{\widehat{x}}}]\) with respect to \(\delta {\widehat{x}} = \delta x_1 + \gamma _5 \delta x_2\), with
we get the eom
Let us rewrite
so that we have
Varying this action with respect to \(\delta x^\lambda \) we obtain the same eom (26). This is due to (12) and to the fact that, the action is an analytic function of \({\widehat{x}}\), so that the variation with respect to \(\delta {\widehat{x}}^\lambda \) is the same as the variation of \(\delta x_1^\lambda \).
Eventually we will set \(x_2=0\) everywhere, but it is very convenient to keep the axial-analytic notation as far as possible.
3.1 Geodetic interval and distance
The quantity
is conserved as a function of \({\hat{t}}\). Since \({\widehat{g}}_{\mu \nu } \dot{{\widehat{x}}}^\mu \dot{{\widehat{x}}}^\nu \) is constant for geodesics, we can write for the arc length parameter \({\widehat{s}}\)
and
\({{\widehat{s}} - {\widehat{s}}'}\) is the axial arc length along the geodesic between \({\widehat{x}}\) and \({\widehat{x}}'\). The half square of it is called the world function and it is denoted
The main properties are
\({\widehat{y}}^\mu \) are the normal coordinates based at \({\widehat{x}}\). Using (32,33) one can see that
The subscript \(_{;\mu }\) means the covariant derivative with respect to \({\widehat{x}}^\mu \), while \(_{;\mu '}\) means the covariant derivative with respect to \({{\widehat{x}}'}{}^{\mu '}\).
Remark 1
\({\widehat{\sigma }} = \sigma _1+\gamma _5 \sigma _2\), but notice that, even when we set \(x_2=0\), we cannot infer that \(\sigma _2=0\). This descends from Eq. (30). Looking at (28), we see that B does not vanish even when \(x_2^\nu =0\). As a consequence the axial-imaginary part of (27) does not vanish, so the axial-imaginary part of Eq. (30) will not automatically vanish either.
3.2 Normal coordinates
Normal coordinates can be defined based at x or at \(x'\):
and
The tangent vector \(\frac{d {\widehat{x}}^{\mu }}{d{\hat{t}}}\) to the geodesic at \({\hat{x}}\) satisfies
and an analogous equation at \({\hat{x}}'\). Now we can write
Dividing by \({\hat{t}}-{\hat{t}}'\) the second and fourth terms and taking the coincidence limit \({\widehat{x}}'\rightarrow {\widehat{x}}\), one gets
where [X] denotes the result of the coincidence limit on the quantity X. In a similar way one can prove
From (38) we get
In a similar way one derives also
For instance, differentiating (44) with respect to \({\widehat{x}}^{\lambda '}\), one gets
taking the coincidence limit, and using (40), one finds an identity, because \([{\widehat{y}}^{\mu '}]=0\). Differentiating another time with respect to \({\widehat{x}}^{\rho '}\) one gets
Differentiating again with respect to \({\widehat{x}}^{\tau '}\) and using the Bianchi identity for \({\widehat{R}}^\mu {}_{\lambda \rho \tau }=R^{(1)\mu }{}_{\lambda \rho \tau }+\gamma _5 R^{(2)\mu }{}_{\lambda \rho \tau } \), one finds
and, in a similar way,
and
3.3 Coincidence limits of \({\widehat{\sigma }}\)
Covariantly differentiating (34) we get
In the coincidence limit \([{\widehat{\sigma }}_{;\nu }]=0\). Therefore (51) is trivial in the coincidence limit. Differentiating the first and last member of (33) we get
Using (41) one gets
Similarly
Differentiating (51) once more one gets
which, in the coincidence limit, using the previous results, yields an identity. Differentiating it again
In the coincidence limit this becomes
Since \({\widehat{\sigma }}\) is a biscalar we have
Therefore
Differentiating (55) once more and taking the coincidence limit one gets
where \({\widehat{R}}_{\nu \tau \lambda \rho }= {\widehat{g}}_{\nu \mu } {\widehat{R}}^\mu {}_{\tau \lambda \rho }\). Differentiating once more
We will need also the coincidence limits of tensors covariantly differentiated with respect to a primed index \(\nu '\). In general
So
and
Similarly, one obtains
3.4 Van Vleck-Morette determinant
The Van Vleck-Morette determinant in MAT is defined by
\({\widehat{D}}({\widehat{x}},{\widehat{x}}')\) is a bidensity of weight 1 both at \({\widehat{x}}\) and \({\widehat{x}}'\). Later on we will need a bidensity of weight 0:
The VVM determinant also satisfies (for 4 dimensions)
In the coincidence limit
We need to compute the covariant derivatives of \({{\widehat{\sigma }}}^{-1}{}^{\mu \nu '}\equiv \{{\widehat{\sigma }}^{-1}_{;\mu \nu '}\}\). The latter is defined as
Differentiating this relation once, twice and thrice one gets
and
Differentiating once more one gets
and
Finally
3.5 The geodetic parallel displacement matrix
The geodetic parallel displacement matrix \({\widehat{G}}^\mu {}_{\nu '}({\widehat{x}},{\widehat{x}}')\) is needed in order to parallel displace vectors from one end to the other of the geodetic interval. It is defined by
The second condition means that the covariant derivative of \({\widehat{G}}^\mu {}_{\nu '}\) vanishes in directions parallel to the geodesic. Since tangents to the geodesics are self-parallel, it follows that
The analogous parallel displacement for spinors is denoted \(I(x,x')\): the object \(I(x,x')\psi (x')\) is the spinor \(\psi (x)\) obtained by parallel displacement of \(\psi (x')\) along the geodesic from \(x'\) to x. It is a bispinor quantity satisfying
and \(\mathbf{1}\) is the identity matrix in the spinor space. Differentiating (78) once we get \([{\widehat{I}}_{;\mu }]=0\). Differentiating twice we get
while
where \(\widehat{{{\mathcal {R}}}}_{\mu \nu }= {{\widehat{R}}}_{\mu \nu }{}^{ab} \Sigma _{ab}\). So
Proceeding with the differentiations of (78) we find
Now
and
In particular
Differentiating (78) once more with respect to \(x^\sigma \), using (59) and then contracting with \({\widehat{g}}^{\nu \lambda } {\widehat{g}}^{\sigma \rho }\) we find, after simplifying,
A contraction with \({\widehat{g}}^{\nu \sigma } {\widehat{g}}^{\lambda \rho }\) gives:
Using (80), we get
Contracting with \({\widehat{g}}^{\mu \sigma } {\widehat{g}}^{\nu \rho }\) gives
since by Walker’s identity
Finally, by using (86), (87), one gets
4 Fermions in MAT background
The action of a fermion interacting with a metric and an axial tensor is
It must be noticed that this action takes axial-real values.Footnote 1 The field \(\psi ({\widehat{x}})\) can be understood, classically, as a series of powers of \({\widehat{x}}\) applied to constant spinors on their right and the symmetry transformations act on it from the left. The analogous definitions for \(\psi ^\dagger \) are obtained via hermitean conjugation. In the second line it is stressed that the action contains also an axial part. It is understood that \(\partial _\mu =\frac{\partial }{\partial {\widehat{x}}^\mu }\) applies only to \(\psi \) or \({\overline{\psi }}\), as indicated, and \(\overline{{\widehat{g}}}\) denotes, as usual, the axial-complex conjugate of \({\widehat{g}}\).
A few comments are in order. As was explained in [1], the density \(\sqrt{\overline{{\widehat{g}}}}\) must be inserted between \({\overline{\psi }}\) and \(\psi \), due to the presence in it of the \(\gamma _5\) matrix. Moreover one has to take into account that the kinetic operator contains a \(\gamma \) matrix that anticommutes with \(\gamma _5\). Thus, for instance, using \({{\widehat{D}}}_\lambda {\widehat{g}}_{\mu \nu }=0\) and \(({{\widehat{D}}}_\lambda +\frac{1}{2} {\widehat{\Omega }}_\lambda ) {\widehat{e}}=0\), where \({{\widehat{D}}}=\partial +{\widehat{\Gamma }}\), one gets
We recall again that a bar denotes axial-complex conjugation, i.e. a sign reversal in front of each \(\gamma _5\) contained in the expression, for instance \( \overline{{\widehat{\Omega }}}_\mu = \Omega _\mu ^{(1)}-\gamma _5 \Omega _\mu ^{(2)}\).
To obtain the two last lines in (92) one must use (253) and (93).
4.1 Classical Ward identities
Let us consider AE (axially extended) diffeomorphisms first, (232). It is not hard to prove that the action (92) is invariant under these transformations. Now, define the full MAT e.m. tensor by means of
This formula needs a comment, since \(\sqrt{{\widehat{g}}}\) contains \(\gamma _5\). To give a meaning to it we understand that the operator \(\frac{2}{\sqrt{{\widehat{g}}}} \frac{{\mathop {\delta }\limits ^{\leftarrow }} }{\delta {\widehat{g}}_{\mu \nu }}\) in the RHS acts on the operatorial expression, say \({{{\mathcal {O}}}}{\sqrt{{\widehat{g}}}}\), which is inside the scalar product \({\overline{\psi }} {{{\mathcal {O}}}}\sqrt{{\widehat{g}}} \psi \). Moreover the functional derivative acts from the right of the action. Now the conservation law under diffeomorphisms is
where \({{\widehat{D}}}\) acts (from the right) on everything except the parameter \({\widehat{\xi }}_\nu \). Differentiating with respect to the arbitrary parameters \(\xi ^\mu \) and \(\zeta ^\nu \) we obtain two conservation laws involving the two tensors
To give a less abstract idea of these tensors, at the lowest order (flat background) and setting \(x_2^\mu =0\), they are given by
and
Repeating the same derivation for the axial complex Weyl transformation one can prove that, assuming for the fermion field the transformation rule
(92) is invariant, and obtain the Ward identity
One gets in this way two WI’s
4.2 A more precise formula for the e.m. tensor
In our calculation a more explicit formula of the e.m. tensor is needed. The e.m. tensor is defined by
where
Let us prove first that the functional derivative of \({\widehat{\Omega }}_m\) does not contribute to the e.m. tensor. Consider the general variational formula
where \({\widehat{\nabla }}\) denotes the covariant derivative such that \({\widehat{\nabla }}_\mu {\widehat{e}}^a_\lambda =0\). After some algebra one gets
Now use this and
and insert them into the definition (104). The relevant contribution is
Therefore the only contribution to the em tensor comes from the variation of the first \({\widehat{e}}^m_a \) factor in (92). The result is
where \({\widehat{\gamma }}^\lambda = \gamma ^a {\widehat{e}}^\lambda _a\).
It is useful to write it as a trace
where \(\eta \equiv \gamma _0\), the flat gamma matrix. The commutator is interpreted as
Inserting (110) in the path integral it becomes
where \({\widehat{\mathcal {S}}}^{(1)}\) is the Hadamard function
This leads to Christensen’s method [14, 15], to compute the energy-momentum tensor and related quantities, such as trace anomalies. We will not pursue this point of view here although it could be done. It is in fact strictly connected with the main approach we will follow later on, which we consider simpler. They are both based on fermion propagators such as \({\widehat{\mathcal {S}}}^{(1)} (x,x')\). A discussion of fermion propagators and their properties in a MAT background is presented in Appendix C.
4.3 The Dirac operator and its inverse
In the action (92) the Dirac operator is
where the \({\widehat{\nabla }}\) operator is, schematically, \({\widehat{D}}+ \frac{1}{2} {\widehat{\Omega }}\) and satisfies \({\widehat{\nabla }}_\mu {\widehat{e}}^a_\nu =0\).
Under AE diffeomorphisms \(\psi \) transforms as: \(\delta _{{\hat{\xi }}} \psi = {\widehat{\xi }} \!\cdot \! \partial \psi \), while
Under AE Weyl transformation \({\widehat{F}}\) transform as
and it has the following hermiticity property
where \(\eta =\gamma _0\) and \(\gamma _0\) is the nondynamical (flat) gamma matrix. To obtain (117) use \({\widehat{\Omega }} ^\dagger = - \eta \overline{ {\widehat{\Omega }}}^\dagger \eta \), etc.
Integrating out the fermion field in (92) means, roughly speaking, evaluating the determinant of the Dirac operator \({\widehat{F}}\). This is however not what we need. First, because the log of the determinant is formally the trace of the log of \({\widehat{F}}\); taking this trace means integrating over spacetime and tracing over the gamma matrices: this would suppress any explicit \(\gamma _5\) dependence and, thus, any axial splitting. Second, because \({\widehat{F}}\) is local, while, in order to exploit a coincidence limit (in order to guarantee covariance), we need a bilocal quantity. This quantity exists, it is the inverse of \({\widehat{F}}\): the fermion propagator. The Schwinger-DeWitt method is based on it. Let us explain this approach, adapting it to MAT.
One starts from
which satisfies
where \(\mathbf{1}\) is the unit matrix in the spinor space. \({\widehat{G}}\) is not yet what we need. The Schwinger-DeWitt method requires a quadratic operator and, in addition, we must get rid of the \(\gamma \) matrices, except \(\gamma _5\). This is achieved with the ansatz
Remark 2
Why the ansatz (120)
In ordinary gravity, from the diff invariance of the fermion action, we can extract the transformation rule
while \(\delta _\xi \psi =\xi \!\cdot \! \partial \psi \). Therefore it makes sense to apply \( \gamma \!\cdot \! \nabla \) to \( \gamma \!\cdot \! \nabla \psi \), because the latter transforms as \(\psi \). This allows us to define the square of the Dirac operator:
It is not possible to repeat the same thing for MAT because of (115), from which we see that \(\left( i{\widehat{\gamma }}\!\cdot \!{\widehat{\nabla }} \psi \right) \) does not transform like \(\psi \), and an expression like \( \left( i{\widehat{\gamma }}\!\cdot \!{\widehat{\nabla }}\right) ^2 \psi \) would break general covariance. Noting that
when \(\delta _{\overline{{\widehat{\xi }}}}\psi = \overline{{\widehat{\xi }}} \!\cdot \! \partial \psi \), we will consider instead the covariant quadratic operator
Let us quote next a few useful identities.
because of metricity, and
The axial conjugate relation holds as well. Therefore
On the other hand, when acting on a (bi-)spinor quantity
where use is made of
Now replacing (120) into (119) and using the above we get
The differential operator acting on \(\overline{{\widehat{\mathcal {G}}}}\) will be denoted by \(\overline{{\widehat{\mathcal {F}}}}_{{\hat{g}}}\). In compact operator notation
with \(\langle {\widehat{x}}|{\widehat{\mathcal {G}}}_{{\hat{g}}}| {\widehat{x}}'\rangle = \overline{{\widehat{\mathcal {G}}}}_{{\hat{g}}}( {\widehat{x}}, {\widehat{x}}')\).
As a consequence of (117) we have
or
We shall refer often to the related operator
and to its inverse \({\widehat{\mathcal {G}}}\): \({\widehat{\mathcal {F}}} {\widehat{\mathcal {G}}}=-\mathbf{1}\).
Remark 3
The operator \({\widehat{\mathcal {F}}}\) is the main intermediate result of our paper. It is natural to assume that its inverse \({\widehat{\mathcal {G}}}\) exists. There is no reason to believe that it does not, because, the differential operator \({\widehat{\mathcal {F}}}\) (after a Wick rotation) can be defined as an axial-elliptic operator, at least under reasonable conditions on the axial tensor \(f_{\mu \nu }\). In fact its quadratic part can be cast in the form \(-\partial _i A_{ij}(x) \partial _j\), where \(A_{ij}\) is an invertible matrix and its dominating part is symmetric and positive definite. However, no doubt, it would be desirable to have a mathematical (possibly constructive) proof of the existence of \({\widehat{\mathcal {G}}}\) . In Appendix C we discuss this issue and, following [5], we give some arguments in this direction.
5 The Schwinger proper time method
From now on, for practical reasons, we drop the bar symbol of axial conjugation. At the end we will axially-conjugate the result.
Let us define the amplitude
which satisfies the (heat kernel) differential equation
where \({\widehat{\mathcal {F}}}_{{\hat{x}}}\) is the differential operator
Then we make the ansatz
where \({\widehat{D}}({\widehat{x}},{\widehat{x}}')\) is the VVM determinant and \({\widehat{\sigma }}\) is the world function (see above). \({\widehat{\Phi }}({\widehat{x}},{\widehat{x}}',{\widehat{s}})\) is a function to be determined. It is useful to introduce also the mass parameter m, which we will eventually set to zero. In the limit \({\widehat{s}}\rightarrow 0\) the RHS of (138) becomes the definition of a delta function multiplied by \({\widehat{\Phi }}\). More precisely, since it must be \(\langle {\widehat{x}},0|{\widehat{x}}',0\rangle =\delta ({\widehat{x}},{\widehat{x}}')\), and
we must have
Equation (136) becomes an equation for \({\widehat{\Phi }}({\widehat{x}},{\widehat{x}}',{\widehat{s}})\). Using (34) and (68), after some algebra one gets
Now we expand
with the boundary condition \([{\widehat{a}}_0]=1\). The \({\widehat{a}}_n\) must satisfy the recursive relations:
Using these relations and the coincidence results of Sects. 3.3, 3.4 and 3.5, it is possible to compute each coefficient \(a_n\) at the coincidence limit.
5.1 Computing \({\widehat{a}}_n\)
In this subsection we wish to compute \( {[{\widehat{a}}_1]}\) and \( {[{\widehat{a}}_2]}\), which will be needed later on. We start from (143) for \(n=-1\).:
which implies that
Replacing this inside (143) for \(n=0\) one gets
which implies
Moreover differentiating (146) with respect to \(\nabla _\lambda \) and taking the coincidence limit:
so
Next we have
so that
Finally
We recall that \(\widehat{{{\mathcal {R}}}}_{\mu \nu }= {{\widehat{R}}}_{\mu \nu }{}^{ab} \Sigma _{ab}\).
6 The odd trace anomaly
We are now ready to compute that odd parity trace anomaly. Beside the point-splitting, which we have used above, we need a regulator to get rid of the infinities at coincident point. We will use two regularizations: the dimensional and zeta function ones.
6.1 Schwinger-DeWitt and dimensional regularization
We start again from the Dirac operator (114). We have defined above the covariant square
We identify the effective action for Dirac fermions with
\(\mathrm{Tr}\) includes also the spacetime integration. The AE Weyl variation of (153) is given by
where
So we can write
It follows that, as far as the variation with respect to axial-Weyl transform is concerned, the effective action can be represented as
where \({\widehat{L}}\) is the relevant effective action
which can be written as
where the kernel \({\widehat{K}}\) is defined by
Inserted in \(\delta _{{\hat{\omega }}}{\widehat{W}}\), under the symbol \(\mathrm{Tr}\), it means integrating over x after taking the limit \(x'\rightarrow x\). So, looking at (138), in dimension d,
A specification is in order at this point. For the heat kernel method to work a Riemannian metric is required. Therefore at this stage we Wick-rotate the metric, so that the operator \(\widehat{\mathcal {F}}\) becomes axial-elliptic. This operation is understood from now on. After calculating the anomaly we will return to the Lorentz signature.
6.2 Analytic continuation in d
The purpose now is to analytically continue in d. But we can do this only for dimensionless quantities. We therefore multiply \({\widehat{L}}\) by \(\mu ^{-d}\), where \(\mu \) is a mass parameter. We have for a Dirac fermion
where \(\mathrm{tr}\) denotes the trace over gamma matrices.
Now we make the assumption that
As a consequence we can integrate by parts
Next we use
and, around \(d=2\), we use \(\frac{1}{d(2-d)} = \frac{1}{2} \left( \frac{1}{d-2}- \frac{1}{d}\right) \) and in the third line of (164) we use
Then we differentiate once \( [{\widehat{\Phi }}({\widehat{x}},{\widehat{x}},{\widehat{s}})]\), and the remaining derivation we get rid of by integrating by parts. Finally one gets
Around \(d=4\) we use \(\frac{1}{d(d-2)(d-4)}\approx \frac{1}{8} \left( \frac{1}{d-4} -\frac{3}{4}\right) \). With reference to the last line of (164), we differentiate twice \( [{\widehat{\Phi }}(x,x,s)]\) and integrate by parts the third derivative. The result is
The last line depends explicitly on the parameter \(\mu \) and represent a nonlocal part
6.3 The anomaly
Let us take the variation of (167) with respect to \({\widehat{\omega }}= \omega +\gamma _5 \eta \).
Recall that
From these follows, for instance,
and
In the first line of (167) one can ignore \(m^2\) or \(m^4\) terms (either one sets \(m=0\) or they can be subtracted because they are trivial). The second line (167) does not contain singularities when \(d\rightarrow 4\): it contains either vanishing or finite terms in this limit. Let us denote the second line by \({\widehat{L}}_R\).
We now act with \(\delta _{{\widehat{\omega }}} = \int d^d{\widehat{x}} \, 2 \mathrm{tr}\left( {\widehat{\omega }}\,{\widehat{g}}_{\mu \nu } {\frac{\delta }{\delta {{\widehat{g}}_{\mu \nu }}}}\right) \)Footnote 2
From (168)–(172) it follows that
The second piece can be canceled e.g. by a counterterm proportional to \(\mathrm{tr}\left( \sqrt{{\widehat{g}}}{\widehat{R}}^2 \right) \). Using the fact that the bare part of the action is Weyl invariant \(\delta _{{\widehat{\omega }}} {\widehat{L}} = 0\) and that the renormalised part \({\widehat{L}}_R\) defines the (quantum) energy momentum tensor \(\frac{2}{\sqrt{{\widehat{g}}}}\frac{\delta }{\delta {{\widehat{g}}_{\mu \nu }}} {\widehat{L}}_R = {\widehat{\Theta }}^{\mu \nu }\) we get
where the \(d-4\) factor in (176) canceled the pole \(\frac{1}{d-4}\) in (175).
Clearly, the odd parity anomaly can come only from the term \(\widehat{{{\mathcal {R}}}}_{\mu \nu }\widehat{{{\mathcal {R}}}}^{\mu \nu }\) contained in \( {[{\widehat{a}}_2]}\) , with a coefficient of \(\frac{1}{32\pi ^2}\) (for Majorana fermions, \(\times 2\) for Dirac fermions). For the odd part we have
where we denoted \({\widehat{\mathcal {T}}} = {\widehat{g}}_{\mu \nu } {\widehat{\Theta }}^{\mu \nu } = {\widehat{g}}_{\mu \nu } \langle \!\langle {\widehat{T}}^{\mu \nu }\rangle \!\rangle \).
The (odd parity) coefficient of \(\omega \) defines \(\mathcal {T}\) and the (odd parity) coefficient of \(\eta \) defines \(\mathcal {T}_5\). Setting \({\widehat{\mathcal {T}}} = \mathcal {T}+ \gamma _5 \mathcal {T}_5\) one obtains in this way
and
In the last step we have Wick-rotated back the result: this is the origin of the i in the anomaly coefficient. At this point we can safely set \(x_2^\mu =0\) everywhere.
6.4 \(\zeta \)-function regularization
Given a differential operator A in analogy with the Riemann \(\zeta \) function, the expression \(A^{-z}\), for complex z, is called \(\zeta \) function regularization of A:
We will apply this representation to the operator \({\widehat{\mathcal {F}}}({\widehat{x}},{\widehat{x}})\), :
where \( \langle {\widehat{x}}|e^{-t {\widehat{\mathcal {F}}}}|{\widehat{x}}\rangle \) means the coincidence limit of \( \langle {\widehat{x}}|e^{-t {\widehat{\mathcal {F}}}}|{\widehat{x}}'\rangle \). Equation (182) is not quite correct because only dimensionless quantities can be raised to an arbitrary power. Moreover the object of interest will be \({\widehat{\mathcal {G}}}\), rather than \({\widehat{\mathcal {F}}}\). Thus we introduce again the mass parameter \(\mu \) and shift from t to \(i{\widehat{s}}\mu \).
Finally we replace \(\langle {\widehat{x}}|e^{i{\widehat{s}} {\widehat{\mathcal {F}}}}|{\widehat{x}}\rangle \) with \({\widehat{K}}({\widehat{x}},{\widehat{x}},{\widehat{s}})\) in Eq. (161). The result is
which can be rewritten as
This is well defined for \(d=4\) at \(z=0\).
Now, differentiating (181) with respect to z and evaluating at \(z=0\), we get formally
This suggest the procedure to regularize \({\widehat{W}}\) (which is the trace of a log). More precisely
As a consequence for \(d=4\):
Now, suppose that the operator A, under a symmetry transformation with parameter \(\epsilon \), transforms as
Then
Since the relevant result is obtained by differentiating with respect to z and setting \(z=0\), once the functional is regularized, the anomalous part of the effective action is extremely easy to derive:
Let us return to the our problem. The operator to be regulated is \({{\widehat{\mathcal {F}}}}= {\widehat{\mathcal {F}}}_{{\hat{x}}}\). Its AE Weyl transformation is
\({\widehat{\mathcal {G}}}({\widehat{x}},{\widehat{x}})\) is the inverse of \({\widehat{\mathcal {F}}}\) and its transformation is similar:
The first piece in the RHS reproduces exactly the mechanism in (191). The second is a nonlocal term of the effective action; it does not concern us here and we drop it. As noticed above this procedure does not lead directly to the anomaly. It rather gives the anomalous part of the effective action, i.e. the anomaly integrated with the insertion of \({\sqrt{{\widehat{g}}}}\):
Now, proceeding as before, we differentiate with respect to \({\widehat{\omega }}\) and strip off \({\sqrt{{\widehat{g}}}}\), multiply back \({\widehat{\omega }}\) and obtain the true integrated anomaly. This leads to the same results as above.
6.5 The collapsing limit
After computing the trace anomalies (179) and (180) of a Dirac fermion coupled to a metric and an axial symmetric tensor, we are now interested in returning to the original problem, that is the trace anomaly of a Weyl tensor in an chiral fermion theory coupled to ordinary gravity. To this end we take the collapsing limit. In [1] the latter was defined as \(h_{\mu \nu }\rightarrow \frac{h_{\mu \nu }}{2},k_{\mu \nu } \rightarrow \frac{h_{\mu \nu }}{2}\), with \(h_{\mu \nu }\) and \(k_{\mu \nu }\) both infinitesimal. Here we do not put such a limitation. The collapsing limit is defined by making the replacements
in the previous formulas, with finite \(h_{\mu \nu }\). With this choice one has
From this we see that the left-handed part couples to the flat metric, while the right-handed part couples to the (generic) metric \(G_{\mu \nu }\). As a consequence we have also
as well as
Similarly for the Christoffel symbols
for the spin connections
and for the curvatures
where all the quantities on the RHS of these limits are built with the metric \(G_{\mu \nu }\).
As a consequence, the action (92) becomes
where \(\gamma ^a\) is the flat (non-dynamical) gamma matrix while the vierbein \(e_a^\mu \) and the connection \(\omega _\mu \) are compatible with the metric \(G_{\mu \nu }\). Up to the term that represents a decoupled left-handed fermion in the flat spacetime, the action \(S'\) is the action of a right-handed Weyl fermion coupled to the ordinary gravity.
In the collapsing limit we have
The integrated anomaly (178) corresponding to \({\widehat{S}}\) thus becomes
where we used \(\mathrm{tr}P_+=2\), \(\mathcal {T}-\mathcal {T}_5=0\) and set \(\omega _+= \omega +\eta \). Notice that due to (195) the transformation property of \(G_{\mu \nu }\) is \( G_{\mu \nu } \rightarrow e^{2\omega _+} G_{\mu \nu }\). To extract an anomaly of the right fermion of the effective action corresponding to (201) we take its Weyl variation with respect to the metric \(G_{\mu \nu }\)
where we denoted \(\mathcal {T}'=G_{\mu \nu }\Theta ^{'\mu \nu }=G_{\mu \nu }\langle \!\langle T^{'\mu \nu }\rangle \!\rangle \).
Comparing (203) and (204) we get
If we instead of (194) take the following collapsing limit
then one obtains
Now the right handed part is coupled to the flat metric and left handed part to generic curved metric. We can now repeat the arguments from above and obtain the Pontryagin Weyl anomaly for left-hended Weyl fermion
The relative minus sign with respect to right-handed case is because of the opposite sign in front of \(\gamma _5\) matrix in the defining relation for projectors \(P_\pm \).
7 Conclusion
In [2] the odd parity (Pontryagin) trace anomaly was calculated using a Feynman diagram approach coupled to dimensional regularization. Only the lowest order diagrams were computed, they allowed to identify the lowest order term of the anomaly. The full anomaly was then reconstructed by covariantization, which is correct if the diffeomorphisms are preserved by the regularization procedure. This turned out to be the case, as was shown in [3]. After these two papers a negative result was obtained in [37]. Using a heat kernel method with a Pauli–Villars regularization the authors found a vanishing odd parity trace anomaly in 4d. At this point it was imperative to find the culprit. In [2, 3] the approach may appear too simple-minded, because only two Feynman three-legged diagrams were considered, the triangle and the bubble diagram. As was shown in the first part of [1] there are several additional diagrams that may affect the final result. But, in fact, the accurate analysis carried out in [1] showed that such additional diagrams cannot change the result as far as the odd parity trace anomaly is concerned. It must be admitted however that for such a delicate calculation an approach based solely on Feynman diagrams may not be satisfactory. The reason is the preservation of chirality throughout the anomaly computation.
It may appear obvious that if one wants to compute the anomaly of a left-handed fermion coupled to gravity one has to respect its left-handedness and avoid mixing different chiralities in the course of the computation. But this is not as easy to do as to claim. As pointed out many times, the trouble arises with the path integral measure, which is hard if not impossible to define for Weyl fermions. If one uses a Fujikawa or heat kernel method (they are relatives) the problem is transferred to the ‘square’ of the Dirac operator, that is an (Euclidean) elliptic operator that is used in these methods to define the fermion determinant. The problem is: is there a quadratic operator that preserves the same handedness as the linear Weyl operator? As was pointed out in Ref. [1] one such operator could be , where with the ordinary Dirac operator and \(P_L\) the chiral projector, but, with this choice, a phase would remain completely undetermined. We do not know if it is possible to solve this problem, but we are sure the solution is not the choice made in [37], because the operator chosen by the authors there includes both chiralities. Of course, with this choice, the result for the odd trace anomaly cannot be but 0.
A way out is provided by Bardeen’s method, which we have used in this paper. This method bypasses the difficulty mentioned above because it utilizes Dirac fermions, and so it is not hard to define a ‘square’ Dirac operator, \({\widehat{\mathcal {F}}}\) (see Eq. (130)) which respects the (axially extended) diffeomorphisms (and, of course, can avoid the formidable obstacle of being chiral). The desired handedness is obtained by taking the collapsing limit \(h_{\mu \nu }\rightarrow \frac{h_{\mu \nu }}{2},f_{\mu \nu } \rightarrow \frac{h_{\mu \nu }}{2}\) (or \(h_{\mu \nu }\rightarrow \frac{h_{\mu \nu }}{2},f_{\mu \nu } \rightarrow -\frac{h_{\mu \nu }}{2}\) for the opposite handedness). This limit is smooth: we have not found any evidence of singularity in it. This method admits different possible regularizations. We have utilized two: the dimensional and the \(\zeta \)-function regularization, with identical results. The latter absolutely agree with the perturbative results previously obtained in [1,2,3].
On the basis of the evidence collected so far, with no convincing counterevidence, we conclude that not only does the parity odd trace anomaly exist, but all the procedures used in [1,2,3] and the present paper are in accord.Footnote 3 It is reassuring in particular that there are different ways of doing the same calculations while preserving chirality.
Next let us comment on/recall some characteristics and possible consequences of the odd trace anomaly. Although we have done the calculation in 4d it is easy to see that a parity odd trace anomaly may appear only in dimensions multiple of 4. Therefore, in particular, they do not affect critical (super)string theories. Moreover, as was already pointed out in [2], the Pontryagin density vanish for a number of background metrics, among which the FRW one. But let us see the possible consequences of the instances in which such anomaly does not vanish. In this regard we cannot but repeat what was pointed out in the conclusion of [2]. The parity odd trace anomaly in Lorentzian metric has an imaginary coefficient, which means in particular that the hamiltonian may be complex. This may not be a problem as long as the fermion model is used in an effective field theory context. A problem certainly arises when gravity is itself quantized, because the lack of reality (hermiticity) of the em tensor might propagate in the internal lines. Using this anomaly as a selective criterion in the same way as chiral consistent gauge anomalies were used in the past, we should conclude that theories of massless Weyl fermions interacting with gravity, with a definite imbalance of chiralities (an explicit example, the old fashioned standard model, is shown in [2]), should be excluded from the realm of good theories, or at least very critically considered, because they may turn out to be non-unitary.Footnote 4 Even though, as we just saw, critical (super)string theory is unaffected by the parity odd trace anomaly, any 4d theory which has is UV completion in a superstring theory should be completely anomaly free (and unitary) at any intermediate energy regime from Planck all the way to low energy. Finally, speaking of unitarity, we cannot refrain from a comment on a claim which is sometimes met in the literature: unitary theories cannot have such kind of anomalies as the odd parity trace anomaly. Although we believe the connection between unitary theories and absence of such anomalies is true, we think the logical order should be reversed. One cannot impose unitarity on a theory; unitarity must be the outcome of quantization. We think a more sensible claim is: there are classical theories which are potentially unitary (because they are based, say, on self-adjoint operators), but one has to verify that unitarity persists after quantization; in this sense the absence of the Pontryagin trace anomaly in a theory is a basic building block of its unitarity.
Notes
One could consider also an axial complex action, but for our purposes this is a useless complication. That is why we use the notation \(\psi \) instead of \({\widehat{\psi }} \).
In MAT case, \({\widehat{g}}_{\mu \nu }\) also has two spinor indices, so that \(\omega \, g_{\mu \nu } {\frac{\delta }{\delta {g_{\mu \nu }}}} \rightarrow {\widehat{\omega }}_{AB}\,{\widehat{g}}_{\mu \nu }{}_{BC} {\frac{\delta }{\delta {{\widehat{g}}_{\mu \nu }{}_{AC}}}}\). Since in our case \(\gamma ^5\) is symmetric, we have \({\widehat{a}}_{AB} = {\widehat{a}}_{BA}\) and we can write \(\delta _{{\widehat{\omega }}}\) as \(\int d^d{\widehat{x}} \, 2 \mathrm{tr}\left( {\widehat{\omega }}\,{\widehat{g}}_{\mu \nu }{} {\frac{\delta }{\delta {{\widehat{g}}_{\mu \nu }{}}}}\right) .\)
We think the doubts raised in [1] in regard to the Pauli–Villars regularization, as being unable to produce the same results, are worth a very detailed scrutiny. Unfortunately, we are unable to say a final word on this issue due to the exceeding complexity of the calculation (at least in this particular case) and we have to postpone it to another occasion.
A possibility might remain should we consider PT invariance as the basic property, instead of hermiticity, see [54], because the odd trace anomaly is indeed PT invariant. However this requires a complete change of paradigm for quantum field theory, which, to our best knowledge, has not yet been explored.
References
L. Bonora, M. Cvitan, P. Dominis Prester, A. Duarte Pereira, S. Giaccari, T. Štemberga, Axial gravity, massless fermions and trace anomalies. Eur. Phys. J. C 77(8), 511 (201). arXiv:1703.10473 [hep-th]
L. Bonora, S. Giaccari, B. Lima de Souza, Trace anomalies in chiral theories revisited. JHEP 1407, 117 (2014). arXiv:1403.2606 [hep-th]
L. Bonora, A.D. Pereira, B.L. de Souza, Regularization of energy-momentum tensor correlators and parity-odd terms. JHEP 1506, 024 (2015). arXiv:1503.03326 [hep-th]
W.A. Bardeen, Anomalous Ward identities in spinor field theories. Phys. Rev. 184, 1848 (1969)
B.S. DeWitt, Dynamical theory of groups and fields (Gordon and Breach, New York, 1965)
B.S. DeWitt, Global approach to quantum field theory, vol. I and II
D.M. Capper, M.J. Duff, Trace anomalies in dimensional regularization. Nuovo Cim. 23 A, 173 (1974)
D.M. Capper, M.J. Duff, Conformal anomalies and the renormalizability problem in quantum gravity. Phys. Lett. 53 A, 361 (1975)
S. Deser, M.J. Duff, C.J. Isham, Non-local conformal anomalies. Nucl. Phys. B 111, 45 (1976)
C. Bernard, A. Duncan, Regularization and renormalization of quantum field theory in curved space-time. Ann. Phys. 107, 201 (1977)
L.S. Brown, Stress-tensor trace anomaly ina a gravitational metric: scalar fields. Phys. Rev. D 15, 1469 (1977)
L.S. Brown, J.P. Cassidy, Stress-tensor trace anomaly in a gravitational metric: general theory, Maxwell field. Phys. Rev. D 15, 2810 (1977)
L.S. Brown, J.P. Cassidy, Stress tensors and their trace anomalies in conformally flat space-time. Phys. Rev. D 16, 1712 (1977)
S.M. Christensen, Vacuum expectation value of the stress tensor in an arbitrary curved background: the covariant point-separation method. Phys. Rev. D 14, 2490 (1976)
S.M. Christensen, Regularization, renormalization and covariant geodesic point separation. Phys. Rev. D 17, 946 (1978)
S.L. Adler, J. Lieberman, Y.J. Ng, Regularization of the stress-energy tensor for vector and scalar particles propagating in a general background metric. Ann. Phys. 106, 209 (1977)
M.J. Duff, Observations on conformal anomalies. Nucl. Phys. B125, 334 (1977)
J.S. Dowker, R. Critchley, Stress-tensor conformal anomaly for scalar, spinor, and vector fields. Phys. Rev. D 16, 3390 (1977)
H.-S. Tsao, Conformal anomaly in a general background metric. Phys. Lett. 68B, 79 (1977)
S.M. Christensen, M.J. Duff, Axial and conformal anomalies for arbitrary spin in gravity and supergravity. Phys. Lett. 76B, 571 (1978)
A. Vilenkin, Pauli-Villars regularization and trace anomalies. Nuovo Cim. A 44, 441 (1978)
R.M. Wald, Axiomatic renormalization of the stress tensor of a conformally invariant field in conformally flat spacetimes. Ann. Phys. 110, 472 (1978)
R.M. Wald, Trace anomaly of a conformally invariant quantum field in curved spacetime. Phys. Rev. D 17, 1477 (1978)
S.M. Christensen, M.J. Duff, New gravitational index theorems and super theorems. Nucl. Phys. B 154, 301 (1979)
L. Bonora, P. Cotta-Ramusino, C. Reina, Conformal anomaly and cohomology. Phys. Lett. 126B, 305 (1983)
L. Bonora, P. Pasti, M. Tonin, Gravitational and Weyl anomalies. Phys. Lett. 149B, 346 (1985)
L. Bonora, P. Pasti, M. Tonin, The anomaly structure of theories with external gravity. J. Math. Phys. 27, 2259 (1986)
L. Bonora, M. Bregola, P. Pasti, Weyl cocycles. Class. Quant. Grav. 3, 635 (1986)
H. Osborn, Weyl consistency conditions and a local renormalization group equation for general renormalizable field theoriees. Nucl. Phys. B 363, 486 (1991)
H. Osborn, A.C. Petkos, Implications of conformal invariance in field theories for general dimensions. Ann. Phys. 231, 311 (1994). arXiv:hep-th/9307010
M.J. Duff, Twenty years of the Weyl anomaly. Class. Quant. Grav. 11, 1387 (1994). arXiv:hep-th/9308075
S. Deser, A. Schwimmer, Geometric classification of conformal anomalies in arbitrary dimensions. Phys. Lett. B 309, 279 (1993). arXiv:hep-th/9302047
A. Bzowski, P. McFadden, K. Skenderis, Renormalised 3-point functions of stress tensors and conserved currents in CFT. arXiv:1711.09105 [hep-th]
H. Godazgar, H. Nicolai, A rederivation of the conformal anomaly for spin-1/2. Class. Quant. Grav. 35(10), 105013 (2018). arXiv:1801.01728 [hep-th]
C. Corian, M.M. Maglio, Renormalization, Conformal ward identities and the origin of a conformal anomaly pole. Phys. Lett. B 781, 283 (2018). arXiv:1802.01501 [hep-th]
L. Bonora, B.L. de Souza, Pure contact term correlators in CFT. In Proc. 18th Bled Workshop What Comes Beyond Standard Models, Bled 2015. arXiv:1511.06635 [hep-th]
F. Bastianelli, R. Martelli, On the trace anomaly of a Weyl fermion. JHEP 1611, 178 (2016). arXiv:1610.02304 [hep-th]
S. Mauro, I.L. Shapiro, Anomaly-induced effective action and Chern-Simons modification of general relativity. Phys. Lett. B 746, 372 (2015). arXiv:1412.5002 [gr-qc]
Y. Nakayama, CP-violating CFT and trace anomaly. Nucl. Phys. B 859, 288 (2012)
Y. Nakayama, On the realization of impossible anomalies. arXiv:1804.02940 [hep-th]
R.A. Bertlmann, Anomalies in quantum field theory (Oxford Science Publications, Oxford, 1996)
K. Fujikawa, H. Suzuki, Path integrals and quantum anomalies (Oxford Science Publications, Oxford, 2004)
F. Bastianelli, P. Van Nieuwenhuizen, Path integrals and anomalies in curved space (Cambridge University Press, Cambridge, 2009)
A. Andrianov, L. Bonora, Finite-mode regularization of the fermion functional integral.I. Nucl. Phys. B 233, 232 (1984)
A. Andrianov, L. Bonora, Finite-mode regularization of the fermion functional integral.II. Nucl. Phys. B 233, 247 (1984)
D.M. Grabowska, D.B. Kaplan, Chiral solution to the Ginsparg-Wilson equation. Phys. Rev. D 94(11), 114504 (2016). arXiv:1610.02151 [hep-lat]
P.O. Hess, W. Greiner, Pseudo-complex general relativity. Int. J. Mod. Phys. E 18, 51 (2009). arXiv:0812.1738 [gr-qc]
P.O. Hess, W. Greiner, Pseudo-Complex Field Theory. Int. J. Mod. Phys. E 16, 1643 (2007). arXiv:0705.1233 [hep-th]
A . Crumeyrolle, Varits diffrentiables coordonnes hypercomplexes. Application une gomtrisation et une gnralisation de la thorie d’Einstein-Schrodinger. Ann. de la Fac. des Sciences de Toulouse, \(4^e\) série, vol. 26, pp. 105 (1962)
A . Crumeyrolle, Sur quelques interprétations physiques et théoriques des equations du champ unitaire d’Einstein-Schödinger, Riv. Mat. Univ. Parma (2) 5, 85 (1964)
R.-L. Clerc, Rsolution des quations aux connexions du cas antisymtrique de la thorie unitaire hypercomplexe. Application un principe variationnel. Ann. de l’I.H.P. Section A 12(4), 343 (1970)
R.-L. Clerc, quations de champ symtriques et quations du mouvement sur une varit pseudo-riemannienne connexion non symtrique. Ann. de l’I.H.P. Section A 17(3), 227 (1972)
C. Mantz, T. Prokopec, Hermitian gravity and cosmology. arXiv:0804.0213 [gr-qc]
C.M. Bender, Making sense of non-Hermitian Hamiltonians. Rept. Prog. Phys. 70, 947 (2007). arXiv:hep-th/0703096 [HEP-TH]
Acknowledgements
L.B. would like to thank Fiorenzo Bastianelli and Claudio Corianò for a useful discussion. This research has been supported by the University of Rijeka under the research support No. 13.12.1.4.05 and in part by the Croatian Science Foundation under the project No. 8946. The research of S.G. has been supported by the Israel Science Foundation (ISF), Grant no. 244/17 in the last part of the project.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendices
Bardeen’s method
This appendix is a short account of Bardeen’s method to derive gauge anomalies [4].
We consider a theory of Dirac fermions coupled to two non-Abelian (vector \(V_\mu \) and axial \(A_\mu \)) gauge potentials, both valued in a Lie algebra with anti-hermitean generators \(T^a\), with \([T^a,T^b]= f^{abc} T^c\). The action is
It is invariant under two sets of gauge transformations
where \(D_{V\mu }= \partial _\mu +[V_\mu , ~\cdot ~]\) and \(\alpha =\alpha ^a(x) T^a, \beta =\beta ^a(x) T^a\).
As a consequence there are two covariantly conserved currents, \(j_\mu = j_\mu ^a T^a\) and \( j_{5\mu }=j_{5\mu }^a T^a\), where
In the one-loop quantum theory it is impossible to preserve both conservations. The most one can do is to preserve, for instance, the vector one
while the axial conservation becomes anomalous:
where \(F_V^{\mu \nu }= \partial ^\mu V^\nu -\partial ^\nu V^\mu +[V^\mu , V^\nu ]+ {[A^\mu , A^\nu ]}\), and \( F_A^{\mu \nu }= \partial ^\mu A^\nu -\partial ^\nu A^\mu +[V^\mu , A^\nu ]+ [A^\mu , V^\nu ]\).
From this expression we can derive two results in particular. Setting \(A_\mu =0\) we get the covariant anomaly
Taking the collapsing limit \(V\rightarrow \frac{V}{2}, A\rightarrow \frac{V}{2}\), and adding (212) to (213) we get
where \(j_{L\mu }= {\overline{\psi }}_L \gamma _\mu \psi _L\), here \(\psi _L = \frac{1+\gamma _5}{2} \psi \), which is the consistent non-Abelian gauge anomaly.
The axial-Riemannian geometry
In this Appendix we collect the formulas, relevant to this paper, of axial-Riemannian geometry. Such formulas have already appeared in [1], although in a somewhat different notation. An important difference with [1] is that, there, all the quantities where functions of \(x^\mu \). In this appendix, and throughout the paper they are functions of \({\hat{x}}^\mu \) unless otherwise specified.
The main changes in notation are
1.1 Axial metric
We use the symbols \(g_{\mu \nu }, g^{\mu \nu }\) and \(e_\mu ^a, e_a^\mu \) in the usual sense of metric and vierbein and their inverses, except for the fact that they are functions of \({\widehat{x}}^\mu \). Then we introduce the MAT metric
where f is a symmetric tensor. Their background values are \(\eta _{\mu \nu }\) and 0, respectively. So, we write as usual \(g_{\mu \nu }= \eta _{\mu \nu }+ h_{\mu \nu }\).
In matrix notation the inverse of \({\widehat{g}}\), \({\widehat{g}}^{-1}\), is defined by
which implies
So
1.2 MAT vierbein
Likewise for the vierbein one writes
This implies
Moreover, from \({\widehat{e}}_a^\mu {\widehat{e}}_\nu ^a=\delta ^\mu _\nu \),
one gets
and
1.3 Christoffel and Riemann
The ordinary Christoffel symbols are
The MAT Christoffel symbols are defined in a similar way
where it is understood that \(\partial _\mu =\frac{\partial }{\partial {\hat{x}}^\mu }\), etc.
Proceeding the same way one can define the MAT Riemann tensor via \({\widehat{R}}_{\mu \nu \lambda }{}^\rho \):
The MAT spin connection is introduced in analogy
where
1.4 Transformations: diffeomorphisms
We recall that under a diffeomorphism, \(\delta x^\mu =\xi ^\mu \), the ordinary Christoffel symbols transform as tensors except for one non-covariant piece
In the MAT context it is more opportune to introduces also axially-extended (AE) diffeomorphisms. They are defined by
Since operationally these transformations act in the same way as the usual diffeomorphisms, it is easy to obtain for the non-covariant part
where the derivatives are understood with respect to \({\widehat{x}}^\mu \) and \({\widehat{x}}^\nu \). This means in particular that \(\Gamma ^{(2)\lambda }_{\mu \nu }\) is a tensor.
We have also
where \({\widehat{\xi }}_\mu ={\widehat{g}}_{\mu \nu } {\widehat{\xi }}^\nu \) and \({{\widehat{D}}}_\mu \) is the covariant derivative with respect to \({\widehat{\Gamma }}\).
In components one easily finds
Summarizing
and the overall Riemann and Ricci tensors are tensor, and the Ricci scalar \({ {\widehat{R}}}\) is a scalar. But also \({{\widehat{R}}}^{(1)}\) and \({{\widehat{R}}}^{(2)}\), separately, have the same tensorial properties.
1.5 Transformations: Weyl transformations
There are two types of Weyl transformations. The first is the obvious one
and
This leads to the usual relations
and
The second type of Weyl transformation is the axial one
and
This leads to
and
Equation (242) implies
We can write the axially-extended (AE) Weyl transformation in compact form using the parameter \({\widehat{\omega }}= \omega + \gamma _5 \eta \)
etc.
1.6 Volume density
The ordinary density \(\sqrt{g}\) is replaced by
The expression in the RHS has to be understood as a formal Taylor expansion in terms of the axial-complex variable \(g+\gamma _5 f\). This means
It follows that
\(\sqrt{{\widehat{g}}}\) has the basic property that, under AE diffeomorphisms,
This is a volume density, and has the following properties
under an axial-Weyl transformations. Moreover
Green’s functions
In the text we have assumed the existence of the propagator \({\widehat{\mathcal {G}}}\), the inverse of \({\widehat{\mathcal {F}}}\). In this Appendix we discuss this question by comparing it with the ordinary case, as discussed in [5]. First we review the approach of [5] in the ordinary gravity case. Then we explain the modifications required in the MAT case. We consider the case of a stationary metric and axial-metric background. We will assume eventually that the results hold also for nonstationary case, provided the background varies mildly in time.
In this Appendix the flat gamma matrices are understood to be the Majorana ones, that is, they are purely imaginary, together with \(\gamma _5\): \(\gamma _0\equiv \eta \) and \(\gamma _5\) are antisymmetric, while \(\gamma _i\), \(i=1,2,3\) are symmetric.
1.1 A summary of Green’s functions
Let us give first a short review of ordinary fermionic propagators, see [5, 6, 14, 15]. We start from
This is not the standard Feynman Green function
The two are related by \( S_F(x,x')=G(x,x') \eta \)
Other Green functions are the advanced, \(G^+(x,x')\), and retarded, \(G^-(x,x')\); the positive and negative frequency Green functions, \(G^{(+)}(x,x')\) and \(G^{(-)}(x,x')\), respectively; and the principal value Green function \({\bar{G}}(x,x')= \frac{1}{2} \left( G^+(x,x')+G^-(x,x')\right) \). The definitions depends only on the contour of integration of \(p^0\) in the momentum space representation, while for the rest they are the same. The important relation in this context is
For real fermions \({\bar{G}}(x,x')\) and \( G^{(1)}(x,x')\) are real. So they represent the real and imaginary part of \( G(x,x')\). \( G^{(1)}(x,x')\) can be represented as
The Feynman propagator satisfies the equation
and \(\mathbf{1}\) is the identity matrix in the spinor space. Both sides of (258) transform as a bispinor density, i.e. like \( \sqrt{g} \gamma _0 \psi (x)\) at x and as \(\psi ^\dagger (x')\) at \(x'\). Instead
The approach of [14, 15] is based essentially on \(G^{(1)}\).
Now let us make the ansatz
Inserting this into (258) one gets
Now we represent (261) as
or, in operator form,
(understanding \(\langle x| \mathcal {G}|x' \rangle =\mathcal {G}(x,x')\), etc.), where
and the function and derivatives in the RHS are understood to be evaluated at x. Alternatively we represent (261) as
where \(\mathcal {F}_x\) is the differential operator acting on \(\mathbf{1} \delta (x,x') \) in the RHS of (264).
1.2 Properties of \(\mathcal {F}\)
The operator \(\mathcal {F}\) in (261) is not selfadjoint. In fact
This implies that the construction of a Green’s function is not straightforward. In a stationary background a propagator is constructed out of modes which are stationary eigenfunctions (plane waves, at least asymptotically) with real frequencies. Given the Dirac equation
by suitably fixing the gauge for diffeomorphisms, one can always define a complete set of eigenfunctions with real frequencies, symbolically \(u_+=\chi e^{-i\omega t}, u_- =\lambda e^{i\omega t}\), so that (understanding the indices and integration over the space momenta)
where \(a, a^\dagger \) are annihilation, creation operators (see chapter 19 of [6]).
In the same way one can infer the existence of an analogous complete set of solutions, say \(v_+,v_-\) of
Now, even if \(\mathcal {F}\) is not self-adjoint, we can construct the following operator
which is self-adjoint, and whose inverse is
The mode solutions of \({{{\mathcal {F}}}}\) are
which have all real frequencies. It follows that we can construct the Feynman propagator of \({{{\mathcal {F}}}}\). Following the argument of [6], end of chapter 20, it has the form
Comparing with (271) we get
1.3 Existence of mode functions
The existence of mode functions, i.e. solutions of the Dirac equation (267269) of the type \(u=\chi e^{i\omega t}\) with real \(\omega \), in a stationary background, is the basis for the existence of propagators. In [6] the problem is discussed as follows. One shows that one can cast (267269) in the form
where
The important thing is that, in the Majorana representation of the \(\gamma \) matrices, \(B^\mu \) is a symmetric matrix, while C is antisymmetric, and they are both purely imaginary. By choosing the gauge \(e_0^0=1, e_0^i=0\) for the vierbein e, the operator F becomes
where
Again while B is symmetric imaginary with \(-iB\) being positive definite, \({{{\mathcal {C}}}}\) is antisymmetric imaginary. Plugging the ansatz \(u_A =\chi _A e^{-i\omega _A t}\) into \(Fu=0\) one gets the eigenvalue equation
Due to the abovementioned propertis of B and \({{\mathcal {C}}}\), one can find eigenvalues and eigenvectors. The eigenvalues \(\omega _A\) can be taken real and positive.
1.4 What changes when the background is MAT
In this case the analog of (266) is
But as above we can proceed to construct the operator
which is self-adjoint, and whose inverse is
Using the same argument as above we can conclude that
The only delicate point in reaching this conclusion is the solutions of
Equation (267269) is real, since the gamma matrices are purely imaginary. But, in (284), the presence of \(\gamma _5\) poses a problem. In a representation in which the gamma matrices are purely imaginary, the \(\gamma _5\) is also imaginary, thus Eq. (284) is complex, and, based on the analogy with the previous subsection, one cannot be sure a priori that there are real frequency solutions. However we notice that the operator \(\eta {\widehat{F}}\) is self-adjoint. This remark lends us a way out.
Another crucial point is the gauge fixing, so that one can end up with something analog to (278), in which \(-iB\) is positive definite. As we saw above, this is obtained by choosing in particular \(e_0^0=1, e_0^i=0\). In MAT the coefficient of \(\gamma ^0\) is \({\widehat{e}}_0^\mu \), which contains also \(\gamma _5 c_0^\mu \). We shall choose \(c_0^\mu =0\). As a consequence the analog of \(Fu=0\) is \({\widehat{F}} {\widehat{u}}=0\) where
where \({\widehat{B}}=B\), i.e. symmetric and such that \(-iB\) is positive definite. As for \(\widehat{{{\mathcal {C}}}}\), it can be written as
where \(\widehat{{{\mathcal {C}}}}_a\) is imaginary antisymmetric and does not contain \(\gamma _5\), while \( \widehat{{{\mathcal {C}}}}_s\) is real, linear in \(\gamma _5\) and symmetric. However altogether it is self-adjoint.
Plugging the ansatz \({\widehat{u}}_A ={\widehat{\chi }}_A e^{-i\omega _A t}\) into \(\eta {{\widehat{F}}}{\widehat{u}}=0\) one gets the equation
which is an eigenvalue equation for \(\widehat{{{\mathcal {C}}}} \). Since the latter is self-adjoint we know there exists a complete set of eigenfunctions. This is what we need.
So the remaining question is: is the choice \(c_0^\mu =0\) permitted? In order to see this one has to check that the defining equations (220,221) for the axial-complex vierbein and the like in Appendix B are still valid. Now, suppose the ordinary gauge fixed vierbein satisfies such defining equation (which they do in [5]). Then we can set the axial-imaginary vierbein c and \(c^{-1}\) to 0, while preserving the defining relations. In other words, there is a large gauge freedom, and in particular we can choose \(c_0^\mu =0\).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Bonora, L., Cvitan, M., Prester, P.D. et al. Axial gravity: a non-perturbative approach to split anomalies. Eur. Phys. J. C 78, 652 (2018). https://doi.org/10.1140/epjc/s10052-018-6141-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6141-1