Quantum mechanical path integrals in curved spaces and the type-A trace anomaly

TL;DR

This paper develops a simplified path integral approach using Riemann normal coordinates to compute trace anomalies and heat kernel coefficients for scalar fields in curved spaces, validated on maximally symmetric spaces up to 12 dimensions.

Contribution

It introduces a scalar effective potential-based method for constructing path integrals in curved spaces and demonstrates its accuracy and efficiency on maximally symmetric geometries.

Findings

Accurate computation of trace anomalies up to 12 dimensions.

Validation of the simplified path integral on maximally symmetric spaces.

Extension of heat kernel coefficient calculations to higher orders.

Abstract

Path integrals for particles in curved spaces can be used to compute trace anomalies in quantum field theories, and more generally to study properties of quantum fields coupled to gravity in first quantization. While their construction in arbitrary coordinates is well understood, and known to require the use of a regularization scheme, in this article we take up an old proposal of constructing the path integral by using Riemann normal coordinates. The method assumes that curvature effects are taken care of by a scalar effective potential, so that the particle lagrangian is reduced to that of a linear sigma model interacting with the effective potential. After fixing the correct effective potential, we test the construction on spaces of maximal symmetry and use it to compute heat kernel coefficients and type-A trace anomalies for a scalar field in arbitrary dimensions up to d=12. The results agree with expected ones, which are reproduced with great efficiency and extended to higher orders. We prove explicitly the validity of the simplified path integral on maximally symmetric spaces. This simplified path integral might be of further use in worldline applications, though its application on spaces of arbitrary geometry remains unclear.

Tables

Table 1. Table 1: The type-A trace anomaly of a scalar field

$d$	$⟨T^{\mu }{}_{\mu }{}^{}⟩$	$⟨T^{\mu }{}_{\mu }{}^{}⟩$
2	$\frac{R}{24\pi }$	$\frac{1}{12\pi a^2}$
4	$-\frac{R^2}{\mathrm{34\hspace{0.17em}560}{\pi }^2}$	$-\frac{1}{240{\pi }^2{a}^4}$
6	$\frac{R^3}{\mathrm{21\hspace{0.17em}772\hspace{0.17em}800}{\pi }^3}$	$\frac{5}{\mathrm{4\hspace{0.17em}032}{\pi }^3{a}^6}$
8	$-\frac{23R^4}{\mathrm{339\hspace{0.17em}880\hspace{0.17em}181\hspace{0.17em}760}{\pi }^4}$	$-\frac{23}{\mathrm{34\hspace{0.17em}560}{\pi }^4{a}^8}$
10	$\frac{263R^5}{\mathrm{2\hspace{0.17em}993\hspace{0.17em}075\hspace{0.17em}712\hspace{0.17em}000\hspace{0.17em}000}{\pi }^5}$	$\frac{263}{\mathrm{506\hspace{0.17em}880}{\pi }^5{a}^{10}}$
12	$-\frac{\mathrm{133\hspace{0.17em}787}{R}^6}{\mathrm{1\hspace{0.17em}330\hspace{0.17em}910\hspace{0.17em}037\hspace{0.17em}208\hspace{0.17em}675\hspace{0.17em}123\hspace{0.17em}200}{\pi }^6}$	$-\frac{\mathrm{133\hspace{0.17em}787}}{\mathrm{251\hspace{0.17em}596\hspace{0.17em}800}{\pi }^6{a}^{12}}$

Equations

$$L(x,\dot{x})=\frac{1}{2}{g}_{ij}(x){\dot{x}}^i{\dot{x}}^j$$

$$H(x,p)=\frac{1}{2}{g}^{ij}(x)p_i{p}_j$$

$$\hat{H}=-\frac{1}{2}{\nabla }^2+\frac{\xi }{2}R$$

$$K(x,x^{\prime };\beta )\equiv ⟨x|e^{-\beta \hat{H}(\hat{x},\hat{p})}|x^{\prime }⟩$$

$$\hat{H}(\hat{x},\hat{p})=\frac{1}{2}{g}^{-\frac{1}{4}}(\hat{x}){\hat{p}}_i{g}^{ij}(\hat{x})g^{\frac{1}{2}}(\hat{x}){\hat{p}}_j{g}^{-\frac{1}{4}}(\hat{x}).$$

$$-\frac{\partial }{\partial \beta }K(x,x^{\prime };\beta )=-\frac{1}{2}{\nabla }_x^{2}K(x,x^{\prime };\beta )$$

$$K(x,x^{\prime };0)=\frac{{\delta }^{(d)}(x-x^{\prime })}{\sqrt{g(x)}}.$$

$$\int DxDp{e}^{-S[x,p]}$$

$$S[x,p]$$

$$H(x,p)$$

$$V_{\mathrm{TS}}(x)$$

$$S[x]={\int }_0^{\beta }dt\frac{1}{2}{g}_{ij}(x){\dot{x}}^i{\dot{x}}^j$$

$$\mathcal{D}x=\prod _{0<t<\beta }{d}^{d}x(t)\sqrt{g(x(t))}=\prod _{0<t<\beta }{d}^{d}x(t)\int DaDbDc{e}^{-S_{gh}[x,a,b,c]}$$

$$S_{gh}[x,a,b,c]={\int }_0^{\beta }dt\frac{1}{2}{g}_{ij}(x)(a^i{a}^j+b^i{c}^j).$$

$$\int DxDaDbDc{e}^{-S[x,a,b,c]}$$

$$S[x,a,b,c]={\int }_0^{\beta }dt\left(\frac{1}{2}{g}_{ij}(x)({\dot{x}}^i{\dot{x}}^j+a^i{a}^j+b^i{c}^j)+V_{CT}\right)$$

$$V_{\mathrm{MR}}=-\frac{1}{8}R-\frac{1}{24}{g}_{ij}{g}^{kl}{g}^{mn}{\Gamma }_{km}^i{\Gamma }_{ln}^j$$

$$V_{\mathrm{DR}}=-\frac{1}{8}R$$

$$\overline{K}(x,x^{\prime },\beta )=g^{\frac{1}{4}}(x)K(x,x^{\prime },\beta )g^{\frac{1}{4}}(x^{\prime })$$

$$-\frac{\partial }{\partial \beta }\overline{K}(x,x^{\prime };\beta )=-\frac{1}{2}{g}^{\frac{1}{4}}(x){\nabla }_x^2{g}^{-\frac{1}{4}}(x)\overline{K}(x,x^{\prime };\beta )$$

$$\overline{K}(x,x^{\prime };0)={\delta }^{(d)}(x-x^{\prime })$$

$$-\frac{1}{2}{g}^{\frac{1}{4}}{\nabla }^2{g}^{-\frac{1}{4}}=-\frac{1}{2}{\partial }_i{g}^{ij}{\partial }_j+V_{eff}$$

$$V_{eff}=-\frac{1}{2}{g}^{\frac{1}{4}}{\nabla }^2{g}^{-\frac{1}{4}}=-\frac{1}{2}{g}^{-\frac{1}{4}}{\partial }_i\sqrt{g}{g}^{ij}{\partial }_j{g}^{-\frac{1}{4}}$$

$$-\frac{1}{2}{g}^{\frac{1}{4}}{\nabla }^2{g}^{-\frac{1}{4}}=-\frac{1}{2}{\delta }^{ij}{\partial }_i{\partial }_j+V_{eff}$$

$$-\frac{\partial}{\partial\beta}\overline{K}(x,x^{\prime}\beta)=\Big{(}-\frac{1}{2}\delta^{ij}\partial_{i}\partial_{j}+V_{eff}(x)\Big{)}\overline{K}(x,x^{\prime};\beta)$$

$$\overline{K}(x,x^{\prime };\beta )\sim {\int }_{x(0)=x^{\prime }}^{x(\beta )=x}Dx{e}^{-S[x]},S[x]={\int }_0^{\beta }dt\left(\frac{1}{2}{\delta }_{ij}{\dot{x}}^i{\dot{x}}^j+V_{eff}(x)\right).$$

$$R_{mnab}=M^2(g_{ma}{g}_{nb}-g_{mb}{g}_{na})$$

$$R_{mn}$$

$$R$$

$$M^2=\frac{R}{(d-1)d}$$

$$g_{mn}(x)$$

$$x=\sqrt{{\vec{x}}^2},{\hat{x}}^m=\frac{x^m}{x}.$$

Full text

1 Introduction

The path integral formulation of quantum mechanics Feynman:1948ur carries a certain amount of subtleties when applied to particles moving in a curved background. These subtleties are the analogue of the ordering ambiguities of canonical quantization, and can be addressed by specifying a regularization scheme needed to make sense of the path integral, at least perturbatively. The action of a nonrelativistic particle takes the form of a nonlinear sigma model in one dimension, and as such it identifies a super-renormalizable one-dimensional quantum field theory. It can be treated by choosing a regularization scheme supplemented by corresponding counterterms, the latter being needed to match the renomalization conditions, i.e. to fix uniquely the theory under study.

While several regularization schemes have been worked out and tested, see Bastianelli:2006rx , in this article we take up an old proposal, put forward by Guven in Guven:1987en , of constructing the path integral in curved spaces by making use of Riemann normal coordinates. It assumes that in such a coordinate system an auxiliary flat metric can be used in the kinetic term, while a suitable effective potential is supposed to reproduce the effects of the curved space. This construction transforms the model into a linear sigma model. The simplifications expected in having a linear sigma model, rather then a nonlinear one, are rather appealing, and motivated us to investigate the issue further. Indeed, a simplified path integral might be more efficient for perturbative calculations, making worldline applications easier. We shall apply and test the method on spaces of maximal symmetry (e.g. spheres) by perturbatively computing the partition function, and check if it reproduces known results. This happens with a dramatic gain in efficiency. We recall that the partition function on spheres can be used as generating function for the type-A trace anomalies of a scalar field in arbitrary $d$ dimensions. The evaluation of trace anomalies is a typical worldline calculation, performed in Bastianelli:2001tb up to $d=6$ by using the nonlinear sigma model. The linear sigma model allows to reproduce those results and to push the perturbative order much further. We use it to scan dimensions up to $d=12$, though one could go higher if needed. Our conclusion is that the method is viable on spaces of maximal symmetry, and indeed we provide an explicit proof of its validity. However, an extension to generic curved spaces is not warranted, as we shall discuss later on.

We structure our paper as follows. We first review the path integral construction in arbitrary coordinates, to put the new method in the right perspective. The action in arbitrary coordinates is that of a nonlinear sigma model, and we seize the opportunity to comment on its use in worldline applications. In Section 3 we review the proposal of ref. Guven:1987en , and point out that the identification of the effective potential reported in that reference is incorrect (though it could be a misprint). More importantly, we stress that the proof of why the effective potential should work is not given in ref. Guven:1987en , nor is it contained in the cited references. In some of those references Bunch:1979uk ; Hu:1984js , see also Parker:2009uva , we have found arguments why the assumption of an effective potential might work perturbatively, at least up to few perturbative orders. Those arguments use the Lorentz symmetry of flat space recursively, and do not seem to apply on generic curved spaces. Thus in Section 4 we restrict ourselves to spaces of maximal symmetry, where those arguments might have a better chance of working. We test the method with the correct effective potential by computing perturbatively the partition function. We find indeed that it reproduces more efficiently known results. Moreover it permits to push the calculations to higher perturbative orders. In Section 5 we use the partition function to extract the type-A trace anomalies for a scalar field in arbitrary $d$ dimensions up to $d=12$. This produces further checks on the path integral results. Conforted by this success, we are led to provide an explicit proof of the validity of the simplified path integral on maximally symmetric spaces, which is presented in Appendix A, while Appendix B is left for details on our linear sigma-model worldline calculations.

2 Particle in curved space

The lagrangian of a nonrelativistic particle of unit mass in a curved $d$-dimensional space contains just the kinetic term

[TABLE]

where $g_{ij}(x)$ is the metric in an arbitrary coordinate system. It is the action of a nonlinear sigma model in one dimension, and the corresponding equations of motion are the geodesic equations written in terms of the affine parameter $t$, the time used in the definition of the velocity $\dot{x}^{i}=\frac{dx^{i}}{dt}$. The corresponding hamiltonian reads

[TABLE]

where $p_{i}$ are the momenta conjugated to $x^{i}$. Upon canonical quantization it carries ordering ambiguities, which consist in terms containing one or two derivatives acting on the metric111In the coordinate representation the hermitian momentum acting on a scalar wave function takes the form $p_{i}=-ig^{-\frac{1}{4}}\partial_{i}g^{\frac{1}{4}}$. Further details may be found in the book Bastianelli:2006rx , or in the classic paper DeWitt:1957at .. These ambiguities are greatly reduced by requiring background general coordinate invariance. Since the only tensor that can be constructed with one and two derivatives on the metric is the curvature tensor, the most general diffeomorphism invariant quantum hamiltonian takes the form

[TABLE]

where $\nabla^{2}$ is the covariant laplacian acting on scalar wave functions, and $\xi$ is an arbitrary coupling to the scalar curvature $R$ (defined to be positive on a sphere) that parametrizes remaining ordering ambiguities. The value $\xi=0$ defines the minimal coupling, while the value $\xi=\frac{d-2}{4(d-1)}$ is the conformally invariant coupling in $d$ dimensions.

For definiteness let us review the theory with the minimal coupling $\xi=0$. Other values can be obtained by simply adding a scalar potential $V=\frac{\xi}{2}R$. The transition amplitude in euclidean time $\beta$ (the heat kernel)

[TABLE]

is defined with the covariant hamiltonian222We choose position eigenstates normalized as scalars: $\hat{x}^{i}|x\rangle=x^{i}|x\rangle,\ \langle x|x^{\prime}\rangle={\delta^{(d)}(x-x^{\prime})\over\sqrt{g(x)}},\ \mathbb{1}=\int d^{d}x\sqrt{g(x)}\,|x\rangle\langle x|$, so that the amplitude $K(x,x^{\prime};\beta)$ is a biscalar.

[TABLE]

It solves the Schroedinger equation in euclidean time (heat equation)

[TABLE]

and satisfies the boundary condition at $\beta\to 0$

[TABLE]

In eq. (6) $\nabla^{2}_{x}$ indicates the covariant scalar laplacian acting on coordinates $x$.

The transition amplitude $K(x,x^{\prime};\beta)$ can be given a path integral representation. Using a Weyl reordering of the quantum Hamiltonian $\hat{H}(\hat{x},\hat{p})$ allows to derive a discretized phase-space path integral containing the classical phase-space action suitably discretized by the midpoint rule Berezin:1971jf . The action acquires a finite counterterm $V_{\rm TS}$ of quantum origin, arising form the Weyl reordering of the specific hamiltonian in eq. (5), originally performed in Mizrahi:1975pw (the subscript TS reminds of the time slicing discretization of the time variable). The perturbative evaluation of the phase space path integral can be performed directly in the continuum limit Sato:1976hy

[TABLE]

with the phase-space euclidean action taking the form

[TABLE]

To generate the amplitude $K(x,x^{\prime};\beta)$ the paths $x(t)$ must satisfy the boundary conditions $x(0)=x^{\prime}$ and $x(\beta)=x$, while the paths $p(t)$ are unconstrained. We recall that perturbative corrections are finite in phase space. The presence of the noncovariant part of the counterterm $V_{\rm TS}$ corrects the noncovariance of the midpoint discretization, and it makes sure that the final result is covariant. These noncovariant counterterms were also derived in Gervais:1976ws (and reviewed in the book Sakita:1986ad ) by considering point transformations (i.e. arbitrary changes of coordinates) in flat space.

The definition of the corresponding path integral in configuration space encounters more subtle problems. The classical action takes the form of a nonlinear sigma model in one dimension

[TABLE]

and power counting indicates that, in a perturbative expansion about flat space, it is a super-renomalizable model, with superficial degree of divergence $D=2-L$ where $L$ counts the number of loops Bastianelli:2006rx . Thus, viewing quantum mechanics as a particular QFT in one euclidean dimension one finds that possible divergences may arise at one- and two-loops. Therefore, just like in generic QFTs, one must define a regularization scheme with corresponding counterterms. Usually counterterms contain an infinte part, needed to cancel divergences, and a finite part, needed to match the renomalization conditions. In the present case the counterterms are finite if one includes the local terms arising from the general coordinate invariant path integral measure.

Three well-defined regularizations have been studied in the literature, all prompted by the effort of computing QFT trace anomalies with quantum mechanical path integrals Bastianelli:1991be ; Bastianelli:1992ct . The latter extended to trace anomalies the quantum mechanical method used for chiral anomalies in AlvarezGaume:1983at ; AlvarezGaume:1983ig ; Friedan:1983xr . In the case of chiral anomalies the presence of a worldline supersymmetry carries many simplifications. However, supersymmetry is not present in the trace anomaly case, and the corresponding quantum mechanical path integrals must be defined with great care to keep under control the full perturbative expansion.

To recall the various regularization schemes let us first notice that in configuration space the formally covariant measure can be related to a translational invariant measure by using ghost fields $a^{i}$, $b^{i}$ and $c^{i}$ à la Feddeev-Popov

[TABLE]

where

[TABLE]

Considering $a^{i}$ bosonic variable and $b^{i},c^{i}$ fermionic variables allows to reproduce the factor $\frac{g(x(t))}{\sqrt{g(x(t))}}=\sqrt{g(x(t))}$ in the measure. By $Dx$, $Da$, $Db$ and $Dc$ we indicate the translational invariant measure, useful for generating the perturbative expansion (e.g. $Dx=\prod_{0<t<\beta}d^{d}x(t)$, and so on). Thus, the path integral for the nonlinear sigma model in configuration space can be written as

[TABLE]

with the full action taking the form

[TABLE]

and with $V_{CT}$ indicating the counterterm associated to the chosen regularization. To generate the amplitude $K(x,x^{\prime};\beta)$ the paths $x(t)$ must of course satisfy the boundary conditions $x(0)=x^{\prime}$ and $x(\beta)=x$.

The time slicing regularization (TS) in configuration space was studied in DeBoer:1995hv ; deBoer:1995cb , by deriving it from the phase space path integral, and studying carefully the continuum limit of the propagators together with the rules that must be used in evaluating their products. Indeed one may recall that the perturbative propagators are distributions: how to multiply them and their derivatives together is the problem one faces in regulating the perturbative expansion. This regularization inherits the counterterm $V_{\rm TS}$ in (9).

Mode regularization (MR) was employed in curved space already in Bastianelli:1991be ; Bastianelli:1992ct . The complete counterterm was identified in Bastianelli:1998jm to address some mismatches originally found between TS and MR. With the correct counterterm

[TABLE]

those mismatches disappeared. The rules how to define the products of distributions in this regularization scheme follows from expanding the quantum fluctuations in a Fourier series truncated by a cut-off, which eventually is removed to reach the continuum limit. Including the vertices originating from the counterterm produces the covariant final answer.

Finally, dimensional regularization (DR) was introduced in the quantum mechanical context in Kleinert:1999aq ; Bastianelli:2000pt ; Bastianelli:2000nm . It needs the counterterm

[TABLE]

which has the useful property of being covariant.

All these regularizations have been extensively tested and compared, see e.g. Bastianelli:1998jb ; Bastianelli:2000dw . Extensions to supersymmetric models have been recently discussed again in Bastianelli:2011cc , where the counterterms in all the previous regularization schemes were identified for the supersymmetric nonlinear sigma model with $N$ supersymmetries at arbitrary $N$. Additional details on the various regularization schemes may be found in the book Bastianelli:2006rx .

The case of trace anomalies provided a precise observable on which to test and verify the construction of the quantum mechanical path integrals in curved spaces, clearing the somewhat confusing status of the subject present in previous literature. With this tool at hand, more general applications of the path integral were possible, in particular in the first quantized approach to quantum fields Schubert:2001he coupled to gravitational backgrounds, such as the worldline description of fields of spin 0, 1/2 and 1 coupled to gravity Bastianelli:2002fv ; Bastianelli:2002qw ; Bastianelli:2005vk ; Bastianelli:2005uy , the analysis of amplitudes in Einstein-Maxwell theory Hollowood:2007ku ; Bastianelli:2008cu ; Davila:2009vt ; Bastianelli:2012bz , the study of photon-graviton conversion in strong magnetic fields Bastianelli:2004zp ; Bastianelli:2007jv , the description of higher spin fields in first quantization Bastianelli:2012bn , as well as worldline approaches to perturbative quantum gravity Bastianelli:2013tsa .

3 A linear sigma model

In the previous section we have reviewed the quantum mechanical path integral for a nonlinear sigma model, that describes a particle moving in a curved space by using arbitrary coordinates. In this section we wish to take up in a critical way an old proposal, put forward by Guven in Guven:1987en , of constructing the path integral in curved space by using Riemann normal coordinates. The proposal assumes that in Riemann coordinates an auxiliary flat metric can be used in the kinetic term, while an effective potential reproduces the effects of the curved space. This construction aims at transforming the original nonlinear sigma model into a linear one. If correct, it carries several simplifications, making perturbative calculations simpler and more efficient. It may also improve its use in the worldline applications mentioned earlier.

Thus, let us review the considerations put forward in Guven:1987en . First of all it is convenient to consider the transition amplitude as a bidensity by defining

[TABLE]

so that, from (6), $\overline{K}$ is seen to satisfy the equation

[TABLE]

with boundary condition

[TABLE]

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. The differential operator appearing on the right hand side of eq. (18) can be rewritten through a direct computation as

[TABLE]

where derivatives act through and with the effective potential given by

[TABLE]

where all derivatives now stop after acting on the last function. At this stage, one may use Riemann normal coordinates (see Eisenhart:1965 ; Petrov:1969 , and also AlvarezGaume:1981hn ; Howe:1986vm for their application to nonlinear sigma models). It was claimed in Hu:1984js that the Lorentz invariance (rotational invariance in euclidean conventions) of the momentum-space representation of $\overline{K}$ written in Riemann normal coordinates implies that the $g^{ij}$ in the $\partial_{i}g^{ij}\partial_{j}$ operator of (20) can be replaced by the constant $\delta^{ij}$. Indeed, in the momentum-space representation of $\overline{K}$ previously studied in ref. Bunch:1979uk by using Riemann normal coordinates, it was found that in an adiabatic expansion of $\overline{K}$ the first few terms depended on certain scalar functions, which were functions of $\delta_{ij}x^{i}x^{j}$ only (see also the book Parker:2009uva ). However it is not obvious why such a property should hold to all orders. In a curved space Lorentz invariance obviously cannot hold, for example scalar terms proportional to $R_{ij}x^{i}x^{j}$ may also arise (by $R_{ij}$ we consider the Ricci tensor evaluated at the origin of the Riemann coordinates, and by $x^{i}$ the Riemann normal coordinates themselves). Guven in Guven:1987en claimed however that in Riemann normal coordinates eq. (20) simplifies to

[TABLE]

while referring to Vilkovisky:1984 for a proof. Thus he was led to consider the euclidean Schroedinger equation

[TABLE]

that can be solved by a standard path integral for a linear sigma model

[TABLE]

However again, in reviewing this construction, we have not been able to find the proof of (22) in Vilkovisky:1984 , which does not contain such statements. Also the effective potential used in Guven:1987en does not coincide with the one written in eq. (21) (even taking care of the different conventions used). In any case, it is the potential in (21) that might have a chance of working.

Given this state of understanding, we still find the conjecture that “the path integral in curved space can be reduced in Riemann normal coordinates to that of a linear sigma model” to be rather appealing. Also, the reasonings leading to (22) has a better chance of working if one considers maximally symmetric spaces, where Lorentz (or rotational) symmetry can indeed be implemented in a suitable sense. This is indeed the case, and we prove in Appendix A that the bidensity (17), on a $d$-dimensional maximally symmetric space described by Riemann normal coordinates satisfies the heat equation with the flat operator (20). Thus, in the next sections, we proceed in testing explicitely the path integral construction on spaces of maximal symmetry.

4 Path integral on maximally symmetric spaces

We wish to test the path integral in Riemann normal coordinates using the linear sigma model of eq. (24) and considering maximally symmetric spaces. In particular, we wish to compare it with the path integral calculation done with the nonlinear sigma model and Riemann normal coordinates in Bastianelli:2001tb . The observable computed there was the transition amplitude at coinciding points $K(x,x,\beta)$. In the present analysis we use the same notations of ref. Bastianelli:2001tb , except for a change in sign in the Ricci tensors, so to have a positive Ricci scalar on spheres.

On maximally symmetric spaces the Riemann tensor is related to the metric tensor by

[TABLE]

where $M^{2}$ is a constant that can be either positive, negative, or vanishing (flat space). The Ricci tensors are then defined by

[TABLE]

so that the constant $M^{2}$ is related to the constant Ricci scalar $R$ by

[TABLE]

which is positive on a sphere. We want to use Riemann normal coordinates. The expansion of the metric in normal coordinates around a point (called the origin) is obtained by standard methods and reads

[TABLE]

where $x^{m}$ denote now Riemann normal coordinates and

[TABLE]

One may compute all terms of the series recursively, and sum the series to get Bastianelli:2001tb

[TABLE]

where the projector $P_{mn}$ is defined by

[TABLE]

Defining the auxiliary functions

[TABLE]

allows to write the metric, its inverse, and the metric determinant in Riemann normal coordinates as

[TABLE]

where, on the right hand side of these formulae, indices are raised and lowered with the flat metric $\delta_{mn}$.

We are now ready to consider the linear sigma model (24). We wish to evaluate the transition amplitude at coinciding points $x=x^{\prime}=0$ (taken to be the origin of the Riemann coordinates) in a perturbative expansion in terms of the propagation time $\beta$. To control the $\beta$ expansion it is useful to rescale the time $t\to\tau=\frac{t}{\beta}$ so that $\tau\in[0,1]$ and the action takes the form

[TABLE]

The leading term for $\beta\to 0$ is just the free particle which is exactly solvable. It is notationally convenient to set $M=1$, as $M$ can be reintroduced by dimensional analysis. Now we must compute the potential $V_{eff}(x)$. Using eqs. (32) and (33), from (21) we find

[TABLE]

which is evaluated to

[TABLE]

and which expands to

[TABLE]

The perturbative expansion of the path integral is obtained by setting

[TABLE]

with

[TABLE]

so that eq. (17) reduces to ($x=0$ is the Riemann normal coordinate of the origin)

[TABLE]

where $\langle...\rangle$ denotes normalized correlation function with the free path integral.

Using the free propagator and Wick contractions, we obtain the following perturbative answer (see appendix B for details)

[TABLE]

with the exponential that can be expanded to identify the first six heat kernel coefficients (also known as Seeley–DeWitt coefficients).

Amazingly, it compares successfully with eq. (16) of ref. Bastianelli:2001tb (taking into account that $\xi=0$ and that the sign of $R$ has been reversed). In that reference the calculation was performed up to order $(\beta R)^{3}$. In the present case those results are reproduced almost trivially, and in fact we have been able to push the calculation to higher orders. For arbitrary $d$ these higher orders are new, as far as we know. In the next section we will further test our coefficients at specific values of $d$. It is also amusing to note that the path integral result is exact on the 3-sphere, as the effective potential $V_{eff}$ in eq. (36) becomes constant at $d=3$. This is as it should be, as the transition amplitude on $S^{3}$ is known exactly Schulman:1968yv , thanks to the fact that $S^{3}$ coincides with the group manifold $SU(2)$.

5 Type-A trace anomaly of a scalar field

A further test is to use our results to compute the type-A trace anomaly of a conformal scalar field. Trace anomalies characterize conformal field theories. They amount to the fact that the trace of the energy-momentum tensor for conformal fields, which vanishes at the classical level, acquires anomalous terms at the quantum level. These terms depend on the background geometry of the spacetime on which the conformal fields are coupled to, and they are captured by the appropriate Seeley–DeWitt coefficient sitting in the heat kernel expansion of the associated conformal operator, see Duff:1993wm for example.

A simple way to obtain this relation is to view the trace anomaly as due to the QFT path integral measure, so that it is computed by the regulated Jacobian arising from the Weyl transformation of the QFT path integral measure Fujikawa:1980vr . For a scalar field the infinitesimal Weyl transformation $\delta_{\sigma}g_{mn}(x)=\sigma(x)g_{mn}(x)$, applied to the one-loop effective action, yields

[TABLE]

where the consistent regulator ${\cal R}$, that appears in the exponent, is just the conformal operator associated to the scalar field, and reads

[TABLE]

It can be identified as the hamiltonian operator (3) for a non-relativistic particle in curved space. Therefore, one identifies the trace anomaly in terms of a particle path integral by

[TABLE]

where it is understood that the limit picks up just the $\beta$-independent term—divergent terms are removed by QFT renormalization. This procedure selects the appropriate Seeley–DeWitt coefficient sitting in the expansion of $K(x,x;\beta)$.

Trace anomalies have been classified as type-A, type-B and trivial anomalies in Deser:1993yx . On conformally flat spaces the type-B and trivial anomalies vanish, so that only the type-A anomaly survives. It is proportional to the topological Euler density, and its coefficient enters the so-called $c$-theorem of 2 dimensions Zamolodchikov:1986gt and $a$-theorem of 4 dimensions Komargodski:2011vj at fixed points. These theorems capture the irreversibility of the renormalization group flow in 2 and 4 dimensions. Their extension to arbitrary even dimensions has been conjectured, but not proven (see also Giombi:2014xxa for a more general conjecture).

We are going to use the previous results on the sphere (a conformally flat space) to calculate the type-A trace anomaly for a scalar field in arbitrary dimensions up to $d=12$, which will serve as a further test on the linear sigma model approach of the previous section. Using the expansion obtained in the previous section, and choosing $x$ as the origin of the RNC coordinate system, we have by definition $g_{mn}(x)=\delta_{mn}$ in Riemann normal coordinates, and

[TABLE]

so that expanding (41) (recall that there $x=0$ indicates the origin of the RNC), and picking the $\beta^{0}$ term in the chosen dimension $d$, we obtain the trace anomalies for a conformal scalar field in $d$ dimensions reported in Table 1, where the second form is written in terms of $a^{2}=\frac{1}{M^{2}}=\frac{d(d-1)}{R}$ to directly compare with the results tabulated in Copeland:1985ua .

The comparison is successful, except at $d=12$, where our respective coefficients differ by a number of the order of $10^{-13}$. Our result is correct as using the zeta function approach employed in Copeland:1985ua ; Cappelli:2000fe we have been able to reproduce our findings333The mismatch could perhaps have happened due to some inappropriate rounding of the exact number, occasionally introduced by calculators. We thank Zura Kakushadze for having pointed out such a possibility to us..

6 Conclusions

We have tested a method of computing the path integral for a particle in curved spaces in Riemann normal coordinates that employs a linear sigma model action with an additional scalar effective potential. This method was proposed by Guven in Guven:1987en , but with assumptions whose proof were not given. We have checked the method by restricting it to maximally symmetric geometries, and found that indeed it reproduces correct results in a quite efficient way. In particular, we have used it to obtain the first six Seeley–DeWitt coefficients at coinciding points for the $d$-dimensional sphere (more generally, for maximally symmetric spaces), and computed the type-A trace anomaly for a scalar field up to $d=12$. This helped us also to correct a wrong value for the trace anomaly of a scalar field in twelve dimensions reported in ref. Copeland:1985ua . The success of the simplified path integral on maximally symmetric spaces has led us to search for a simple proof of its validity, which we have found and reported in Appendix A.

It would be interesting to extend the present method to supersymmetric nonlinear sigma models, so to consider fields of spin 1/2 and 1, if not higher, in worldline applications, or to consider curved spaces with boundaries, following the path integral treatment of refs. Bastianelli:2006hq ; Bastianelli:2008vh which dealt with flat space only.

As for arbitrary geometries, we cannot say much at this stage. If a proof of the crucial relation used in constructing the path integral cannot be produced, one may still test it by a perturbative computation at sufficiently high order. We wish to be able to report on this subject in a near future.

Acknowledgements.

We would like to thank Andrej Barvinski and Christian Schubert for useful discussions.

Appendix A A simple proof in maximally symmetric spaces

Here we give a simple proof that the bidensity (17) satisfies the heat equation

[TABLE]

in a maximally symmetric space described by Riemann normal coordinates. For this to be true we must show that the “curved” differential operator (20) acts on (17) identically as the “flat” operator (22), i.e.

[TABLE]

Taking $x^{\prime}=0$ as the origin of the Riemann normal coordinates, and using (31) and (33), the left hand side of (47) reduces to

[TABLE]

In maximally symmetric spaces, all curvature tensors are given algebraically in terms of the metric and of the constant scalar curvature $R$, see eqs. (25)–(27), so that by symmetry arguments the bidensity $\overline{K}(x,0;\beta)$ can only depend on the coordinates through the “scalar” function $x^{2}=\delta_{ij}x^{i}x^{j}$. Therefore, using the orthogonality condition $P^{ij}x_{j}=0$, one gets

[TABLE]

and

[TABLE]

Therefore, (47) is proven. Casting (46) in the form of a path integral is now immediate.

Appendix B Computational details

The free propagator for $x^{i}(\tau)$ vanishing at $\tau=0$ and $\tau=1$ is obtained from (39) and reads

[TABLE]

with

[TABLE]

where $\theta(x)$ is the Heaviside step function with $\theta(0)=\frac{1}{2}$.

The perturbative expansion is obtained from (40). In expanding the exponential with $S_{int}$ it is useful to define

[TABLE]

where $S_{2m}$ is the term containing the power $(x^{2})^{m}$, with $x^{2}=\vec{x}^{\,2}=x^{i}x_{i}$. For simplicity we denote them by

[TABLE]

where the numerical coefficients $k_{2m}$ are read off from (37). It is sufficient to compute the connected correlation functions, denoted by $\langle...\rangle_{c}$, and express (40) as

[TABLE]

where we have kept terms contributing up to order $\beta^{6}$ only. Using Wick contractions we find the following result

[TABLE]

where the intermediate results that we have summed here above are as follows (using the abbreviation $\Delta(\tau_{1},\tau_{2})\equiv\Delta_{12}$)

Order $\beta$

There is only a constant term that does not require any Wick contraction

[TABLE]

Order $\beta^{2}$

[TABLE]

Order $\beta^{3}$

[TABLE]

Order $\beta^{4}$

[TABLE]

[TABLE]

Order $\beta^{5}$

[TABLE]

[TABLE]

Order $\beta^{6}$

[TABLE]

[TABLE]

[TABLE]

[TABLE]