A quantum weak energy inequality for spin-one fields in curved space–time

Quantum weak energy inequalities (QWEI) provide state-independent lower bounds on averages of the renormalized energy density of a quantum field. We derive QWEIs for the electromagnetic and massive spin-one fields in globally hyperbolic space–times whose Cauchy surfaces are compact and have trivial first homology group. These inequalities provide lower bounds on weighted averages of the renormalized energy density as "measured" along an arbitrary timelike trajectory, and are valid for arbitrary Hadamard states of the spin-one fields. The QWEI bound takes a particularly simple form for averaging along static trajectories in ultrastatic space–times; as specific examples we consider Minkowski space (in which case the topological restrictions may be dispensed with) and the static Einstein universe. A significant part of the paper is devoted to the definition and properties of Hadamard states of spin-one fields in curved space–times, particularly with regard to their microlocal behavior.