Cosmological perturbation theory and quantum gravity

It is shown how cosmological perturbation theory arises from a fully quantized perturbative theory of quantum gravity. Central for the derivation is a non-perturbative concept of gauge-invariant local observables by means of which perturbative invariant expressions of arbitrary order are generated. In particular, in the linearised theory, first order gauge-invariant observables familiar from cosmological perturbation theory are recovered. Explicit expressions of second order quantities are presented as well.


Introduction
The fluctuations of the cosmological microwave background provide a deep insight into the early history of the universe. The most successful theoretical explanation is inflationary cosmology where a scalar field (the inflaton) is coupled to the gravitational field. Usually, the theory is considered in linear order around a highly symmetric background, typically the spatially flat Friedmann-Lemaître-Robertson-Walker spacetime.
Extending the theory to higher orders is accompanied by severe obstacles. Already in a classical analysis the definition of gauge-invariant observables turns out to be rather complicated; moreover, one is immediately confronted with the problem of constructing a theory of quantum gravity. Previous treatments of higher-order cosmological perturbation theory include [4, 6, 17-19, 21, 23, 24]; many further references on the subject can be found e.g. in [17].
In a recent paper [2] three of us reanalysed the field theoretical construction of quantum gravity from the view point of locally covariant quantum field theory. This analysis was based on the methods of perturbative Algebraic Quantum Field Theory (pAQFT), see [13] and references therein, and on an adapted version of the Batalin-Vilkovisky formalism for the treatment of local gauge symmetries [12,15]. The result was that a consistent theory (in the sense of an expansion into a formal power series) exists and is independent of the background. Due to non-renormalisability, however, in each order of perturbation theory JHEP08(2016)032 new dimensionful coupling constants occur, which have to be fixed by experiments; hence the theory should be interpreted as an effective theory that is valid at scales where these new constants are irrelevant. One might hope that non-perturbative effects improve the situation in the sense of Weinberg's concept of asymptotic safety, since there are encouraging results supporting this perspective; see for example [26,27]. Furthermore, it is difficult to observe any effects of quantum gravity, so it seems reasonable to start from the hypothesis that at presently accessible scales the influence of these higher order contributions is small.
One of the main questions addressed by [2] in the construction of the theory was the existence of local observables. It was answered, in a way familiar from classical general relativity, by using physical scalar fields, e.g. curvature scalars, as coordinates, and by expressing other fields as functions of these coordinates. Since quantization in the framework of pAQFT relies on a field theoretical version of deformation quantization of classical theories (first introduced in [9]), the classical construction can be transferred to the quantum realm.
The procedure works as follows. One selects 4 scalar fields X a Γ , a = 1, . . . 4, which are functionals of the field configuration Γ which includes the spacetime metric g, the inflaton field φ and possibly other fields. The fields X a Γ are supposed to transform under diffeomorphisms χ as X a χ * Γ = X a Γ • χ , (1.1) where χ * denotes the pullback (of sections of direct sums of tensor products of the cotangent bundle) via χ. We choose a background Γ 0 such that the map is injective. In order to achieve injectivity on cosmological backgrounds Γ 0 , we shall be forced to include the coordinates x in the construction of X Γ in a way which is compatible with (1.1). We then consider Γ sufficiently near Γ 0 and set We observe that α Γ transforms under diffeomorphisms -which leave the background Γ 0 , that is by definition fixed, invariant -as Let now A Γ be any other scalar field which is a local functional of Γ and transforms under diffeomorphisms as in (1.1). Then the field is invariant under diffeomorphisms and may be considered as a local observable. Note that invariance is obtained by shifting the argument of the field in a way which depends on the configuration. The physical interpretation of this construction is as follows: the fields X a Γ are configuration-dependent coordinates such that [A Γ • X −1 Γ ](Y ) corresponds to the value JHEP08(2016)032 of the quantity A Γ provided that the quantity X Γ has the value X Γ = Y . Thus A Γ • X −1 Γ is a partial or relational observable [7,28,30], and by considering A Γ = A Γ • X −1 Γ • X Γ 0 we can interpret this observable as a field on the background spacetime.
Clearly, to make things precise, one also has to characterise the region in the configuration space where all the maps are well defined and restrict oneself to configurations Γ in the appropriate neighbourhood of the background Γ 0 , see [2,16] for details.
Fortunately, in formal deformation quantization as well as in perturbation theory, only the Taylor expansion of observables around some background configuration enters, hence it is sufficient to establish the injectivity of X Γ 0 in order for the expansion of A Γ 0 +δΓ around Γ 0 to be well-defined. As an example we compute this expansion up to the first order. We obtain The third term on the right hand side is necessary in order to get gauge-invariant fields (up to first order). We calculate In this work we apply this general idea to inflationary cosmology. Unfortunately, due to the high symmetry of a FLRW background one can find only one independent background field which can serve as time coordinate. On the corresponding time slices one can then use three independent coordinates which are harmonic functions for the induced metric on the time slice and are fixed by their asymptotic behavior. Thus they transform correctly under diffeomorphisms which vanish at infinity but depend nonlocally on the dynamical fields. We show that these coordinates can be used for the definition of observables. Moreover, in linear order these observables coincide with the observables used in cosmological perturbation theory. In the quantized theory the nonlocalities induce UV and IR problems. The UV problems seem to be harmless and we indicate a possible solution. For the IR problems one has to investigate the decay of typical correlations, in a similar way as already known from cosmological perturbation theory.
In contrast to other systematic or covariant attempts to define gauge-invariant quantities in higher-order cosmological perturbation theory, see for example [17,19,22,24], our construction works off-shell, is based on a clear and simple concept which is applicable to general backgrounds such that cosmological perturbation theory may be viewed as a particular application of perturbative quantum gravity [2]. Moreover, we construct nonperturbative gauge-invariant quantities whose perturbative expansion to arbitrary orders may be computed algorithmically without the need for additional input at each order. A work which is similar in the latter respect, but approaches the problem from a canonical perspective and with a stronger focus on dynamics, is [8].
This paper is organised as follows: in the second section we recall a few basic facts about perturbation theory of the Einstein-Klein-Gordon system on cosmological backgrounds. In the third section we describe the general method to obtain gauge invariant observables at JHEP08(2016)032 all orders on generic backgrounds. We furthermore discuss how to treat the case of a FLRW background where the large symmetry prevents us from using coordinates constructed from the dynamical fields alone. The fourth section contains the analysis of two gauge invariant observables at second order. The steps necessary for the construction of a full all-order quantum theory are briefly sketched in section 5. Finally a number of conclusions are drawn in the last section.
2 Perturbations of the Einstein-Klein-Gordon system on a FLRW spacetime We consider the Einstein-Klein-Gordon system, namely a minimally coupled scalar fieldφ with potential V (φ) propagating on a Lorentzian spacetime (M,g) with field equations where T ab is the stress tensor ofφ, R ab the Ricci tensor and R the Ricci scalar. We discuss perturbations of this system around a background. A linearised theory is obtained starting from a one-parameter family of solutions λ → Γ λ := (g λ ,φ λ ) and considering The background solution we choose consists of a flat Friedmann-Lemaître-Robertson-Walker (FLRW) spacetime (M, g) together with a scalar field φ which is constant in space. We recall that a flat FLRW spacetime is conformally flat and that where I ⊂ R is an open interval, the scale factor a(τ ) is a function of the conformal time τ and where x i are three-dimensional Cartesian (comoving) coordinates. The background equations of motion of the system are best displayed in terms of the auxiliary function where a ′ indicates the derivative with respect to the conformal time. H is related to the Hubble parameter H = Ha −1 and to the Ricci scalar R = 6(H ′ + H 2 )a −2 . The background equations of motion are A generic perturbation γ of the FLRW metric g can be decomposed in the following way

JHEP08(2016)032
where A, B, D, E are scalars, V, W are three dimensional vectors and T is a tensor on 3dimensional Euclidean space. The decomposition is unique if all these perturbations vanish at infinity and if (see e.g. Proposition 3.1 in [14]). Under an infinitesimal first order gauge transformation the linear perturbations transform in the following way In particular where the generator ξ of one-parameter gauge transformations is also decomposed as Notice that the gauge transformations do not mix scalar, vector or tensor perturbations at linear order. Furthermore, we observe that tensor perturbations are gauge-invariant and that gaugeinvariant vector perturbations can be obtained considering Regarding the scalar perturbations we see that the following fields are gauge-invariant The first two of them are called Bardeen potentials. Let us recall the form of the linearised equations of motions satisfied by the gaugeinvariant perturbations. The first observation is that the equations of motion respect the decomposition in scalar, vector and tensor perturbations. In particular, for the vector and tensor perturbations, it holds that For the scalar part the equations of motion are better displayed in terms of the Mukhanov-Sasaki variable The equation of motion for this variable is decoupled also from the other scalars of the theory, in fact

JHEP08(2016)032
The other scalar perturbations can be obtained in terms of µ. In particular the Bardeen potential Φ is the unique solution of while the other scalar perturbations are given by We briefly discuss the situation beyond linear order. According to [29], infinitesimal diffeomorphisms may be approximated by so-called knight diffeomorphisms, which are of the form exp L ξ with ξ = λξ 1 + 1 2 λ 2 ξ 2 +O(λ 3 ). Analogously we may expand a configuration Γ as Γ = Γ 0 +δΓ = Γ 0 +λδΓ 1 + 1 2 λ 2 δΓ 2 +O(λ 3 ), and determine the transformation behaviour of separate orders by considering exp L ξ Γ at fixed order in λ, see for example [4,6,19,21,23]. Assuming that ξ and δΓ vanish at spatial infinity, each order ξ i and δΓ i may be uniquely decomposed as in (2.4) and (2.3). The transformation behaviour of the components of the latter decomposition becomes more complicated than at linear order, since higher-order gauge transformations mix scalar, vector and tensor quantities in a non-local fashion, as do the higher-order equations of motion. We shall not be concerned with the explicit form of higher-order gauge transformations in this work, as our constructions do not rely on these details and the quantities we consider are manifestly all-order gauge-invariant from the outset.
For the remainder of this work we shall use the following notation motivated by the fact that the space of configurations is an affine space. We decompose a general configuration Γ as Γ := (g,φ) := Γ 0 + δΓ, whereg := g + γ,φ := φ + ϕ and δΓ := (γ, ϕ) effectively subsumes linear and higher orders of the perturbation of the background Γ 0 := (g, φ). This applies analogously to the components of the decomposition (2.3) of γ.
For later use we recall a useful observation regarding Bardeen potentials. The linear Bardeen potentials Φ, Ψ and the gauge-invariant scalar field perturbation χ in (2.5) have the advantage that they coincide with A, D, and ϕ respectively in the so-called longitudinal or conformal gauge where the components B and E of the metric perturbation γ vanish. This gauge and the definition of the gauge-invariant quantities Φ, Ψ and χ may be extended to higher orders, such that also at higher orders Φ = A, Ψ = D, χ = ϕ if B = E = 0, see for example [19].

All-order gauge-invariant observables on FLRW backgrounds
In this section we provide details on the general construction of all-order gaugeinvariant quantities on general and FLRW backgrounds before discussing examples in the next section.
In perturbative Algebraic Quantum Field Theory (pAQFT) -the conceptual framework underlying perturbative quantum gravity in [2] -observables of a field theory are described as functionals of smooth field configurations Γ = (g,φ). For the purpose of JHEP08(2016)032 cosmological perturbation theory, we need the additional restriction that configurations vanish at spatial infinity. In order to be able to operate on the functionals, some regularity is required: the functional derivatives to all orders should exist as distributions of compact support.
Moreover, we restrict our attention to local functionals, i.e. those functionals whose n−th order functional derivatives are supported on the diagonal of M n for every n. Examples of objects of this form are where A Γ is a smooth scalar function which is a polynomial in the derivatives of the field with F a smooth function on the appropriate jet bundle) and where f is a smooth compactly supported test density. However, later on in this work we are forced to consider also functionals which violate this locality condition as well as the condition of compact support. The diffeomorphisms χ of the spacetime act on configurations via pullback Γ → χ * Γ, and candidates for gauge-invariant fields are equivariant in the sense that Thus in order to exhibit gauge-invariant functionals one has to consider test densities f Γ which depend on the field configuration Γ such that where χ * is the pushforward of test densities via χ.
As described in the Introduction, in the general case we solve the problem by choosing four scalar fields X a Γ which constitute a coordinate system X Γ for a given background Γ 0 , and define the Γ-dependent diffeomorphism For arbitrary test densities f , we may now consider the Γ-dependent test densities f Γ = α Γ * f in order to obtain gauge-invariant observables A Γ (f Γ ) by means of (3.1). Equivalently, we may directly consider the gauge-invariant field Scalars that can be used as coordinates on generic backgrounds Γ 0 are e.g. traces of powers of the Ricci operator R (the operator which maps one forms to one forms and whose components are given in terms of the Ricci tensor R a b ). When other (matter) fields are present in the considered model, also these can serve as coordinates, e.g., in the case of a Einstein-Klein-Gordon system, the scalar fieldφ.

JHEP08(2016)032
In view of renormalisation it is advisable to use coordinates X Γ which are local functionals of the configuration Γ. As we shall discuss in the following, this does not seem to be possible in cosmological perturbation theory on account of the symmetries of FLRW backgrounds Γ 0 .

Perturbative expansion up to second order
To illustrate the general procedure we compute the second order expansion of the gaugeinvariant field A Γ which was to first order described in the Introduction.
We observe that we have to calculate the functional derivatives of the diffeomorphisms α Γ with respect to Γ. We use the notation and find up to second order where J is the inverse of the Jacobian of X Γ 0 , and We use an analogous notation for the Taylor expansions of the fields A Γ and A Γ and find and (3.11)

Non-degenerate covariant coordinates on FLRW backgrounds
In order to obtain these expansions we need a 4-tuple of equivariant fields which define a non-degenerate coordinate system on the background Γ 0 . This is possible in the generic case, e.g. by using the ansatz (3.6), but creates problems, if the background metric possesses non-trivial symmetries. This applies to the case of FLRW backgrounds Γ 0 where only time functions can be constructed out of the background metric g and the background scalar field φ. In the following we present a construction of non-degenerate coordinates which solves the above-mentioned problem at the expense of being non-local, albeit in a controlled way. Note that introducing additional external fields as reference coordinates like in the Brown-Kuchař model [5] is not useful in the context of cosmological perturbation theory because these fields would appear in the final gauge-invariant expressions and thus an interpretation of these in terms of only the fundamental dynamical fields is difficult. The construction we present in the following does involve the asymptotic behavior of the comoving spatial coordinates x i of the FLRW spacetime as an external input. Therefore our construction is invariant only under diffeomorphisms which decay sufficiently fast at infinity.

JHEP08(2016)032
The simplest choice of the time coordinate is provided by the inflaton field itself, so we set The construction of the spatial coordinates X i Γ needs a bit of preparation. To this end, we consider the unit time-like vector and the tensor h φ =g +g(n φ , ·) ⊗g(n φ , ·) , (3.14) where ∂ i := ∂ i := ∂/∂x i and x i for i ∈ {1, 2, 3} are comoving spatial coordinates on the FLRW spacetime (M, g). n φ is a unit normal on the hypersurfaces of constantφ and h φ is the induced metric on these hypersurfaces. Let ∆ φ denote the Laplacian for h φ and G φ its inverse, which we choose by imposing the boundary condition that the background value of G φ is the Coulomb potential G ∆ with suitable factors of the scale factor a. We define and compute G φ :=G 0 + δG, G 0 := a 2 G ∆ , G ∆ • ∆ = ½ on functions that vanish at spatial infinity , Using these objects, we obtain We observe that Y i Γ are harmonic coordinates for ∆ φ that we have constructed by means of x i , i.e. harmonic coordinates for ∆ 0 . The construction of Y i Γ makes sense for all configurations Γ which vanish at spatial infinity, but not in general. The restriction to this set of configurations from the outset is natural in the context of cosmological perturbation theory -recall that the decomposition (2.5) is unique only in this case -and should not create problems for the pAQFT framework. For consistency, as noted before, we have to restrict the class of infinitesimal diffeomorphisms we consider in the same manner. In fact, a straightforward computation reveals that the functionals Y i Γ are equivariant with respect to all diffeomorphisms χ that vanish at spatial infinity

JHEP08(2016)032
but not with respect to arbitrary diffeomorphisms. Here ∆ χ * φ denotes the Laplacian constructed analogous to ∆ φ but with χ * φ instead ofφ and G χ * φ denotes its inverse with the discussed boundary condition. Consequently, the observables constructed by means of the equivariant coordinates (3.12) and (3.15) via (3.5) are gauge-invariant with respect to diffeomorphisms which vanish at spatial infinity. As anticipated, the coordinates Y i Γ are non-local, but the non-locality of G φ is relatively harmless since its worst singularity has the same wave front set as the δ-function, and renormalisation of expressions involving such objects is well under control, cf. section 5.
The coordinates (3.15) are not entirely well-suited for practical computations because of the fact that the rescaled Mukhanov-Sasaki variable R appears convoluted with the Coulomb potential. In order to remedy this we use a different family of spatial hypersurfaces and a corresponding modification of the spatial Laplacian and its inverse. To this end we consider a number of additional quantities related to the slicing induced by the timefunctionφ: the lapse function N φ , the extrinsic curvature K φ,ab , and the spatial Ricci scalar R (3) φ which are defined and computed respectively as where n φ and h φ are defined respectively in (3.13) and (3.14). Using these quantities, we define a new time function If we define the spatial metric h t , the Laplacian ∆ t and its inverse G t in analogy to h φ , ∆ φ and G φ by replacingφ with t we obtain 19) and the spatial coordinates X i Γ share the qualitative properties of the initially defined Y i Γ .

Examples of gauge-invariant observables at second order
In the previous sections we have developed a principle to construct gauge-invariant perturbative observables from non-gauge-invariant ones. In the following we demonstrate this principle at the example of two observables which are relevant in Cosmology. To this end we use the covariant coordinates (3.12) and (3.19).
Despite the mild non-locality inherent in the covariant spatial coordinates (3.19), we are interested in observables A Γ which are local functionals of the configuration Γ. The non-locality of A Γ = A Γ • α Γ implied by the non-locality of X i Γ in (3.19) appears only because we consider the local functional A Γ relative to the non-local functional X Γ . Since JHEP08(2016)032 the background Γ 0 depends only on time the same applies to the background value of any local functional A Γ . Consequently, at first order only the field X 0 Γ (3.12) chosen as time coordinate enters the formula for gauge-invariant fields. At second order also the fields used as spatial coordinates X i Γ (3.19) enter the expression. The inverse J of the Jacobi matrix of the coordinate transform X Γ 0 on the background is The field dependent shifts from section 3.1 with respect to these coordinates up to second order are Thus, for a field A Γ whose value on the background depends only on time the contributions up to second order for the gauge-invariant modification If we were to use the fields Y i Γ (3.15) as spatial coordinates rather than the fields X i Γ (3.19), then the corresponding expression for A 1 would remain unchanged whereas A 2 would change by replacing all occurrences of ∂ i E by ∂ i E + G ∆ ∂ i R. This demonstrates the dependence of the gauge-invariant constructions on the chosen covariant coordinate system.

The lapse function
The Sachs-Wolfe effect is one of the main building blocks of the current understanding of the Cosmic Microwave Background (CMB). A rough estimate of this effect can be obtained using the Tolman idea, see e.g. [20]. Given a spacetime with a (conformal) timelike Killing field κ and a state in equilibrium relative to the κ-flow with absolute temperature T , an observer with four-velocity u ∝ κ measures the temperature T = T /N with N denoting the lapse function N = |g(κ, κ)|.
In the context of Cosmology we use the Klein-Gordon fieldφ as a time coordinate and consider the vector

JHEP08(2016)032
with N φ , n φ defined in (3.16) and (3.13) respectively as an approximate conformal Killing vector -in the sense that L κ φg −2H/φ ′g = O(φ ′′ , δΓ). The corresponding lapse function is N φ = a/φ ′ + O(δΓ). Its background value is not vanishing and thus it is not automatically gauge-invariant at linear order. As described in section 3, we may obtain a non-perturbatively gauge-invariant version of the lapse function by setting and computing where Φ and χ are the gauge-invariant fields reviewed in section 2. Using the on-shell identities (2.8), (2.9) and the definition of the Mukhanov-Sasaki field µ we can rewrite the linear term as Using the quantities introduced in section 3.2, we may extract the Bardeen potential onshell from N φ as 1 In fact, one could use the above equation as a covariant, gauge-invariant, all-order (and on shell) definition of Φ; however, we shall refrain from doing so. In order to display second order expressions in a readable form we omit terms containing the metric perturbation components V i , W j and T ij and use once more the Bardeen potentials Φ, Ψ and the gauge-invariant scalar field perturbation χ. We stress that the particular expressions of these fields at linear and higher order are not needed for the actual computations but just for a compact display of the result. Using this, we arrive at the following second order form of the gauge-invariant lapse function where, as before, we use the notation that e.g. Φ = λΦ 1 + 1 2 λ 2 Φ 2 + O(λ 3 ) and omit the second order terms linear in Φ, χ displayed already in (4.1).

The spatial curvature
A further observable of interest is the scalar curvature of the spatial metric induced by a particular slicing because for a large class of slicings this quantity vanishes in the background and thus is automatically gauge-invariant at linear order. Moreover, for the slicing JHEP08(2016)032 defined by the inflation field it is related to the Mukhanov-Sasaki field µ which has a very simple dynamical equation.
We have already discussed the spatial curvature relative to the slicing induced byφ. It may be computed as (3.18) In the literature, the quantity R is usually called the comoving curvature perturbation. This is due to the fact that theφ-slicing may be equivalently characterised by the condition that i.e. that the energy flux ofφ is parallel to n φ , where T (φ) ab is the stress tensor ofφ. An alternative slicing considered in the literature is the one defined by the energy densityρ ofφρ The spatial curvature R ρ with respect to this slicing, defined in analogy to R where ζ is called uniform density perturbation becauseρ is by definition constant on the hypersurfaces in the slicing relative toρ. The global sign in the definition of ζ is conventional.
As anticipated, the background contributions of R cf. (3.10), (3.11). In order to display the second order contribution to R φ , we make the simplifications discussed for the lapse function in section 4.1. Proceeding like this, we find We omit the result for R ρ,2 computed with the coordinate system X Γ defined in (3.12) and (3.19), because it is rather long due to the "mismatch" between the time coordinatẽ φ used in X 0 Γ and the time coordinateρ used in the definition of R ρ . Clearly, usingρ as a time coordinate in both aspects we would obtain a second order expression R where π is gauge-invariant with π = ̺ + O(δΓ 2 ) in the longitudinal gauge.

JHEP08(2016)032
On shell and at first order, µ, and thus R, are preferred observables because they have canonical equal-time Poisson brackets and thus in the quantized theory they commute at spacelike separations, in contrast to Ψ, Φ and χ [10,14]. Moreover, again on shell and at first order, one may compute Consequently, ζ shares the causality properties of µ and R. Apart from the phenomenological relevance of an all-order definition of R, µ and ζ, it is interesting on conceptual grounds to investigate whether the causality property of these fields persists at higher orders. To this end, we need a fully covariant and gauge-invariant all-order definition of R, µ and ζ. Such a definition may be given by means of covariant quantities introduced in section 3.2: In (4.4) we wrote the O(δΓ) term as Hχ/φ ′ − Ψ instead of R because the fields χ, Ψ are defined in such a way that they are invariant also with respect to second order gauge transformations (cf. the end of section 2), whereas R = Hϕ/φ ′ − D is only gauge-invariant up to the first order.
In analogy to our discussion of R ρ , usingρ rather thanφ both as the time coordinate X 0 Γ and as the time function defining a foliation of spacetime, we obtain a higher order definition of ζ which is of the form (4.4) up to the replacements in (4.3) (whereby a second order generalisation of π, which can be constructed in analogy to the second order Bardeen potentials, is needed).
In the literature, several possible second order gauge-invariant corrections to R are considered. One often encounters constructions where in a gauge with ϕ = 0 (or D = 0), the second order corrections to R vanish -at least in situations where spatial derivatives can be neglected in comparison to temporal ones, see e.g. [18,19,25,31]. In fact R is often defined by the condition R = −D in a gauge where ϕ = 0. A quick analysis reveals that this is not the case in our construction (4.4). In [31] it is argued that expressions for R valid up to second order that are not of this form, e.g. the one in [1], are potentially physically ill-behaved because they are not conserved on "super-Hubble scales". Here, conservation of a function f (τ, x) on "super-Hubble scales" means that the Fourier transformf (τ, k) of f with respect to x satisfies ∂ τf (τ, k) = O(| k|/H). This property, whose relevance is explained e.g. in [18,31], usually holds only on-shell. It would be interesting to check whether our result for R as given in (4.4) (and the analogous result for ζ) is conserved in this sense; however, this is beyond the scope of the present work.

Quantization
In the previous sections we have prepared the ground for an all-order perturbative quantization of the Einstein-Klein-Gordon system on FLRW backgrounds, i.e. for a conceptually clear higher-order generalisation of quantized cosmological perturbation theory. In this section we would like to sketch the steps necessary for a full construction of the quantum theory. A detailed account will be given in a future work [3].

BRST quantization
It is known that a direct quantization of non-linear gauge-invariant observables in a theory with local gauge symmetries is difficult. The standard way out is to perform a gauge fixing in the sense of the BRST method, or more generally, the BV formalism, as treated in [11,12,15]. There one adds a Fermionic vector field c µ (the ghost field), which describes the infinitesimal gauge transformations, auxiliary scalar fields b µ ,c µ , where b µ (the Nakanishi-Lautrup field) is Bosonic andc µ (antighost) is Fermionic, µ = 0, . . . , 3. Infinitesimal coordinate transformations are described by the BRST operator s, which acts on scalar local functionals A of the metric, the inflaton and the b fields by on the components of the ghost field by and satisfies on products the graded Leibniz rule so that s 2 = 0. One can characterise the classical observables as functionals in the kernel of s modulo those in the image of s (i.e. classical observables belong to the 0-th cohomology group of s). The field equations for the extended system are the usual field equation forφ as well as Here κ is a non-degenerate fixed tensor. The quantization of the extended system now proceeds largely analogous to the pure gravity treatment in [2]. The main idea is to use deformation quantization to deform the algebra of functionals as well as the BRST operator s. The observables we discussed in the previous sections are invariant under diffeomorphisms whose action decays sufficiently fast at spatial infinity. Since the BRST transformation on these fields are just infinitesimal diffeomorphisms the only point to check is whether they have the right decay properties. This can be verified by direct inspection of the correlation functions of the ghost fields. Hence, the quantized versions of the gauge-invariant fields discussed in the previous sections are elements of the cohomology of the quantized BRST operator s. JHEP08(2016)032

Renormalisation
A conceptual and technical difference to the case of generic backgrounds treated in [2] arises because we were forced to introduce a mild non-locality for observables via the non-local spatial coordinates X i Γ (3.19). Despite of this fact, the interaction Lagrangean remains a local field. Therefore only the external vertices in a graph expansion of perturbation theory are affected. In [2] renormalisation was treated in the Epstein-Glaser framework which is initially only suitable for local functionals. As we have to deal with non-local expressions, we need to extend this framework from local quantities to certain non-local ones. The first step in this procedure is to expand the non-local coordinates in terms of its local components. To this end, recall that where ∆ φ = ∆ 0 +δ∆ is the Laplacian relative to theφ-slicing and G φ = ∞ k=0 (−G 0 δ∆) k G 0 is its Green's function for suitable boundary conditions, cf. section 3.2. Notice that the previous expression has the form of the perturbative expansion of a local field induced by a quadratic interaction Lagrangean and the most severe divergence present in G 0 is local. Our gauge-invariant observables can be expanded as Taylor series in X a Γ . Inserting the series written above for the coordinates into the perturbative expansion of the observables one obtains an expansion with only local vertices and two types of propagators. Hence, the renormalisation can be performed as in the standard case, in particular the arising non-localities originate from local counter terms at lower order.
As an example, let us consider the time ordered product of a local observable expanded as described above with several interaction Lagrangeans. In the graphical expansion one findds as a simple but typical contribution the graph The vertices denote the interaction Lagrangean, the vertex the observable under consideration and the vertices δ∆ terms in the expansion of coordinates. The external vertex represents the action of δ∆ on the background coordinate x i .
To see that such graphs can be renormalised, consider the simplest divergent case, namely The kernel of G 0 considered as a distribution on M 2 is of the form with a smooth function c. The wave front set of G 0 (x, y) at coinciding points is the one of δ(x, y) and its scaling degree there is 2. For non-coinciding spatial coordinates no divergences occur. The vertex operators δ∆ are differential operators of at most second order. By direct inspection we thus see that the only singularity of the loop in the above example is at the total diagonal and by power counting we find that the degree of divergence of this loop is at most 2, so that the appropriately renormalised expression is unique up to at most two derivatives of δ distributions of the three loop vertices. In general the degree of divergence of a loop containing "internal" propagators may be higher or lower than in the above example depending on the number of Feynman propagators appearing in the loop; the same applies to the renormalisation freedom of general loops.
These arguments indicate that the new types of graphs do not create new problems in the UV regime. We briefly sketch why we do not expect additional IR problems. We have already pointed out that our setup is only meaningful if we restrict the admissible classical configurations to those which vanish at spatial infinity. By consistency we need the same behaviour for the correlation functions of the quantized theory, in particular for the Feynman propagators of the linearised model. Provided quantum states (or more general Hadamard parametrices) with this property exist -this is not obvious and needs to be proven -we expect that the integrals corresponding to the "internal" vertices will converge.
The remaining problem is to deal with the combinatorics of such graphs and ensure that the renormalisation can be performed systematically order by order. This can be done by a slight generalisation of the standard framework and will be discussed in detail in our forthcoming paper [3]. In the same publication we will also prove the validity of Ward identities analogous to the ones proven by Hollands for the Yang-Mills theory [15].

Conclusions
We described how cosmological perturbation theory may be derived from a full theory of perturbative quantum gravity. This demonstrates that perturbative quantum gravity can already be tested by present observations. Moreover, on a more practical side, our definition of gauge-invariant observables provides a conceptually simple way of extending the observables which are relevant for the interpretation of cosmological observations to arbitrary high orders.
However, even in linear order, our discussion clarifies the choice of good observables, as we have indicated at the example of the lapse function N φ with respect to the spatial hypersurfaces of constant inflaton field. Initially N φ is not gauge-invariant, but our construction yields a gauge-invariant version which at linear order and on shell may be expressed in terms of the Bardeen potential Φ that is related to the temperature fluctuations of the CMB via the Sachs-Wolfe effect.
We computed examples of gauge-invariant observables beyond linear order and found a second-order expression for the comoving curvature perturbation which seems to differ from constructions in other works. As in the literature there is some debate about whether some constructions are physically well-behaved, see. e.g. [31], it would be interesting to JHEP08(2016)032 investigate the physical properties of our result, even though it is clear from the outset that it has a transparent geometric interpretation.
Finally we have sketched the details of the quantization of the Einstein-Klein-Gordon system on cosmological backgrounds beyond linear order. We believe that the strategy outlined here leads to a full renormalised all-order theory of cosmological perturbations by means of which higher order corrections to standard results in cosmology may be computed.