Abstract
We have recently studied a simplified version of the path integral for a particle on a sphere, and more generally on maximally symmetric spaces, and proved that Riemann normal coordinates allow the use of a quadratic kinetic term in the particle action. The emerging linear sigma model contains a scalar effective potential that reproduces the effects of the curvature. We present here further details of the construction, and extend its perturbative evaluation to orders high enough to read off the type-A trace anomalies of a conformal scalar in dimensions \(d=14\) and \(d=16\).
Similar content being viewed by others
1 Introduction
Path integrals for point particles find useful applications in worldline treatments of quantum field theories. In particular, path integrals for particles on curved spaces allow one to study gravitationally interacting field theories. In this paper, after reviewing the simplified path integral for a nonrelativistic particle on a sphere that has been introduced recently in [1], by presenting further details of its construction, we extend its perturbative calculation to orders high enough to be able to read off the type-A trace anomalies of a conformal scalar field in dimensions \(d=14\) and \(d=16\).
The standard action of a nonrelativistic particle has the form of a nonlinear sigma model in one dimension. The nonlinearities present in the kinetic term make the definition of the path integral rather subtle, carrying the necessity of specifying a regularization scheme together with the fixing of corresponding finite counterterms. The latter are needed for specifying a well-defined quantum theory; see [2,3,4,5] for the known regularization schemes. The development of those regularization schemes was prompted by the desire of extending the quantum mechanical method of computing chiral anomalies [6,7,8] to trace anomalies [9, 10]. A comprehensive account may be found in the book [11].
A simplified version of the path integral for the case of maximally symmetric spaces, like spheres, has been discussed and proved recently in [1]. It builds on an old proposal [12] of constructing the path integral by making use of Riemann normal coordinates. These special coordinates are supposed to make consistent the replacement of the nonlinear sigma model by a linear one. At the same time the inclusion of a suitable effective scalar potential is shown to reproduce the effects of the curvature. That this is indeed possible was proved in [1] for the case of maximally symmetric spaces, leaving the more difficult question of its validity on arbitrary geometries unsettled. In the present paper we review the construction on maximally symmetric spaces, and present a detailed perturbative evaluation of the path integral, which in particular allows us to identify the trace anomalies of a conformal scalar field in dimensions \(d=14\) and \(d=16\). The maximally symmetric background gives information on the so-called type-A trace anomaly [13], which is proportional to the Euler density of the curved background. Other methods for identifying the type-A trace anomalies in higher dimensions are probably more efficient, see for example [14,15,16,17], but the path integral construction is certainly more flexible, allowing in principle for the calculation of other observables, as exemplified by the various applications of the worldline formalism (see [18] for a review in flat space, and [19,20,21,22,23,24,25,26,27,28] for extensions to curved spaces). In any case, we also apply these alternative methods to check our final anomaly coefficients.
We start our paper with Sect. 2 where, by using Riemann normal coordinates on maximally symmetric spaces, we prove that the Schrödinger equation (the heat equation in our euclidean convention) for the transition amplitude can be simplified, so to have a corresponding simplified version of the path integral that generates its solutions. In Sect. 3 we set up the perturbative expansion of the simplified path integral, and proceed to evaluate the transition amplitude at coinciding points, as needed for identifying one-loop effective actions in scalar QFT through worldlines. In particular, we calculate all the terms that are needed to identify the trace anomalies for space-time dimensions \(d\le 16\). These anomalies are extracted in Sect. 4, and recomputed in Sect. 5 with the alternative methods mentioned earlier to show the consistencies of these different approaches. Eventually, we present our conclusions and outlook in Sect. 6.
2 Transition amplitude and path integral on spheres
The classical dynamics of a nonrelativistic particle of unit mass in a curved d-dimensional space is described by the lagrangian
where \(g_{ij}(x)\) is the metric in an arbitrary coordinate system and \({\dot{x}}^i=\frac{d x^i}{\mathrm{d}t}\). The corresponding hamiltonian reads
where the \(p_i\) are the momenta conjugate to \(x^i\). Upon canonical quantization the classical hamiltonian identifies a quantum hamiltonian operator
where the ordering ambiguities between the \({\hat{x}}^i\) and \({\hat{p}}_i\) operators have been partially fixed by requiring background general coordinate invariance (here \(g(x)\equiv \det g_{ij}(x)\)). The remaining ambiguities are parametrized by the free coupling constant \(\xi \), which multiplies the scalar curvature R. Interesting values of this coupling are \(\xi =0\), which defines the minimal coupling, \(\xi =\frac{d-2}{4(d-1)}\) for the conformally invariant coupling in d dimensions, and \(\xi =\frac{1}{4}\), which allows for a supersymmetrization of the model (it appears in the square of the Dirac operator). For simplicity, we will set \(\xi =0\) in the following discussion, inserting the nonminimal coupling through a scalar potential, when needed.
We are interested in studying the evolution operator in euclidean time \(\beta \) (the heat kernel)
which satisfies the equation
It is convenient to use position eigenstates
normalized as
so that the resolution of the identity is written as
Using them, one recognizes that the wave functions \(\psi (x) = \langle x| \psi \rangle \), corresponding to vectors \(|\psi \rangle \) of the Hilbert space, are scalars under arbitrary change of coordinates. In particular the matrix element of the evolution operator between these position eigenstates gives a transition amplitude
which behaves as a biscalar under arbitrary change of coordinates, i.e. a scalar at both points x and \(x'\). It satisfies the heat equation (we use units with \(\hbar =1\))
where \(\nabla ^2_x\) is the scalar laplacian \(\nabla ^2 =\frac{1}{\sqrt{g}} \partial _i \sqrt{g} g^{ij} \partial _j \) acting on the x coordinates. This equation corresponds precisely to the matrix elements of the operatorial equation (2.5) between position eigenstates. Its solution may be given a well-defined path integral representation in terms a nonlinear sigma model action [11].
In order to simplify the heat equation and the corresponding path integral, we choose to work with Riemann normal coordinates, which are reviewed in Appendix A. We first transform the transition amplitude into a bidensity by defining
so that Eq. (2.11) takes the form
One may evaluate the differential operator appearing on the right hand side of Eq. (2.14) to obtain the identity
where in the first term derivatives act through, while the effective scalar potential is given by
where all derivatives stop after acting on the last function. The heat equation (2.14) now reads more explicitly as
At this stage we are ready to use the properties of Riemann normal coordinates, centered at the point \(x'\), to show that this heat equation simplifies further to
as on maximally symmetric space, in Riemann normal coordinates, one may replace the metric \(g^{ij}(x)\) appearing in the term \(\partial _i g^{ij}(x) \partial _j \) by the constant metric \(\delta ^{ij}\). Note that the heat kernel equation (2.19) contains now an hamiltonian operator
which is interpreted as that of a particle on a flat space (in cartesian coordinates) interacting with an effective scalar potential \(V_\mathrm{eff}\) of quantum origin (it would be proportional to \(\hbar ^2\) in arbitrary units).
For the replacement of \(g^{ij}(x)\) with \(\delta ^{ij}\) to be valid, one must show that
To see this, we recall that \(x'=0\) is the chosen origin of the Riemann normal coordinates, and using the inverse metric given in (A.9) we find that the equation that we must verify takes the form
where the projector \(P^{ij}(x)\) and the function h(x) are given by
as discussed in Appendix A. The function h(x) is a function of only \(x^2=\delta _{ij}x^i x^j\), since it is even in \(x\equiv \sqrt{\delta _{ij}x^i x^j}\). This is a consequence of the maximal symmetry of the sphere. The explicit evaluation of the derivatives appearing in (2.22) produces (recalling the orthogonality condition \(P^{ij}x_j=0\))
and
The two terms cancel each other, so that we have indeed verified Eq. (2.22) and the correctness of the heat kernel equation (2.19) for our problem.
To summarize, we are led to consider the euclidean Schrödinger equation
valid in Riemann normal coordinates centered at \(x'\), to describe the quantum motion of a particle on a sphere. This equation can now be solved by a standard path integral
where the action is that of a linear sigma model augmented by an effective potential
The required effective potential is
and can be computed in terms of the function f(x) given in (A.4) and (A.8) as
or, more explicitly, as
The point \(x=0\) is the origin of the Riemann normal coordinates (say the north pole), and we see that the effective potential becomes singular when \(x=\pi /M\), i.e. at the south pole. We plot the radial behavior of this potential in Fig. 1. Note that the potential is basically flat around \(x=0\), but diverges at \(x=\pi /M\) that corresponds to the south pole of the sphere, and which is a coordinate singularity of the patch considered (the so-called normal neighborhood).
3 Perturbative expansion
The path integral expression for the transition amplitude on a sphere in terms of the linear sigma model (2.29) is much simpler than the corresponding one with the nonlinear sigma model with lagrangian (2.1). In particular, its perturbative evaluation is straightforward as no perturbative vertices are produced from the kinetic term and from the path integral measure, which is translational invariant. The only vertices are those without derivatives arising from the expansion of \(V_\mathrm{eff}\). They produce Feynman graphs that do not need any regularization.
Let us now describe the perturbative expansion of the transition amplitude (2.28) by considering coinciding initial and final points, \(x'=x\), which give the diagonal part of the heat kernel \({\overline{K}}(x, x;\beta )\). This is enough to identify one-loop effective actions and anomalies in QFT using worldlines. We must use Riemann normal coordinates centered at \(x'=x\), and in such coordinates the diagonal heat kernel evaluated at the origin is denoted by \({\overline{K}}(0, 0;\beta )\).
To start with we rescale the time to \(\tau =\frac{t}{\beta }\) to write the action in the form
which shows that, in an expansion for short times \(\beta \), the leading behavior is due to the kinetic term, while the effective potential \(V_\mathrm{eff}\) gives perturbative corrections. The perturbative expansion of the path integral is obtained by setting
with
so that the transition amplitude at coinciding points \(x = x'= 0\) in Riemann normal coordinates may be written as
where \(\langle ...\rangle \) denotes a normalized correlation function with the free path integral weight. The normalization is just the one of a free particle and corresponds to the exact path integral performed with \(S_\mathrm{free}\).
The free propagator for the dynamical variables \(x^i(\tau )\), vanishing both at \(\tau =0\) and \(\tau =1\) (Dirichlet boundary conditions with initial and final point fixed at the origin of the Riemann coordinates), is obtained by inverting the differential operator of the kinetic term in (3.3) and reads
where the Green function \(\Delta (\tau ,\sigma )\) with vanishing Dirichlet boundary conditions is given by
where \(\theta (x)\) is the Heaviside step function (the regulated value \(\theta (0)=\frac{1}{2}\) is not needed in the evaluation of the perturbative corrections). The two expressions are equivalent, and one may use the preferred one. The Green function \(\Delta (\tau ,\sigma )\) satisfies the defining equation
and the boundary conditions
We are now ready to evaluate perturbative corrections. They are obtained by expanding the effective potential \(V_\mathrm{eff}\), and computing the perturbative terms with an application of the Wick theorem (i.e. calculating gaussian averages). Taylor expanding the potential (2.32) about \(x=0\) produces
and the interaction vertices arising from it may be written as
where \(S_{2m}\) is the term containing the power \((x^2)^m\), with \(x^2=\mathbf {x}^{\, 2} =x^ix_i\). Their structure is of the form
where the overall power of \(M^2\) has been factored out, while the remaining numerical coefficients \(k_{2m}\) can be read off from (3.10).
The first term
is just a constant, and it can be immediately extracted out of (3.5) to give
also written more explicitly in terms of the scalar curvature R as
Notice that this result is exact for the three-sphere \(S^3\), as for \(d=3\) the remaining part of the effective potential vanishes. This answer was obtained long ago by Schulman [29], who used the fact that \(S^3\) coincides with the group manifold of SU(2).
The next correction is the first nontrivial one, and arises form the vertex \(S_2\). Expanding the interaction term in (3.5) as
shows that one must compute the correlation function \(\langle S_2\rangle \). It identifies a loop graph of the form
where the coefficient of the quadratic vertex is found from (3.10), and the propagator is the one given in (3.7). Its calculation proceeds as follows:
as the coupling \(k_2\) obtained from (3.10) is \(k_2= \frac{(d-1)(d-3)}{120}\), while the integral of the two-point correlation function at coinciding points (\(\sigma =\tau \)) gives
This result can be exponentiated to account for the disconnected contributions arising from such graphs at higher orders. Thus, at this perturbative level, we find the transition amplitude
which takes the explicit form
In a similar way one may proceed to higher orders. It is clear that all perturbative corrections appear as powers of \( \beta M^2\), or equivalently \( \beta R\), as verified by power counting. In this section we wish to reach order \(\beta ^8\), so that we must compute
The calculation up to \(O(\beta ^{6})\) was sketched in [1]. Here we continue through order \(O(\beta ^{7})\) and \(O(\beta ^{8})\). As indicated by the notation \(\langle ...\rangle _c\), it is enough to compute connected correlation functions only, as the disconnected pieces have been automatically included by exponentiation. We report the detailed calculations in Appendix B.
Adding all contributions, we summarize our final result for the heat kernel at coinciding points
which we present also in terms of the scalar curvature R (recall that \(R= M^2 d(d-1)\) with \(M=\frac{1}{a}\) the inverse sphere radius)
This exponential can be expanded keeping terms up to order \(O(\beta ^{8})\) included, to read off the heat kernel coefficients at coinciding points \(a_n(0,0)\) for the integer n up to \(n=8\), defined by
We will do this in the next section for conformal hamiltonians to extract the so-called type-A trace anomalies.
4 The type-A trace anomalies
One may use the path integral calculation of the transition amplitude on a sphere to evaluate the type-A trace anomalies of a conformal scalar field. We have performed this exercise in [1] to test the correctness and usefulness of the linear sigma model approach. We are now ready to extend those results to identify the trace anomalies in \(d=14\) and \(d=16\) dimensions. As reviewed in [1], the trace anomaly of the conformal scalar field can be related to the transition amplitude of a particle in a curved space by
where on the left hand side \(T^\mu {}_\mu (x)\) is the trace of the stress tensor of the conformal scalar in a curved background, and the expectation value is performed in the corresponding quantum field theory. The right hand side can instead be viewed as the anomalous contribution arising from the QFT path integral measure regulated à la Fujikawa [30]. The regulator \(H_\xi \) corresponds to the kinetic term of the scalar quantum field theory, which is proportional to the conformal laplacian. This is identified with the quantum hamiltonian \(H_\xi \) of a particle in a curved space
which must be used in evaluating the transition element \(K_\xi (x,x;\beta )\) at coinciding points [9, 10]. It is understood that the \(\beta \rightarrow 0\) limit in (4.1) picks up just the \(\beta \)-independent term, as divergent terms are removed by the QFT renormalization. This procedure selects the appropriate heat kernel coefficient \(a_n(x,x)\) sitting in the expansion of \(K_\xi (x,x;\beta )\), as in (3.24). To reproduce the correct conformal hamiltonian (4.2) we must add a nonminimal coupling through an additional constant potential
so that we must shift \(V_\mathrm{eff} \rightarrow V_\mathrm{eff} +V_\xi \) in (3.4). Its effect is to replace the leading term of (3.23) by
to obtain the desired amplitude \(K_\xi (x,x;\beta )\). Expanding \(K_\xi (x,x;\beta )\) at the required order we find the trace anomalies in d dimensions
which we list in Table 1, expressing the results also in terms of the sphere radius \(a=\frac{1}{M}\). Of course, one may use Riemann normal coordinates centered at x, so that \(\sqrt{g(x)}=1\) and the result in (3.23) is directly applicable.
5 Alternative methods and checks
In the present section we check our results on the type-A trace anomalies of a conformal scalar by using alternative approaches based on the \(\zeta \)-function regularization. One method was used in [14] and later re-elaborated in [15]. Following the prescription reported in those references, one finds that the type-A trace anomaly on a d-sphere is given by
where \(\zeta _{Y_d}(s)\) is the \(\zeta \)-function associated to the (eigenvalues of the) kinetic operator \(Y_d\) of the conformally coupled scalar field on the sphere
often called “Yamabe operator” in the mathematical literature. Its analytic continuation at \(s\rightarrow 0\) is given byFootnote 1
where \(B_{2p+2}\) are Bernoulli numbers. The set of numerical coefficients \(C_p(d)\) is the solution of the linear system
For \(d=14,16\) they read
which, inserted into (5.3), yield
and using these values into the general expression (5.1) produces the type-A trace anomalies that match our results of Table 1.
More recently, within the AdS/CFT paradigm, it was shown how to directly reproduce the \(\zeta \)-function for a class of conformal operators [16]—see also [17] for a direct proof that does not use holography. For the quadratic operator \(Y_d\) this amounts to compute the following integral:
which can easily be checked to reproduce (5.5).
6 Conclusion and outlook
Mastering the computation of scattering amplitudes that involve gravitons is an outstanding task that keeps drawing the attention of many theoretical physicists—recently, for example, several interesting papers have dealt with the issue of soft graviton insertions in scattering amplitudes; see for example [31,32,33,34,35] or the pedagogical review [36]. From the worldline formalism viewpoint, the main difficulty in tackling the computation of graviton scattering amplitudes resides in the presence of derivative interactions in the nonlinear sigma model, which represents the first quantized particle in a generically curved space. In the present paper, following the developments of Ref. [1], we have investigated further the use of an effective linear sigma model to study the one-loop effective action of a scalar field in a maximally symmetric curved space, and its type-A trace anomaly in particular. In the literature, other and certainly more efficient methods to compute type-A trace anomalies of conformal QFTs are known—often based on the \(\zeta \)-function approach to computing determinants. However, unlike those methods, the present approach is much more flexible, allowing for example to compute the off-diagonal parts of the heat kernel and, in general, to give a worldline representation of the QFT observable that one wishes to study, see for example the recent use of a worldline representation to relate different quantities made in [37].
To extend further the use of the linear sigma model approach, it would be interesting to prove its validity on arbitrary geometries, a possibility already envisaged in [12], but whose implementation might be obstructed by backgrounds with less symmetries than the maximal one.
Considering only spaces with maximal symmetries, a still useful extension would be the introduction of worldline fermions, so to be able to consider \(N=1\) and \(N=2\) supersymmetric generalizations, as needed in the worldline description of spin 1/2 and spin 1 particles. An extension to arbitrary N would also allow one to study higher spinning particles on maximally symmetric spaces [38, 39]. In the nonlinear sigma model approach the regularizations and counterterms for the supersymmetric version of the path integral of a particle in a curved space have been most extensively analyzed at arbitrary N in [40]. A linear sigma model approach would carry many simplifications and would certainly be welcome. In the case of spin 1/2, one might wish to study from a worldline perspective the issue of the trace anomaly of a Weyl fermion, where an apparent clash between the results of [41, 42] and [43] has emerged. However, to address that point with worldline methods requires mastering the use of a generic background, as the conflicting result sits in the coefficient of a type-B trace anomaly.
References
F. Bastianelli, O. Corradini, E. Vassura, Quantum mechanical path integrals in curved spaces and the type-A trace anomaly. JHEP 1704, 050 (2017). https://doi.org/10.1007/JHEP04(2017)050. arXiv:1702.04247 [hep-th]
J. de Boer, B. Peeters, K. Skenderis, P. van Nieuwenhuizen, Loop calculations in quantum mechanical nonlinear sigma models sigma models with fermions and applications to anomalies. Nucl. Phys. B 459, 631 (1996). https://doi.org/10.1016/0550-3213(95)00593-5. arXiv:hep-th/9509158
F. Bastianelli, K. Schalm, P. van Nieuwenhuizen, Mode regularization, time slicing, Weyl ordering and phase space path integrals for quantum mechanical nonlinear sigma models. Phys. Rev. D 58, 044002 (1998). https://doi.org/10.1103/PhysRevD.58.044002. arXiv:hep-th/9801105
H. Kleinert, A. Chervyakov, Reparametrization invariance of path integrals. Phys. Lett. B 464, 257 (1999). https://doi.org/10.1016/S0370-2693(99)00943-0. arXiv:hep-th/9906156
F. Bastianelli, O. Corradini, P. van Nieuwenhuizen, Dimensional regularization of nonlinear sigma models on a finite time interval. Phys. Lett. B 494, 161 (2000). https://doi.org/10.1016/S0370-2693(00)01180-1. arXiv:hep-th/0008045
L. Alvarez-Gaume, Supersymmetry and the Atiyah-Singer index theorem. Commun. Math. Phys. 90, 161 (1983). https://doi.org/10.1007/BF01205500
L. Alvarez-Gaume, E. Witten, Gravitational anomalies. Nucl. Phys. B 234, 269 (1984). https://doi.org/10.1016/0550-3213(84)90066-X
D. Friedan, P. Windey, Supersymmetric derivation of the Atiyah-Singer index and the chiral anomaly. Nucl. Phys. B 235, 395 (1984). https://doi.org/10.1016/0550-3213(84)90506-6
F. Bastianelli, The path integral for a particle in curved spaces and Weyl anomalies. Nucl. Phys. B 376, 113 (1992). https://doi.org/10.1016/0550-3213(92)90070-R. arXiv:hep-th/9112035
F. Bastianelli, P. van Nieuwenhuizen, Trace anomalies from quantum mechanics. Nucl. Phys. B 389, 53 (1993). https://doi.org/10.1016/0550-3213(93)90285-W. arXiv:hep-th/9208059
F. Bastianelli, P. van Nieuwenhuizen, Path integrals and anomalies in curved space (Cambridge University Press, Cambridge, 2006)
J. Guven, Calculating the effective action for a selfinteracting scalar quantum field theory in a curved background pace-time. Phys. Rev. D 37, 2182 (1988). https://doi.org/10.1103/PhysRevD.37.2182
S. Deser, A. Schwimmer, Geometric classification of conformal anomalies in arbitrary dimensions. Phys. Lett. B 309, 279 (1993). https://doi.org/10.1016/0370-2693(93)90934-A. arXiv:hep-th/9302047
E.J. Copeland, D.J. Toms, The conformal anomaly in higher dimensions. Class. Quant. Grav. 3, 431 (1986). https://doi.org/10.1088/0264-9381/3/3/017
A. Cappelli, G. D’Appollonio, On the trace anomaly as a measure of degrees of freedom. Phys. Lett. B 487, 87 (2000). https://doi.org/10.1016/S0370-2693(00)00809-1. arXiv:hep-th/0005115
D.E. Diaz, Polyakov formulas for GJMS operators from AdS/CFT. JHEP 0807, 103 (2008). https://doi.org/10.1088/1126-6708/2008/07/103. arXiv:0803.0571 [hep-th]
J.S. Dowker, Determinants and conformal anomalies of GJMS operators on spheres. J. Phys. A 44, 115402 (2011). https://doi.org/10.1088/1751-8113/44/11/115402. arXiv:1010.0566 [hep-th]
C. Schubert, Perturbative quantum field theory in the string inspired formalism. Phys. Rept. 355, 73 (2001). https://doi.org/10.1016/S0370-1573(01)00013-8. arXiv:hep-th/0101036
F. Bastianelli, A. Zirotti, Worldline formalism in a gravitational background. Nucl. Phys. B 642, 372 (2002). https://doi.org/10.1016/S0550-3213(02)00683-1. arXiv:hep-th/0205182
F. Bastianelli, O. Corradini, A. Zirotti, Dimensional regularization for N=1 supersymmetric sigma models and the worldline formalism. Phys. Rev. D 67, 104009 (2003). https://doi.org/10.1103/PhysRevD.67.104009. arXiv:hep-th/0211134
F. Bastianelli, P. Benincasa, S. Giombi, Worldline approach to vector and antisymmetric tensor fields. JHEP 0504, 010 (2005). https://doi.org/10.1088/1126-6708/2005/04/010. arXiv:hep-th/0503155
F. Bastianelli, P. Benincasa, S. Giombi, Worldline approach to vector and antisymmetric tensor fields. II. JHEP 0510, 114 (2005). https://doi.org/10.1088/1126-6708/2005/10/114. arXiv:hep-th/0510010
F. Bastianelli, C. Schubert, One loop photon-graviton mixing in an electromagnetic field: Part 1. JHEP 0502, 069 (2005). https://doi.org/10.1088/1126-6708/2005/02/069. arXiv:gr-qc/0412095
T.J. Hollowood, G.M. Shore, The refractive index of curved spacetime: the fate of causality in QED. Nucl. Phys. B 795, 138 (2008). https://doi.org/10.1016/j.nuclphysb.2007.11.034. arXiv:0707.2303 [hep-th]
F. Bastianelli, O. Corradini, P.A.G. Pisani, C. Schubert, Scalar heat kernel with boundary in the worldline formalism. JHEP 0810, 095 (2008). https://doi.org/10.1088/1126-6708/2008/10/095. arXiv:0809.0652 [hep-th]
F. Bastianelli, J.M. Davila, C. Schubert, Gravitational corrections to the Euler-Heisenberg Lagrangian. JHEP 0903, 086 (2009). https://doi.org/10.1088/1126-6708/2009/03/086. arXiv:0812.4849 [hep-th]
F. Bastianelli, R. Bonezzi, O. Corradini, E. Latini, Effective action for higher spin fields on (A)dS backgrounds. JHEP 1212, 113 (2012). https://doi.org/10.1007/JHEP12(2012)113. arXiv:1210.4649 [hep-th]
F. Bastianelli, R. Bonezzi, One-loop quantum gravity from a worldline viewpoint. JHEP 1307, 016 (2013). https://doi.org/10.1007/JHEP07(2013)016. arXiv:1304.7135 [hep-th]
L. Schulman, A path integral for spin. Phys. Rev. 176, 1558 (1968). https://doi.org/10.1103/PhysRev.176.1558
K. Fujikawa, Comment on chiral and conformal anomalies. Phys. Rev. Lett. 44, 1733 (1980). https://doi.org/10.1103/PhysRevLett.44.1733
A. Strominger, On BMS invariance of gravitational scattering. JHEP 1407, 152 (2014). https://doi.org/10.1007/JHEP07(2014)152. arXiv:1312.2229 [hep-th]
F. Cachazo, A. Strominger, Evidence for a new soft graviton theorem. arXiv:1404.4091 [hep-th]
Z. Bern, S. Davies, P. Di Vecchia, J. Nohle, Low-energy behavior of gluons and gravitons from gauge invariance. Phys. Rev. D 90(8), 084035 (2014). https://doi.org/10.1103/PhysRevD.90.084035. arXiv:1406.6987 [hep-th]
A. Sen, Subleading soft graviton theorem for loop amplitudes. arXiv:1703.00024 [hep-th]
A. Laddha, A. Sen, Sub-subleading soft graviton theorem in generic theories of quantum gravity. arXiv:1706.00759 [hep-th]
A. Strominger, Lectures on the infrared structure of gravity and gauge theory. arXiv:1703.05448 [hep-th]
S. Giombi, Testing the boson/fermion duality on the three-sphere. arXiv:1707.06604 [hep-th]
S.M. Kuzenko, Z.V. Yarevskaya, Conformal invariance, N extended supersymmetry and massless spinning particles in anti-de Sitter space. Mod. Phys. Lett. A 11, 1653 (1996). https://doi.org/10.1142/S0217732396001648. arXiv:hep-th/9512115
F. Bastianelli, O. Corradini, E. Latini, Spinning particles and higher spin fields on (A)dS backgrounds. JHEP 0811, 054 (2008). https://doi.org/10.1088/1126-6708/2008/11/054. arXiv:0810.0188 [hep-th]
F. Bastianelli, R. Bonezzi, O. Corradini, E. Latini, Extended SUSY quantum mechanics: transition amplitudes and path integrals. JHEP 1106, 023 (2011). https://doi.org/10.1007/JHEP06(2011)023. arXiv:1103.3993 [hep-th]
L. Bonora, S. Giaccari, B. Lima de Souza, Trace anomalies in chiral theories revisited. JHEP 1407, 117 (2014). https://doi.org/10.1007/JHEP07(2014)117. arXiv:1403.2606 [hep-th]
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 (2017). https://doi.org/10.1140/epjc/s10052-017-5071-7. arXiv:1703.10473 [hep-th]
F. Bastianelli, R. Martelli, On the trace anomaly of a Weyl fermion. JHEP 1611, 178 (2016). https://doi.org/10.1007/JHEP11(2016)178. arXiv:1610.02304 [hep-th]
L.P. Eisenhart, Riemannian geometry (Princeton University Press, Princeton, 1965)
A.Z. Petrov, Einstein spaces (Pergamon Press, Oxford, 1969)
J. Honerkamp, Chiral multiloops. Nucl. Phys. B 36, 130 (1972). https://doi.org/10.1016/0550-3213(72)90299-4
L. Alvarez-Gaume, D.Z. Freedman, S. Mukhi, The background field method and the ultraviolet structure of the supersymmetric nonlinear sigma model. Ann. Phys. 134, 85 (1981). https://doi.org/10.1016/0003-4916(81)90006-3
P.S. Howe, G. Papadopoulos, K.S. Stelle, The background field method and the nonlinear \(\sigma \) model. Nucl. Phys. B 296, 26 (1988). https://doi.org/10.1016/0550-3213(88)90379-3
F. Bastianelli, O. Corradini, 6-D trace anomalies from quantum mechanical path integrals. Phys. Rev. D 63, 065005 (2001). https://doi.org/10.1103/PhysRevD.63.065005. arXiv:hep-th/0010118
F. Bastianelli, N.D. Hari Dass, Simplified method for trace anomaly calculations in \(d \le 6\). Phys. Rev. D 64, 047701 (2001). https://doi.org/10.1103/PhysRevD.64.047701. arXiv:hep-th/0104234
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Geometry of maximally symmetric spaces and Riemann normal coordinates
Maximally symmetric spaces are those that have a maximal number of isometries, namely \(d(d+1)/2\) for a d-dimensional space. Their curvature tensors can be expressed in terms of the metric as
where \(M^2\) is a constant which identifies the sectional curvature of the manifold. This constant is positive on a sphere of radius a, where \(M^2=1/a^2\), it vanishes for a flat space, and it is negative for a real hyperbolic space. This exhausts the list of maximally symmetric spaces. For simplicity in the main text we have considered spheres, but here we treat briefly real hyperbolic spaces as well.
In the main text we use Riemann normal coordinates (for details see [44, 45], and [46,47,48] for their application to nonlinear sigma models; the most accurate and explicit expansion of the metric around the origin that we are aware of may be found in [49]). On spheres the sectional curvature is positive, and we can take \(M=\frac{1}{a} >0\). It is then easy to evaluate recursively all terms in the expansion of the metric [50]
where the \(x^i\) denote now the Riemann normal coordinates centered around a point (the origin), \(P_{ij}\) indicates a projector given by
and \(c_l\) are coefficients that obey the recursion relation
and they are found to be given by
The series can be summed up to give
which was also reproduced in [50] (there is a misprint in Eq. (11) of [50], where a factor \((x^2)^2\) in the denominator should be replaced by \(x^2\)). The present manuscript has the correct answer. Note that the function f(x) does not have poles and it is even in x, so that it depends only on \(x^2=\mathbf {x}^{\, 2} =\delta _{ij}x^i x^j\). Note also that because of the projector \( P_{ij}\) one has the equality \(x^2=g_{ij}(x) x^i x^j\). It is now immediate to compute the inverse metric \( g^{ij}(x)\) and the metric determinant g(x) as
where
We recall again that on the right hand side of these formulas indices are raised and lowered with the flat metric \(\delta _{ij}\).
For completeness, we discuss the case of real hyperbolic spaces as well. Now the sectional curvature is negative, \(M^2<0\). It can be obtained form the previous case by the analytic continuation \(M \rightarrow i |M| \), with the imaginary unit i giving rise to the negative sign of the sectional curvature, and \(|M| =\sqrt{- M^2}\). Performing this analytic continuation in (A.4) we find that in the sum the minus signs from \((-1)^l\) get canceled
and the sum now converges to the function
Finally, the function f(x) vanishes in the flat space case, where Riemann normal coordinates are just the standard cartesian coordinates. It may also be obtained as a smooth limit of the curved cases, as \(f(x)\rightarrow 0\) for \(M\rightarrow 0\).
Appendix B: Perturbative calculations
We describe here the perturbative calculations needed to identify the corrections of order \(\beta ^7\) and \(\beta ^8\) to the transition amplitude (3.21). Lower orders have been computed in [1].
At order \(\beta ^7\) we need to evaluate
where \(\langle ...\rangle _c\) indicates connected correlation functions. In reporting our intermediate results we set \(M=1\) (sphere of unit radius), use the abbreviation \(\Delta (\tau _1,\tau _2)\equiv \Delta _{12}\) for the propagator, and indicate the contributions from topologically distinct Wick contractions that give rise to different powers of the dimension d, to assist in the verification of our intermediate results.
The different contributions are as follows:
At order \(\beta ^8\) we need instead
and the different contributions are now as follows:
We may now insert the values of the coupling constants
found from (3.10), reintroduce the correct power of M, and add all terms to find the final answer reported in (3.22) or equivalently in (3.23).
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
Bastianelli, F., Corradini, O. On the simplified path integral on spheres. Eur. Phys. J. C 77, 731 (2017). https://doi.org/10.1140/epjc/s10052-017-5307-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-017-5307-6