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.

Quantum inequalities are constraints on how negative the weighted average of the renormalized stress-energy tensor of a quantum field can be. A null-projected quantum inequality can be used to prove the averaged null energy condition, which would then rule out exotic phenomena such as wormholes and time machines. In this work we derive such an inequality for a massless minimally coupled scalar field, working to first order of the Riemann tensor and its derivatives. We then use this inequality to prove the averaged null energy condition on achronal geodesics in a curved background that obeys the null convergence condition.

Quantum inequalities bound the extent to which weighted time averages of the renormalized energy density of a quantum field can be negative. Such inequalities in curved spacetime can be used to disprove the existence of exotic phenomena, such as closed timelike curves. Starting with a general result of Fewster and Smith, we derive a quantum inequality for a minimally coupled scalar field on a geodesic in a spacetime with small curvature, working to first order in the Ricci tensor and its derivatives. Since only the Ricci tensor enters, there are no first-order corrections to the flat-space quantum inequality on paths which do not encounter any matter or energy.

The averaged null energy condition (ANEC) states that the integral along a complete null geodesic of the projection of the stress-energy tensor onto the tangent vector to the geodesic cannot be negative. Exotic spacetimes, such as those allow wormholes or the construction of time machines are possible in general relativity only if ANEC is violated along achronal geodesics. Starting from a conjecture that flat-space quantum inequalities apply with small corrections in spacetimes with small curvature, we prove that ANEC is obeyed by a minimally coupled, free quantum scalar field on any achronal null geodesic surrounded by a tubular neighborhood whose curvature is produced by a classical source.

Hawking’s singularity theorem concerns matter obeying the strong energy condition (SEC), which means that all observers experience a nonnegative effective energy density (EED), thereby guaranteeing the timelike convergence property. However, there are models that do not satisfy the SEC and therefore lie outside the scope of Hawking’s hypotheses, an important example being the massive Klein–Gordon field. Here we derive lower bounds on local averages of the EED for solutions to the Klein–Gordon equation, allowing nonzero mass and nonminimal coupling to the scalar curvature. The averages are taken along timelike geodesics or over spacetime volumes, and our bounds are valid for a range of coupling constants including both minimal and conformal coupling. Using methods developed by Fewster and Galloway, these lower bounds are applied to prove a Hawking-type singularity theorem for solutions to the Einstein–Klein–Gordon theory, asserting that solutions with sufficient initial contraction at a compact Cauchy surface will be future timelike geodesically incomplete. These results remain true in the presence of additional matter obeying both the strong and weak energy conditions.

The original singularity theorems of Penrose and Hawking were proved for matter obeying the null energy condition or strong energy condition, respectively. Various authors have proved versions of these results under weakened hypotheses, by considering the Riccati inequality obtained from Raychaudhuri’s equation. Here, we give a different derivation that avoids the Raychaudhuri equation but instead makes use of index form methods. We show how our results improve over existing methods and how they can be applied to hypotheses inspired by quantum energy inequalities. In this last case, we make quantitative estimates of the initial conditions required for our singularity theorems to apply.