A recent proposal for gauge-invariant observables in inflation (Brunetti et al 2016 J. High Energy Phys . JHEP08(2016)032) is examined. We give a generalisation of their construction to general background spacetimes. In flat space, we calculate one-loop graviton corrections to a scalar two-point function in a general gauge for the graviton. We explicitely show how the gauge-dependent terms cancel between the usual self-energy contributions and the additional corrections inherent in these observables. The one-loop corrections have the expected functional form, contrary to another recently studied proposal for gauge-invariant observables (Fröb 2018 Class. Quantum Grav . 35 035005) where this is not the case. Furthermore, we determine the one-loop graviton corrections to the four-point coupling of the gauge-invariant scalar field, and the corresponding running of the coupling constant induced by graviton loops. Interestingly, the β function is negative for all values of the non-minimal coupling of the scalar field to curvature.

We make a proposal for gauge-invariant observables in perturbative quantum gravity in cosmological spacetimes, building on the recent work of Brunetti et al (2016 J. High Energy Phys . JHEP08(2016)032). These observables are relational, and are obtained by evaluating the field operator in a field-dependent coordinate system. We show that it is possible to define this coordinate system such that the non-localities inherent in any higher-order observable in quantum gravity are causal, i.e. the value of the gauge-invariant observable at a point x only depends on the metric and inflation perturbations in the past light cone of x . We then construct propagators for the metric and inflaton perturbations in a gauge adapted to that coordinate system, which simplifies the calculation of loop corrections, and give explicit expressions for relevant cases: matter- and radiation-dominated eras and slow-roll inflation.

Trying to connect a fundamentally noncommutative spacetime with the conservative perturbative approach to quantum gravity, we are led to the natural question: are noncommutative geometrical effects already present in the regime where perturbative quantum gravity provides a predictive framework? Moreover, is it necessary to introduce noncommutativity by hand, or does it arise through quantum-gravitational effects? We show that the first question can be answered in the affirmative, and the second one in the negative: perturbative quantum gravity predicts noncommutativity at the Planck scale, once one clarifies the structure of observables in the quantum theory.

We calculate the trace (conformal) anomaly for chiral fermions in a general curved background using Hadamard subtraction. While in intermediate steps of the calculation imaginary terms proportional to the Pontryagin density appear, imposing a vanishing divergence of the stress tensor these terms completely cancel, and we recover the well- known result equal to half the trace anomaly of a Dirac fermion. We elaborate in detail on the advantages of the Hadamard method for the general definition of composite operators in general curved spacetimes, and speculate on possible causes for the appearance of the Pontryagin density in other calculations.

We construct the graviton two-point function for a two-parameter family of linear covariant gauges in $n$-dimensional de Sitter space. The construction is performed via the mode-sum method in the Bunch-Davies vacuum in the Poincaré patch, and a Fierz-Pauli mass term is introduced to regularize the infrared (IR) divergences. The resulting two-point function is de Sitter invariant and free of IR divergences in the massless limit (for a certain range of parameters), although analytic continuation with respect to the mass for the pure-gauge sector of the two-point function is necessary for this result. This general result agrees with the propagator obtained by analytic continuation from the sphere [Phys. Rev. D 34, 3670 (1986); Classical Quantum Gravity 18, 4317 (2001)]. However, if one starts with strictly zero mass theory, the IR divergences are absent only for a specific value of one of the two parameters, with the other parameter left generic. These findings agree with recent calculations in the Landau (exact) gauge [J. Math. Phys. 53, 122502 (2012)], where IR divergences do appear in the spin-two (tensor) part of the two-point function. However, we find the strength (including the sign) of the IR divergence to be different from the one found in this reference.

We investigate the gauge-invariant observables constructed by smearing the graviton and inflaton fields by compactly supported tensors at linear order in general single-field inflation. These observables correspond to gauge-invariant quantities that can be measured locally. In particular, we show that these observables are equivalent to (smeared) local gauge-invariant observables such as the linearised Weyl tensor, which have better infrared properties than the graviton and inflaton fields. Special cases include the equivalence between the compactly supported gauge-invariant graviton observable and the smeared linearised Weyl tensor in Minkowski and de Sitter spaces. Our results indicate that the infrared divergences in the tensor and scalar perturbations in single-field inflation have the same status as in de Sitter space and are both a gauge artefact, in a certain technical sense, at tree level.