This review summarizes the current status of the energy conditions in general relativity and quantum field theory. We provide a historical review and a summary of technical results and applications, complemented with a few new derivations and discussions. We pay special attention to the role of the equations of motion and to the relation between classical and quantum theories. Pointwise energy conditions were first introduced as physically reasonable restrictions on matter in the context of general relativity. They aim to express e.g. the positivity of mass or the attractiveness of gravity. Perhaps more importantly, they have been used as assumptions in mathematical relativity to prove singularity theorems and the non-existence of wormholes and similar exotic phenomena. However, the delicate balance between conceptual simplicity, general validity and strong results has faced serious challenges, because all pointwise energy conditions are systematically violated by quantum fields and also by some rather simple classical fields. In response to these challenges, weaker statements were introduced, such as quantum energy inequalities and averaged energy conditions. These have a larger range of validity and may still suffice to prove at least some of the earlier results. One of these conditions, the achronal averaged null energy condition, has recently received increased attention. It is expected to be a universal property of the dynamics of all gravitating physical matter, even in the context of semiclassical or quantum gravity.

We prove that the singularity structure of all n-point distributions of a state of a generalised real free scalar field in curved spacetime can be estimated if the two-point distribution is of Hadamard form. In particular this applies to the free field and the result has applications in perturbative quantum field theory, showing that the class of all Hadamard states is the state space of interest. In our proof we assume that the field is a generalised free field, i.e. that it satisfies scalar (c-number) commutation relations, but it need not satisfy an equation of motion. The same arguments also work for anti-commutation relations and for vector-valued fields. To indicate the strengths and limitations of our assumption we also prove the analogues of a theorem by Borchers and Zimmermann on the self-adjointness of field operators and of a weak form of the Jost-Schroer theorem. The original proofs of these results make use of analytic continuation arguments. In our case no analyticity is assumed, but to some extent the scalar commutation relations can take its place.

We attempt to prove the existence of Reeh-Schlieder states on curved spacetimes in the framework of locally covariant quantum field theory using the idea of spacetime deformation and assuming the existence of a Reeh-Schlieder state on a diffeomorphic (but not isometric) spacetime. We find that physically interesting states with a weak form of the Reeh-Schlieder property always exist and indicate their usefulness. Algebraic states satisfying the full Reeh-Schlieder property also exist, but are not guaranteed to be of physical interest.