We discuss from scratch the classical structure of Dirac spinors on an arbitrary globally hyperbolic, Lorentzian spacetime, their formulation as a locally covariant quantum field theory, and the associated notion of a Hadamard state. Eventually, we develop the notion of Wick polynomials for spinor fields, and we employ the latter to construct a covariantly conserved stress-energy tensor suited for back-reaction computations. We shall explicitly calculate its trace anomaly in particular.

We quantise the massless vector potential A of electromagnetism in the presence of a classical electromagnetic (background) current, j, in a generally covariant way on arbitrary globally hyperbolic spacetimes M . By carefully following general principles and procedures we clarify a number of topological issues. First we combine the interpretation of A as a connection on a principal U (1)-bundle with the perspective of general covariance to deduce a physical gauge equivalence relation, which is intimately related to the Aharonov-Bohm effect. By Peierls' method we subsequently find a Poisson bracket on the space of local, affine observables of the theory. This Poisson bracket is in general degenerate, leading to a quantum theory with non-local behaviour. We show that this non-local behaviour can be fully explained in terms of Gauss' law. Thus our analysis establishes a relationship, via the Poisson bracket, between the Aharonov-Bohm effect and Gauss' law -a relationship which seems to have gone unnoticed so far. Furthermore, we find a formula for the space of electric monopole charges in terms of the topology of the underlying spacetime. Because it costs little extra effort, we emphasise the cohomological perspective and derive our results for general p-form fields A (p < dim(M )), modulo exact fields, for the Lagrangian density L = 1 2 dA ∧ * dA + A ∧ * j. In conclusion we note that the theory is not locally covariant, in the sense of BrunettiFredenhagen-Verch. It is not possible to obtain such a theory by dividing out the centre of the algebras, nor is it physically desirable to do so. Instead we argue that electromagnetism forces us to weaken the axioms of the framework of local covariance, because the failure of locality is physically well-understood and should be accommodated.

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.

Abstract. The Principle of Perturbative Agreement, as introduced by Hollands & Wald, is a renormalisation condition in quantum field theory on curved spacetimes. This principle states that the perturbative and exact constructions of a field theoretic model given by the sum of a free and an exactly tractable interaction Lagrangean should agree. We develop a proof of the validity of this principle in the case of scalar fields and quadratic interactions without derivatives which differs in strategy from the one given by Hollands & Wald for the case of quadratic interactions encoding a change of metric. Thereby we profit from the observation that, in the case of quadratic interactions, the composition of the inverse classical Møller map and the quantum Møller map is a contraction exponential of a particular type. Afterwards, we prove a generalisation of the Principle of Perturbative Agreement and show that considering an arbitrary quadratic contribution of a general interaction either as part of the free theory or as part of the perturbation gives equivalent results. Motivated by the thermal mass idea, we use our findings in order to extend the construction of massive interacting thermal equilibrium states in Minkowski spacetime

We develop a general setting for the quantization of linear bosonic and fermionic field theories subject to local gauge invariance and show how standard examples such as linearized Yang-Mills theory and linearized general relativity fit into this framework. Our construction always leads to a well-defined and gauge-invariant quantum field algebra, the centre and representations of this algebra, however, have to be analysed on a case-by-case basis. We discuss an example of a fermionic gauge field theory where the necessary conditions for the existence of Hilbert space representations are not met on any spacetime. On the other hand, we prove that these conditions are met for the Rarita-Schwinger gauge field in linearized pure N=1 supergravity on certain spacetimes, including asymptotically flat spacetimes and classes of spacetimes with compact Cauchy surfaces. We also present an explicit example of a supergravity background on which the Rarita-Schwinger gauge field can not be consistently quantized.Comment: 28 pages, no figures; v2: svjour3 style, 24 pages, compatible with version to be published in General Relativity and Gravitatio