Effective quantum gravity observables and locally covariant QFT

Perturbative algebraic quantum field theory (pAQFT) is a mathematically rigorous framework that allows to construct models of quantum field theories (QFTs) on a general class of Lorentzian manifolds. Recently, this idea has been applied also to perturbative quantum gravity (QG), treated as an effective theory. The difficulty was to find the right notion of observables that would in an appropriate sense be diffeomorphism invariant. In this paper, I will outline a general framework that allows to quantize theories with local symmetries (this includes infinitesimal diffeomorphism transformations) with the use of the Batalin-Vilkovisky (BV) formalism. This approach has been successfully applied to effective QG in a recent paper by Brunetti, Fredenhagen and myself. In the same paper, we also proved perturbative background independence of the quantized theory, which is going to be discussed in the present work as well.