A new approach to the model-independent description of quantum field theories will be introduced in the present work. The main feature of this new approach is to incorporate in a local sense the principle of general covariance of general relativity, thus giving rise to the concept of a locally covariant quantum field theory. Such locally covariant quantum field theories will be described mathematically in terms of covariant functors between the categories, on one side, of globally hyperbolic spacetimes with isometric embeddings as morphisms and, on the other side, of * -algebras with unital injective * -endomorphisms as morphisms. Moreover, locally covariant quantum fields can be described in this framework as natural transformations between certain functors. The usual Haag-Kastler framework of nets of operator-algebras over a fixed spacetime background-manifold, together with covariant automorphic actions of the isometry-group of the background spacetime, can be re-gained from this new approach as a special case. Examples of this new approach are also outlined. In case that a locally covariant quantum field theory obeys the time-slice axiom, one can naturally associate to it certain automorphic actions, called "relative Cauchy-evolutions", which describe the dynamical reaction of the quantum field theory to a local change of spacetime background metrics. The functional derivative of a relative Cauchy-evolution with respect to the spacetime metric is found to be a divergence-free quantity which has, as will be demonstrated in an example, the significance of an energy-momentum tensor for the locally covariant quantum field theory. Furthermore, we discuss the functorial properties of state spaces of locally covariant quantum field theories that entail the validity of the principle of local definiteness.

The concept of scaling algebra provides a novel framework for the general structural analysis and classification of the short distance properties of algebras of local observables in relativistic quantum field theory. In the present article this method is applied to the simple example of massive free field theory in s = 1, 2 and 3 spatial dimensions. Not quite unexpectedly, one obtains for s = 2, 3 in the scaling (short distance) limit the algebra of local observables in massless free field theory. The case s = 1 offers, however, some surprises. There the algebra of observables acquires in the scaling limit a non-trivial center and describes charged physical states satisfying Gauss' law. The latter result is of relevance for the interpretation of the Schwinger model at short distances and illustrates the conceptual and computational virtues of the method.

Abstract.Some years ago, Radzikowski has found a characterization of Hadamard states for scalar quantum fields on a four-dimensional globally hyperbolic spacetime in terms of a specific form of the wavefront set of their two-point functions (termed 'wavefront set spectrum condition'), thereby initiating a major progress in the understanding of Hadamard states and the further development of quantum field theory in curved spacetime. In the present work, we extend this important result on the equivalence of the wavefront set spectrum condition with the Hadamard condition from scalar fields to vector fields (sections in a vector bundle) which are subject to a wave-equation and are quantized so as to fulfill the covariant canonical commutation relations, or which obey a Dirac equation and are quantized according to the covariant anti-commutation relations, in any globally hyperbolic spacetime having dimension three or higher.In proving this result, a gap which is present in the published proof for the scalar field case will be removed. Moreover we determine the short-distance scaling limits of Hadamard states for vector-bundle valued fields, finding them to coincide with the corresponding flat-space, massless vacuum states.

The process of quantum measurement is considered in the algebraic framework of quantum field theory on curved spacetimes. Measurements are carried out on one quantum field theory, the “system”, using another, the “probe”. The measurement process involves a dynamical coupling of “system” and “probe” within a bounded spacetime region. The resulting “coupled theory” determines a scattering map on the uncoupled combination of the “system” and “probe” by reference to natural “in” and “out” spacetime regions. No specific interaction is assumed and all constructions are local and covariant. Given any initial state of the probe in the “in” region, the scattering map determines a completely positive map from “probe” observables in the “out” region to “induced system observables”, thus providing a measurement scheme for the latter. It is shown that the induced system observables may be localized in the causal hull of the interaction coupling region and are typically less sharp than the probe observable, but more sharp than the actual measurement on the coupled theory. Post-selected states conditioned on measurement outcomes are obtained using Davies–Lewis instruments that depend on the initial probe state. Composite measurements involving causally ordered coupling regions are also considered. Provided that the scattering map obeys a causal factorization property, the causally ordered composition of the individual instruments coincides with the composite instrument; in particular, the instruments may be combined in either order if the coupling regions are causally disjoint. This is the central consistency property of the proposed framework. The general concepts and results are illustrated by an example in which both “system” and “probe” are quantized linear scalar fields, coupled by a quadratic interaction term with compact spacetime support. System observables induced by simple probe observables are calculated exactly, for sufficiently weak coupling, and compared with first order perturbation theory.

The question of what it means for a theory to describe the same physics on all spacetimes (SPASs) is discussed. As there may be many answers to this question, we isolate a necessary condition, the SPASs property, that should be satisfied by any reasonable notion of SPASs. This requires that if two theories conform to a common notion of SPASs, with one a subtheory of the other, and are isomorphic in some particular spacetime, then they should be isomorphic in all globally hyperbolic spacetimes (of given dimension). The SPASs property is formulated in a functorial setting broad enough to describe general physical theories describing processes in spacetime, subject to very minimal assumptions. By explicit constructions, the full class of locally covariant theories is shown not to satisfy the SPASs property, establishing that there is no notion of SPASs encompassing all such theories. It is also shown that all locally covariant theories obeying the time-slice property possess two local substructures, one kinematical (obtained directly from the functorial structure) and the other dynamical (obtained from a natural form of dynamics, termed relative Cauchy evolution). The covariance properties of relative Cauchy evolution and the kinematic and dynamical substructures are analyzed in detail. Calling local covariant theories dynamically local if their kinematical and dynamical local substructures coincide, it is shown that the class of dynamically local theories fulfills the SPASs property. As an application in quantum field theory, we give a model independent proof of the impossibility of making a covariant choice of preferred state in all spacetimes, for theories obeying dynamical locality together with typical assumptions. *

The first part of this paper extends the Doplicher-Haag-Roberts theory of superselection sectors to quantum field theory on arbitrary globally hyperbolic spacetimes. The statistics of a superselection sector may be defined as in flat spacetime and each charge has a conjugate charge when the spacetime possesses non-compact Cauchy surfaces. In this case, the field net and the gauge group can be constructed as in Minkowski spacetime.The second part of this paper derives spin-statistics theorems on spacetimes with appropriate symmetries. Two situations are considered: First, if the spacetime has a bifurcate Killing horizon, as is the case in the presence of black holes, then restricting the observables to the Killing horizon together with "modular covariance" for the Killing flow yields a conformally covariant quantum field theory on the circle and a conformal spin-statistics theorem for charged sectors localizable on the Killing horizon. Secondly, if the spacetime has a rotation and PT symmetry like the Schwarzschild-Kruskal black holes, "geometric modular action" of the rotational symmetry leads to a spin-statistics theorem for charged covariant sectors where the spin is defined via the SU (2)-covering of the spatial rotation group SO(3).1 Supported by GNAFA and MURST.

The concept of scaling algebra provides a novel framework for the general structural analysis and classification of the short distance properties of algebras of local observables in relativistic quantum field theory. In the present article this method is applied to the simple example of massive free field theory in s = 1, 2 and 3 spatial dimensions. Not quite unexpectedly, one obtains for s = 2, 3 in the scaling (short distance) limit the algebra of local observables in massless free field theory. The case s = 1 offers, however, some surprises. There the algebra of observables acquires in the scaling limit a non-trivial center and describes charged physical states satisfying Gauss' law. The latter result is of relevance for the interpretation of the Schwinger model at short distances and illustrates the conceptual and computational virtues of the method.

Quantum fields are well known to violate the weak energy condition of general relativity: the renormalised energy density at any given point is unbounded from below as a function of the quantum state. By contrast, for the scalar and electromagnetic fields it has been shown that weighted averages of the energy density along timelike curves satisfy 'quantum weak energy inequalities' (QWEIs) which constitute lower bounds on these quantities. Previously, Dirac QWEIs have been obtained only for massless fields in two-dimensional spacetimes. In this paper we establish QWEIs for the Dirac and Majorana fields of mass m ≥ 0 on general four-dimensional globally hyperbolic spacetimes, averaging along arbitrary smooth timelike curves with respect to any of a large class of smooth compactly supported positive weights. Our proof makes essential use of the microlocal characterisation of the class of Hadamard states, for which the energy density may be defined by point-splitting.