Scale-invariant power spectra from a Weyl-invariant scalar-tensor theory

We obtain scale-invariant scalar and tensor power spectra from a Weyl-invariant scalar-tensor theory in de Sitter spacetime. This implies that the Weyl-invariance guarantees to implement the scale-invariance of power spectrum in de Sitter spacetime. We establish a deep connection between the Weyl-invariance of the action and scale-invariance of power spectrum in de Sitter spacetime.


Introduction
The conformal gravity C µνρσ C µνρσ of being invariant under the Weyl transformation of g µν → Ω 2 (x)g µν has its own interests in quantum gravity and cosmology [1]. Its appearance related to the trace anomaly was established in [2,3]. Stelle [4] has first introduced the quadratic curvature gravity of a(R 2 µν − R 2 /3) + bR 2 to improve the perturbatively renormalizable property of Einstein gravity in Minkowski spacetime. For the case of ab = 0, the renormalizability was achieved but the unitarity was violated. This means that even though the a-term improves the ultraviolet divergence, it induces simultaneously ghost excitations which spoil the unitarity. This issue is not resolved completely until now in Minkowski spacetime.
A purely conformal gravity implication to cosmological perturbation was first studied in [5], indicating that there exists a difference between conformal and Einstein gravities in their perturbed equations in de Sitter (dS) spacetime. On later, one of authors has computed an observable of tensor power spectrum [6,7], which is scale-invariant during dS inflation. In the Einstein-Weyl gravity, the role of Weyl-squared term was extensively studied in dS spacetime [8,9,10,11] On the other hand, the Lee-Wick scalar theory [12,13,14] whose action is given by where the scalar has a mass dimension 1 and S LW is not invariant under the Weyl transformations of g µν → Ω 2 (x)g µν and φ →φ/Ω. It has provided a scale-invariant scalar spectra when one requires M 2 = 2H 2 in dS spacetime [15]. Also, a fourth-order scalar theory with nonminimal derivative coupling could induce a scale-invariant scalar spectra by requiring that the nonminimal derivative coupling constant be ξ = 2/3 in dS spacetime [16].
Hence, it is quite interesting to find a proper scalar theory which may give us a scaleinvariant scalar power spectrum without introducing any artificial adjustments. This might be a desired Weyl-invariant scalar theory. As is well-known, the simplest example of a Weylinvariant theory is a massless vector theory described by F µν F µν /4g 2 and the massless Dirac equation is also Weyl-covariant. In order to obtain scale-invariant scalar and tensor spectra, one has to combine this would-be scalar theory with conformal gravity, leading a Weyl-invariant scalar-tensor theory.
In this work, we propose two candidates for the Weyl-invariant scalar-tensor theory.
We will show that the Weyl-invariance guarantees to implement the scale-invariant power spectra in dS spacetime, which are independent of wave number k. This work establishes a deep connection between the Weyl-invariance of the action and scale-invariance of power spectrum in dS spacetime clearly.

Weyl-invariant scalar-tensor theory
In this work we wish to explore a deep connection between the Weyl-invariance of the action and scale-invariance of power spectrum in dS spacetime. In two dimensions the secondorder scalar operator 2 is covariant under the Weyl transformation with Ω = e σ in the sense that 2 → e −2σ˜ 2 . However, this is not true in other dimensions. For example, one finds that → e −2σ [˜ + 2(∇ µ σ)∇ µ ] in four dimensions. Accordingly, the fourth-order scalar operator 2 is not Weyl-covariant. In order to make it Weyl-covariant, we need to introduce additional terms like as 2R µν ∇ µ ∇ ν − 2 3 R + 1 3 ∇ µ R∇ µ [17,18]. Let us first consider a Weyl-invariant scalar-tensor theory whose action is given by fourth-order scalar theory and conformal gravity with α is a dimensionless coupling constant. The appearance of the second term is necessary to have the Weyl-invariant scalar theory. Here the conformal gravity of Weyl-squared term is given by with the Weyl tensor Alternatively, the action (2) can be rewritten as where G µν ∂ µ φ∂ µ φ denotes the nonminimal derivative coupling term [19] which may render slow-roll inflation even for a steep potential [20,21]. Here G µν = R µν − (R/2)g µν is the Einstein tensor. This expression shows clearly why (2) differs from the fourth-order scalar theory with nonminimal derivative coupling model [16].
Noting that the Weyl-squared term is covariant (C 2 = e −4σC 2 ) under the Weyl transformation of g µν → e 2σ(x)g µν [22], the first-two terms of (2) can be expressed as Here the Weyl operator ∆ 4 takes the form which is obviously Weyl-covariant (∆ 4 = e −4σ∆ 4 ) under the Weyl transformation. It is clear that the action (2) is Weyl-invariant provided that the scalar field is dimensionless, when one takes into account √ −g → e 4σ √ −g. Hence, the action (2) is regarded as a promisingly Weyl-invariant scalar-tensor theory, in compared to the Lee-Wick scalar theory (1) and the fourth-order scalar theory with nonminimal derivative coupling. Now, we derive the Einstein equation from (2) where the Bach tensor is defined by Here T µν is the total energy-momentum tensor derived from the first-three terms of (2) which takes the form [17] T On the other hand, its scalar equation is given by For a maximally symmetric spacetime withR=const, one finds In this case, the Bach tensor is always zero (B µν = 0). Hence, choosingφ=const (T µν = 0), we have solutions of dS (R > 0), Minkowski (R = 0), and anti de Sitter (R < 0) spacetime. In this work, we concentrate on the dS solution for cosmological implication, whose curvature quantities are given bȳ with H=const.
Now, let us choose dS background explicitly by choosing a conformal time η where the conformal scale factor is while the cosmic scale factor is given by a(t) = e Ht in a flat Friedmann-Robertson-Walker We note that the dS solution is not distinctive since any maximally symmetric spacetime can be a solution to Einstein and scalar equations. This redundancy of solutions is a feature of Weyl-invariant scalar-tensor theory (2). The dS SO(1,4)-invariant distance between two spacetime points x µ and x ′µ is defined by since Z(x, x ′ ) has the ten symmetries which leave the metric of dS spacetime invariant. Here At this stage, it seems appropriate to comment on the other Weyl-invariant scalar-tensor theory of massive conformal gravity [23,24] where its Weyl-invariance can be achieved up to surface terms by requiring both φ →φe −σ and g µν → e 2σg µν . Hence, we wish to point out a difference between ST1 [17,18] and ST3: the scaling dimension of φ in (2) is zero, while the scaling dimension of φ in (17) is −1 (or (17) transforms as φ →φe −σ . Furthermore, since (17) provides a conformal scalar propagation in dS spacetime, it is not a promising candidate for our purpose.
Adapting the action (17) to find the background solution, one finds Einstein and scalar where Its trace is zero when using (19). Forφ =const, the Minkoswksi spacetime ofR = 0(Ḡ µν = 0) is only a solution. In case ofφ = 0, any maximally symmetric spacetime is a solution and thus, dS solution is not distinctive.
Finally, if one wishes really to obtain dS solution, one has to insert a term of R−2Λ(Λ = 3H 2 ) into the action (2) which breaks the Weyl-invariance manifestly. This leads to a fourth-order scalar theory coupled to Einstein-Weyl gravity, where one could not obtain a scale-invariant tensor spectrum.

Perturbed equations on de Sitter spacetime
In order to derive perturbed equation (linearized equation) around dS spacetime, we introduce a perturbed scalar ϕ as For a metric perturbation, we choose the Newtonian gauge [25] of B = E = 0 andĒ i = 0, leading to 10 − 4 = 6 degrees of freedom (DOF). In this case, the cosmologically perturbed metric can be simplified to be with the transverse vector ∂ i Ψ i = 0 and transverse-traceless tensor ∂ i h ij = h = 0. It is worth to note that choosing the SO(3)-perturbed metric (22) contrasts with the covariant approach to the cosmological conformal gravity [5].
In order to get the cosmological perturbed equations, one is first to obtain the bilinear action and then, varying it to yield the linearized equations. According to the previous work [9], we expand the Weyl-invariant scalar-tensor action (2) up to quadratic order in the perturbations of ϕ, Ψ, Φ, Ψ i , and h ij around the dS background. Then, the bilinear action is composed of four terms as where Here ′ (prime) denotes differentiation with respect to conformal time η. Note that all of bilinear actions are independent of conformal scale factor a(η), showing that the Weylinvariance persists in the bilinear action.
From (24), we obtain the fourth-order perturbed scalar equation which shows a second factorization of∆ 4 into two second-order operators in dS spacetime (and in fact any conformally flat spacetime). Here ✷ = −d 2 /dη 2 + ∇ 2 with ∇ 2 = ∂ 2 i the Laplacian operator. Varying (26) and (27) with respect to Ψ i and h ij leads to linearized equations of motion for vector and tensor perturbations It is emphasized again that (28)-(30) are independent of a 2 (η) of expanding dS background in the Weyl-invariant scalar-tensor theory.
Finally, we would like to mention two scalars Φ and Ψ. Two scalar equations are given by ∇ 2 Ψ = ∇ 2 Φ = 0, which imply that they are obviously non-propagating modes in the dS background. Hereafter, we will not consider these irrelevant metric-scalars. This means that the Weyl-invariant theory (2) describes 7 DOF (1 scalar+ 2 of vector +4 of tensor modes), where the last becomes four because h ij satisfies a fourth-order equation.

Primordial power spectra
The power spectrum is usually given by the two-point correlation function which could be computed when one chooses the vacuum state |0 . It is defined by where F denotes scalar, vector or tensor, and k = |k| is the wave number. For simplicity, we may use the zero-point correlation function to define the power spectrum as [26] 0|F

Scalar power spectrum
There are two ways to obtain the scalar power spectrum: One is to find the inverse Weyl operator∆ −1 4 and Fourier-transforming it leads to the scalar power spectrum. The other is to compute the power spectrum (32) directly by using the quantization scheme of the nondegenerate Pais-Uhlenbeck (PU) oscillator. We briefly describe both computation schemes.
The inverse Weyl-operator is given by [17,18] (33) where the propagators of massless minimally coupled (mmc) scalar [27] and massless conformally coupled (mcc) scalar [28] in dS spacetime are given by where the former is the dS invariant renormalized two-point function (on the space of nonconstant modes), while the latter is the conformally coupled scalar two-point function on dS spacetime. As opposed to Ref. [29], the inverse Weyl-operator (33) is dS-invariant because it is a function of 1 − Z. Substituting (34) into (33), the propagator takes the form which is a purely logarithm up to an additive constant c 0 and is a dS-invariant two-point function. The scalar power spectrum is defined by Fourier transforming the propagator at equal time η = η ′ as where we have used the Cesàro-summation method in deriving from (38) to (39) [30,16].
On the other hand, Eq.(28) implies two second-order equations for mmc and mcc scalars Expanding ϕ mmc,mcc in terms of Fourier modes φ mmc,mcc With z = −kη, Eqs.(40) and (41) become Solutions to (43) and (44) are given by where c mmc and c mcc are constants to be determined. Then, the field operatorφ can be expanded in Fourier modes aŝ where two commutation relations take the forms It is noted that two mode operators (â 1 (k),â 2 (k)) are necessary to take into account of fourth-order theory quantum mechanically as the Pais-Uhlenbeck fourth-order oscillator has been shown in Ref. [31]. In addition, two Wronskian conditions are found to be which will be used to fix c mmc and c mcc as On the other hand, the power spectrum [26] of the scalar is defined by Considering the Bunch-Davies vacuum state imposed byâ k |0 = 0 andb k |0 = 0, (51) is computed as Importantly, the minus sign (−) in (52) appears because the unusual commutation relation (â 2 (k),â † 2 (k ′ )) for ghost state was used. There is a cancelation between z 2 and −z 2 thanks to its ghost-like contribution.
Finally, the conformally coupled scalar equation (19) from (17) which is the same equation as in (41). Its normalized solution takes the form In this case, we obviously have a scale-variant scalar power spectrum which depends on wave number k.

Vector power spectrum
Let us consider Eq.(29) for vector perturbation and then, expand Ψ i in plane waves with the linearly polarized states where p 1/2 i are linear polarization vectors with p 1/2 i p 1/2,i = 1. Also, Ψ s k denote linearly polarized vector modes. Plugging (58) into the equation (29), one finds the equation Introducing z = −kη, Eq.(59) takes a simple form d 2 dz 2 + 1 Ψ s k (z) = 0 (60) whose solution is given by Here a positive frequency solution is given by e iz . Now, let us calculate vector power spectrum. For this purpose, we define a commutation relation for the vector. In the bilinear action (26), the momentum for the field Ψ j is found to be Note that one observes an unusual factor of Laplacian ∇ 2 which reflects that the vector Ψ i is not a canonically well-defined vector because it originates from the fourth-order conformal gravity. The quantization is implemented by imposing the commutation relation with = 1. Then, the operatorΨ j can be expanded in Fourier modes aŝ and the operatorπ j Ψ = αk 2

2Ψ
′j can be obtained from (64). Plugging (64) andπ j Ψ into (63), we find the commutation relation and Wronskian condition for normalization as We choose the positive frequency mode normalized by the Wronskian condition as the solution to (60). On the other hand, the vector power spectrum is defined by where we take the Bunch-Davies vacuum |0 by imposingâ s k |0 = 0. The vector power spectrum P Ψ leads to (69) Plugging (67) into (69), we find a scale-invariant power spectrum for a vector perturbation (70)

Tensor power spectrum
Now, let us take Eq.(30) to compute tensor power spectrum. In this case, the metric tensor h ij can be expanded in Fourier modes where p s ij linear polarization tensors with p s ij p s,ij = 1. Also, h s k (η) represent linearly polarized tensor modes. Plugging (71) into (30) leads to the fourth-order differential equation which is further rewritten as a factorized form Introducing z = −kη, Eq.(73) can be rewritten as a degenerate fourth-order equation, This is the same equation as for a degenerate Pais-Uhlenbeck (PU) oscillator [31] and its solution is given by with N the normalization constant. After quantization, a s 2 and a s 1 are promoted to operatorŝ a s 2 (k) andâ s 1 (k) (h s k →ĥ s k ). The presence of z in (· · · ) reflects clearly that h s k (z) is a solution to the degenerate equation (74). Together with N = 2/α, the canonical quantization could be accomplished by introducing commutation relations betweenâ s i (k) andâ s † j (k ′ ) as [32] [â s On the other hand, the tensor power spectrum is defined by Here we choose the Bunch-Davies vacuum |0 by imposingâ s i (k)|0 = 0 for i = 1, 2. Using the definition and substitutingĥ ij (η, 0) together with (76) into (77), then one finds that P ss ′ h is given by In obtaining (80), we used the commutation relations of (76) which reflect the quantum nature of Weyl-invariant tensor theory like a degenerate PU oscillator. A cancelation between iz and −iz occurs, showing that this is slightly different from that between z 2 and −z 2 in (53) for the Weyl-invariant scalar theory of a non-degenerate PU oscillator. Finally, from (78) and (80), we obtain a scale-invariant tensor power spectrum which is the same form as for the vector power spectrum (70).

Discussions
First of all, we have emphasized a deep connection between Weyl-invariance of action (fourth-order theory) and scale-invariance of power spectrum in dS spacetime.
In deriving the power spectra, we have used two different quantization schemes for fourth-order theory: non-degenerate PU oscillator was employed for quantizing Weylinvariant scalar theory, while degenerate PU oscillator could be used to quantize Weylinvariant tensor theory of conformal gravity.
However, we have found the same ambiguity of power spectra in dS spacetime such that the scalar power spectrum takes the form → 1/2(2π) 2 instead of the conventional spectrum (H/2π) 2 [1 + (k/aH) 2 ] for a second-order scalar theory of massless scalar and the tensor power spectrum is given by 1/π 2 α 2 instead of 2(H/πM P ) 2 [1 + (k/aH) 2 ] for a second-order tensor theory (Einstein gravity) of massless graviton. Here H 2 was missed and there is no way to restore it in this approach. If one has used the Krein space quantization which is the generalization of the Hilbert space to quantize a massless scalar in dS space [33], its power spectrum has led to (H/2π) 2 which is also scale-invariant as a result of elimination of scale-dependent term of (k/2πa) 2 . However, this method to derive a scale-invariant scalar spectrum is an ad hoc approach because it has dealt with a second-order scalar theory. Now, we ask whether our model (2) is just a toy model for providing scale-invariant power spectra of scalar and tensor fields or has really an application to the early stage of the universe (inflation). We remind the reader that power spectra have been computed based on the dS spacetime (eternal inflation). However, a slow-roll inflation is quasi-dS spacetime with graceful exit. In the slow-roll inflation, the scale-dependence of power spectra appears when fluctuations of scalar and tensor exit the comoving Hubble radius [1/(aH)] even for choosing the superhorizon limit of z = k/aH → 0 [26]. It seems difficult to compute power spectra of scalar and tensor when one takes a slow-roll inflation. Hence, our model (2) is suggested to be a toy model for providing scale-invariant power spectra of scalar and tensor fields in dS inflation, which are independent of scale z(k) in whole range of z.
At this stage, we would like to comment on two different Weyl-invariant theories. The action S ST1 in Eq. (2) gives us a scale-invariant scalar spectrum of 1/2(2π) 2 , while the action S ST3 in Eq.(17) provides a scale-variant scalar spectrum of (k/2πa) 2 . The former scalar has dimensionless (Weyl-invariant), whereas the latter has dimension 1 (Weyl-variant).
Finally, we should mention the ghost issues (negative-norm state) because Weyl-invariant scalar-tensor theory is a fourth-order scalar-tensor theory. In general, a fourth-order scalar theory implies two second-order theories with opposite signs in diagonalized commutation relations (48), while a degenerate fourth-order tensor theory implies two second-order tensor theories with non-diagonalized commutation relations (76). In the Weyl-invariant scalar theory, there is cancelation between z 2 (positive-norm state from mmc) and −z 2 (negativenorm state from mcc scalar) in the power spectrum (53). This reflects the quantization of the non-degenerate PU oscillator. On the other hand, in the Weyl-invariant tensor theory, a cancelation between iz and −iz in the power spectrum (80) occurs as in the quantization scheme of degenerate PU oscillator. Consequently, there are no negative-norm states in the scalar and tensor power spectra in dS spacetime. This may indicate that the Weyl-invariance forbids the ghost states of the power spectra in dS spacetime.
As counter examples, one did not obtain positive scalar (tensor) power spectrum from the nonminimal derivative coupling with fourth-order term [16] (Einstein-Weyl gravity [10,11]), which are not obviously Weyl-invariant.