A Quantum Weak Energy Inequality for Spin-One Fields in Curved Spacetime

Quantum weak energy inequalities (QWEI) provide state-independent lower bounds on averages of the renormalised energy density of a quantum field. We derive QWEIs for the electromagnetic and massive spin-one fields in globally hyperbolic spacetimes 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 spacetimes; 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 spacetimes, particularly with regard to their microlocal behaviour.