Jun 20, 2017 - An important hurdle to be faced by any model proposing a resolution to the cosmo- logical constant problem is Weinberg's venerable no g...

0 downloads 1 Views 80KB Size

arXiv:1706.05804v2 [hep-th] 20 Jun 2017

Weinberg’s No Go Theorem in Quantum Gravity Ichiro Oda

1

Department of Physics, Faculty of Science, University of the Ryukyus, Nishihara, Okinawa 903-0213, Japan.

Abstract An important hurdle to be faced by any model proposing a resolution to the cosmological constant problem is Weinberg’s venerable no go theorem. This theorem states that no local field equations including classical gravity can have a flat Minkowski solution for generic values of the parameters, in other words, the no go theorem forbids the existence of any solution to the cosmological constant problem within local field theories without fine tuning. Though the original Weinberg theorem is valid only in classical gravity, in this article we prove that this theorem holds even in quantum gravity. Our proof is very general since it makes use of the BRST invariance emerging after gaugefixing of general coordinate invariance and does not depend on the detail of quantum gravity.

1

E-mail address: [email protected]

One of the most interesting but difficult problems of modern theoretical physics and cosmology concerns the cosmological constant, in particular, its smallness and its severe fine tuning. Most of the models addressing the cosmological constant problem thus far rely on some dynamical mechanism where some classical field configuration adjusts a bare vacuum energy density to a tiny value. Any proposal of this kind, however, is in conflict with a celebrated no go theorem due to Weinberg [1], which states that no local field equations including classical gravity can have a flat Minkowski solution for generic values of the parameters. To put differently, the no go theorem forbids the existence of any solution to the cosmological constant problem within local field theories unless there is a fine tuning. To bypass the Weinberg theorem, therefore, it seems that we should move on to some kinds of nonlocal field theories. Actually, there have recently appeared such two classes of nonlocal models, those are, the vacuum energy sequester [2, 3, 4, 5, 6] and the nonlocal approach to the cosmological constant problem [7, 8, 9], though they are closely related to each other. In the vacuum energy sequestering model, two gauge invariant variables of general relativity, in essence the cosmological constant and the Planck mass scale, are promoted to dynamical variables, which play a critical role in ensuring that the cosmological constant automatically cancels the radiative corrections from matters in the gravitational field equations. Meanwhile, in the nonlocal approach to the cosmological constant problem, a nonlocal constraint, which forces the total action to vanish identically, plays a role in removing the cosmological constant from the Einstein equations. In the both models, operation of taking the space-time average of some quantities brings nonlocal effects into the models [10, 11, 12] and consequently the effective cosmological constant is expressed in terms of the space-time average of the trace of the energy-momentum tensor (plus some additional terms in the latter model). In this way, Weinberg’s no go theorem lays a cornerstone on nonlocal studies of the cosmological constant problem. However, this theorem is a purely classical statement based on field equations including classical general relativity, so it is valuable to extend the classical theorem to a quantum mechanical one. Indeed, the cosmological constant problem stems from a clash between particle physics which sources the vacuum energy density through quantum effects and gravity which responds to it classically. Moreover, in order to describe this issue more accurately, it would be necessary to take account of quantum effects from graviton loops, in other words, quantum gravity. In this article, we would like to present a purely quantum mechanical proof of the Weinberg theorem within the framework of quantum gravity. In the proof by Weinberg, the general linear invariance GL(4) plays a key role. However, it is known that this global invariance is broken spontaneously in quantum gravity. First of all, we wish to briefly review the manifestly covariant canonical formalism of quantum gravity [13, 14] and account for why GL(4) is broken spontaneously in quantum gravity [15]. The total action of quantum gravity is of form S=

Z

d4 x L,

(1)

where the total Lagrangian density L is defined as (for simplicity, we have put 8πGN = 1

1

where GN is Newton’s constant) L=

√ √ 1√ −g(R − 2Λ) + ∂µ ( −gg µν )bν − i −gg µν ∂µ c¯ρ ∂ν cρ + Lm . 2

(2)

Here g is the determinant of the metric tensor, g = det gµν , and R and Λ denote the scalar curvature and a bare cosmological constant, respectively. bµ is an auxiliary field, and cµ and c¯µ denote the FP ghosts and Lm denotes the Lagrangian density for generic matter fields. In this action, as the gauge condition for diffeomorphisms, the following de Donder condition is chosen: √ ∂µ ( −gg µν ) = 0. (3) √ Owing to the identity ∇µ ( −gg µν ) = 0, Eq. (3) can be rewritten as Γµνρ g νρ = 0,

(4)

which is manifestly invariant under the general linear transformation GL(4). The action S is not invariant under diffeomorphisms any longer, but it is still invariant under the BRST transformation and GL(4) transformation. Actually, the GL(4) generators have been found to be Z i h √ µ (5) cν ∂ρ cµ + i(∂ρ c¯ν )cµ . M ν = d3 x −gg 0ρ xµ ∂ρ bν − δρµ bν − i¯ Using the canonical commutation relations, it is straightforward to calculate the following commutation relations [14, 15]: [M µ ν , M ρ σ ] = −iδσµ M ρ ν + iδνρ M µ σ , [gρσ , M µ ν ] = ixµ ∂ν gρσ + iδρµ gνσ + iδσµ gνρ .

(6)

If we assume that the translational invariance is not spontaneously broken, the vacuum expectation value of gµν is a flat Minkowski metric h0|gµν |0i = ηµν ,

(7)

where |0i denotes the true vacuum state. The vacuum expectation value of the remaining fields, those are, the auxiliary field bµ , the FP ghost cµ and the FP antighost c¯µ , is taken to be zero. Then, the latter commutation relation in Eq. (6), together with Eq. (7), yields h0|[gρσ , M µ ν ]|0i = iδρµ ηνσ + iδσµ ηνρ .

(8)

This equation clearly shows that the GL(4) invariance is broken spontaneously. On the other hand, the Lorentz symmetry, which is a subgroup of GL(4), is exactly preserved since we can show that h0|[gρσ , Jµν ]|0i = 0, 2

(9)

where the Lorentz generators Jµν are defined as Jµν = ηµρ M ρ ν − ηνρ M ρ µ .

(10)

As a result, the number of the spontaneous symmetry breakdown is equal to 16 − 6 = 10, which precisely coincides with the number of the dynamical degrees of freedom of the graviton. Thus, we can conclude that the graviton must be exactly massless owing to the Goldstone theorem [14, 15]. Note that this proof is an exact proof without recourse to perturbation theory. Now we wish to present a quantum mechanical proof of the Weinberg theorem on the basis of the manifestly covariant canonical formalism of quantum gravity. Before doing so, let us ask two questions which are the key to our proof. First, recall that in the classical proof by Weinberg, the GL(4) invariance plays a critical role, but as explained above, GL(4) is spontaneously broken in quantum gravity. Thus, the question to be asked first is what symmetry we can rely on in quantum gravity instead of GL(4). This symmetry should be a global symmetry which is preserved exactly in quantum regime. The almost unique candidate for such a symmetry is nothing but the BRST symmetry which is a residual global symmetry of diffeomorphisms emerging after gauge fixing. Next, recall that the classical Lagrangian density and field equations also play a role in the Weinberg’s proof. Thus, the second question which we should ask ourselves is which quantum mechanical quantity plays a similar role to the classical Lagrangian density. The answer is obvious again, namely, the effective action Γ[ϕ], which can be obtained from the generating functional of connected Green’s functions, W [J], via the Legendre transformation. Of course, the effective action Γ[ϕ] is the generating functional of the 1PI (one-particle-irreducible) vertex functions Γ(n) and involves all information on radiative corrections in addition to classical action [16]. Armed with these ideas, we are now ready to present our proof. Let us note that the total action (1) is invariant under the following BRST transformation: δB gµν = −∂µ cρ gρν − ∂ν cρ gρµ , δB ϕi = 0,

δB cµ = 0,

ρ

µ

δB Aµ = −∂µ c Aρ ,

δB c¯µ = ibµ ,

δB bµ = 0,

µ

δB x = c ,

(11)

where we have considered N real scalar fields ϕi (i = 1, 2, · · · , N) and a vector field Aµ as the matter fields. Let us recall that the conventional BRST transformation is given by δˆB gµν = −cρ ∂ρ gµν − ∂µ cρ gρν − ∂ν cρ gρµ = −∇µ cν − ∇ν cµ , δˆB cµ = −cρ ∂ρ cµ , δˆB c¯µ = iˆbµ , δˆB ˆbµ = 0, δˆB ϕi = −cρ ∂ρ ϕi , δˆB Aµ = −cρ ∂ρ Aµ − ∂µ cρ Aρ , δˆB xµ = 0.

(12)

It is known that the two types of nilpotent BRST transformations, (11) and (12), are mathematically equivalent and they are simply related by the equation δˆB Φ = δB Φ − cρ ∂ρ Φ, 3

(13)

with Φ ≡ {gµν , ϕi , Aµ , cµ , c¯µ , bµ , xµ } and ˆbµ ≡ bµ − icρ ∂ρ c¯µ [14], so we can use either at will. However, in the case at hand, the former BRST transformation (11) is more convenient than the latter one (12) since the Lagrangian density transforms as a density under the BRST transformation (11). We therefore use the former BRST transformation (11) in this article. √ Under the BRST transformation (11), since −gd4 x is the invariant volume, √1−g L is BRSTinvariant whose fact can be verified by the explicit calculation. Next, to proceed in parallel with discussions on GL(4) [17], let us rewrite the BRST transformation of gµν as δB gµν = −∂µ cρ gρν − ∂ν cρ gρµ = δMµν + δMνµ .

(14)

Since the BRST transformation (11) is the residual transformation of diffeomorphisms like GL(4), it is convenient to express the BRST transformation in terms of the GL(4)-like expression as (precisely speaking, we should put the Grassmann-odd parameter λ in front of δM µ ν , but we omit it since this parameter is irrelevant for later argument) M µ ν = δνµ + δM µ ν .

(15)

˜ which is defined as At this stage, let us consider an integrand of the effective action, Γ Γ=

Z

˜ d4 x Γ,

(16)

where Γ is the conventional effective action which is invariant under the BRST transformation (11). (It is assumed that we can obtain a BRST-invariant effective action Γ by following a ˜ is a density quantity under the BRST transformation, recipe explained in Ref. [18].) Since Γ it should be transformed as ˜→Γ ˜ ′ = (det M)Γ. ˜ Γ

(17)

˜ reads Then, in the infinitesimal form, the BRST transformation of Γ ˜=Γ ˜′ − Γ ˜ ≈ (T rδM)Γ ˜ = −(∂ρ cρ )Γ. ˜ δB Γ (18) √ √ ˜ is invariant In fact, using Eq. (18) and δB −g = − −g∂ρ cρ , it is easy to show that √1−g Γ under the BRST transformation, thereby meaning that the effective action Γ in Eq. (16) is BRST-invariant as required. Now let us assume that the translational invariance is not broken spontaneously, which indicates Eq. (7) and (0)

h0|ϕi |0i = ϕi ,

h0|Aµ |0i = 0,

(19)

(0)

where ϕi are constant modes independent of the space-time coordinates. Since we have a constant vacuum solution Eq. (7) and Eq. (19) (of course, bµ , cµ and c¯µ have a vanishing vacuum expectation value), we can infer the following relation ˜= δB Γ

˜ ˜ ˜ ˜ ˜ ˜ ∂Γ ∂Γ ∂Γ ∂Γ ∂Γ ∂Γ δB ϕi + δB Aµ + δB gµν + µ δB cµ + δB c¯µ + δB bµ . ∂ϕi ∂Aµ ∂gµν ∂c ∂¯ cµ ∂bµ 4

(20)

Meanwhile, for the translational invariant fields, the quantum field equations, or the generalized Euler-Lagrange equations, which involve all quantum effects, are given by ˜ ˜ ˜ ˜ ˜ ˜ ∂Γ ∂Γ ∂Γ ∂Γ ∂Γ ∂Γ = = = µ = = = 0. (21) ∂ϕi ∂Aµ ∂gµν ∂c ∂¯ cµ ∂bµ With the field equations except

˜ ∂Γ ∂gµν

= 0 in Eq. (21), together with Eq. (18), Eq. (20) ˜

˜

∂Γ ∂Γ gives us a relation (In fact, only quantum field equations ∂A = ∂¯ = 0 are needed because cµ µ of the BRST transformation (11).) ˜ ˜ ˜ = ∂ Γ δB gµν = ∂ Γ (−2∂µ cρ gρν ) = −(∂ρ cρ )Γ, ˜ δB Γ (22) ∂gµν ∂gµν

which provides us with the equation ˜ ∂Γ 1 ˜ = 0. − g µν Γ ∂gµν 2 This equation can be easily solved to be ˜ = √−gV (ϕi ), Γ

(23)

(24)

where V (ϕi ) is a certain function of only ϕi . (Since we assume the translational invariance in ˜ this article, V is nothing but the effective potential.) Finally, imposing ∂g∂ Γµν = 0, we obtain V (ϕi ) = 0,

(25)

which corresponds to fine tuning of the cosmological constant. In this way, we have succeeded in proving a quantum mechanical generalization of the Weinberg no go theorem. To summarize, in this article, based on the manifestly covariant canonical formalism of quantum gravity [13, 14], we have proved that Weinberg’s no go theorem, which is originally a statement in classical gravity, is valid even in quantum gravity. Even if we make use of a specific canonical formalism of quantum gravity, our proof is quite general in that we rely on only the BRST invariance of the effective action of quantum gravity, so we believe that the Weinberg theorem holds in a general formalism of quantum gravity. To tell the truth, a hidden motivation behind this article has lain in a primitive question of the present author: If some gravitational theory does not possess the GL(4) symmetry that survives as a vestige of diffeomorphisms when the fields are restricted to be constants, can such a gravitational theory evade Weinberg’s no go theorem? As such a gravitational theory, we have had in mind the transverse Weyl gravity which is not invariant under GL(4) but is equivalent to general relativity at least at the classical level [19]. The result obtained in this article also answers this question in a negative way: The transverse Weyl gravity cannot evade the Weinberg theorem since although there is no the GL(4) symmetry there is a BRST symmetry in this gravitational theory as well. Acknowledgements This work is supported in part by the Grant-in-Aid for Scientific Research (C) No. 16K05327 from the Japan Ministry of Education, Culture, Sports, Science and Technology. 5

References [1] S. Weinberg, Rev. Mod. Phys. 61 (1989) 1. [2] N. Kaloper and A. Padilla, Phys. Rev. Lett. 112 (2014) 091304; Phys. Rev. D 90 (2014) 084023; Phys. Rev. Lett. 114 (2015) 101302. [3] N. Kaloper, A. Padilla, D. Stefanyszyn and G. Zahariade, Phys. Rev. Lett. 116 (2016) 051302. [4] N. Kaloper and A. Padilla, Phys. Rev. Lett. 118 (2017) 061303. [5] G. D’Amico, N. Kaloper, A. Padilla, D. Stefanyszyn, A. Westphal and G. Zahariade, arXiv: 1705.08950 [hep-th]. [6] I. Ben-Dayan, R. Richter, F. Ruehle and A. Westphal, JCAP 1605 (2016) 002. [7] S. M. Carroll and G. N. Remmen, arXiv: 1703.09715 [hep-th]. [8] I. Oda, Phys. Rev. D 95 (2017) 104020. [9] I. Oda, arXiv: 1706.01683 [hep-th]. [10] A. D. Linde, Phys. Lett. B 200 (1988) 272. [11] A. A. Tseytlin, Phys. Rev. Lett. 66 (1991) 545. [12] N. Arkani-Hamed, S. Dimopoulos, G. Dvali and G. Gabadadze, arXiv: hep-th/0209227. [13] N. Nakanishi, Prog. Theor. Phys. 59 (1978) 972. [14] N. Nakanishi and I. Ojima, ”Covariant Operator Formalism of Gauge Theories and Quantum Gravity”, World Scientific Publishing, 1990, and references therein. [15] N. Nakanishi and I. Ojima, Phys. Rev. Lett. 43 (1979) 92. [16] M. E. Peskin and D. V. Schroeder, ”An Introduction to Quantum Field Theory”, Westview Press, 1995. [17] A. Padilla, arXiv: 1502.05296 [hep-th]. [18] L. E. Parker and D. J. Toms, ”Quantum Field Theory in Curved Spacetime: Quantized Fields and Gravity”, Cambridge University Press, 2009. [19] I. Oda, Eur. Phys. J. C 77 (2017) 284; Phys. Rev. D 94 (2016) 044032; Mod. Phys. Lett. A 31 (2016) 1650218; Mod. Phys. Lett. A 31 (2016) 1650206; Mod. Phys. Lett. A 32 (2017) 1750022.

6